# Conjunto acotado (espacio vectorial topológico)

En análisis funcional y en áreas relacionadas de las matemáticas, un conjunto en un espacio vectorial topológico se llama acotado o acotado de von Neumann, si cada entorno del elemento cero se puede expandir para incluir el conjunto. Un conjunto que no está acotado se llama ilimitado o no acotado.
Los conjuntos acotados son una forma natural de definir topologías polares localmente convexas en los espacios vectoriales de un par dual, ya que el conjunto polar de un conjunto acotado es un conjunto absolutamente convexo y absorbente.
El concepto fue introducido por primera vez por John von Neumann y Andréi Kolmogórov en 1935.

## Definición

Supóngase que $X$ es un espacio vectorial topológico (EVT) sobre un cuerpo $\mathbb {K}$.
Un subconjunto $B$ de $X$ se denomina acotado de von Neumann o simplemente acotado en $X$ si se cumple alguna de las siguientes condiciones equivalentes:
* Definición: Para cada entorno $V$ del origen existe un $r>0$ real tal que $B\subseteq sV$ para todos los escalares $s$ que satisfacen $|s|\geq r$.
** Esta fue la definición introducida por John von Neumann en 1935.
* $B$ es absorbible por cada entorno del origen.
* Para todo entorno $V$ del origen existe un $s$ escalar tal que $B\subseteq sV$.
* Para todo entorno $V$ del origen existe un $r>0$ real tal que $sB\subseteq V$ para todos los escalares $s$ que satisfacen $|s|\leq r$.
* Para todo entorno $V$ del origen existe un $r>0$ real tal que $tB\subseteq V$ para todos los $0<t\leq r$.
* Cualquiera de las afirmaciones (1) a (5) anteriores pero con la palabra "entorno" reemplazada por cualquiera de las siguientes expresiones: "entorno equilibrado", "entorno abierto y equilibrado", "entorno cerrado y equilibrado", "entorno abierto", "entorno cerrado".
** Por ejemplo, la afirmación (2) puede convertirse en: $B$ está acotado si y solo si $B$ es absorbido por cada entorno equilibrado del origen.
** Si $X$ es localmente convexo, entonces también se puede agregar el adjetivo "convexo" a cualquiera de estas 5 sustituciones.
* Para cada secuencia de escalares $s_{1},s_{2},s_{3},\ldots$ que converge a $0$ y cada secuencia $b_{1},b_{2},b_{3},\ldots$ en $B$, la secuencia $s_{1}b_{1},s_{2}b_{2},s_{3}b_{3},\ldots$ converge a $0$ en $X$.
** Esta fue la definición de "acotado" que Andréi Kolmogórov utilizó en 1934, que es la misma definición introducida por Stanisław Mazur y Władysław Orlicz en 1933 para un EVT metrizable. Kolmogorov usó esta definición para demostrar que un EVT es seminormable si y solo si tiene un entorno convexo acotado del origen.
* Para cada secuencia $b_{1},b_{2},b_{3},\ldots$ en $B$, la secuencia $\left({\tfrac {1}{i}}b_{i}\right)_{i=1}^{\infty }$ converge a $0$ en $X$.
* Cada subconjunto contable de $B$ está acotado (según cualquier condición definitoria distinta de ésta).
Si ${\mathcal {B}}$ es una base de entornos para $X$ en el origen, entonces esta lista puede ampliarse para incluir:
* Cualquiera de las declaraciones (1) a (5) anteriores pero con los entornos limitados a aquellos que pertenecen a ${\mathcal {B}}$.
** Por ejemplo, la afirmación (3) puede convertirse en: Para cada $V\in {\mathcal {B}}$ existe un escalar $s$ tal que $B\subseteq sV$.
Si $X$ es un espacio localmente convexo cuya topología está definida por una familia ${\mathcal {P}}$ de seminormas continuas, entonces esta lista puede ampliarse para incluir:
* $p(B)$ está acotado para todos los $p\in {\mathcal {P}}$.
* Existe una secuencia de escalares distintos de cero $s_{1},s_{2},s_{3},\ldots$ de modo que para cada secuencia $b_{1},b_{2},b_{3},\ldots$ en $B$, la secuencia $b_{1}s_{1},b_{2}s_{2},b_{3}s_{3},\ldots$ está acotada en $X$ (según cualquier condición definitoria distinta de esta).
* Para todo $p\in {\mathcal {P}}$, $B$ está acotado (según cualquier condición definitoria distinta a ésta) en el espacio vectorial normado $(X,p)$.
Si $X$ es un espacio vectorial normado con norm $\|\cdot \|$ (o más generalmente, si es un seminorma y $\|\cdot \|$ es simplemente un seminorma), entonces esta lista puede ampliarse para incluir:
* $B$ es un subconjunto limitado por normas de $(X,\|\cdot \|)$. Por definición, esto significa que existe un número real $r>0$ tal que $\|b\|\leq r$ para todos los $b\in B$.
* $\sup _{b\in B}\|b\|<\infty$.
** Por lo tanto, si $L:(X,\|\cdot \|)\to (Y,\|\cdot \|)$ es una aplicación lineal entre dos espacios normados (o seminormados) y si $B$ es la bola unitaria cerrada (alternativamente, abierta) en $(X,\|\cdot \|)$ centrada en el origen, entonces $L$ es un operador lineal acotado (lo que se recuerda que significa que su operador norma $\|L\|:=\sup _{b\in B}\|L(b)\|<\infty$ es finito) si y solo si la imagen $L(B)$ de esta bola bajo $L$ es un subconjunto acotado por normas de $(Y,\|\cdot \|)$.
* $B$ es un subconjunto de alguna bola (abierta o cerrada).
** No es necesario que esta bola esté centrada en el origen, pero su radio debe (como es habitual) ser positivo y finito.
Si $B$ es un subespacio vectorial del EVT $X$, entonces esta lista puede ampliarse para incluir:
* $B$ está contenido en el cierre de $\{0\}$.
** En otras palabras, un subespacio vectorial de $X$ está acotado si y solo si es un subconjunto de (el espacio vectorial) $\operatorname {cl} _{X}\{0\}$.
** Recuérdese que $X$ es un espacio de Hausdorff si y solo si $\{0\}$ está cerrado en $X$. Por lo tanto, el único subespacio vectorial acotado de un EVT de Hausdorff es $\{0\}$.
Un subconjunto que no está acotado se llama ilimitado.

