En análisis funcional y en otras áreas matemáticas, un espacio barrilado es un espacio vectorial topológico (EVT) para el que cada conjunto barrilado en el espacio es un entorno del elemento cero.
Un conjunto barrilado o un barril en un espacio vectorial topológico es un conjunto que es convexo, equilibrado, absorbente y cerrado.
Los espacios barrilados se estudian porque todavía se les aplica una forma del principio de acotación uniforme. Este concepto fue introducido en 1950 por el colectivo de matemáticos franceses conocido bajo el nombre de Nicolas Bourbaki.
Barriles
Un subconjunto equilibrado y convexo de un espacio vectorial real o complejo se denomina disco y se dice que tiene forma de disco, si es absolutamente convexo o equilibrado convexo.
Un barril
o un conjunto barrilado
en un espacio vectorial topológico (EVT) es un subconjunto que es un disco cerrado y absorbente; 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 en para cada subespacio vectorial -dimensional , por lo tanto, si entonces se cumple el requisito de que un barril sea un subconjunto cerrado de , y es la única propiedad definitoria que no depende únicamente de subespacios vectoriales de dimensión (o inferior) de
Si es cualquier EVT, entonces cada entorno cerrado, convexo y equilibrado del origen es necesariamente un barril en (porque cada entorno del origen es necesariamente un subconjunto absorbente). De hecho, cada espacio localmente convexo tiene en su origen una base de entornos formada íntegramente por barriles. Sin embargo, en general, en este caso podrían existir barriles que no sean entornos del origen. Los "espacios con barriles" son exactamente aquellos EVT en los que cada barril es necesariamente un entorno del origen. Cada espacio vectorial topológico de dimensión finita es un espacio barrilado, por lo que ejemplos barrilados que no son entornos del origen solo se pueden encontrar en espacios de dimensión infinita.
Ejemplos de barrilados y no barrilados
El cierre de cualquier subconjunto convexo, equilibrado y absorbente es barrilado. 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: Supóngase que es igual a (si se considera un espacio vectorial complejo) o igual a (si se considera un espacio vectorial real). Independientemente de si es un espacio vectorial real o complejo, cada barril en es necesariamente un entorno del origen (por lo que es un ejemplo de un espacio barrilado). Sea cualquier función y para cada ángulo sea el segmento de recta cerrado desde el origen hasta el punto Sea Entonces, es siempre un subconjunto absorbente de (un espacio vectorial real) pero es un subconjunto absorbente de (un espacio vectorial complejo) si y solo si es un entorno del origen. Además, es un subconjunto equilibrado de si y solo si para cada (si este es el caso, entonces y están completamente determinados por los valores de en ) pero es un subconjunto equilibrado de si y solo 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 absorbente en , pero no es absorbente en y tampoco es ni convexo, ni equilibrado, ni entorno del origen en Mediante una elección adecuada de la función también es posible que sea un subconjunto de equilibrado y absorbente pero que no es ni cerrado ni convexo. Para que sea un subconjunto de equilibrado, absorbente y cerrado que no sea convexo ni un entorno del origen, defínase en como sigue: para sea (alternativamente, puede ser cualquier función positiva en que sea continuamente diferenciable, lo que garantiza que y que esté cerrado, y que también satisfaga que lo que evita que sea un entorno del origen), y luego extiéndase a definiendo lo que garantiza que esté equilibrado en
Propiedades de los barriles
- En cualquier espacio vectorial topológico (EVT) cada barril en absorbe cada subconjunto compacto convexo de
- En cualquier EVT de Hausdorff localmente convexo cada barril en absorbe cada subconjunto completo acotado convexo de
- Si es localmente convexo, entonces un subconjunto de está acotado por si y solo si existe un barril en tal que
- Sea un emparejamiento, y sea una topología localmente convexa en consistente con la dualidad. Entonces, un subconjunto de es un barril en si y solo si es el polar de algún subconjunto acotado por de
- Supóngase que es un subespacio vectorial de codimensión finita en un espacio localmente convexo y Si es un barril (respectivamente, barril bornívoro, disco bornívoro) en , entonces existe un barril (respectivamente, barril bornívoro, disco bornívoro) en tal que
Caracterizaciones de espacios barrilados
Denótese por el espacio de aplicaciones lineales continuas de a
Si es un espacio vectorial topológico (EVT) de Hausdorff con espacio dual , entonces los siguientes enunciados son equivalentes:
- es barrilado.
- Definición : Cada barril en es un entorno del origen.
- Esta definición es similar a una caracterización de los EVT de Baire probada por Saxon [1974], quien demostró que un EVT con una topología que no sea la topología no discreta es un espacio de Baire si y solo si cada subconjunto equilibrado absorbente es un entorno de algún punto de (no necesariamente el origen).
- Para cualquier EVT de Hausdorff, cada subconjunto acotado puntualmente de es equicontinuo.
- Para cualquier espacio F , todo subconjunto acotado puntualmente de es equicontinuo.
- Cada operador lineal cerrado desde hasta un EVT metrizable completo es continuo.
- Una aplicación lineal se llama cerrada si su grafo es un subconjunto de
- Cada topología en un EVT de Hausdorff que tiene una base de entornos en el origen que consta de un conjunto cerrado es más larga que
Si es un espacio localmente convexo, esta lista de sentencias puede ampliarse añadiendo:
- Existe un EVT que no lleva la topología no discreta (en particular, ) tal que cada subconjunto acotado puntualmente de es equicontinuo.
- Para cualquier EVT localmente convexo cada subconjunto acotado puntualmente de es equicontinuo.
- De las dos caracterizaciones anteriores se deduce que en la clase de EVTs localmente convexos, los espacios barrilados son exactamente aquellos para los cuales se cumple el principio de acotación uniforme.
- Cada subconjunto acotado por del espacio dual continuo es equicontinuo (esto proporciona un inverso parcial al principio de acotación uniforme).[7]
- porta la topología dual fuerte
- Cada seminorma semicontinua por debajo en es continua.
- Cada aplicación lineal en un espacio localmente convexo es casi continua.
- Una aplicación lineal se llama casi continua
si para cada entorno del origen en el cierre de es un entorno del origen en
- Toda aplicación lineal sobreyectiva de un espacio localmente convexo es casi abierta.
- Esto significa que por cada entorno de 0 en el cierre de es un entorno de 0 en
- Si es una topología localmente convexa en tal que tiene una base de entorno 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 añadiendo:
- Teorema de la gráfica cerrada: Cada operador lineal cerrado en un espacio de Banach es continuo.
- Un operador lineal se llama cerrado si su grafo es un subconjunto cerrado de
- Para cada subconjunto del espacio dual continuo de las siguientes propiedades son equivalentes: es[7]
- equicontinuo;
- relativamente débilmente compacto;
- fuertemente acotado;
- débilmente acotado.
- Las bases de entornos de 0 en y las familias fundamentales de conjuntos acotados en se corresponden entre sí por polaridad.[7]
Si es un espacio vectorial topológico metrizable, entonces esta lista puede ampliarse añadiendo:
- Para cualquier EVT metrizable completo , cada sucesión acotada puntualmente en es equicontinua.
Si es un espacio vectorial topológico metrizable localmente convexo, entonces esta lista puede ampliarse añadiendo:
- (Propiedad S
): La topología *débil en es secuencialmente completa.
- (Propiedad C
): Cada subconjunto acotado *débil de es relativo numerable compacto.
- (Barrilado 𝜎
): Cada subconjunto acotado *débil numerable de es equicontinuo.
- (Tipo Baire
): no es la unión de una sucesión creciente de discos densos en ninguna parte.
Ejemplos y condiciones suficientes
Cada uno de los siguientes espacios vectoriales topológicos tiene un espacio barrilado:
- Los EVTs que son espacios de Baire.
- En consecuencia, todo espacio vectorial topológico que sea exiguo en sí mismo es barrilado.
- Espacios F, espacios de Fréchet, espacios de Banach y espacios de Hilbert.
- Los EVTs pseudometrizables y completos.
- En consecuencia, todo EVT de dimensión finita tiene un barrilado.
- Espacios de Montel.
- Espacios duales fuertes de espacios de Montel (ya que son necesariamente espacios de Montel).
- Un espacio cuasi barrilado localmente convexo que también es un espacio σ-barrilado.
- Un espacio cuasi barrilado secuencialmente completo.
- Un espacio cuasi completo de Hausdorff localmente convexo infrabarrilado.
- Un EVT se denomina cuasi completo si cada subconjunto cerrado y acotado está completo.
- Un EVT con un subespacio vectorial denso y barrilado.
- Así, la terminación de un espacio barrilado es barrilado.
- Un EVT localmente convexo de Hausdorff con un subespacio vectorial denso infrabarrilado.
- De este modo se completa la realización de un espacio localmente convexo de Hausdorff infrabarrilado.
- Un subespacio vectorial de un espacio barrilado que tiene codimensionalidad numerable.
- En particular, un subespacio vectorial codimensional finito de un espacio barrilado es barrilado.
- Un EVT ultrabarrilado localmente convexo.
- Un EVT localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.
- Un EVT localmente convexo tal que para cada espacio de Banach una aplicación lineal cerrada de en es necesariamente continua.
- Un producto de una familia de espacios barrilados.
- Una suma directa localmente convexa y el límite inductivo de una familia de espacios barrilados.
- Un cociente de un espacio barrilado.
- Un EVT aditivo acotado cuasi barrilado secuencialmente completo de Hausdorff.
- Un espacio reflexivo localmente convexo de Hausdorff tiene un barrilado.
Contraejemplos
- Un espacio barrilado no tiene por qué ser de Montel, completo, metrizable, desordenado de tipo Baire, ni el límite inductivo de los espacios de Banach.
- No todos los espacios normados tienen barrilado. Sin embargo, todos son infrabarrilados.
- Un subespacio cerrado de un espacio barrilado no es necesariamente cuasi barrilado numerable (y por lo tanto, no necesariamente barrilado).
- Existe un subespacio vectorial denso del espacio barrilado de Fréchet que no es barrilado.
- Existen EVTs localmente convexos completos que no tienen barrilado.
- La topología localmente convexa más fina en un espacio vectorial de dimensión infinita es un espacio barrilado de Hausdorff que es un subconjunto exiguo de sí mismo (y por lo tanto, no es un espacio de Baire).
Propiedades de los espacios barrilados
Generalización de Banach-Steinhaus
La importancia de los espacios barrilados se debe principalmente a los siguientes resultados:
El principio de acotación uniforme es un corolario del resultado anterior. Cuando el espacio vectorial consta de números complejos, entonces también se cumple la siguiente generalización:
Recuérdese que una aplicación lineal se llama cerrada si su grafo es un subconjunto cerrado de
Teorema del grafo cerrado
Cada operador lineal cerrado desde un EVT barrilado de Hausdorff a un EVT metrizable completo, es continuo.
|
Otras propiedades
- Cada espacio barrilado de Hausdorff es cuasi barrilado.
- Una aplicación lineal desde un espacio barrilado a un espacio localmente convexo es casi continua.
- Una aplicación lineal desde un espacio localmente convexo sobre un espacio barrilado es casi abierta.
- Una aplicación bilineal separadamente continua de un producto de espacios barrilados a un espacio localmente convexo es hipocontinua.
- Una aplicación lineal con un grafo cerrado desde un EVT barrilado hasta un EVT completo es necesariamente continua.
Véase también
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 (1950). «Sur certains espaces vectoriels topologiques». Annales de l'Institut Fourier (en francés) 2: 5-16 (1951). MR 0042609. doi:10.5802/aif.16.
- 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.
- 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.
- 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.
- 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.
- 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.
- Osborne, Mason Scott (2013). Locally Convex Spaces. Graduate Texts in Mathematics 269. Cham Heidelberg New York Dordrecht London: Springer Science & Business Media. ISBN 978-3-319-02045-7. OCLC 865578438.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
- Robertson, Alex P.; Robertson, Wendy J. (1964). Topological vector spaces. Cambridge Tracts in Mathematics 53. Cambridge University Press. pp. 65-75.
- 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.
- Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
- 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.
- Voigt, Jürgen (2020). A Course on Topological Vector Spaces. Compact Textbooks in Mathematics. Cham: Birkhäuser Basel. ISBN 978-3-030-32945-7. OCLC 1145563701.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
|