Espacio barrilado
# 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.

# Espacio barrilado
## 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 $\dim X\geq 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 únicamente 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 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.

# Espacio barrilado
## Barriles
### 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 $\mathbb {C}$ (si se considera un espacio vectorial complejo) o igual a $\mathbb {R} ^{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,\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 \mathbb {C} .$ Sea S:=⋃$_{θ∈[0, 2π)}$S$_θ$.{\textstyle S:=\bigcup _{\theta \in [0, 2\pi )}S_{\theta }.} Entonces, $S$ es siempre un subconjunto absorbente de $\mathbb {R} ^{2}$ (un espacio vectorial real) pero es un subconjunto absorbente de $\mathbb {C}$ (un espacio vectorial complejo) si y solo si es un entorno del origen. Además, $S$ es un subconjunto equilibrado de $\mathbb {R} ^{2}$ si y solo si $R(\theta )=R(\pi +\theta )$ para cada $0\leq \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 $\mathbb {C}$ si y solo es una bola abierta o cerrada centrada en el origen (de radio $0<r\leq \infty$). En particular, los barriles en $\mathbb {C}$ son exactamente esas bolas cerradas centradas en el origen con radio en $(0,\infty ].$ Si $R(\theta ):=2\pi -\theta$, entonces $S$ es un subconjunto cerrado absorbente en $\mathbb {R} ^{2}$, pero no es absorbente en $\mathbb {C} ,$ 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 $\mathbb {R} ^{2}$ equilibrado y absorbente pero que no es ni cerrado ni convexo. Para que $S$ sea un subconjunto de $\mathbb {R} ^{2}$ equilibrado, absorbente y cerrado que no sea convexo ni un entorno del origen, defínase $R$ en $[0,\pi )$ como sigue: para $0\leq \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 lim$_{θ↘0}$R(θ)=R(0)>0{\textstyle \lim _{\theta \searrow 0}R(\theta )=R(0)>0} y que $S$ esté cerrado, y que también satisfaga que lim$_{θ↗π}$R(θ)=0, {\textstyle \lim _{\theta \nearrow \pi }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 $\mathbb {R} ^{2}.$

# Espacio barrilado
## Barriles
### Propiedades de los barriles

* En cualquier espacio vectorial topológico (EVT) $X,$ cada barril en $X$ absorbe cada subconjunto compacto convexo de $X.$
* En cualquier EVT de Hausdorff localmente convexo $X,$ cada barril en $X$ absorbe cada subconjunto completo acotado convexo de $X.$
* Si $X$ es localmente convexo, entonces un subconjunto $H$ de $X^{\prime }$ está acotado por $\sigma \left(X^{\prime },X\right)$ si y solo si existe un barril $B$ en $X$ tal que $H\subseteq B^{\circ }.$
* 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.$
* 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.$