### Bornología y sistemas fundamentales de conjuntos acotados

La colección de todos los conjuntos acotados en un espacio vectorial topológico $X$ se llama bornología de von Neumann o la bornología (canónica) de $X$.
Una base o sistema fundamental de conjuntos acotados de $X$ es un conjunto ${\mathcal {B}}$ de subconjuntos acotados de $X$ tal que cada subconjunto acotado de $X$ es un subconjunto de algún $B\in {\mathcal {B}}$.
El conjunto de todos los subconjuntos acotados de $X$ forma trivialmente un sistema fundamental de conjuntos acotados de $X$.

#### Ejemplos

En cualquier EVT localmente convexo, el conjunto de discos cerrado y acotado es una base del conjunto acotado.

## Ejemplos y condiciones suficientes

A menos que se indique lo contrario, un espacio vectorial topológico (EVT) no necesita ser de Hausdorff ni localmente convexo.
* Los conjuntos finitos están acotados.
* Todo subconjunto totalmente acotado de un EVT está acotado.
* Todo conjunto relativamente compacto en un espacio vectorial topológico está acotado. Si el espacio está equipado con una topología débil, lo contrario también es cierto.
* El conjunto de puntos de una sucesión de Cauchy está acotado, el conjunto de puntos de una red de Cauchy no necesita estar acotado.
* El cierre del origen (refiriéndose al cierre del conjunto $\{0\}$) es siempre un subespacio vectorial cerrado acotado. Este conjunto $\operatorname {cl} _{X}\{0\}$ es el subespacio vectorial acotado más grande (con respecto a la inclusión del conjunto $\,\subseteq \,$) de $X$. En particular, si $B\subseteq X$ es un subconjunto acotado de $X$, entonces también lo es $B+\operatorname {cl} _{X}\{0\}$.
Conjuntos ilimitados
Un conjunto que no está acotado se dice que es "ilimitado".
Cualquier subespacio vectorial de un EVT que no esté contenido en el cierre de $\{0\}$ es ilimitado
Existe un espacio de Fréchet $X$ que tiene un subconjunto acotado $B$ y también un subespacio vectorial denso $M$ tal que $B$ no está contenido en el cierre (en $X$) de cualquier subconjunto acotado de $M$.

### Propiedades de estabilidad

* En cualquier EVT, las uniones finitas, las sumas de Minkowski finitas, los múltiplos escalares, las traslaciones, los subconjuntos, los cierres, los interiores y lss envolventes convexas de conjuntos acotados están nuevamente acotados.
* En cualquier EVT localmente convexo, la envolvente convexa de un conjunto acotado está nuevamente acotada. Sin embargo, esto puede ser falso si el espacio no es localmente convexo, ya que los espacios Lp $L^{p}$ (no localmente convexos) para $0<p<1$ no tienen subconjuntos convexos abiertos no triviales.
* La imagen de un conjunto acotado bajo un operador lineal continuo es un subconjunto acotado del codominio.
* Un subconjunto de un producto (cartesiano) arbitrario de un EVT está acotado si y solo si su imagen bajo cada proyección de coordenadas está acotada.
* Si $S\subseteq X\subseteq Y$ y $X$ es un subespacio vectorial topológico de $Y$, entonces $S$ está acotado en $X$ si y solo si $S$ está acotado en $Y$.
** En otras palabras, un subconjunto $S\subseteq X$ está acotado en $X$ si y solo si está acotado en cada (o equivalentemente, en algún) superespacio vectorial topológico de $X$.

## Propiedades

Un espacio localmente convexo tiene un entorno acotado de cero si y solo si su topología puede definirse mediante una única seminorma.
El polar de un conjunto acotado es un conjunto absolutamente convexo y absorbente.
* Condición de contabilidad de Mackey
* Si $B_{1},B_{2},B_{3},\ldots$ es una secuencia contable de subconjuntos acotados de un espacio localmente convexo metrizable $X$, entonces existe un subconjunto acotado $B$ de $X$ y una secuencia $r_{1},r_{2},r_{3},\ldots$ de números reales positivos tal que $B_{i}\subseteq r_{i}B$ para todo $i\in \mathbb {N}$ (o equivalentemente, tal que ${\tfrac {1}{r_{1}}}B_{1}\cup {\tfrac {1}{r_{2}}}B_{2}\cup {\tfrac {1}{r_{3}}}B_{3}\cup \cdots \subseteq B$).
Utilizando la definición de conjuntos uniformemente acotados que se da a continuación, la condición de contabilidad de Mackey se puede reformular como: Si $B_{1},B_{2},B_{3},\ldots$ son subconjuntos acotados de un espacio localmente convexo metrizable, entonces existe una secuencia $t_{1},t_{2},t_{3},\ldots$ de números reales positivos tal que $t_{1}B_{1},\,t_{2}B_{2},\,t_{3}B_{3},\ldots$ que es uniformemente acotada. En otras palabras, dada cualquier familia contable de conjuntos acotados en un espacio metrizable localmente convexo, es posible escalar cada conjunto según su propio real positivo para que queden uniformemente acotados.

## Generalizaciones
### Conjuntos uniformemente acotados

Se dice que una familia de conjuntos ${\mathcal {B}}$ de subconjuntos de un espacio vectorial topológico $Y$ está uniformemente acotada en $Y$, si existe algún subconjunto acotado $D$ de $Y$ tal que
    $B\subseteq D\quad {\text{para cada }}B\in {\mathcal {B}}$,
lo que sucede si y solo si su unión
    $\cup {\mathcal {B}}~:=~\bigcup _{B\in {\mathcal {B}}}B$
