Conjunto absorbente
# Conjunto absorbente

En análisis funcional y áreas relacionadas de matemáticas, un conjunto absorbente en un espacio vectorial es aquel conjunto $S$ que puede ampliarse para finalmente incluir siempre cualquier punto dado del espacio vectorial. Un término alternativo es conjunto radial. Cada entorno del origen en cada espacio vectorial topológico es un subconjunto absorbente.

## Definición

Notación para escalares

Supóngase que $X$ es un espacio vectorial sobre el cuerpo $\mathbb {K}$ de los números reales $\mathbb {R}$ o de los números complejos $\mathbb {C}$, y para cualquier $-\infty \leq r\leq \infty$, sea

    $B_{r}=\{a\in \mathbb {K} :|a|<r\}\quad {\text{y }}\quad B_{\leq r}=\{a\in \mathbb {K} :|a|\leq r\}$

denota la bola abierta (respectivamente, la bola cerrada) de radio $r$ en $\mathbb {K}$ centrada en $0$.

Ahora, se define el producto de un conjunto $K\subseteq \mathbb {K}$ de escalares sobre un conjunto $A$ de vectores como $KA=\{ka:k\in K,a\in A\}$, y se define el producto de $K\subseteq \mathbb {K}$ con un solo vector $x$ como $Kx=\{kx:k\in K\}$.

### Preliminares

Núcleo equilibrado y envolvente equilibrada

Se dice que un subconjunto $S$ de $X$ es equilibrado si $as\in S$ para todos los $s\in S$ y todos los escalares $a$ que satisfacen que $|a|\leq 1$. Esta condición se puede escribir de forma más sucinta como $B_{\leq 1}S\subseteq S$, y se cumple si y solo si $B_{\leq 1}S=S$.

Dado un conjunto $T$, el conjunto equilibrado más pequeño que contiene a $T$, denotado por $\operatorname {equil} T$, se denomina envolvente equilibrada de $T$, mientras que el conjunto equilibrado más grande contenido dentro de $T$, denotado por $\operatorname {nuequil} T$, se denomina núcleo equilibrado de $T$. Estos conjuntos están dados por las fórmulas

    $\operatorname {equil} T~=~{\textstyle \bigcup \limits _{|c|\leq 1}}c\,T=B_{\leq 1}T$

y

    $\operatorname {nuequil} T~=~{\begin{cases}{\textstyle \bigcap \limits _{|c|\geq 1}}c\,T&{\text{si }}0\in T\\\varnothing &{\text{si }}0\not \in T,\\\end{cases}}$

(estas fórmulas muestran que la envolvente equilibrada y el núcleo equilibrado siempre existen y son únicos). Un conjunto $T$ está equilibrado si y solo si es igual a su envolvente equilibrada ($T=\operatorname {equil} T$) o a su núcleo equilibrado ($T=\operatorname {nuequil} T$), en cuyo caso los tres conjuntos son iguales: $T=\operatorname {equil} T=\operatorname {nuequil} T$.

Si $c$ es cualquier escalar, entonces

    $\operatorname {equil} (c\,T)=c\,\operatorname {equil} T=|c|\,\operatorname {equil} T$

mientras que si $c\neq 0$ es distinto de cero o si $0\in T$, entonces también

    $\operatorname {nuequil} (c\,T)=c\,\operatorname {nuequil} T=|c|\,\operatorname {nuequil} T$.

### Absorción de un conjunto por otro

Si $S$ y $A$ son subconjuntos de $X$, entonces se dice que $A$ absorbe a $S$ si satisface cualquiera de las siguientes condiciones equivalentes:

