Espacio cuasi barrilado

En análisis funcional y en otras áreas relacionadas de las matemáticas, se dice que un espacio vectorial topológico (EVT) localmente convexo es un espacio infrabarrilado si cada conjunto barrilado acotado del espacio es un entorno del origen.^[1]​

Por otro lado, un espacio cuasi barrilado es un espacio infrabarrilado para el que cada conjunto barrilado acotado y además bornívoro del espacio, es un entorno del origen. Los espacios cuasi barrilados se estudian porque son un debilitamiento de la condición definitoria de los espacios barrilados, para los que se cumple una forma del teorema de Banach-Steinhaus.

Definición

Un subconjunto ${\displaystyle B}$ de un espacio vectorial topológico (EVT) ${\displaystyle X}$ se llama bornívoro si absorbe todos los subconjuntos acotados de ${\displaystyle X}$; es decir, si para cada subconjunto acotado ${\displaystyle S}$ de ${\displaystyle X,}$ existe algún escalar ${\displaystyle r}$ tal que ${\displaystyle S\subseteq rB.}$ Un conjunto barrilado o un barril en un EVT es un conjunto que es convexo, equilibrado, absorbente y cerrado. Un espacio cuasi barrilado es un EVT para el cual cada conjunto de barriles bornívoros en el espacio es un entorno del origen.^[2]​^[3]​

Propiedades

Cada espacio infrabarrilado cuasi completo es barrilado.^[1]​ Un espacio cuasi barrilado de Hausdorff localmente convexo que es secuencialmente completo tiene forma de barril.^[4]​ Un espacio cuasi barrilado de Hausdorff localmente convexo es un espacio de Mackey, cuasi M barrilado y cuasi barrilado numerable.^[5]​ Un espacio cuasi barrilado localmente convexo que también es barrilado numerable, es necesariamente un espacio barrilado.^[3]​ Un espacio localmente convexo es reflexivo si y solo si es semireflexivo y tiene un cuasi barrilado.^[3]​

Caracterizaciones

Si ${\displaystyle X}$ es un espacio localmente convexo de Hausdorff, entonces la inyección canónica de ${\displaystyle X}$ en su bidual es un embebido topológico si y solo si ${\displaystyle X}$ es infrabarrilado.^[6]​

Un espacio vectorial topológico de Hausdorff ${\displaystyle X}$ es cuasi barrilado si y solo si todo operador lineal cerrado acotado desde ${\displaystyle X}$ hasta un EVT metrizable completo es continuo.^[7]​ Por definición, un operador lineal ${\displaystyle F:X\to Y}$ se llama cerrado si su grafo es un subconjunto cerrado de ${\displaystyle X\times Y.}$

Para un espacio localmente convexo ${\displaystyle X}$ con ${\displaystyle X^{\prime }}$ dual continuo, las siguientes expresiones son equivalentes:

1. ${\displaystyle X}$ es cuasi barrilado.
2. Cada seminorma semicontinua inferior acotada en ${\displaystyle X}$ es continua.
3. Cada subconjunto acotado por ${\displaystyle \beta (X',X)}$ del espacio dual continuo ${\displaystyle X^{\prime }}$ es equicontinuo.

Si ${\displaystyle X}$ es un EVT localmente convexo metrizable, entonces las siguientes proposiciones son equivalentes:

1. El espacio dual fuerte de ${\displaystyle X}$ es cuasi barrilado.
2. El espacio dual fuerte de ${\displaystyle X}$ es barrilado.
3. El espacio dual fuerte de ${\displaystyle X}$ es bornológico.

Ejemplos y condiciones suficientes

Cada espacio barrilado es infrabarrilado. ^[1]​ Sin embargo, un subespacio vectorial cerrado de un espacio infrabarrilado no es necesariamente infrabarrilado.^[8]​

Todo producto y suma directa localmente convexa de cualquier familia de espacios infrabarrilados es infrabarrilado.^[8]​ Cada cociente separated de un espacio infrabarril es infrabarril. ^[8]​

Cada espacio barrilado de Hausdorff y cada espacio bornológico de Hausdorff son cuasi barrilados.^[9]​ Por tanto, cada espacio vectorial topológico metrizable es cuasi barrilado.

Debe tenerse en cuenta que existen espacios cuasi barrilados que no son ni barrilados ni bornológicos.^[3]​ Existen espacios de Mackey que no son cuasi barrilados.^[3]​ Existen espacios espacios distinguidos, espacios DF y espacios barrilados ${\displaystyle \sigma }$ que no son cuasi barrilados.^[3]​

El espacio dual fuerte ${\displaystyle X_{b}^{\prime }}$ de un espacio de Fréchet ${\displaystyle X}$ es distinguido si y solo si ${\displaystyle X}$ es cuasi barrilado.^[10]​

Contraejemplos

Existe un espacio DF que no es cuasi barrilado.^[3]​ Existe un espacio DF cuasi barrilado que no es bornológico.^[3]​ Existe un espacio cuasi barrilado que no es un espacio barrilado numerable.^[3]​

Véase también

• Espacio barrilado
• Espacio barrilado numerable
• Espacio cuasi barrilado numerable
• Principio de acotación uniforme
• Espacio reflexivo
• Espacio semirreflexivo

Referencias

Bibliografía

• 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. 
• Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401. 
• 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. 
• Conway, John B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics 96 (2nd edición). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908. 
• Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138. 
• Grothendieck, Alexander (1973). Topological Vector Spaces (Chaljub, Orlando, trad.). New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098. 
• Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583. 
• Husain, Taqdir; Khaleelulla, S. M. (1978). Barrelledness in Topological and Ordered Vector Spaces. Lecture Notes in Mathematics 692. Berlin, New York, Heidelberg: Springer Science+Business Media. ISBN 978-3-540-09096-0. OCLC 4493665. 
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342. 
• 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. 
• 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. 
• 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. 
• 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. 
• Wong, Yau-Chuen (1979). Schwartz Spaces, Nuclear Spaces, and Tensor Products. Lecture Notes in Mathematics 726. Berlin New York: Springer-Verlag. ISBN 978-3-540-09513-2. OCLC 5126158.