Espacio barrilado

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.Plantilla:Sfn

Barriles

Un subconjunto equilibrado y convexo de un espacio vectorial real o complejo se denomina Plantilla:Enf y se dice que Plantilla:Enf, si es Plantilla:Enf o Plantilla:Enf.

Un Plantilla:Enf o un Plantilla:Enf 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 $\dim X\ge 2$ y si $S$ es cualquier subconjunto de $X,$ entonces $S$ es un conjunto convexo, equilibrado y absorbente de $X$ si y solo si todo esto es cierto para $S\cap Y$ en $Y$ para cada subespacio vectorial $2$-dimensional $Y;$, por lo tanto, si $\dim X>2$ entonces se cumple el requisito de que un barril sea un subconjunto cerrado de $X$, y es la única propiedad definitoria que no depende Plantilla:Enf de subespacios vectoriales de dimensión $2$ (o inferior) de $X.$

Si $X$ es cualquier EVT, entonces cada entorno cerrado, convexo y equilibrado del origen es necesariamente un barril en $X$ (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 Plantilla:Enf 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 $X$ es igual a $ℂ$ (si se considera un espacio vectorial complejo) o igual a ${ℝ}^2$ (si se considera un espacio vectorial real). Independientemente de si $X$ es un espacio vectorial real o complejo, cada barril en $X$ es necesariamente un entorno del origen (por lo que $X$ es un ejemplo de un espacio barrilado). Sea $R:[0,2\pi )\to (0,\mathrm{\infty }]$ cualquier función y para cada ángulo $\theta \in [0,2\pi ),$ sea $S_{\theta }$ el segmento de recta cerrado desde el origen hasta el punto $R(\theta )e^{i\theta }\in ℂ.$ Sea $S:=\bigcup _{\theta \in [0,2\pi )}{S}_{\theta }.$ Entonces, $S$ es siempre un subconjunto absorbente de ${ℝ}^2$ (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, $S$ es un subconjunto equilibrado de ${ℝ}^2$ si y solo si $R(\theta )=R(\pi +\theta )$ para cada $0\le \theta <\pi$ (si este es el caso, entonces $R$ y $S$ están completamente determinados por los valores de $R$ en $[0,\pi )$) pero $S$ es un subconjunto equilibrado de $ℂ$ si y solo es una bola abierta o cerrada centrada en el origen (de radio $0<r\le \mathrm{\infty }$). En particular, los barriles en $ℂ$ son exactamente esas bolas cerradas centradas en el origen con radio en $(0,\mathrm{\infty }].$ Si $R(\theta ):=2\pi -\theta$, entonces $S$ es un subconjunto cerrado absorbente en ${ℝ}^2$, pero no es absorbente en $ℂ,$ y tampoco es ni convexo, ni equilibrado, ni entorno del origen en $X.$ Mediante una elección adecuada de la función $R,$ también es posible que $S$ sea un subconjunto de ${ℝ}^2$ equilibrado y absorbente pero que no es ni cerrado ni convexo. Para que $S$ sea un subconjunto de ${ℝ}^2$ equilibrado, absorbente y cerrado que Plantilla:Enf sea convexo ni un entorno del origen, defínase $R$ en $[0,\pi )$ como sigue: para $0\le \theta <\pi ,$ sea $R(\theta ):=\pi -\theta$ (alternativamente, puede ser cualquier función positiva en $[0,\pi )$ que sea continuamente diferenciable, lo que garantiza que $\underset{\theta \searrow 0}{\lim }R(\theta )=R(0)>0$ y que $S$ esté cerrado, y que también satisfaga que $\underset{\theta \nearrow \pi }{\lim }R(\theta )=0,$ lo que evita que $S$ sea un entorno del origen), y luego extiéndase $R$ a $[\pi ,2\pi )$ definiendo $R(\theta ):=R(\theta -\pi ),$ lo que garantiza que $S$ esté equilibrado en ${ℝ}^2.$

Propiedades de los barriles

• En cualquier espacio vectorial topológico (EVT) $X,$ cada barril en $X$ absorbe cada subconjunto compacto convexo de $X.$Plantilla:Sfn
• En cualquier EVT de Hausdorff localmente convexo $X,$ cada barril en $X$ absorbe cada subconjunto completo acotado convexo de $X.$Plantilla:Sfn
• Si $X$ es localmente convexo, entonces un subconjunto $H$ de $X^{\prime }$ está acotado por $\sigma (X^{\prime },X)$ si y solo si existe un barril $B$ en $X$ tal que $H\subseteq B^{\circ }.$Plantilla:Sfn
• Sea $(X,Y,b)$ un emparejamiento, y sea $\nu$ una topología localmente convexa en $X$ consistente con la dualidad. Entonces, un subconjunto $B$ de $X$ es un barril en $(X,\nu )$ si y solo si $B$ es el polar de algún subconjunto acotado por $\sigma (Y,X,b)$ de $Y.$Plantilla:Sfn
• Supóngase que $M$ es un subespacio vectorial de codimensión finita en un espacio localmente convexo $X$ y $B\subseteq M.$ Si $B$ es un barril (respectivamente, barril bornívoro, disco bornívoro) en $M$, entonces existe un barril (respectivamente, barril bornívoro, disco bornívoro) $C$ en $X$ tal que $B=C\cap M.$Plantilla:Sfn

Caracterizaciones de espacios barrilados

Denótese por $L(X;Y)$ el espacio de aplicaciones lineales continuas de $X$ a $Y.$

Si $(X,\tau )$ es un espacio vectorial topológico (EVT) de Hausdorff con espacio dual $X^{\prime }$, entonces los siguientes enunciados son equivalentes:

1. $X$ es barrilado.
2. Plantilla:Enf: Cada barril en $X$ 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 $Y$ 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 Plantilla:Enf punto de $Y$ (no necesariamente el origen).Plantilla:Sfn
3. Para cualquier EVT $Y$ de Hausdorff, cada subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.Plantilla:Sfn
4. Para cualquier espacio F $Y$, todo subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.Plantilla:Sfn
   • Un espacio F es un EVT metrizable completo.
5. Cada operador lineal cerrado desde $X$ hasta un EVT metrizable completo es continuo.Plantilla:Sfn
   • Una aplicación lineal $F:X\to Y$ se llama cerrada si su grafo es un subconjunto de $X\times Y.$
6. Cada topología en un EVT de Hausdorff $\nu$ $X$ que tiene una base de entornos en el origen que consta de un conjunto cerrado $\tau$ es más larga que $\tau .$Plantilla:Sfn

Si $(X,\tau )$ es un espacio localmente convexo, esta lista de sentencias puede ampliarse añadiendo:

7. Existe un EVT $Y$ que no lleva la topología no discreta (en particular, $Y\ne \{0\}$) tal que cada subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.Plantilla:Sfn
8. Para cualquier EVT localmente convexo $Y,$ cada subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.Plantilla:Sfn
   • 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.
9. Cada subconjunto acotado por $\sigma (X^{\prime },X)$ del espacio dual continuo $X$ es equicontinuo (esto proporciona un inverso parcial al principio de acotación uniforme).Plantilla:Sfn
10. $X$ porta la topología dual fuerte $\beta (X,X^{\prime }).$Plantilla:Sfn
11. Cada seminorma semicontinua por debajo en $X$ es continua.Plantilla:Sfn
12. Cada aplicación lineal $F:X\to Y$ en un espacio localmente convexo $Y$ es casi continua.Plantilla:Sfn
    • Una aplicación lineal $F:X\to Y$ se llama Plantilla:Nowrap si para cada entorno $V$ del origen en $Y,$ el cierre de $F^{-1}(V)$ es un entorno del origen en $X.$
13. Toda aplicación lineal sobreyectiva $F:Y\to X$ de un espacio localmente convexo $Y$ es casi abierta.Plantilla:Sfn
    • Esto significa que por cada entorno $V$ de 0 en $Y,$ el cierre de $F(V)$ es un entorno de 0 en $X.$
14. Si $\omega$ es una topología localmente convexa en $X$ tal que $(X,\omega )$ tiene una base de entorno en el origen que consta de conjuntos cerrados $\tau$, entonces $\omega$ es más débil que $\tau .$Plantilla:Sfn

Si $X$ es un espacio localmente convexo de Hausdorff, entonces esta lista puede ampliarse añadiendo:

15. Teorema de la gráfica cerrada: Cada operador lineal cerrado $F:X\to Y$ en un espacio de Banach $Y$ es continuo.Plantilla:Sfn
    • Un operador lineal se llama Plantilla:Enf si su grafo es un subconjunto cerrado de $X\times Y.$
16. Para cada subconjunto $A$ del espacio dual continuo de $X,$ las siguientes propiedades son equivalentes: $A$ es
    1. equicontinuo;
    2. relativamente débilmente compacto;
    3. fuertemente acotado;
    4. débilmente acotado.
17. Las bases de entornos de 0 en $X$ y las familias fundamentales de conjuntos acotados en $X_{\beta }^{\prime }$ se corresponden entre sí por polaridad.

Si $X$ es un espacio vectorial topológico metrizable, entonces esta lista puede ampliarse añadiendo:

18. Para cualquier EVT metrizable completo $Y$, cada Plantilla:Enf acotada puntualmente en $L(X;Y)$ es equicontinua.Plantilla:Sfn

Si $X$ es un espacio vectorial topológico metrizable localmente convexo, entonces esta lista puede ampliarse añadiendo:

19. (Plantilla:Enf): La topología *débil en $X^{\prime }$ es secuencialmente completa.Plantilla:Sfn
20. (Plantilla:Enf): Cada subconjunto acotado *débil de $X^{\prime }$ es $\sigma (X^{\prime },X)$ relativo numerable compacto.Plantilla:Sfn
21. (Plantilla:Enf): Cada subconjunto acotado *débil numerable de $X^{\prime }$ es equicontinuo.Plantilla:Sfn
22. (Plantilla:Enf): $X$ no es la unión de una sucesión creciente de discos densos en ninguna parte.Plantilla:Sfn

Ejemplos y condiciones suficientes

Cada uno de los siguientes espacios vectoriales topológicos tiene un espacio barrilado:

1. Los EVTs que son espacios de Baire.
   • En consecuencia, todo espacio vectorial topológico que sea exiguo en sí mismo es barrilado.
2. Espacios F, espacios de Fréchet, espacios de Banach y espacios de Hilbert.
   • Sin embargo, existen espacios vectoriales normados que Plantilla:Enf tienen barrilado. Por ejemplo, si $L^p$-space $L^2([0,1])$ tiene topología como un subespacio de $L^1([0,1]),$ entonces no está barrilado.
3. Los EVTs pseudometrizables y completos.Plantilla:Sfn
   • En consecuencia, todo EVT de dimensión finita tiene un barrilado.
4. Espacios de Montel.
5. Espacios duales fuertes de espacios de Montel (ya que son necesariamente espacios de Montel).
6. Un espacio cuasi barrilado localmente convexo que también es un espacio σ-barrilado.Plantilla:Sfn
7. Un espacio cuasi barrilado secuencialmente completo.
8. Un espacio cuasi completo de Hausdorff localmente convexo infrabarrilado.Plantilla:Sfn
   • Un EVT se denomina cuasi completo si cada subconjunto cerrado y acotado está completo.
9. Un EVT con un subespacio vectorial denso y barrilado.Plantilla:Sfn
   • Así, la terminación de un espacio barrilado es barrilado.
10. Un EVT localmente convexo de Hausdorff con un subespacio vectorial denso infrabarrilado.Plantilla:Sfn
    • De este modo se completa la realización de un espacio localmente convexo de Hausdorff infrabarrilado.Plantilla:Sfn
11. Un subespacio vectorial de un espacio barrilado que tiene codimensionalidad numerable.Plantilla:Sfn
    • En particular, un subespacio vectorial codimensional finito de un espacio barrilado es barrilado.
12. Un EVT ultrabarrilado localmente convexo.Plantilla:Sfn
13. Un EVT $X$ localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.Plantilla:Sfn
14. Un EVT localmente convexo $X$ tal que para cada espacio de Banach $B,$ una aplicación lineal cerrada de $X$ en $B$ es necesariamente continua.Plantilla:Sfn
15. Un producto de una familia de espacios barrilados.Plantilla:Sfn
16. Una suma directa localmente convexa y el límite inductivo de una familia de espacios barrilados.Plantilla:Sfn
17. Un cociente de un espacio barrilado.Plantilla:SfnPlantilla:Sfn
18. Un EVT aditivo acotado cuasi barrilado secuencialmente completo de Hausdorff.Plantilla:Sfn
19. 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.Plantilla:Sfn
• Un subespacio cerrado de un espacio barrilado no es necesariamente cuasi barrilado numerable (y por lo tanto, no necesariamente barrilado).Plantilla:Sfn
• Existe un subespacio vectorial denso del espacio barrilado de Fréchet ${ℝ}^{\mathbb{N}}$ que no es barrilado.Plantilla:Sfn
• Existen EVTs localmente convexos completos que no tienen barrilado.Plantilla:Sfn
• 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).Plantilla:Sfn

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.Plantilla:Sfn Cuando el espacio vectorial $Y$ consta de números complejos, entonces también se cumple la siguiente generalización:

Recuérdese que una aplicación lineal $F:X\to Y$ se llama cerrada si su grafo es un subconjunto cerrado de $X\times Y.$

Otras propiedades

• Cada espacio barrilado de Hausdorff es cuasi barrilado.Plantilla:Sfn
• 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 Plantilla:Enf 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.Plantilla:Sfn
• Una aplicación lineal con un grafo cerrado desde un EVT barrilado hasta un EVT completo $B_r$ es necesariamente continua.Plantilla:Sfn

Véase también

• Conjunto barrilado
• Espacio barrilado numerable
• Espacio distinguido
• Espacio cuasi barrilado
• Espacio ultrabarrilado
• Principio de acotación uniforme
• Teorema de Ursescu
• Espacio reticulado

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite journal
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro