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 $𝕂$.

Un subconjunto $B$ de $X$ se denomina Plantilla:Enf o simplemente Plantilla:Enf en $X$ si se cumple alguna de las siguientes condiciones equivalentes:

1. Plantilla:Enf: Para cada entorno $V$ del origen existe un $r>0$ real tal que $B\subseteq sV$ para todos los escalares $s$ que satisfacen $|s|\ge r$.Plantilla:Sfn
   • Esta fue la definición introducida por John von Neumann en 1935.Plantilla:Sfn
2. $B$ es absorbible por cada entorno del origen.Plantilla:Sfn
3. Para todo entorno $V$ del origen existe un $s$ escalar tal que $B\subseteq sV$.
4. Para todo entorno $V$ del origen existe un $r>0$ real tal que $sB\subseteq V$ para todos los escalares $s$ que satisfacen $|s|\le r$.Plantilla:Sfn
5. Para todo entorno $V$ del origen existe un $r>0$ real tal que $tB\subseteq V$ para todos los $0<t\le r$.Plantilla:Sfn
6. 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.Plantilla:Sfn
   • Si $X$ es localmente convexo, entonces también se puede agregar el adjetivo "convexo" a cualquiera de estas 5 sustituciones.
7. Para cada secuencia de escalares $s_1,s_2,s_3,\dots$ que converge a $0$ y cada secuencia $b_1,b_2,b_3,\dots$ en $B$, la secuencia $s_1{b}_1,s_2{b}_2,s_3{b}_3,\dots$ converge a $0$ en $X$.Plantilla:Sfn
   • 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.Plantilla:Sfn
8. Para cada secuencia $b_1,b_2,b_3,\dots$ en $B$, la secuencia ${\left(\frac{1}{i}{b}_i\right)}_{i=1}^{\mathrm{\infty }}$ converge a $0$ en $X$.Plantilla:Sfn
9. Cada subconjunto contable de $B$ está acotado (según cualquier condición definitoria distinta de ésta).Plantilla:Sfn

Si $ℬ$ es una base de entornos para $X$ en el origen, entonces esta lista puede ampliarse para incluir:

10. Cualquiera de las declaraciones (1) a (5) anteriores pero con los entornos limitados a aquellos que pertenecen a $ℬ$.
    • Por ejemplo, la afirmación (3) puede convertirse en: Para cada $V\in ℬ$ existe un escalar $s$ tal que $B\subseteq sV$.

Si $X$ es un espacio localmente convexo cuya topología está definida por una familia $𝒫$ de seminormas continuas, entonces esta lista puede ampliarse para incluir:

11. $p(B)$ está acotado para todos los $p\in 𝒫$.Plantilla:Sfn
12. Existe una secuencia de escalares distintos de cero $s_1,s_2,s_3,\dots$ de modo que para cada secuencia $b_1,b_2,b_3,\dots$ en $B$, la secuencia $b_1{s}_1,b_2{s}_2,b_3{s}_3,\dots$ está acotada en $X$ (según cualquier condición definitoria distinta de esta).Plantilla:Sfn
13. Para todo $p\in 𝒫$, $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 $\Vert \cdot \Vert$ (o más generalmente, si es un seminorma y $\Vert \cdot \Vert$ es simplemente un seminorma), entonces esta lista puede ampliarse para incluir:

14. $B$ es un subconjunto limitado por normas de $(X,\Vert \cdot \Vert )$. Por definición, esto significa que existe un número real $r>0$ tal que $\Vert b\Vert \le r$ para todos los $b\in B$.Plantilla:Sfn
15. $\underset{b\in B}{\sup }\Vert b\Vert <\mathrm{\infty }$.
    • Por lo tanto, si $L:(X,\Vert \cdot \Vert )\to (Y,\Vert \cdot \Vert )$ es una aplicación lineal entre dos espacios normados (o seminormados) y si $B$ es la bola unitaria cerrada (alternativamente, abierta) en $(X,\Vert \cdot \Vert )$ centrada en el origen, entonces $L$ es un operador lineal acotado (lo que se recuerda que significa que su operador norma $\Vert L\Vert :=\underset{b\in B}{\sup }\Vert L(b)\Vert <\mathrm{\infty }$ es finito) si y solo si la imagen $L(B)$ de esta bola bajo $L$ es un subconjunto acotado por normas de $(Y,\Vert \cdot \Vert )$.
16. $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:

17. $B$ está contenido en el cierre de $\{0\}$.Plantilla:Sfn
    • En otras palabras, un subespacio vectorial de $X$ está acotado si y solo si es un subconjunto de (el espacio vectorial) ${\mathrm{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 Plantilla:Enf.

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 Plantilla:Enf o la Plantilla:Enf (Plantilla:Enf) de $X$.

Una Plantilla:Enf o Plantilla:Enf de $X$ es un conjunto $ℬ$ de subconjuntos acotados de $X$ tal que cada subconjunto acotado de $X$ es un subconjunto de algún $B\in ℬ$.Plantilla:Sfn

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

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.Plantilla:Sfn
• Todo subconjunto totalmente acotado de un EVT está acotado.Plantilla:Sfn
• 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 ${\mathrm{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+{\mathrm{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$ Plantilla:Enf está contenido en el cierre (en $X$) de cualquier subconjunto acotado de $M$.Plantilla:Sfn

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.Plantilla:Sfn
• En cualquier EVT localmente convexo, la envolvente convexa de un conjunto acotado está nuevamente acotada.Plantilla:Sfn 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.Plantilla:Sfn
• La imagen de un conjunto acotado bajo un operador lineal continuo es un subconjunto acotado del codominio.Plantilla:Sfn
• 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$.Plantilla:Sfn
  • 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 Plantilla:Enf seminorma.

El polar de un conjunto acotado es un conjunto absolutamente convexo y absorbente.

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,\dots$ son subconjuntos acotados de un espacio localmente convexo metrizable, entonces existe una secuencia $t_1,t_2,t_3,\dots$ de números reales positivos tal que $t_1{B}_1,t_2{B}_2,t_3{B}_3,\dots$ 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 $ℬ$ de subconjuntos de un espacio vectorial topológico $Y$ está Plantilla:Enf en $Y$, si existe algún subconjunto acotado $D$ de $Y$ tal que

$B\subseteq D\text{para cada }B\in ℬ$,

lo que sucede si y solo si su unión

$\cup ℬ:=\bigcup _{B\in ℬ}B$

es un subconjunto acotado de $Y$.

En el caso de un espacio normado (o seminormado), una familia $ℬ$ está uniformemente acotada si y solo si su unión $\cup ℬ$ está "limitada por normas", lo que significa que existe algún $M\ge 0$ real tal que $\Vert b\Vert \le M$ para cada $b\in \cup ℬ$ o de manera equivalente, si y solo si $\underset{\stackrel{b\in B}{B\in ℬ}}{\sup }\Vert b\Vert <\mathrm{\infty }$.

Se dice que un conjunto $H$ de aplicaciones de $X$ sobre $Y$ es Plantilla:Enf $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 $\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 $\underset{h\in H}{\sup }\Vert h\Vert <\mathrm{\infty }$.

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\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$.

Véase también

• Espacio bornológico
• Conjunto bornívoro
• Función acotada
• Operador lineal acotado
• Punto límite
• Espacio compacto
• Criterio de normalidad de Kolmogorov
• Limitación local
• Espacio totalmente acotado

Bibliografía

• 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:Control de autoridades