* Definición: Existe un $r>0$ real tal que $S\,\subseteq \,c\,A$ para cada $c$ escalar que satisfaga $|c|\geq r$. O dicho de manera más sucinta, $S\;\subseteq \;{\textstyle \bigcap \limits _{|c|\geq r}}c\,A$ para algún $r>0$.
   * Si el cuerpo escalar es $\mathbb {R}$, entonces intuitivamente, "$A$ absorbe a $S$" significa que si $A$ se "aumenta" o "extiende" indefinidamente (refiriéndose a $tA$ como $t\to \infty$), entonces finalmente (para todos los $t>0$ positivos lo suficientemente grandes), todos los $tA$ quedan contenidos en $S$; y de manera semejante, $tA$ también debe contener finalmente a $S$ para todos los $t<0$ negativos de magnitud suficientemente grande.
   * Esta definición depende de la norma canónica del cuerpo escalar subyacente (es decir, del valor absoluto $|\cdot |$), lo que vincula esta definición a la topología euclídea habitual en el cuerpo escalar. En consecuencia, la definición de conjunto absorbente (que se proporciona a continuación) también está ligada a esta topología.
* Existe un $r>0$ real tal que $c\,S\,\subseteq \,A$ para cada escalar $c\neq 0$ distinto de cero que satisfaga que $|c|\leq r$. O dicho de manera más sucinta, ${\textstyle \bigcup \limits _{0<|c|\leq r}}c\,S\,\subseteq \,A$ para algún $r>0$.
   * Debido a que esta unión es igual a $\left(B_{\leq r}\setminus \{0\}\right)S$, donde $B_{\leq r}\setminus \{0\}=\{c\in \mathbb {K} :0<|c|\leq r\}$ es la bola cerrada con el origen eliminado, esta condición puede reformularse como: $\left(B_{\leq r}\setminus \{0\}\right)S\,\subseteq \,A$ para algunos $r>0$.
   * La desigualdad no estricta $\,\leq \,$, se puede reemplazar con la desigualdad estricta $\,<\,$, que es la siguiente caracterización.
* Existe un $r>0$ real tal que $c\,S\,\subseteq \,A$ para cada escalar $c\neq 0$ distinto de cero que satisfaga $|c|<r$. O dicho de manera más sucinta, $\left(B_{r}\setminus \{0\}\right)S\subseteq \,A$ para algún $r>0$.
   * Aquí $B_{r}\setminus \{0\}=\{c\in \mathbb {K} :0<|c|<r\}$ es la bola abierta con el origen eliminado y $\left(B_{r}\setminus \{0\}\right)S\,=\,{\textstyle \bigcup \limits _{0<|c|<r}}c\,S$.

Si $A$ es un conjunto equilibrado, esta lista se puede ampliar para incluir:

* Existe un $c\neq 0$ escalar distinto de cero tal que $S\;\subseteq \,c\,A$.
   * Si $0\in A$, entonces se puede eliminar el requisito $c\neq 0$.
* Existe un escalar distinto de cero $c\neq 0$ tal que $c\,S\,\subseteq \,A$.

Si $0\in A$ (una condición necesaria para que $A$ sea un conjunto absorbente o sea un entorno del origen en una topología), entonces esta lista se puede ampliar para incluir:

* Existe $r>0$ tal que $c\,S\;\subseteq \,A$ para cada $c$ escalar que satisfaga $|c|<r$. O dicho de manera más sucinta, $B_{r}\;S\,\subseteq \,A$.
* Existe $r>0$ tal que $c\,S\;\subseteq \,A$ para cada $c$ escalar que satisfaga $|c|\leq r$. O dicho de manera más sucinta, $B_{\leq r}S\,\subseteq \,A$.
   * La inclusión $B_{\leq r}S\,\subseteq \,A$ equivale a $B_{\leq 1}S\,\subseteq \,{\tfrac {1}{r}}A$ (desde $B_{\leq r}=r\,B_{\leq 1}$). Debido a $B_{\leq 1}S\,=\,\operatorname {equil} \,S$, esto se puede reescribir como $\operatorname {equil} \,S\,\subseteq \,{\tfrac {1}{r}}A$, lo que da la siguiente declaración.
* Existe $r>0$ tal que $\operatorname {equil} \,S\,\subseteq \,r\,A$.
* Existe $r>0$ tal que $\operatorname {equil} \,S\,\subseteq \,\operatorname {nuequil} (r\,A)$.
* Existe $r>0$ tal que $\;\;\;\;\;\;S\,\subseteq \,\operatorname {nuequil} (r\,A)$.
   * Las siguientes caracterizaciones se derivan de las anteriores y del hecho de que para cada escalar $c$, el envolvente equilibrada de $A$ satisface que $\,\operatorname {equil} (c\,A)=c\,\operatorname {equil} A=|c|\,\operatorname {equil} A\,$ y (desde $0\in A$) su núcleo equilibrado satisface que $\,\operatorname {nuequil} (c\,A)=c\,\operatorname {nuequil} A=|c|\,\operatorname {nuequil} A$.
* Existe $r>0$ tal que $\;\;\,S\,\subseteq \,r\,\operatorname {nuequil} A$. En otras palabras, un conjunto es absorbido por $A$ si está contenido en algún múltiplo escalar positivo del núcleo equilibrado de $A$.
* Existe $r>0$ tal que $r\,S\subseteq \,\;\;\;\;\operatorname {nuequil} A$.
* Existe un $c$ escalar tal que $\operatorname {equil} S\,\subseteq \,c\,A$. En otras palabras, $A$ se puede escalar para contener la envolvente equilibrada de $S$.
* Existe un $c$ escalar tal que $\operatorname {equil} S\,\subseteq \,\operatorname {nuequil} (c\,A)$.
* Existe un $c$ escalar tal que $\;\;\;\;\;\;S\,\subseteq \,\operatorname {nuequil} (c\,A)$. En otras palabras, $A$ se puede escalar para que su núcleo equilibrado contenga a $S$.
* Existe un $c$ escalar tal que $\;\;\;\;\;\;S\,\subseteq \,c\,\operatorname {nuequil} A$.
* Existe un escalar distinto de cero $c\neq 0$ tal que $c\,S\,\subseteq \,\operatorname {nuequil} A$. En otras palabras, el núcleo equilibrado de $A$ contiene algún múltiplo escalar distinto de cero de $S$.

Si es $0\not \in S$ o $0\in A$, esta lista se puede ampliar para incluir:

* $A\cup \{0\}$ absorbe $S$ (de acuerdo con cualquier condición definitoria de "absorber" distinta de ésta).
   * En otras palabras, $A$ puede ser reemplazado por $A\cup \{0\}$ en las caracterizaciones anteriores si es $0\not \in S$ (o trivialmente, si se da el caso de que $0\in A$).

Absorción de un punto por un conjunto

Se dice que un conjunto absorbe un punto $x$ si absorbe el conjunto unitario $\{x\}$. Un conjunto $A$ absorbe el origen si y solo si contiene el origen; es decir, si y solo si $0\in A$. Como se detalla a continuación, se dice que un conjunto es absorbente en $X$ si absorbe todos los puntos de $X$.

Esta noción de que un conjunto absorbe a otro también se utiliza en otras definiciones: Un subconjunto de un espacio vectorial topológico $X$ se llama acotado si es absorbido por todos los entornos del origen. Un conjunto se llama bornívoro si absorbe a todos los subconjuntos acotados.

Primeros ejemplos

Cada conjunto absorbe el conjunto vacío, pero el conjunto vacío no absorbe ningún conjunto que no esté vacío. El conjunto de un solo punto $\{\mathbf {0} \}$ que contiene el origen es el único subconjunto de un punto que se absorbe a sí mismo.

Supóngase que $X$ es igual a $\mathbb {R} ^{2}$ o $\mathbb {C}$. Si $A:=S^{1}\cup \{\mathbf {0} \}$ es la circunferencia unidad (centrada en el origen $\mathbf {0}$) junto con el origen, entonces $\{\mathbf {0} \}$ es el único conjunto no vacío que absorbe $A$. Además, no existe un subconjunto no vacío de $X$ que sea absorbido por la circunferencia unitaria $S^{1}$. En contraste, cada entorno del origen absorbe cada subconjunto acotado de $X$ (y, por lo tanto, en particular, absorbe cada subconjunto formado por un único punto).

