Espacio totalmente acotado

Un cuadrado unitario puede estar recubierto por un número finito de discos de radio ε < 1/2, 1/3, 1/4... Por otro lado, [0, 1]² es un espacio totalmente acotado porque para cada ε > 0, el cuadrado unidad puede estar recubierto por un número finito de discos abiertos de radio ε

En topología y en otras ramas relacionadas de las matemáticas, el término totalmente acotado es una generalización de compacidad para aquellos casos en los que un conjunto no es necesariamente cerrado. Un conjunto totalmente acotado puede ser recubierto mediante finitamente numerosos subconjuntos de cada “tamaño” fijo (donde el significado de “tamaño” depende de la estructura del espacio entorno).

El término precompacto se utiliza a veces con el mismo significado, pero también se emplea para referirse a conjuntos relativamente compactos. Estas definiciones coinciden para subconjuntos de espacios métricos completos, pero no en general.

En espacios métricos

Un espacio métrico $(M,d)$ es totalmente acotado si y solo si para cada número real $\epsilon >0$, existe una colección finita de bolas de radio $\epsilon$ cuyos centros se encuentran en M y cuya unión contiene a Plantilla:Mvar. De manera equivalente, el espacio métrico M está totalmente acotado si y solo si para cada $\epsilon >0$ existe un recubrimiento tal que el radio de cada elemento del mencionado recubrimiento sea como máximo $\epsilon$. Esto equivale a la existencia de una red ε finita.Plantilla:Sfn Se dice que un espacio métrico está totalmente acotado si toda secuencia admite una subsecuencia de Cauchy. En espacios métricos completos, un conjunto es compacto si y solo si es cerrado y totalmente acotado.

Cada espacio totalmente acotado es acotado (ya que la unión de un número finito de conjuntos acotados está acotada). Lo contrario es cierto para los subconjuntos de un espacio euclídeo (con la topología del subespacio), pero no en general. Por ejemplo, un conjunto infinito equipado con la métrica discreta está acotado pero no totalmente acotado:Plantilla:Sfn cada bola discreta de radio $\epsilon =1/2$ o menos es un elemento individual, y ninguna unión finita de elementos individuales puede cubrir un conjunto infinito.

Espacios uniformes (topológicos)

Aparece una métrica en la definición de acotación total solo para garantizar que cada elemento del recubrimiento finito tenga un tamaño comparable y pueda reducirse al de una estructura uniforme. Un subconjunto Plantilla:Mvar de un espacio uniforme Plantilla:Mvar está totalmente acotado si y solo si, para cualquier acompañamiento Plantilla:Mvar, existe un recubrimiento finito de Plantilla:Mvar por subconjuntos de Plantilla:Mvar, cada uno de cuyos productos cartesianos es un subconjunto de Plantilla:Mvar. En otras palabras, Plantilla:Mvar reemplaza el "tamaño" Plantilla:Math, y un subconjunto es de tamaño Plantilla:Mvar si su cuadrado cartesiano es un subconjunto de Plantilla:Mvar.

La definición puede extenderse aún más, a cualquier categoría de espacios con una noción de compacidad y completitud de Cauchy: un espacio está totalmente acotado si y solo si su completación (de Cauchy) es compacta.

Ejemplos y propiedades elementales

• Cada espacio compacto está totalmente acotado, siempre que se haya definido el concepto.
• Todo conjunto totalmente acotado está acotado.
• Un subconjunto de la recta real, o más generalmente de un espacio euclídeo de dimensión finita, está totalmente acotado si y solo si está acotado.Plantilla:Sfn
• La 1-esfera en un espacio de Hilbert (o más generalmente, en un espacio de Banach), está totalmente acotada (en la topología normal) si y solo si el espacio tiene dimensión finita.
• Las funciones acotadas equicontinuas en un conjunto compacto son precompactas en topología uniforme, de acuerdo con el teorema de Arzelá-Ascoli.
• Un espacio métrico es separable si y solo si es homeomórfico para un espacio métrico totalmente acotado.Plantilla:Sfn
• El cierre de un subconjunto totalmente acotado vuelve a ser totalmente acotado.Plantilla:Sfn

Comparación con conjuntos compactos

En espacios métricos, un conjunto es compacto si y solo si es completo y totalmente acotado. Sin un axioma de elección, solo se cumple la dirección hacia adelante. Los conjuntos precompactos comparten varias propiedades con los conjuntos compactos.

• Al igual que los conjuntos compactos, una unión finita de conjuntos totalmente acotados es totalmente acotada.
• A diferencia de los conjuntos compactos, cada subconjunto de un conjunto totalmente acotado vuelve a estar totalmente acotado.
• La imagen continua de un conjunto compacto es compacta. La imagen uniformemente continua de un conjunto precompacto es precompacta.

En grupos topológicos

Aunque la noción de acotación total está estrechamente ligada a los espacios métricos, la mayor estructura algebraica de los grupos topológicos permite intercambiar algo de las propiedades de separación. Por ejemplo, en espacios métricos, un conjunto es compacto si y solo si es completo y totalmente acotado. Según la siguiente definición, lo mismo se aplica a cualquier espacio vectorial topológico (no necesariamente de Hausdorff ni completo).Plantilla:SfnPlantilla:SfnPlantilla:Sfn

La forma general lígica de la definición es: un subconjunto $S$ de un espacio $X$ está totalmente acotado si y solo si, dado $E$ de cualquier tamaño, siempre existe un recubrimiento finito $𝒪$ de $S$ tal que cada elemento de $𝒪$ tenga un tamaño como máximo $E.$ $X$ entonces está totalmente acotado si y solo si está totalmente acotado cuando se lo considera como un subconjunto de sí mismo.

Se adopta la convención de que, para cualquier entorno $U\subseteq X$ de la identidad, un subconjunto $S\subseteq X$ se llama Plantilla:Enf (Plantilla:Enf) si y solo si $(-S)+S\subseteq U.$Plantilla:Sfn Un subconjunto $S$ de un grupo topológico $X$ es Plantilla:Enf (Plantilla:Enf) si satisface cualquiera de las siguientes condiciones equivalentes:

1. Plantilla:Enf: Para cualquier entorno $U$ de la identidad $0,$ existe un número finito de $x_1,\dots ,x_n\in X$ tales que $S\subseteq {\bigcup }_{j=1}^n(x_j+U):=(x_1+U)+\cdots +(x_n+U).$
2. Para cualquier entorno $U$ de $0,$ existe un subconjunto finito $F\subseteq X$ tal que $S\subseteq F+U$ (donde el lado derecho es la suma de Minkowski $F+U:=\{f+u:f\in F,u\in U\}$).
3. Para cualquier vecindad $U$ de $0,$ existen un número finito de subconjuntos $B_1,\dots ,B_n$ de $X$ tales que $S\subseteq B_1\cup \cdots \cup B_n$ y cada $B_j$ es $U$-pequeño.Plantilla:Sfn
4. Para cualquier subbase de filtros $ℬ$ dada de la base de entornos $𝒩$ del elemento identidad (que consta de todos los entornos de $0$ en $X$) y para cada $B\in ℬ,$ existe una cobertura de $S$ por un número finito de subconjuntos pequeños de $B$ de $X.$Plantilla:Sfn
5. $S$ es acotado Plantilla:Enf: para cada vecindad $U$ de la identidad y cada subconjunto infinito numerable $I$ de $S,$ existe $x,y\in I$ distintos tales que $x-y\in U.$Plantilla:Sfn (si $S$ es finito, entonces esta condición se satisface vacuamente).
6. Cualquiera de los siguientes tres conjuntos satisface (cualquiera de las definiciones anteriores de) estar totalmente acotado (a la izquierda):
   1. La clausura $\bar{S}={\mathrm{cl}}_{X}S$ de $S$ en $X.$Plantilla:Sfn
      • El hecho de que este conjunto esté en la lista significa que se cumple la siguiente caracterización: $S$ está totalmente acotado (a la izquierda) si y solo si ${\mathrm{cl}}_{X}S$ está totalmente acotado (a la izquierda) (de acuerdo con cualquiera de las condiciones definitorias mencionadas anteriormente). La misma caracterización se aplica a los demás conjuntos que se enumeran a continuación.
   2. La imagen de $S$ bajo el cociente canónico $X\to X/\overline{\{0\}},$ que está definido por $x\mapsto x+\overline{\{0\}}$ (donde $0$ es el elemento identidad).
   3. La suma $S+{\mathrm{cl}}_X\{0\}.$Plantilla:Sfn

El término Plantilla:Enf suele aparecer en el contexto de los espacios vectoriales topológicos de Hausdorff.Plantilla:SfnPlantilla:Sfn En ese caso, las siguientes condiciones también son equivalentes a que $S$ esté totalmente acotado (a la izquierda):

7. En la completación $\hat{X}$ de $X,$ el cierre ${\mathrm{cl}}_{\hat{X}}S$ de $S$ es compacto.Plantilla:SfnPlantilla:Sfn
8. Cada ultrafiltro en $S$ es un filtro de Cauchy.

La definición de Plantilla:Enf es análoga: simplemente cambia el orden de los productos.

La condición 4 implica que cualquier subconjunto de ${\mathrm{cl}}_X\{0\}$ está totalmente acotado (de hecho, que sea compacto; consúltese Comparación con conjuntos compactos más arriba). Si $X$ no es de Hausdorff, entonces, por ejemplo, $\{0\}$ es un conjunto completo compacto que no está cerrado.Plantilla:Sfn

Espacios vectoriales topológicos

Cualquier espacio vectorial topológico es un grupo topológico abeliano bajo la suma, por lo que se aplican las condiciones anteriores. Históricamente, la definición 1(b) fue la primera reformulación de la acotación total para espacios vectoriales topológicos, y data de un artículo publicado por John von Neumann en 1935.

Esta definición tiene la atractiva propiedad de que, en un espacio localmente convexo dotado con una topología débil, los conjuntos precompactos son exactamente conjuntos acotados.

Para espacios de Banach separables, existe una buena caracterización de los conjuntos precompactos (en la topología normal) en términos de sucesiones de funcionales débilmente convergentes: si $X$ es un espacio de Banach separable, entonces $S\subseteq X$ es precompacto si y solo si cada sucesión de funcionales débilmente convergente converge uniformemente en $S.$

Interacción con la convexidad

• La envolvente equilibrada de un subconjunto totalmente acotado de un espacio vectorial topológico vuelve a estar totalmente acotada.Plantilla:SfnPlantilla:Sfn
• La suma de Minkowski de dos conjuntos compactos (totalmente acotados) es compacta (respectivamente, totalmente acotada).
• En un espacio localmente convexo (de Hausdorff), la envolvente convexa y la envolvente con forma de disco de un conjunto totalmente acotado $K$ están totalmente acotadas si y solo si $K$ es completo.Plantilla:Sfn

Véase también

• Espacio compacto
• Compacidad local
• Medida de falta de compacidad
• Espacio ortocompacto
• Espacio paracompacto
• Conjunto relativamente compacto

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro