Espacio ultrabornológico
En análisis funcional, un espacio vectorial topológico (EVT) se llama ultrabornológico si cada operador lineal acotado de a otro EVT es necesariamente continuo. Una versión general del teorema de la gráfica cerrada es válida para espacios ultrabornológicos. Los espacios ultrabornológicos fueron introducidos por Alexander Grothendieck (Grothendieck [1955, p. 17] "espace du type (β)").[1]
Definiciones
editarSea un espacio vectorial topológico (EVT).
Preliminares
editarUn disco es un conjunto convexo y equilibrado. Un disco en un EVT se llama bornívoro[2] si absorbe cualquier subconjunto acotado de
Una aplicación lineal entre dos EVT se denomina[2] 'infraacotada si asigna discos de Banach a discos acotados.
Un disco en un EVT se denomina infrabornívoro si satisface cualquiera de las siguientes condiciones equivalentes:
- absorbe cada disco de Banach en
mientras que si es localmente convexo entonces podemos agregar a esta lista:
mientras que si es localmente convexo y de Hausdorff entonces se puede agregar a esta lista:
- absorbe todos los discos compactos;[2] es decir, es "compactivo".
Espacio ultrabornológico
editarUn EVT es ultrabornológico si satisface cualquiera de las siguientes condiciones equivalentes:
- Cada disco infrabornívoro en es un entorno del origen.[2]
mientras que si es un espacio localmente convexo, entonces se puede agregar a esta lista:
- Todo operador lineal acotado desde hasta un espacio vectorial topológico metrizable completo es necesariamente continuo.
- Cada disco infrabornívoro está en un entorno de 0.
- será el límite inductivo de los espacios , ya que D varía en todos los discos compactos en .
- Una seminorma en que está acotada en cada disco de Banach es necesariamente continua.
- Para cada espacio localmente convexo y cada aplicación lineal si está acotado en cada disco de Banach, entonces es continuo.
- Para cada espacio de Banach y cada aplicación lineal si está acotado en cada disco de Banach, entonces es continuo.
mientras que si es un espacio localmente convexo de Hausdorff, entonces se puede agregar a esta lista:
- es un límite inductivo de espacios de Banach.[2]
Propiedades
editarCada espacio ultrabornológico localmente convexo es barrilado,[2] cuasi barrilado y bornológico, pero existen espacios bornológicos que no son ultrabornológicos.
- Cada espacio ultrabornológico es el límite directo de una familia de espacios de Fréchet nucleares, que abarca
- Cada espacio ultrabornológico es el límite inductivo de una familia de espacios DF nucleares, que abarca
Ejemplos y condiciones suficientes
editarEl producto finito de espacios ultrabornológicos localmente convexos es ultrabornológico.[2] Los límites inductivos de los espacios ultrabornológicos son ultrabornológicos.
Todo espacio bornológico secuencialmente completo de Hausdorff es ultrabornológico.[2] Así, cada espacio bornológico de Hausdorff completo es ultrabornológico. En particular, cada espacio de Fréchet es ultrabornológico.[2]
El espacio dual fuerte de un complete espacio de Schwartz es ultrabornológico.
Todo espacio bornológico de Hausdorff que sea casi completo es ultrabornológico.
- Contraejemplos
Existen espacios ultrabarrilados que no son ultrabornológicos. Existen espacios ultrabornológicos que no son ultrabarrilados.
Véase también
editarReferencias
editarBibliografía
editar- Hogbe-Nlend, Henri (1977). Bornologies and functional analysis. Amsterdam: North-Holland Publishing Co. pp. xii+144. ISBN 0-7204-0712-5. MR 0500064.
- 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.
- Grothendieck, Alexander (1973). Topological Vector Spaces (Chaljub, Orlando, trad.). New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- 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.
- Kriegl, Andreas; Michor, Peter W. (1997). The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs 53. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-0780-4. OCLC 37141279.
- 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.
- 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.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.