### Conjunto absorbente

Un subconjunto $A$ de un espacio vectorial $X$ sobre un cuerpo $\mathbb {K}$ se denomina subconjunto absorbente de $X$ y se dice que es absorbente en $X$ si satisface cualquiera de las siguientes condiciones equivalentes (aquí ordenadas de modo que cada condición sea una consecuencia sencilla de la anterior, empezando por la definición):

* Definición: $A$ absorbe cada punto de $X;$ es decir, para cada $x\in X$, $A$ absorbe $\{x\}$.
   * Entonces, en particular, $A$ no puede ser absorbente si $0\not \in A$. Todo conjunto absorbente debe contener el origen.
* $A$ absorbe cada subconjunto finito de $X$.
* Para cada $x\in X$, existe un $r>0$ real tal que $x\in cA$ para cualquier $c\in \mathbb {K}$ escalar que satisfaga $|c|\geq r$.
* Para cada $x\in X$, existe un $r>0$ real tal que $cx\in A$ para cualquier $c\in \mathbb {K}$ escalar que satisfaga $|c|\leq r$.
* Para cada $x\in X$, existe un $r>0$ real tal que $B_{r}x\subseteq A$.
   * Aquí $B_{r}=\{c\in \mathbb {K} :|c|<r\}$ es la bola abierta de radio $r$ en el cuerpo escalar centrada en el origen y $B_{r}x=\left\{cx:c\in B_{r}\right\}=\{cx:c\in \mathbb {K} {\text{y }}|c|<r\}$.
   * Se puede utilizar la bola cerrada en lugar de la bola abierta.
   * Debido a $B_{r}x\subseteq \mathbb {K} x=\operatorname {expan} \{x\}$, la inclusión $B_{r}x\subseteq A$ se cumple si y solo si $B_{r}x\subseteq A\cap \mathbb {K} x$. Esto prueba la siguiente afirmación:
* Para cada $x\in X$, existe un $r>0$ real tal que $B_{r}x\subseteq A\cap \mathbb {K} x$, donde $\mathbb {K} x=\operatorname {expan} \{x\}$.
   * Conexión a la topología: Si a $\mathbb {K} x$ se le da su habitual topología euclídea de Hausdorff, entonces el conjunto $B_{r}x$ es un entorno del origen en $\mathbb {K} x;$, por lo tanto, existe un $r>0$ real tal que $B_{r}x\subseteq A\cap \mathbb {K} x$ si y solo si $A\cap \mathbb {K} x$ es un entorno del origen en $\mathbb {K} x$. En consecuencia, $A$ satisface esta condición si y solo si para cada $x\in X$, $A\cap \operatorname {expan} \{x\}$ es un entorno de $0$ en $\operatorname {expan} \{x\}=\mathbb {K} x$ cuando a $\operatorname {expan} \{x\}$ se le da la topología euclídea. De lo anterior se obtiene la siguiente caracterización:
   * Las únicas topologías EVT en un espacio vectorial unidimensional son la topología trivial (no de Hausdorff) y la topología euclídea de Hausdorff. Cada subespacio vectorial unidimensional de $X$ tiene la forma $\mathbb {K} x=\operatorname {expan} \{x\}$ para algún $x\in X$ no nulo y si este espacio unidimensional $\mathbb {K} x$ está dotado de la (única) topología vectorial de Hausdorff, entonces la aplicación $\mathbb {K} \to \mathbb {K} x$ definida por $c\mapsto cx$ es necesariamente un espacio vectorial topológico (donde, como de costumbre, $\mathbb {K}$ está dotado de su topología euclídea estándar inducida por la distancia euclídea).
