Espacio de Montel

En análisis funcional y áreas relacionadas de matemáticas, un espacio de Montel, que lleva el nombre de Paul Montel, es cualquier espacio vectorial topológico (EVT) en el que se mantiene un análogo del teorema de Montel. Específicamente, un espacio de Montel es un espacio vectorial topológico barrilado en el que cada subconjunto acotado y cerrado es compacto.

Definición

Se dice que un espacio vectorial topológico (EVT) posee la propiedad de Heine-Borel si cada subconjunto acotado y cerrado es compacto. Un espacio de Montel es un espacio vectorial topológico barrilado con la propiedad de Heine-Borel. De manera equivalente, un espacio semi de Montel infrabarrilado, donde un espacio localmente convexo de Hausdorff se llama espacio semi de Montel o perfecto si cada subconjunto acotado es relativamente compacto.​ Un subconjunto de un EVT es compacto si y solo si es completo y totalmente acotado. Un espacio de Fréchet-Montel es un espacio de Fréchet que también es un espacio de Montel.

Caracterizaciones

Un espacio de Fréchet separable es un espacio de Montel si y solo si cada secuencia *débilmente convergente en su dual continuo es fuertemente convergente.​

Un espacio de Fréchet $X$ es un espacio de Montel si y solo si cada función continua acotada $X\to c_{0}$ hace corresponder subconjuntos absolutamente convexos acotados cerrados de $X$ a subconjuntos relativamente compactos de $c_{0}.$ Además, si $C^{b}(X)$ denota el espacio vectorial de todas las funciones continuas acotadas en un espacio de Fréchet $X,$ entonces $X$ es de Montel si y solo si cada secuencia en $C^{b}(X)$ que converge a cero en topología compacto-abierta también converge uniformemente a cero en todos los subconjuntos absolutamente convexos acotados cerrados​ de $X.$

Condiciones suficientes

Espacios semi de Montel

Un subespacio vectorial cerrado de un espacio semi de Montel es nuevamente un espacio semi-Montel. La suma directa localmente convexa de cualquier familia de espacios semi de Montel es nuevamente un espacio semi de Montel. El límite inverso de un sistema inverso que consta de espacios semi de Montel es nuevamente un espacio semi de Montel. El producto cartesiano de cualquier familia de espacios semi de Montel (respectivamente, espacios de Montel) es nuevamente un espacio semi de Montel (respectivamente, un espacio de Montel).

Espacios de Montel'

El dual fuerte de un espacio de Montel es de Montel. Un espacio nuclear cuasi complete barrilado es un espacio de Montel.​ Todo producto y suma directa localmente convexos de una familia de espacios de Montel es un espacio de Montel.​ El límite directo estricto de una secuencia de espacios de Montel es un espacio de Montel.​ Por el contrario, los subespacios cerrados y los cocientes separados de espacios de Montel en general ni siquiera son espacios reflexivos.​ Cada espacio de Schwartz que sea de Fréchet es un espacio de Montel.​

Propiedades

Los espacios de Montel son paracompactos y normales.​ Los espacios semi de Montel son cuasi completos y semirreflexivos, mientras que los espacios de Montel son reflexivos.

Ningún espacio de Banach de dimensión infinita es un espacio de Montel. Esto se debe a que un espacio de Banach no puede satisfacer la propiedad de Heine-Borel: la bola unitaria cerrada es cerrada y acotada, pero no es compacta. Los espacios de Fréchet Montel son separables, y tienen un dual fuerte bornológico. Un espacio de Montel metrizable es separable.​

Los espacios de Fréchet-Montel son espacios distinguidos.

Ejemplos

En análisis complejo clásico, el teorema de Montel afirma que el espacio de una función holomorfa en un subconjunto abierto conexo de números complejos tiene esta propiedad.

Muchos espacios de Montel de interés contemporáneo surgen como espacios de funciones de prueba para un espacio de distribuciones. El espacio $C^{\infty }(\Omega )$ de función infinitamente diferenciable en un conjunto abierto $\Omega$ en $\mathbb {R} ^{n}$ es un espacio de Montel equipado con la topología inducida por la familia de seminorma.

$\|f\|_{K,n}=\sup _{|\alpha |\leq n}\sup _{x\in K}\left|\partial ^{\alpha }f(x)\right|$

para $n=1,2,\ldots$ y $K$ se extiende sobre subconjuntos compactos de $\Omega ,$ y $\alpha$ es un notación multi-índice. De manera similar, se cumple para el espacio de funciones compactamente soportadas en un conjunto abierto con la topología final de la familia de inclusiones $\scriptstyle {C_{0}^{\infty }(K)\subset C_{0}^{\infty }(\Omega )}$, ya que $K$ abarca todos los subconjuntos compactos de $\Omega .$ El espacio de Schwartz también es un espacio de Montel.

Contraejemplos

Cada espacio vectorial normado de dimensión infinita es un espacio barrilado que no es un espacio de Montel.​ En particular, cada espacio de Banach de dimensión infinita no es un espacio de Montel.​ Existen espacios Montel que no son separables y existen espacios de Montel que no son completos.​ También existen espacios de Montel que tienen subespacios vectoriales cerrados que no son espacios de Montel.​

Véase también

• Espacio barrilado
• Espacio bornológico
• Teorema de Heine-Borel
• Espacio LB
• Espacio LF
• Espacio nuclear

Bibliografía

• Edwards, Robert E. (1995). Functional Analysis: Theory and Applications (en inglés). New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138. 
• 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 (en inglés) 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583. 
• Hogbe-Nlend, Henri; Moscatelli, V. B. (1981). Nuclear and Conuclear Spaces: Introductory Course on Nuclear and Conuclear Spaces in the Light of the Duality "topology-bornology". North-Holland Mathematics Studies (en inglés) 52. Amsterdam New York New York: North Holland. ISBN 978-0-08-087163-9. OCLC 316564345. 
• Jarchow, Hans (1981). Locally convex spaces (en inglés). 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 (en inglés) 936. Berlin, Heidelberg, New York: Springer-Verlag. 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 (en alemán) 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 (en alemán) 237. New York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972. 
• Lindström, Mikael (1 de enero de 1990). «A note on Fréchet-Montel spaces». Proceedings of the American Mathematical Society (American Mathematical Society (AMS)) 108 (1): 191-196. ISSN 0002-9939. doi:10.1090/s0002-9939-1990-0994780-8. 
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (en inglés) (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 (en inglés) 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 (en inglés) 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations (en inglés). San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365. 
• Swartz, Charles (1992). An introduction to Functional Analysis (en inglés). New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067. 
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels (en inglés). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces (en inglés). Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114. 
• Hazewinkel, Michiel, ed. (2001), «Espacio de Montel», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .

• Datos: Q1516604