Espacio en cañón donde los subconjuntos cerrados y acotados son compactos
En análisis funcional y áreas relacionadas de las matemáticas , un espacio de Montel , llamado así en honor a Paul Montel , es cualquier espacio vectorial topológico (TVS) en el que se cumple un análogo del teorema de Montel . Específicamente, un espacio de Montel es un espacio vectorial topológico en forma de barril en el que cada subconjunto cerrado y acotado es compacto .
Definición
Un espacio vectorial topológico (TVS) tiene laPropiedad de Heine-Borel si todosubconjuntocerradoyescompacto. AEl espacio Montel es unespacio vectorial topológicoen forma de barrilDe manera equivalente, es unespacio semi-Montelinfrabarrilespacio vectorial topológico localmente convexode Hausdorff se llamaespacio semi-Montel operfecto si cadasubconjunto acotadoesrelativamente compacto.[nota 1]
Un subconjunto de un TVS es compacto si y solo si escompletoytotalmente acotado. AEl espacio Fréchet-Montel es unespacio Fréchetque también es un espacio Montel.
Caracterizaciones
Un espacio de Fréchet separable es un espacio de Montel si y sólo si cada secuencia convergente débil-* en su dual continuo es fuertemente convergente .
Un espacio de Fréchet es un espacio de Montel si y sólo si toda función continua acotada envía subconjuntos cerrados acotados absolutamente convexos de a subconjuntos relativamente compactos de
Además, si denota el espacio vectorial de todas las funciones continuas acotadas en un espacio de Fréchet entonces es Montel si y sólo si cada secuencia que converge a cero en la topología compacta-abierta también converge uniformemente a cero en todos los subconjuntos absolutamente convexos acotados cerrados de
Condiciones suficientes
Espacios semimontel
Un subespacio vectorial cerrado de un espacio semi-Montel es nuevamente un espacio semi-Montel. La suma directa localmente convexa de cualquier familia de espacios semi-Montel es nuevamente un espacio semi-Montel. El límite inverso de un sistema inverso que consta de espacios semi-Montel es nuevamente un espacio semi-Montel. El producto cartesiano de cualquier familia de espacios semi-Montel (respectivamente espacios Montel) es nuevamente un espacio semi-Montel (respectivamente un espacio Montel).
espacios montel
El dual fuerte de un espacio Montel es Montel. Un espacio nuclear cuasi completo con cañón es un espacio de Montel.
Todo producto y suma directa localmente convexa de una familia de espacios de Montel es un espacio de Montel. límite inductivo
estricto de una secuencia de espacios de Montel es un espacio de Montel. Por el contrario, los subespacios cerrados y los cocientes separados de los espacios de Montel en general ni siquiera son reflexivos .
Todo espacio de Fréchet Schwartz es un espacio de Montel.
Propiedades
Los espacios de Montel son paracompactos y normales . [4]
Los espacios Semi-Montel son cuasi completos y semi-reflexivos, mientras que los espacios 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 está cerrada y acotada, pero no compacta. Los espacios de Fréchet Montel son separables y tienen un dual bornológico fuerte. Un espacio Montel metrizable es separable .
Los espacios Fréchet-Montel son espacios distinguidos .
Ejemplos
En el análisis complejo clásico , el teorema de Montel afirma que el espacio de funciones holomorfas en un subconjunto abierto y conectado de números complejos tiene esta propiedad. [ cita necesaria ]
Muchos espacios Montel de interés contemporáneo surgen como espacios de funciones de prueba para un espacio de distribuciones . El espacio de funciones suaves en un conjunto abierto es un espacio de Montel equipado con la topología inducida por la familia de seminormas [5]
índice múltiplecon soporte compactotopología finalSchwartzContraejemplos
Todo espacio normado de dimensión infinita es un espacio en forma de barril que no es un espacio de Montel. espacio de Banach
de dimensión infinita no es un espacio de Montel.
Existen espacios de Montel que no son separables y existen espacios de Montel que no están completos .
Existen espacios de Montel que tienen subespacios vectoriales cerrados que no son espacios de Montel.
Ver también
Notas
- ^ Un subconjunto de un espacio topológico se llama relativamente compacto si su cierre es compacto .
Referencias
- ^ "Espacio vectorial topológico". Enciclopedia de Matemáticas . Consultado el 6 de septiembre de 2020 .
- ^ Hogbe-Nlend y Moscatelli 1981, pág. 235
Bibliografía
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138.
- Hogbe-Nlend, Henri (1977). Bornologías y Análisis Funcional: Curso Introductorio a la Teoría de la Dualidad Topología-Bornología y su uso en Análisis Funcional . Estudios de Matemáticas de Holanda Septentrional. vol. 26. Amsterdam Nueva York Nueva York: Holanda Septentrional. ISBN 978-0-08-087137-0. SEÑOR 0500064. OCLC 316549583.
- Hogbe-Nlend, Henri ; Moscatelli, VB (1981). Espacios Nucleares y Connucleares: Curso Introductorio a los Espacios Nucleares y Connucleares a la Luz de la Dualidad "topología-bornología" . Estudios de Matemáticas de Holanda Septentrional. vol. 52. Amsterdam Nueva York Nueva York: Holanda Septentrional. ISBN 978-0-08-087163-9. OCLC 316564345.
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Khaleelulla, SM (1982). Contraejemplos en espacios vectoriales topológicos . Apuntes de conferencias de matemáticas . vol. 936. Berlín, Heidelberg, Nueva York: Springer-Verlag . ISBN 978-3-540-11565-6. OCLC 8588370.
- Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. SEÑOR 0248498. OCLC 840293704.
- Köthe, Gottfried (1979). Espacios vectoriales topológicos II . Grundlehren der mathematischen Wissenschaften. vol. 237. Nueva York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972.
- Lindström, Mikael (1 de enero de 1990). "Una nota sobre los espacios de Fréchet-Montel" (PDF) . Actas de la Sociedad Matemática Estadounidense . 108 (1). Sociedad Estadounidense de Matemáticas (AMS): 191–196. doi :10.1090/s0002-9939-1990-0994780-8. ISSN 0002-9939.
{{cite journal}}
: CS1 maint: date and year (link) - Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Tratados de Cambridge en Matemáticas. vol. 53. Cambridge Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Prensa académica. ISBN 978-0-12-622760-4. OCLC 175294365.
- Swartz, Charles (1992). Una introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
- "Espacio Montel", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]