* $A$ contiene el origen y para cada subespacio vectorial unidimensional $Y$ de $X$, $A\cap Y$ es un entorno del origen en $Y$ cuando a $Y$ se le da su topología vectorial única de Hausdorff.
   * Conexión con las topologías de los espacios vectoriales: Esta condición da una idea de por qué cada entorno del origen en cada espacio vectorial topológico (EVT) es necesariamente absorbente: si $U$ es un entorno del origen en un EVT $X$, entonces por cada subespacio vectorial 1-dimensional $Y$, $U\cap Y$ es un entorno del origen en $Y$ cuando $Y$ está dotado de la topología del subespacio inducida en él por $X$. Esta topología de l subespacio es siempre una topología vectorial y debido a que $Y$ es unidimensional, las únicas topologías vectoriales que contiene son la topología euclídea de Hausdorff y la topología trivial, que es un subconjunto de la topología euclídea. Entonces, independientemente de cuál de estas topologías vectoriales esté en $Y$, el conjunto $U\cap Y$ será un entorno del origen en $Y$ con respecto a su topología vectorial única de Hausdorff (la topología euclídea). Por lo tanto, $U$ es absorbente.
      * La razón por la que se distingue la topología euclídea en esta caracterización se debe en última instancia al requisito definitorio de las topologías EVT de que la multiplicación escalar $\mathbb {K} \times X\to X$ sea continua cuando al cuerpo escalar $\mathbb {K}$ se le da esta topología (euclídea).
* $A$ contiene el origen y para cada subespacio vectorial unidimensional $Y$ de $X$, $A\cap Y$ es absorbente en $Y$.
   * Aquí absorber se puede considerar según cualquier condición definitoria distinta de ésta.
   * Esta caracterización muestra que la propiedad de ser absorbente en $X$ depende solo de cómo se comporta $A$ con respecto a subespacios vectoriales de 1 (o 0) dimensiones de $X$. Por el contrario, si un subespacio vectorial de dimensión finita $Z$ de $X$ tiene dimensión $n>1$ y está dotado de su topología EVT única de Hausdorff, entonces $A\cap Z$ ya no es absorbente en $Z$, condición suficiente para garantizar que $A\cap Z$ sea un entorno del origen en $Z$ (aunque seguirá siendo una condición necesaria). Para que esto suceda, basta con que $A\cap Z$ sea un conjunto absorbente que también sea convexo, equilibrado y cerrado en $Z$ (dicho conjunto se llama barril y será un entorno del origen en $Z$ porque como todo espacio euclídeo de dimensión finita, $Z$ es un espacio abarrilado).

Si $\mathbb {K} =\mathbb {R}$ entonces a esta lista se puede agregar:

* El interior algebraico de $A$ contiene el origen (esto es, $0\in^{i}A$).

Si $A$ es equilibrado, se puede agregar a esta lista:

* Para cada $x\in X$, existe un escalar $c\neq 0$ tal que $x\in cA$ (o equivalentemente, tal que $cx\in A$).
* Para cada $x\in X$, existe un $c$ escalar tal que $x\in cA$.

Si $A$ es convexo o equilibrado, entonces a esta lista se puede agregar:

* Para cada $x\in X$, existe un $r>0$ real positivo tal que $rx\in A$.
   * La prueba de que un conjunto equilibrado $A$ que satisface esta condición es necesariamente absorbente en $X$ se sigue inmediatamente de la condición (10) anterior y del hecho de que $cA=|c|A$ para todos los escalares $c\neq 0$ (donde $r:=|c|>0$ es real).
   * La prueba de que un conjunto convexo $A$ que satisface esta condición es necesariamente absorbente en $X$ es menos trivial (pero no difícil). En esta nota al pie se proporciona una prueba detallada, y además a continuación se ofrece un resumen.

   * Resumen de la demostración: Por suposición, para cualquier $0\neq y\in X$ distinto de cero, es posible elegir $r>0$ y $R>0$ reales positivos de modo que $Ry\in A$ y $r(-y)\in A$ de modo que el conjunto convexo $A\cap \mathbb {R} y$ contenga el subintervalo abierto $(-r,R)y\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,\{ty:-r<t<R,t\in \mathbb {R} \}$, que contiene el origen ($A\cap \mathbb {R} y$ se llama intervalo, ya que se identifica $\mathbb {R} y$ con $\mathbb {R}$ y cada subconjunto convexo no vacío de $\mathbb {R}$ es un intervalo). Dados $\mathbb {K} y$ su topología vectorial única de Hausdorff, queda por demostrar que $A\cap \mathbb {K} y$ es un entorno del origen en $\mathbb {K} y$. Si es $\mathbb {K} =\mathbb {R}$, entonces se ha terminado, así que supóngase que $\mathbb {K} =\mathbb {C}$. El conjunto $S\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,(A\cap \mathbb {R} y)\,\cup \,(A\cap \mathbb {R} (iy))\,\subseteq \,A\cap (\mathbb {C} y)$ es una unión de dos intervalos, cada uno de los cuales contiene un subintervalo abierto que a su vez contiene el origen. Además, la intersección de estos dos intervalos es precisamente el origen. Entonces, la envolvente convexa de $S$, que está contenida en el conjunto convexo $A\cap \mathbb {C} y$, contiene claramente una bola abierta alrededor del origen. $\blacksquare$
* Para cada $x\in X$, existe un $r>0$ real positivo tal que $x\in rA$.
   * Esta condición equivale a que: todo $x\in X$ pertenece al conjunto ${\textstyle \bigcup \limits _{0<r<\infty }}rA=\{ra:0<r<\infty ,a\in A\}=(0,\infty )A$. Esto sucede si y solo si $X=(0,\infty )A$, que da la siguiente caracterización:
* $(0,\infty )A=X$.
   * Se puede demostrar que para cualquier subconjunto $T$ de $X$, $(0,\infty )T=X$ si y solo si $T\cap (0,\infty )x\neq \varnothing$ para cada $x\in X$, donde $(0,\infty )x\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,\{rx:0<r<\infty \}.$
* Por cada $x\in X$, $A\cap (0,\infty )x\neq \varnothing$.

Si $0\in A$ (lo que es necesario para que $A$ sea absorbente), entonces es suficiente verificar cualquiera de las condiciones anteriores para todos los $x\in X$, distintos de cero en lugar de para todos los $x\in X$.

## Ejemplos y condiciones suficientes

### Para que un conjunto pueda absorber a otro

Sea $F:X\to Y$ una aplicación lineal entre espacios vectoriales y sean $B\subseteq X$ y $C\subseteq Y$ conjuntos equilibrados. Entonces $C$ absorbe $F(B)$ si y solo si $F^{-1}(C)$ absorbe $B$.

Si un conjunto $A$ absorbe otro conjunto $B$, entonces cualquier superconjunto de $A$ también absorbe a $B$. Un conjunto $A$ absorbe el origen si y solo si el origen es un elemento de $A$.

Un conjunto $A$ absorbe una unión finita $B_{1}\cup \cdots \cup B_{n}$ de conjuntos si y solo absorbe cada elemento individual del conjunto (es decir, si y solo si $A$ absorbe $B_{i}$ para cada $i=1,\ldots ,n$). En particular, un conjunto $A$ es un subconjunto absorbente de $X$ si y solo si absorbe cada subconjunto finito de $X$.

### Para que un conjunto sea absorbible

La 1-esfera de cualquier espacio vectorial normado (o espacio vectorial seminormado) es absorbente. De manera más general, si $X$ es un espacio vectorial topológico (EVT), entonces cualquier entorno del origen en $X$ es absorbente en $X$. Este hecho es una de las principales motivaciones para definir la propiedad "absorbible en $X$".

Cada superconjunto de un conjunto absorbente es absorbente. En consecuencia, la unión de cualquier familia de (uno o más) conjuntos absorbentes es absorbente. La intersección de un número finito de subconjuntos absorbentes es una vez más un subconjunto absorbente. Sin embargo, las bolas abiertas $(-r_{n},-r_{n})$ de radio $r_{n}=1,1/2,1/3,\ldots$ son todas absorbentes en $X:=\mathbb {R}$ aunque su intersección $\bigcap _{n\in \mathbb {N} }(-1/n,1/n)=\{0\}$ no es absorbente.