# Espacio barrilado
## 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:
* $X$ es barrilado.
* Definición : 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 algún punto de $Y$ (no necesariamente el origen).
* Para cualquier EVT $Y$ de Hausdorff, cada subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.
* Para cualquier espacio F $Y$, todo subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.
** Un espacio F es un EVT metrizable completo.
* Cada operador lineal cerrado desde $X$ hasta un EVT metrizable completo es continuo.
** Una aplicación lineal $F:X\to Y$ se llama cerrada si su grafo es un subconjunto de $X\times Y.$
* 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 .$
Si $(X,\tau )$ es un espacio localmente convexo, esta lista de sentencias puede ampliarse añadiendo:
* Existe un EVT $Y$ que no lleva la topología no discreta (en particular, $Y\neq \{0\}$) tal que cada subconjunto acotado puntualmente de $L(X;Y)$ es equicontinuo.
* Para cualquier EVT localmente convexo $Y,$ cada subconjunto acotado puntualmente de $L(X;Y)$ 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 $\sigma \left(X^{\prime },X\right)$ del espacio dual continuo $X$ es equicontinuo (esto proporciona un inverso parcial al principio de acotación uniforme).
* $X$ porta la topología dual fuerte $\beta \left(X,X^{\prime }\right).$
* Cada seminorma semicontinua por debajo en $X$ es continua.
* Cada aplicación lineal $F:X\to Y$ en un espacio localmente convexo $Y$ es casi continua. si para cada entorno $V$ del origen en $Y,$ el cierre de $F^{-1}(V)$ es un entorno del origen en $X.$
** Una aplicación lineal $F:X\to Y$ se llama casi continua
* Toda aplicación lineal sobreyectiva $F:Y\to X$ de un espacio localmente convexo $Y$ es casi abierta.
** Esto significa que por cada entorno $V$ de 0 en $Y,$ el cierre de $F(V)$ es un entorno de 0 en $X.$
* 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 .$
Si $X$ es un espacio localmente convexo de Hausdorff, entonces esta lista puede ampliarse añadiendo:
* Teorema de la gráfica cerrada: Cada operador lineal cerrado $F:X\to Y$ en un espacio de Banach $Y$ es continuo.
** Un operador lineal se llama cerrado si su grafo es un subconjunto cerrado de $X\times Y.$
* Para cada subconjunto $A$ del espacio dual continuo de $X,$ las siguientes propiedades son equivalentes: $A$ es
** equicontinuo;
** relativamente débilmente compacto;
** fuertemente acotado;
** débilmente acotado.
* 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:
* Para cualquier EVT metrizable completo $Y$, cada sucesión acotada puntualmente en $L(X;Y)$ es equicontinua.
Si $X$ es un espacio vectorial topológico metrizable localmente convexo, entonces esta lista puede ampliarse añadiendo:
* (Propiedad S ): La topología *débil en $X^{\prime }$ es secuencialmente completa.
* (Propiedad C ): Cada subconjunto acotado *débil de $X^{\prime }$ es $\sigma \left(X^{\prime },X\right)$ relativo numerable compacto.
* (Barrilado 𝜎 ): Cada subconjunto acotado *débil numerable de $X^{\prime }$ es equicontinuo.
* (Tipo Baire ): $X$ no es la unión de una sucesión creciente de discos densos en ninguna parte.

# Espacio barrilado
## 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.
** Sin embargo, existen espacios vectoriales normados que no 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.
* 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 cuasibarrilado localmente convexo que también es un espacio σ-barrilado.
* Un espacio cuasibarrilado secuencialmente completo.
* Un espacio cuasicompleto de Hausdorff localmente convexo infrabarrilado.
** Un EVT se denomina cuasicompleto 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 $X$ localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.
* 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.
* 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 cuasibarrilado secuencialmente completo de Hausdorff.
* Un espacio reflexivo localmente convexo de Hausdorff tiene un barrilado.

# Espacio barrilado
## Ejemplos y condiciones suficientes
### 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 cuasibarrilado numerable (y por lo tanto, no necesariamente barrilado).
* Existe un subespacio vectorial denso del espacio barrilado de Fréchet $\mathbb {R} ^{\mathbb {N} }$ 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).

# Espacio barrilado
## Propiedades de los espacios barrilados
### Generalización de Banach-Steinhaus

La importancia de los espacios barrilados se debe principalmente a los siguientes resultados:
* Teorema
* Sea $X$ un EVT barrilado e $Y$ un EVT localmente convexo.
* Sea $H$ un subconjunto del espacio $L(X;Y)$ de aplicaciones lineales continuas desde $X$ hasta $Y$.
* Las siguientes declaraciones son equivalentes:
* $H$ está acotado para la topología de convergencia puntual;
* $H$ está acotado para la topología de convergencia acotada;
* $H$ es equicontinuo.
El principio de acotación uniforme es un corolario del resultado anterior. Cuando el espacio vectorial $Y$ consta de números complejos, entonces también se cumple la siguiente generalización:
* Teorema
* Si $X$ es un EVT barrilado sobre los números complejos y $H$ es un subconjunto del espacio dual continuo de $X$, entonces los siguiente enunciados son equivalentes:
* $H$ está débilmente acotado;
* $H$ está fuertemente acotado;
* $H$ es equicontinuo;
* $H$ es relativamente compacto en la topología dual débil.
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.$
* Teorema del grafo cerrado
* Cada operador lineal cerrado desde un EVT barrilado de Hausdorff a un EVT metrizable completo, es continuo.

# Espacio barrilado
## Propiedades de los espacios barrilados
### Otras propiedades

* Cada espacio barrilado de Hausdorff es cuasibarrilado.
* 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 $B_{r}$ es necesariamente continua.