es un subconjunto acotado de $Y$.
En el caso de un espacio normado (o seminormado), una familia ${\mathcal {B}}$ está uniformemente acotada si y solo si su unión $\cup {\mathcal {B}}$ está "limitada por normas", lo que significa que existe algún $M\geq 0$ real tal que ‖b‖≤M{\textstyle \|b\|\leq M} para cada $b\in \cup {\mathcal {B}}$ o de manera equivalente, si y solo si sup$_{B∈Bb∈B}$‖b‖<∞{\textstyle \sup _{\stackrel {b\in B}{B\in {\mathcal {B}}}}\|b\|<\infty }.
Se dice que un conjunto $H$ de aplicaciones de $X$ sobre $Y$ es uniformemente acotado en un conjunto dado $C\subseteq X$ si la familia $H(C):=\{h(C):h\in H\}$ está uniformemente acotada en $Y$, lo que por definición significa que existe algún subconjunto acotado $D$ de $Y$ tal que $h(C)\subseteq D{\text{para todo }}h\in H$, o de manera equivalente, si y solo si ∪H(C):=⋃$_{h∈H}$h(C){\textstyle \cup H(C):=\bigcup _{h\in H}h(C)} es un subconjunto acotado de $Y$.
Un conjunto $H$ de aplicaciones lineales entre dos espacios normados (o seminormados) $X$ y $Y$ está uniformemente acotado en alguna (o equivalentemente, cada) bola abierta (y/o bola cerrada no degenerada) en $X$ si y solo si sus operadores norma son uniformemente acotados; es decir, si y solo si $\sup _{h\in H}\|h\|<\infty$.
* Proposición
* Sea $H\subseteq L(X,Y)$ un conjunto de operadores lineales continuos entre dos espacios vectoriales topológicos, $X$ e $Y$, y sea $C\subseteq X$ cualquier subconjunto acotado de $X$.
* Entonces, $H$ está uniformemente acotado en $C$ (es decir, la familia $\{h(C):h\in H\}$ está uniformemente acotada en $Y$) si se cumple alguna de las siguientes condiciones:
* $H$ es equicontinuo.
* $C$ es un subspacio convexo y compacto de Hausdorff de $X$, y para cada $c\in C$, la órbita $H(c):=\{h(c):h\in H\}$ es un subconjunto acotado de $Y$.
* Demostración de la parte (1)
* Supóngase que $H$ es equicontinuo y sea $W$ un entorno del origen en $Y$.
* Dado que $H$ es equicontinuo, existe un entorno $U$ del origen en $X$ tal que $h(U)\subseteq W$ para cada $h\in H$.
* Debido a que $C$ está limitado en $X$, existe algún $r>0$ real tal que si $t\geq r$, y entonces $C\subseteq tU$.
* En consecuencia, para cada $h\in H$ y cada $t\geq r$, $h(C)\subseteq h(tU)=th(U)\subseteq tW$, lo que implica que ⋃$_{h∈H}$h(C)⊆tW{\textstyle \bigcup _{h\in H}h(C)\subseteq tW}. Por lo tanto, $\bigcup _{h\in H}h(C)$ está acotado en $Y$. QED
* Demostración de la parte (2)
* Sea $W$ un entorno equilibrado del origen en $Y$, y sea $V$ un entorno equilibrado cerrado del origen en $Y$ tal que $V+V\subseteq W$.
* Entonces, se define
* $E~:=~\bigcap _{h\in H}h^{-1}(V)$,
* que es un subconjunto cerrado de $X$ (ya que $V$ es cerrado, mientras que cada $h:X\to Y$ es continuo) que satisface la condición de que $h(E)\subseteq V$ para cada $h\in H$.
* Téngase en cuenta que para cada $n\neq 0$, escalar distinto de cero, el conjunto $nE$ está cerrado en $X$ (ya que la multiplicación escalar por $n\neq 0$ es un homeomorfismo) y, por lo tanto, cada $C\cap nE$ está cerrado en $C$.
* Ahora se comprueba que $C\subseteq \bigcup _{n\in \mathbb {N} }nE$, de lo que se sigue que $C=\bigcup _{n\in \mathbb {N} }(C\cap nE)$.
* Si $c\in C$, entonces que $H(c)$ está cerrado garantiza la existencia de algún entero positivo $n=n_{c}\in \mathbb {N}$ tal que $H(c)\subseteq n_{c}V$, donde la linealidad de cada $h\in H$ ahora implica que ${\tfrac {1}{n_{c}}}c\in h^{-1}(V)$, y por lo tanto ${\tfrac {1}{n_{c}}}c\in \bigcap _{h\in H}h^{-1}(V)=E$, y en consecuencia, $C\subseteq \bigcup _{n\in \mathbb {N} }nE$, como se buscaba.
* De este modo $C=(C\cap 1E)\cup (C\cap 2E)\cup (C\cap 3E)\cup \cdots$ expresa a $C$ como una unión contable de conjuntos cerrados (en $C$).
* Dado que $C$ es un subconjunto no exiguo de sí mismo (debido a que es un espacio de Baire según el teorema de categorías de Baire), esto solo es posible si existe algún $n\in \mathbb {N}$ entero tal que $C\cap nE$ tenga un interior no vacío en $C$.
* Sea $k\in \operatorname {Int} _{C}(C\cap nE)$ cualquier punto perteneciente a este subconjunto abierto de $C$.
* Sea $U$ cualquier entorno abierto equilibrado del origen en $X$ tal que
* $C\cap (k+U)~\subseteq ~\operatorname {Int} _{C}(C\cap nE)$.
* Los conjuntos $\{k+pU:p>1\}$ forman un recubrimiento creciente (es decir, $p\leq q$ implica $k+pU\subseteq k+qU$) del espacio compacto $C$, por lo que existe algún $p>1$ tal que $C\subseteq k+pU$ (y por lo tanto, ${\tfrac {1}{p}}(C-k)\subseteq U$).
* Ahora se comprueba que $h(C)\subseteq pnW$ para cada $h\in H$, demostrando así que $\{h(C):h\in H\}$ está uniformemente acotado en $Y$, completando así la demostración.
* Considérese $h\in H$ y $c\in C$.
* Sea
* $z~:=~{\tfrac {p-1}{p}}k+{\tfrac {1}{p}}c$.
* La convexidad de $C$ garantiza que $z\in C$ y además, $z\in k+U$, ya que
* $z-k={\tfrac {-1}{p}}k+{\tfrac {1}{p}}c={\tfrac {1}{p}}(c-k)\in {\tfrac {1}{p}}(C-k)\subseteq U$.
* Por lo tanto, $z\in C\cap (k+U)$, que es un subconjunto de $\operatorname {Int} _{C}(C\cap nE)$.
* Dado que $nV$ está equilibrado y $|1-p|=p-1<p$, se tiene que $(1-p)nV\subseteq pnV$, lo que combinado con $h(E)\subseteq V$ da
* $pnh(E)+(1-p)nh(E)~\subseteq ~pnV+(1-p)nV~\subseteq ~pnV+pnV~\subseteq ~pn(V+V)~\subseteq ~pnW$.
* Finalmente, $c=pz+(1-p)k$ y $k,z\in nE$ implican que
* $h(c)~=~ph(z)+(1-p)h(k)~\in ~pnh(E)+(1-p)nh(E)~\subseteq ~pnW$,
* tal como se buscaba. QED
Dado que cada subconjunto unitario de $X$ también es un subconjunto acotado, se deduce que si $H\subseteq L(X,Y)$ es un conjunto equicontinuo de operadores lineales continuos entre dos espacios vectoriales topológicos, $X$ e $Y$ (no necesariamente de Hausdorff o localmente convexos), entonces la órbita H(x):={h(x):h∈H}{\textstyle H(x):=\{h(x):h\in H\}} de cada $x\in X$ es un subconjunto acotado de $Y$.

### Subconjuntos acotados de módulos topológicos

La definición de conjuntos acotados se puede generalizar a módulos topológicos. Un subconjunto $A$ de un módulo topológico $M$ sobre un anillo topológico $R$ está acotado si para cualquier entorno $N$ de $0_{M}$ existe un entorno $w$ de $0_{R}$ tal que $wA\subseteq B$.