Si $D\neq \varnothing$ es un disco (un subconjunto convexo y equilibrado), entonces $\operatorname {expan} D={\textstyle \bigcup \limits _{n=1}^{\infty }}nD;$ y, por lo tanto, en particular, un disco $D\neq \varnothing$ es siempre un subconjunto absorbente de $\operatorname {span} D$.. Por lo tanto, si $D$ es un disco en $X$, entonces $D$ está absorbido en $X$ si y solo si $\operatorname {span} D=X$. Esta conclusión no está garantizada si el conjunto $D\neq \varnothing$ es equilibrado pero no convexo. Por ejemplo, la unión $D$ de los ejes $x$ e $y$ en $X=\mathbb {R} ^{2}$ es un conjunto equilibrado no convexo que no es absorbente en $\operatorname {span} D=\mathbb {R} ^{2}$.

La imagen de un conjunto absorbible bajo un operador lineal sobreyectivo vuelve a ser absorbible. La imagen inversa de un subconjunto absorbible (del codominio) bajo un operador lineal es nuevamente absorbible (en el dominio). Si $A$ es absorbente, lo mismo ocurre con su conjunto simétrico ${\textstyle \bigcap \limits _{|u|=1}}uA\subseteq A$.

Espacios normados auxiliares

Si $W$ es convexo y absorbible en $X$, entonces el conjunto simétrico $D:={\textstyle \bigcap \limits _{|u|=1}}uW$ será convexo y equilibrado (también conocido como conjunto absolutamente convexo o disco) además de ser absorbible en $X$. Esto garantiza que el funcional de Minkowski $p_{D}:X\to \mathbb {R}$ de $D$ sea un seminorma en $X$, convirtiendo así a $\left(X,p_{D}\right)$ en una seminorma que lleva su topología canónica pseudometrizable. El conjunto de múltiplos escalares $rD$ como $r$ se extiende sobre $\left\{{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {1}{4}},\ldots \right\}$ (o sobre cualquier otro conjunto de escalares distintos de cero que tenga $0$ como punto límite) forma una base de entornos de discos absorbentes en el origen de esta topología localmente convexa. Si $X$ es un espacio vectorial topológico y si este subconjunto absorbente convexo $W$ también es un subconjunto acotado de $X$, entonces todo esto también será cierto para el disco absorbente $D:={\textstyle \bigcap \limits _{|u|=1}}uW;$. Si además $D$ no contiene ningún subespacio vectorial no trivial, entonces $p_{D}$ será una norma y $\left(X,p_{D}\right)$ formará lo que se conoce como un espacio normado auxiliar. Si este espacio normado es un espacio de Banach, entonces $D$ se llama disco de Banach.

## Propiedades

Cada conjunto absorbente contiene el origen. Si $D$ es un disco absorbente en un espacio vectorial $X$, entonces existe un disco absorbente $E$ en $X$ tal que $E+E\subseteq D$.

Si $A$ es un subconjunto absorbente de $X$, entonces $X={\textstyle \bigcup \limits _{n=1}^{\infty }}nA$ y, de manera más general, $X={\textstyle \bigcup \limits _{n=1}^{\infty }}s_{n}A$ para cualquier secuencia de escalares $s_{1},s_{2},\ldots$ tal que $\left|s_{n}\right|\to \infty$. En consecuencia, si un espacio vectorial topológico $X$ es un subconjunto no exiguo de sí mismo (o de manera equivalente para ETV, si es un espacio de Baire) y si $A$ es un subconjunto absorbente cerrado de $X$, entonces $A$ contiene necesariamente un subconjunto abierto no vacío de $X$ (en otras palabras, el interior de $A$ no estará vacío), lo que garantiza que $A-A$ sea un entorno del origen en $X$.

