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
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
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]
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. ISBN978-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.
Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN978-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. ISBN978-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. ISBN978-0201029857.
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. ISBN978-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. ISBN978-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. ISBN978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN978-1-4612-7155-0. OCLC 840278135.
Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN978-0-8247-8643-4. OCLC 24909067.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN978-0-486-45352-1. OCLC 853623322.