Tipo de espacio vectorial topológico
En análisis funcional y áreas relacionadas de las matemáticas , un espacio de barril (también escrito espacio de barril ) es un espacio vectorial topológico (TVS) para el cual cada conjunto de barril en el espacio es una vecindad del vector cero . Un conjunto de barriles o un barril en un espacio vectorial topológico es un conjunto convexo , equilibrado , absorbente y cerrado . Los espacios en cañón se estudian porque una forma del teorema de Banach-Steinhaus todavía se cumple para ellos. Bourbaki (1950) introdujo los espacios en cañón .
barriles
Un subconjunto convexo y equilibrado de un espacio vectorial real o complejo se llama disco y se dice que es discoidal , absolutamente convexo o convexo equilibrado .
Abarril o unel conjunto de barriles en unespacio vectorial topológico(TVS) es un subconjunto que es undiscoabsorbentecerrado es decir, un barril es un subconjunto convexo, equilibrado, cerrado y absorbente.
Cada barril debe contener el origen. Si y si es cualquier subconjunto de entonces es un conjunto convexo, equilibrado y absorbente de si y solo si todo esto es cierto para todo subespacio vectorial dimensional , por lo tanto, si entonces el requisito de que un barril sea un subconjunto cerrado de es el único propiedad que define que no depende únicamente de subespacios vectoriales de dimensiones (o inferiores) de
Si hay algún TVS, entonces cada vecindad cerrada, convexa y equilibrada del origen es necesariamente un barril (porque cada vecindad del origen es necesariamente un subconjunto absorbente). De hecho, todo espacio vectorial topológico localmente convexo tiene una base de vecindad en su origen que consta enteramente de barriles. Sin embargo, en general, pueden existir barricas que no sean vecinas del origen; Los "espacios con barriles" son exactamente aquellos TVS en los que cada barril es necesariamente una vecindad del origen. Cada espacio vectorial topológico de dimensión finita es un espacio de barril, por lo que ejemplos de barriles que no son vecindades del origen solo se pueden encontrar en espacios de dimensión infinita.
Ejemplos de barriles y no barriles
El cierre de cualquier subconjunto convexo, equilibrado y absorbente es un barril. Esto se debe a que el cierre de cualquier subconjunto convexo (respectivamente, cualquier subconjunto equilibrado o absorbente) tiene esta misma propiedad.
Una familia de ejemplos : Supongamos que es igual a (si se considera un espacio vectorial complejo) o igual a (si se considera un espacio vectorial real). Independientemente de si se trata de un espacio vectorial real o complejo, cada barril es necesariamente una vecindad del origen (al igual que un ejemplo de espacio de barril). Sea cualquier función y para cada ángulo denotemos el segmento de recta cerrada desde el origen hasta el punto. Sea entonces siempre un subconjunto absorbente de (un espacio vectorial real) pero es un subconjunto absorbente de (un espacio vectorial complejo) si y sólo si es un barrio del origen. Además, es un subconjunto equilibrado de si y sólo si para cada (si este es el caso entonces y están completamente determinados por los valores de ) pero es un subconjunto equilibrado de si y sólo si es una bola abierta o cerrada centrada en el origen (de radio ). En particular, los barriles en son exactamente esas bolas cerradas centradas en el origen con radio en Si entonces es un subconjunto cerrado que absorbe pero no absorbe y que no es convexo, ni está equilibrado, ni es vecino del origen en Por una elección apropiada de la función también es posible que sea un subconjunto equilibrado y absorbente que no sea ni cerrado ni convexo. Para ser un subconjunto equilibrado, absorbente y cerrado de that no es convexo ni vecino del origen, defina on de la siguiente manera: for let (alternativamente, puede ser cualquier función positiva de on que sea continuamente diferenciable, lo que garantiza eso y eso es cerrado, y que también satisface lo que impide ser vecindad del origen) para luego extenderse definiendo qué garantías de que está equilibrado en
Propiedades de las barricas
- En cualquier espacio vectorial topológico (TVS), cada barril absorbe cada subconjunto convexo compacto de
- En cualquier TVS de Hausdorff localmente convexo , cada barril absorbe cada subconjunto completo acotado convexo de
- Si es localmente convexo, entonces un subconjunto de está acotado si y sólo si existe un barril tal que
- Sea un emparejamiento y sea una topología localmente convexa consistente con la dualidad. Entonces un subconjunto de es un barril si y sólo si es el polar de algún subconjunto acotado de
- Supongamos que es un subespacio vectorial de codimensión finita en un espacio localmente convexo y si es un barril (resp. barril bornívoro , disco bornívoro) entonces existe un barril (resp. barril bornívoro, disco bornívoro) de tal manera que
Caracterizaciones de espacios con barriles.
Denota por el espacio de mapas lineales continuos desde dentro
Si es un espacio vectorial topológico de Hausdorff (TVS) con espacio dual continuo, entonces lo siguiente es equivalente:
- está en cañón.
- Definición : Cada barriles una vecindad del origen.
- Esta definición es similar a una caracterización de los TVS de Baire probada por Saxon [1974], quien demostró que un TVS con una topología que no es la topología indiscreta es un espacio de Baire si y sólo si cada subconjunto equilibrado absorbente es una vecindad de algún punto de (no necesariamente el origen).
- Para cualquier TVS de Hausdorff, cada subconjunto acotado puntualmente de es equicontinuo.
- Para cualquier espacio F, todo subconjunto de acotado puntualmente es equicontinuo.
- Cada operador lineal cerrado desde un TVS metrizable completo es continuo.
- Una aplicación lineal se dice cerrada si su gráfica es un subconjunto cerrado de
- Cada topología de Hausdorff TVS que tiene una base de vecindad del origen que consta de un conjunto cerrado es, por supuesto,
Si es un espacio localmente convexo , esta lista puede ampliarse añadiendo:
- Existe un TVS que no lleva la topología indiscreta (en particular, ) tal que cada subconjunto acotado puntualmente de es equicontinuo.
- Para cualquier TVS localmente convexo, cada subconjunto de acotado puntualmente es equicontinuo.
- De las dos caracterizaciones anteriores se deduce que en la clase de TVS localmente convexos, los espacios en forma de barril son exactamente aquellos para los cuales se cumple el principio de acotación uniforme.
- Todo subconjunto acotado del espacio dual continuo es equicontinuo (esto proporciona una inversa parcial del teorema de Banach-Steinhaus ). [6]
- lleva la fuerte topología dual
- Cada seminorma semicontinua inferior es continua.
- Cada aplicación lineal en un espacio localmente convexo es casi continua.
- Un mapa lineal se llamacasi continuo si por cada barriodel origen enel cierre dehay un barrio del origen en
- Todo mapa lineal sobreyectivo de un espacio localmente convexo es casi abierto .
- Esto significa que por cada vecindad de 0 en el cierre de hay una vecindad de 0 en
- Si es una topología localmente convexa tal que tiene una base de vecindad en el origen que consta de conjuntos cerrados, entonces es más débil que
Si es un espacio localmente convexo de Hausdorff, entonces esta lista puede ampliarse agregando:
- Teorema del grafo cerrado : Todo operador lineal cerrado en un espacio de Banach es continuo .
- Para cada subconjunto del espacio dual continuo de las siguientes propiedades son equivalentes: es [6]
- equicontinuo;
- relativamente débilmente compacto;
- fuertemente delimitado;
- débilmente delimitado.
- Las bases de vecindad 0 en y las familias fundamentales de conjuntos acotados en se corresponden entre sí por polaridad . [6]
Si es un espacio vectorial topológico metrizable, entonces esta lista puede ampliarse agregando:
- Para cualquier TVS metrizable completo, cada secuencia delimitada puntualmente es equicontinua.
Si es un espacio vectorial topológico metrizable localmente convexo , entonces esta lista puede ampliarse agregando:
- (Propiedad S ): Latopología débil* está secuencialmente completa .
- (Propiedad C ): Todo subconjunto acotado débil* dees-relativamente contablemente compacto .
- (𝜎-barriled ): Todo subconjunto acotado débil* contable dees equicontinuo.
- (Tipo Baire ):no es la unión de una secuencia creciente de discos no densos .
Ejemplos y condiciones suficientes
Cada uno de los siguientes espacios vectoriales topológicos tiene un cañón:
- TVS que son el espacio de Baire .
- En consecuencia, todo espacio vectorial topológico que sea de segunda categoría en sí mismo está en barril.
- Espacios F , espacios de Fréchet , espacios de Banach y espacios de Hilbert .
- TVS completos pseudometrizables .
- En consecuencia, cada TVS de dimensión finita está disparado.
- Espacios de Montel .
- Fuertes espacios duales de espacios de Montel (ya que son necesariamente espacios de Montel).
- Un espacio cuasi-barril localmente convexo que también es un espacio σ-barril .
- Un espacio cuasibarril secuencialmente completo .
- "Un espacio infrabarrilado localmente convexo de Hausdorff casi completo ".
- Un TVS se denomina cuasicompleto si todos los subconjuntos cerrados y acotados están completos.
- Un TVS con un subespacio vectorial denso y con forma de cañón.
- Así, la terminación de un espacio en forma de cañón es en forma de cañón.
- Un TVS localmente convexo de Hausdorff con un subespacio vectorial denso infracañón .
- De este modo se completa la realización de un espacio localmente convexo de Hausdorff infrabarrilado.
- Un subespacio vectorial de un espacio en forma de barril que tiene codimensionalidad contable.
- En particular, un subespacio vectorial codimensional finito de un espacio en barril es en barril.
- Un TVS ultrabarelado localmente convexo.
- Un TVS localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.
- Un TVS localmente convexo tal que para cada espacio de Banach un mapa lineal cerrado de es necesariamente continuo.
- Producto de una familia de espacios con forma de cañón.
- Una suma directa localmente convexa y el límite inductivo de una familia de espacios en forma de barril.
- Un cociente de un espacio de barril.
- Un TVS de suma limitada , cuasibarril, secuencialmente completo de Hausdorff.
- Un espacio reflexivo de Hausdorff localmente convexo está en forma de cañón.
Ejemplos de contador
- Un espacio en barril no tiene por qué ser Montel , completo , metrizable , desordenado tipo Baire, ni el límite inductivo de los espacios de Banach.
- No todos los espacios normados tienen barriles. Sin embargo, todos están infracañón.
- Un subespacio cerrado de un espacio con cañón no necesariamente tiene un cuasi-cañón contable (y, por lo tanto, no necesariamente tiene un cañón).
- Existe un subespacio vectorial denso del espacio de cañón de Fréchet que no tiene cañón.
- Existen TVS completos localmente convexos que no tienen cañón.
- La mejor topología localmente convexa en un espacio vectorial de dimensión infinita es un espacio de barril de Hausdorff que es un escaso subconjunto de sí mismo (y por lo tanto no es un espacio de Baire ).
Propiedades de los espacios en forma de cañón
Generalización de Banach-Steinhaus
La importancia de los espacios con cañón se debe principalmente a los siguientes resultados.
El teorema de Banach-Steinhaus es un corolario del resultado anterior. Cuando el espacio vectorial consta de números complejos, entonces también se cumple la siguiente generalización.
Recuerde que una aplicación lineal se llama cerrada si su gráfica es un subconjunto cerrado de
Teorema del gráfico cerrado : cada operador lineal cerrado desde un TVS con cañón de Hausdorff hasta un TVS metrizable completo es continuo.
Otras propiedades
- Cada espacio con cañón de Hausdorff es cuasi-con cañón .
- Un mapa lineal desde un espacio en forma de barril hasta un espacio localmente convexo es casi continuo.
- Un mapa lineal desde un espacio localmente convexo hasta un espacio en forma de barril es casi abierto .
- Un mapa bilineal continuo por separado de un producto de espacios en forma de barril a un espacio localmente convexo es hipocontinuo .
- Un mapa lineal con un gráfico cerrado desde un TVS en forma de barril hasta un TVS completo es necesariamente continuo.
Ver también
Referencias
- ^ abc Schaefer & Wolff 1999, págs. 127, 141 Trèves 2006, pág. 350.
Bibliografía
- Adasch, Norberto; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de conferencias de matemáticas. vol. 639. Berlín Nueva York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003.
- Berberiano, Sterling K. (1974). Conferencias sobre Análisis Funcional y Teoría del Operador . Textos de Posgrado en Matemáticas. vol. 15. Nueva York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolás (1950). "Sur sures espaces vectoriels topologiques". Annales de l'Institut Fourier (en francés). 2 : 5-16 (1951). doi : 10.5802/aif.16 . SEÑOR 0042609.
- Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Conway, John B. (1990). Un curso de análisis funcional . Textos de Posgrado en Matemáticas . vol. 96 (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908.
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138.
- Grothendieck, Alejandro (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon y Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Husain, Taqdir; Khaleelulla, SM (1978). "Barrelness" en espacios vectoriales topológicos y ordenados . Apuntes de conferencias de matemáticas . vol. 692. Berlín, Nueva York, Heidelberg: Springer-Verlag . ISBN 978-3-540-09096-0. OCLC 4493665.
- 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.
- 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.
- Osborne, MasonScott (2013). Espacios localmente convexos . Textos de Posgrado en Matemáticas. vol. 269. Cham Heidelberg Nueva York Dordrecht Londres: Springer Science & Business Media. ISBN 978-3-319-02045-7. OCLC 865578438.
- 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.
- Robertson, Alex P.; Robertson, Wendy J. (1964). Espacios vectoriales topológicos . Tratados de Cambridge en Matemáticas. vol. 53. Prensa de la Universidad de Cambridge . págs. 65–75.
- 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.
- Voigt, Jürgen (2020). Un curso sobre espacios vectoriales topológicos . Libros de texto compactos de matemáticas. Cham: Birkhäuser Basilea. ISBN 978-3-030-32945-7. OCLC 1145563701.
- 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.