Espacio LB

Summary

En matemáticas, un espacio LB, también escrito como (LB)-espacio, es un espacio vectorial topológico (EVT) que es un límite directo localmente convexo de un sistema inductivo numerable de espacios de Banach. Esto significa que es un límite directo de un sistema directo en la categoría de espacios vectoriales topológicos localmente convexos y que cada es un espacio de Banach.

Si cada una de las aplicaciones de enlace es una incorporación de EVT, entonces el espacio LB se denomina espacio LB estricto. Esto significa que la topología inducida en por es idéntica a la topología original en [1]​ Algunos autores (por ejemplo, Schaefer) definen el término "espacio LB" como "espacio LB estricto", por lo que al leer determinados textos matemáticos, se recomienda comprobar siempre cómo se ha definido el espacio LB.

Definición

editar

La topología de   se puede describir especificando que un subconjunto absolutamente convexo   es un entorno de   si y solo si   es un entorno absolutamente convexo de   en   para cada  

Propiedades

editar

Un espacio LB estricto es completo,[2]barrilado,[2]​ y bornológico[2]​ (y por lo tanto, ultrabornológico).

Ejemplos

editar

Si   es un espacio topológico localmente compacto que es numerable en el infinito (es decir, es igual a una unión contable de subespacios compactos), entonces el espacio   de todas las funciones continuas de valores complejos en   con soporte compacto es un espacio LB estricto.[3]​ Para cualquier subconjunto compacto   denótese por   el espacio de Banach de funciones de valores complejos admitidas por   con la norma uniforme y ordénese la familia de subconjuntos compactos de   por inclusión.[3]

Topología final en el límite directo de espacios euclidianos de dimensión finita

Sea

 

que denota el espacio de secuencias finitas, donde   denota todas las secuencias de números reales. Para cada número natural   sea   el espacio euclídeo habitual dotado con una topología euclídea y sea   la inclusión canónica definida por   de modo que su imagen sea

 

y consecuentemente,

 

Dótese ahora al conjunto   con la topología final   inducido por la familia   de todas las inclusiones canónicas. Con esta topología,   se convierte en un espacio vectorial topológico secuencial localmente convexo de Hausdorff y completo; es decir, no es un espacio de Fréchet-Urysohn.

La topología   es estrictamente más fina que la topología del subespacio inducida en   por   donde   está dotada de su topología producto habitual. Dota a la imagen   de la topología final inducida en ella por la función biyectiva  , es decir, está dotada de la topología euclídea transferida a ella desde   a través de   Esta topología en   es igual a la topología subespacial inducida por   Un subconjunto   está abierto (o cerrado) en   si y solo si para cada   el conjunto   es un subconjunto abierto (o cerrado) de   La topología   es coherente con la familia de subespacios   Esto convierte a   en un espacio LB. En consecuencia, si   y   son una secuencia en  , entonces   en   si y solo si existe algún   tal que tanto   como   estén contenidos en   y   en  

A menudo, para cada   se utiliza la inclusión canónica   para identificar   con su imagen   en   de forma explícita, los elementos   y   se identifican juntos. Bajo esta identificación,   se convierte en un límite directo del sistema directo   donde para cada   la aplicación   es la inclusión canónica definida por   donde hay   ceros finales.

Contraejemplos

editar

Existe un espacio LB bornológico cuyo bidual fuerte es no bornológico.[4]​ Existe un espacio LB que no es cuasi completo.[4]

Véase también

editar

Referencias

editar
  1. Schaefer y Wolff, 1999, pp. 55-61.
  2. a b c Schaefer y Wolff, 1999, pp. 60-63.
  3. a b Schaefer y Wolff, 1999, pp. 57-58.
  4. a b Khaleelulla, 1982, pp. 28-63.

Bibliografía

editar
  • Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics 639. Berlin New York: Springer Science+Business Media. ISBN 978-3-540-08662-8. OCLC 297140003. 
  • Bierstedt, Klaus-Dieter (1988). «An Introduction to Locally Convex Inductive Limits». Functional Analysis and Applications (Singapore-New Jersey-Hong Kong: Universitätsbibliothek): 35-133. Consultado el 20 de septiembre de 2020. 
  • Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 (Eggleston, H.G.; Madan, S., trad.). Elementos de matemática. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190. 
  • Dugundji, James (1966). Topology. Boston: Allyn and Bacon. ISBN 978-0-697-06889-7. OCLC 395340485. 
  • Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138. 
  • Grothendieck, Alexander (1955). «Produits Tensoriels Topologiques et Espaces Nucléaires» [Topological Tensor Products and Nuclear Spaces]. Memoirs of the American Mathematical Society Series (en francés) (Providence: American Mathematical Society) 16. ISBN 978-0-8218-1216-7. MR 0075539. OCLC 1315788. 
  • Horváth, John (1966). Topological Vector Spaces and Distributions. Addison-Wesley series in mathematics 1. Reading, MA: Addison-Wesley Publishing Company. ISBN 978-0201029857. 
  • Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342. 
  • Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer Science+Business Media. ISBN 978-3-540-11565-6. OCLC 8588370. 
  • Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I (Garling, D.J.H., trad.). Grundlehren der mathematischen Wissenschaften 159. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704. 
  • Köthe, Gottfried (1979). Topological Vector Spaces II. Grundlehren der mathematischen Wissenschaften 237. New York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972. 
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
  • Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250. 
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
  • Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067. 
  • Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
  • Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114. 
  •   Datos: Q96386529