Espacio vectorial topológico
# Espacio vectorial topológico

Un espacio vectorial topológico es un espacio de puntos que aúna la estructura típica de un espacio vectorial convencional y de un espacio topológico, es decir, es un espacio vectorial sobre el que se ha definido una estructura topológica.

Probablemente los ejemplos más sencillos son el plano euclídeo y el espacio euclídeo, en los que la topología se define mediante la distancia euclídea. El conjunto de bolas abiertas consistentes en el conjunto de puntos que equidistan de uno dado menos de una cierta distancia son una colección de conjuntos que permite construir la base de la topología. Además de este ejemplo, los espacios normados como los espacios de Hilbert o los espacios de Sobolev son otros ejemplos de espacios topológicos más complicados (estos últimos suelen tener dimensión infinita y se usan en análisis funcional).

## Definición

Un espacio vectorial topológico es un espacio vectorial $(E,+,\cdot )$ sobre un cuerpo $k$, dotado de una topología $\tau$ donde los puntos son cerrados y de tal manera que las aplicaciones:

   ${\begin{array}{cccc}+:&E\times E&\longrightarrow &E\\\,&(a,b)&\mapsto a+b\\\end{array}}$

y

   ${\begin{array}{cccc}\cdot :&k\times E&\longrightarrow &E\\\,&(\alpha ,b)&\mapsto \alpha \cdot b\\\end{array}}$

son continuas (usando en los productos cartesianos las respectivas topologías producto) respecto a la topología $\tau$.

## Visión general

En matemáticas, un espacio vectorial topológico (también llamado espacio topológico lineal y comúnmente abreviado como EVT o e.v.t.) es uno de los elementos básicos de las estructuras investigadas en análisis funcional.

Un espacio vectorial topológico es un tipo de espacio vectorial que también es un espacio topológico, con la propiedad de que las operaciones en el espacio vectorial (suma de vectores y multiplicación escalar) también son funciones continuas. Tal topología se llama topología vectorial y cada espacio vectorial topológico tiene un estructura topológica uniforme, lo que permite establecer las nociones de convergencia uniforme y de completitud. Algunos autores también requieren que el espacio en cuestión sea un espacio de Hausdorff (aunque este artículo no lo hace). Una de las categorías de EVT más estudiadas son los espacios localmente convexos. Este artículo se centra en los EVT que no son necesariamente localmente convexos. El espacio de Banach, el espacio de Hilbert y el espacio de Sóbolev son otros ejemplos bien conocidos de EVT.

Muchos espacios vectoriales topológicos son espacios de funciones, o de operadores lineales que actúan sobre espacios vectoriales topológicos, y la topología a menudo se define para capturar una noción particular de convergencia de secuencias de funciones.

En este artículo, se supondrá que el cuerpo escalar de un espacio vectorial topológico es el de los números complejos $\mathbb {C}$ o el de los números reales $\mathbb {R} ,$ a menos que se indique claramente lo contrario.

## Motivación

### Espacios normados

Cada espacio vectorial normado tiene una estructura topológica natural: la norma induce una métrica y la métrica induce una topología.

Se trata de un espacio vectorial topológico porque:

* La aplicación suma de vectores $\cdot \,+\,\cdot \;:X\times X\to X$ definida por $(x,y)\mapsto x+y$ es (conjuntamente) continua con respecto a esta topología. Esto se desprende directamente de la desigualdad triangular cumplida por la norma.
* La aplicación multiplicación escalar $\cdot :\mathbb {K} \times X\to X$ definida por $(s,x)\mapsto s\cdot x,$ donde $\mathbb {K}$ el cuerpo escalar subyacente de $X,$ es (conjuntamente) continuo. Esto se desprende de la desigualdad triangular y de la homogeneidad de la norma.

Por lo tanto, todos los espacios de Banach y de Hilbert son ejemplos de espacios vectoriales topológicos.

### Espacios no normados

Existen espacios vectoriales topológicos cuya topología no está inducida por una norma, pero que aún son de interés en análisis. Ejemplos de este tipo son los espacios de funciones holomorfas en un dominio abierto, los espacios de funciones infinitamente diferenciables, los espacios de Schwartz y los espacios de funciones de prueba, así como los espacios de distribuciones en ellos. Todos ellos son ejemplos de espacios de Montel. Un espacio de Montel de dimensión infinita nunca es normal. La existencia de una norma para un espacio vectorial topológico dado se caracteriza por el criterio de normabilidad de Kolmogórov.

Un cuerpo es un espacio vectorial topológico sobre cada uno de sus subcuerpos.

## Definición

Un espacio vectorial topológico (EVT) $X$ es un espacio vectorial sobre un cuerpo $\mathbb {K}$ (por lo general, los números reales o los números complejos con sus topologías estándar) que está dotado de una topología tal que la suma de vectores $\cdot \,+\,\cdot \;:X\times X\to X$ y la multiplicación escalar $\cdot :\mathbb {K} \times X\to X$ son funciones continuas (donde los dominios de estas funciones están dotados de topologías producto). Esta topología se denomina topología vectorial o topología de un EVT en $X.$

Todo espacio vectorial topológico es también un grupo topológico conmutativo bajo la suma.

Suposición de Hausdorff

Muchos autores (por ejemplo, Walter Rudin), pero no en este artículo, requieren que la topología de $X$ sea $T_1.$ Entonces, se deduce que el espacio es de Hausdorff, e incluso de Tíjonov. Se dice que un espacio vectorial topológico es separado si es de Hausdorff. Es importante destacar que separado no significa separable. Las estructuras algebraicas topológica y lineal se pueden vincular aún más estrechamente con supuestos adicionales, los más comunes de los cuales se enumeran más adelante.

Categoría y morfismos

La categoría de los espacios vectoriales topológicos sobre un cuerpo topológico dado $\mathbb {K}$ se denota comúnmente como $\mathrm {EVT} _{\mathbb {K} }$ o $\mathrm {TVect} _{\mathbb {K} }.$ Los objetos son los espacios vectoriales topológicos sobre $\mathbb {K}$ y los morfismos son los operadores lineales continuos $\mathbb {K}$ de un objeto a otro.

Un homomorfismo de un espacio vectorial topológico (abreviado, homomorfismo de un EVT), también llamado homomorfismo topológico, es una aplicación lineal continua $u:X\to Y$ entre espacios vectoriales topológicos (EVT) de modo que la aplicación inducida $u:X\to \operatorname {Im} u$ es una función abierta cuando $\operatorname {Im} u:=u(X),$ que es el rango o imagen de $u,$ recibe la topología del subespacio inducida por $Y.$

Un embebido de un espacio vectorial topológico (abreviado como embebido de un EVT), también llamado monomorfismo topológico, es un homomorfismo topológico injectivo. De manera equivalente, un embebido de un EVT es una aplicación lineal que también es un embebido.

Un isomorfismo de un espacio vectorial topológico (abreviado isomorfismo de un EVT), también llamado isomorfismo vectorial topológico o isomorfismo en la categoría de EVTs, es un homeomorfismo biyectivo lineal. De manera equivalente, es un EVT sobreyectivo embebido.

Muchas propiedades de los EVTs que se estudian, como la convexidad local, la metrizabilidad, la completitud y la normabilidad, son invariantes bajo los isomorfismos de un EVT.

Condición necesaria para una topología vectorial

Una colección ${\mathcal {N}}$ de subconjuntos de un espacio vectorial se llama aditiva si para cada $N\in {\mathcal {N}},$ existe algún $U\in {\mathcal {N}}$ tal que $U+U\subseteq N.$

* Caracterización de la continuidad de la adición en $0$
* Si $(X,+)$ es un grupo (como lo son todos los espacios vectoriales), $\tau$ es una topología en $X,$ y $X\times X$ está dotado de una topología producto, entonces la aplicación suma $X\times X\to X$ (definida por $(x,y)\mapsto x+y$) es continua en el origen de $X\times X$ si y solo si el conjunto de entornos del origen en $(X,\tau )$ es aditivo. Esta afirmación sigue siendo cierta si la palabra "entorno" se reemplaza por "entorno abierto".

En consecuencia, todas las condiciones anteriores son necesarias para que una topología forme una topología vectorial.

### Definición de topologías utilizando entornos del origen

Dado que cada topología vectorial es invariante respecto a la traslación (lo que significa que para todo $x_{0}\in X,$ la aplicación $X\to X$ definida por $x\mapsto x_{0}+x$ es un homeomorfismo), para definir una topología vectorial es suficiente definir una base de entornos (o subbase) para ella en el origen.

* Teorema
* Supóngase que $X$ es un espacio vectorial real o complejo. Si ${\mathcal {B}}$ es una colección aditiva no vacía de elementos equilibrados y subconjuntos absorbentes de $X$, entonces ${\mathcal {B}}$ es una base de entornos en $0$ para una topología vectorial en $X.$ Es decir, se supone que ${\mathcal {B}}$ es una base de filtros que satisface las siguientes condiciones:
* Cada $B\in {\mathcal {B}}$ es equilibrado y absorbente
* ${\mathcal {B}}$ es aditivo: por cada $B\in {\mathcal {B}}$ existe un $U\in {\mathcal {B}}$ tal que $U+U\subseteq B$
* Si ${\mathcal {B}}$ satisface las dos condiciones anteriores pero no es una base de filtros, entonces formará una base de subentornos en $0$ (en lugar de una base de entornos) para una topología vectorial en $X.$

En general, el conjunto de todos los subconjuntos equilibrados y absorbentes de un espacio vectorial no satisface las condiciones de este teorema y no forma una base de entorno en el origen de ninguna topología vectorial.

### Definición de topologías usando cadenas

Sea $X$ un espacio vectorial y $U_{\bullet }=\left(U_{i}\right)_{i=1}^{\infty }$ sea una secuencia de subconjuntos de $X.$ Cada conjunto de la secuencia $U_{\bullet }$ se denomina nudo de $U_{\bullet }$ y para cada índice $i,$ $U_{i}$ se denomina $i$-ésimo nudo de $U_{\bullet }.$ El conjunto $U_{1}$ se llama principio de $U_{\bullet }.$ La secuencia $U_{\bullet }$ es un:

* Sumatorio si $U_{i+1}+U_{i+1}\subseteq U_{i}$ para cada índice $i.$
* Equilibrado (respectivamente, absorbente, cerrado, convexo, abierto, simétrico, barrilado, absolutamente convexo/discado, etc.) si esto es cierto para cada $U_{i}.$
* Cadena si $U_{\bullet }$ es sumativo, absorbente y equilibrado.
* Cadena topológica o una cadena de entornos en un EVT $X$ si $U_{\bullet }$ es una cadena y cada uno de sus nudos es un entorno del origen en $X.$

Si $U$ es un disco absorbente en un espacio vectorial $X$, entonces la secuencia definida por $U_{i}:=2^{1-i}U$ forma una cadena que comienza con $U_{1}=U.$ Esto se denomina cadena natural de $U$. Además, si un espacio vectorial $X$ tiene dimensión numerable, entonces cada cadena contiene una cadena absolutamente convexa.

Las secuencias sumativas de conjuntos tienen la propiedad particularmente conveniente de que definen funciones subaditivas continuas y no negativas de valor real. En consecuencia, estas funciones se pueden utilizar para demostrar muchas de las propiedades básicas de los espacios vectoriales topológicos.

{{Teorema|título=Teorema|nota=$\mathbb {R}$-función valorada inducida por una cadena|1= Sea $U_{\bullet }=\left(U_{i}\right)_{i=0}^{\infty }$ una colección de subconjuntos de un espacio vectorial tal que $0\in U_{i}$ y $U_{i+1}+U_{i+1}\subseteq U_{i}$ para todo $i\geq 0.$ Para todo $u\in U_{0},$ sea

    $\mathbb {S} (u):=\left\{n_{\bullet }=\left(n_{1},\ldots ,n_{k}\right)~:~k\geq 1,n_{i}\geq 0{\text{ para todo }}i,{\text{ y }}u\in U_{n_{1}}+\cdots +U_{n_{k}}\right\}.$

Defínase $f:X\to [0,1]$ por $f(x)=1$ si es $x\not \in U_{0}$ y en caso contrario, sea

    $f(x):=\inf _\left\{2^{-n_{1}}+\cdots 2^{-n_{k}}~:~n_{\bullet }=\left(n_{1},\ldots ,n_{k}\right)\in \mathbb {S} (x)\right\}.$

Entonces, $f$ es subaditiva (es decir, $f(x+y)\leq f(x)+f(y)$ para todos los $x,y\in X$) y $f=0$ en $⋂_{i≥0}U_i;{\textstyle$ \bigcap _{i\geq 0}U_{i};}, por lo que en particular, $f(0)=0.$ Si todos los $U_{i}$ son conjuntos simétricos, entonces $f(-x)=f(x)$ y si todos los $U_{i}$ están equilibrados, entonces $f(sx)\leq f(x)$ para todos los escalares $s$ de modo que $|s|\leq 1$ y todos los $x\in X.$ Si $X$ es un espacio vectorial topológico y si todos los $U_{i}$ son entornos del origen, entonces $f$ es continua, donde si además $X$ es de Hausdorff y $U_{\bullet }$ forma una base de entornos del origen equilibrados en $X$, entonces $d(x,y):=f(x-y)$ es una métrica que define la topología vectorial en $X.$

En el artículo sobre espacios vectoriales topológicos metrizables se ofrece una prueba del teorema anterior.

Si $U_{\bullet }=\left(U_{i}\right)_{i\in \mathbb {N} }$ y $V_{\bullet }=\left(V_{i}\right)_{i\in \mathbb {N} }$ son dos colecciones de subconjuntos de un espacio vectorial $X$, y si $s$ es un escalar, entonces por definición:

* $V_{\bullet }$ contiene $U_{\bullet }$: $\ U_{\bullet }\subseteq V_{\bullet }$ si y solo si $U_{i}\subseteq V_{i}$ para cada índice $i.$
* Conjunto de nudos: $\ \operatorname {Knots} U_{\bullet }:=\left\{U_{i}:i\in \mathbb {N} \right\}.$
* Núcleo: $ker⁡U_∙:=⋂_{i∈N}U_i.{\textstyle$ \ \ker U_{\bullet }:=\bigcap _{i\in \mathbb {N} }U_{i}.}
* Múltiplo escalar: $\ sU_{\bullet }:=\left(sU_{i}\right)_{i\in \mathbb {N} }.$
* Suma: $\ U_{\bullet }+V_{\bullet }:=\left(U_{i}+V_{i}\right)_{i\in \mathbb {N} }.$
* Intersección': $\ U_{\bullet }\cap V_{\bullet }:=\left(U_{i}\cap V_{i}\right)_{i\in \mathbb {N} }.$

Si $\mathbb {S}$ es una colección de secuencias de subconjuntos de $X,$ entonces se dice que $\mathbb {S}$ está dirigido (hacia abajo) bajo inclusión o simplemente dirigido hacia abajo si $\mathbb {S}$ no está vacío y para todo $U_{\bullet },V_{\bullet }\in \mathbb {S} ,$ existe algún $W_{\bullet }\in \mathbb {S}$ tal que $W_{\bullet }\subseteq U_{\bullet }$ y $W_{\bullet }\subseteq V_{\bullet }$ (dicho de otra manera, si y solo si $\mathbb {S}$ es un prefiltro con respecto a la contención $\,\subseteq \,$ definida anteriormente).

Notación: Sea $Knots⁡S:=⋃_{U∙∈S}Knots⁡U_∙{\textstyle$ \operatorname {Knots} \mathbb {S} :=\bigcup _{U_{\bullet }\in \mathbb {S} }\operatorname {Knots} U_{\bullet }} el conjunto de todos los nudos de todas las cadenas en $\mathbb {S} .$

Definir topologías vectoriales utilizando colecciones de cadenas es particularmente útil para definir clases de EVTs que no son necesariamente localmente convexos.

* Teorema
* Si $(X,\tau )$ es un espacio vectorial topológico, entonces existe un conjunto $\mathbb {S}$ de cadenas vecinas en $X$ que está dirigido hacia abajo y tal que el conjunto de todos los nudos de todas las cadenas en $\mathbb {S}$ es una base de entornos en el origen de $(X,\tau ).$ Se dice que tal colección de cadenas es $\tau$ fundamental.
* Por el contrario, si $X$ es un espacio vectorial y si $\mathbb {S}$ es una colección de cadenas en $X$ que se dirige hacia abajo, entonces el conjunto $\operatorname {Knots} \mathbb {S}$ de todos los nudos de todas las cadenas en $\mathbb {S}$ forma una base de entornos en el origen para una topología vectorial en $X.$ Esta topología se denota por $\tau _{\mathbb {S} }$ y se denomina topología generada por $\mathbb {S} .$

Si $\mathbb {S}$ es el conjunto de todas las cadenas topológicas en un EVT $(X,\tau )$, entonces $\tau _{\mathbb {S} }=\tau .$ Un EVT de Hausdorff es metrizable si y solo si su topología puede ser inducida por una única cadena topológica.

## Estructura topológica

Un espacio vectorial es un grupo abeliano con respecto a la operación suma, y en un espacio vectorial topológico la operación inversa siempre es continua (ya que es lo mismo que la multiplicación por $-1$). Por lo tanto, todo espacio vectorial topológico es un grupo topológico abeliano. Cada EVT es un espacio de Tíjonov, pero no es necesario que un EVT sea normal.

Sea $X$ un espacio vectorial topológico. Dado un subespacio $M\subseteq X,$ el espacio cociente $X/M$ con la topología cociente habitual es un espacio vectorial topológico de Hausdorff si y solo si $M$ es cerrado. Esto permite la siguiente construcción: dado un espacio vectorial topológico $X$ (que puede no ser de Hausdorff), formar el espacio cociente $X/M$ donde $M$ es el cierre de $\{0\}.$ $X/M$ es entonces un espacio vectorial topológico de Hausdorff que puede estudiarse en lugar de $X.$

### Invariancia de topologías vectoriales

Una de las propiedades más utilizadas de las topologías vectoriales es que son invariantes a las traslaciones:

    Para todos los $x_{0}\in X,$ la aplicación $X\to X$ definida por $x\mapsto x_{0}+x$ es un homeomorfismo, pero si $x_{0}\neq 0$, entonces no es lineal y, por lo tanto, no es un isomorfismo en un EVT.

La multiplicación escalar por un escalar distinto de cero es un isomorfismo en un EVT. Esto significa que si $s\neq 0$, entonces la aplicación lineal $X\to X$ definida por $x\mapsto sx$ es un homeomorfismo. El uso de $s=-1$ produce la aplicación negativa $X\to X$ definida por $x\mapsto -x,$ que, en consecuencia, es un homeomorfismo lineal y, por lo tanto, un isomorfismo en un EVT.

Si $x\in X$ y cualquier subconjunto $S\subseteq X,$ entonces $\operatorname {cl} _{X}(x+S)=x+\operatorname {cl} _{X}S$, y además, si $0\in S$, entonces $x+S$ es un entorno (respectivamente, entorno abierto, entorno cerrado) de $x$ en $X$ si y solo si lo mismo ocurre con $S$ en el origen.

### Nociones locales

Se dice que un subconjunto $E$ de un espacio vectorial $X$ es:

* Absorbente (en $X$): si para cada $x\in X,$ existe un $r>0$ real tal que $cx\in E$ para cualquier $c$ escalar que satisfaga $|c|\leq r.$
* Equilibrado o en un círculo: si $tE\subseteq E$ para cada escalar $|t|\leq 1.$
* Convexo: si $tE+(1-t)E\subseteq E$ para cada $0\leq t\leq 1.$ real
* Un disco o absolutamente convexo: si $E$ es convexo y equilibrado.
* Simétrico: si $-E\subseteq E,$ o equivalente, si $-E=E.$

Cada entorno del origen es un conjunto absorbente y contiene un entorno [Conjunto equilibrado|equilibrado]] abierto de $0$, por lo que cada espacio vectorial topológico tiene una base local de absorción y es un conjunto equilibrado. El origen incluso tiene una base de entornos que consta de entornos de $0$ equilibrados y cerrados. Si el espacio es localmente convexo, entonces también tiene una base de entornos que consta de entornos del origen equilibrados, convexos y cerrados.

Subconjuntos acotados

Un subconjunto $E$ de un espacio vectorial topológico $X$ es acotado si para cada entorno $V$ del origen existe un $t$ tal que $E\subseteq tV$. La definición del acotamiento puede debilitarse un poco, y así, $E$ está acotado si y solo si cada subconjunto numerable del mismo está acotado. Un conjunto es acotado si y solo si cada una de sus subsecuencias es un conjunto acotado. Además, $E$ está acotado si y solo si para cada entorno equilibrado $V$ del origen, existe $t$ tal que $E\subseteq tV.$ Además, cuando $X$ es localmente convexo, la acotación se puede caracterizar por una seminorma: el subconjunto $E$ está acotado si y solo si toda seminorma continua $p$ está acotada por $E.$

Cada conjunto totalmente acotado está acotado. Si $M$ es un subespacio vectorial de un EVT $X,$ entonces un subconjunto de $M$ está acotado en $M$ si y solo si está acotado en $X.$

### Metrizabilidad

* Grupo topológico
* Si $(X,\tau )$ es un espacio vectorial topológico, entonces las cuatro condiciones siguientes son equivalentes:
* El origen $\{0\}$ está cerrado en $X$ y hay un conjunto numerable base de entornos en el origen en $X.$
* $(X,\tau )$ es metrizable (como espacio topológico).
* Hay un espacio métrico en $X$ que induce en $X$ la topología $\tau ,$ que es la topología dada en $X.$
* $(X,\tau )$ es un espacio vectorial topológico metrizable.
* Según el teorema de Birkhoff-Kakutani, se deduce que hay una métrica equivalente que es invariante a la traslación.

Un EVT es pseudometrizable si y solo si tiene una base de entornos numerable en el origen, o equivalentemente, si y solo si su topología es generada por una seminorma F. Un EVT es metrizable si y solo si es de Hausdorff y pseudometrizable.

Más claramente: se dice que un espacio vectorial topológico posee una norma vectorial si su topología puede ser inducida por una norma. Un espacio vectorial topológico es normado si y solo si es de Hausdorff y tiene un entorno del origen acotado y convexo.<ref name="springer">{{SpringerEOM|title=Topological vector space|access-date=26 February 2021}}</ref>

Sea $\mathbb {K}$ un cuerpo topológico discreto y no localmente compacto, por ejemplo, los números reales o complejos. Un espacio vectorial topológico de Hausdorff sobre $\mathbb {K}$ es localmente compacto si y solo si es de dimensión finita, es decir, isomorfo a $\mathbb {K} ^{n}$ para algún número natural $n.$

### Completitud y estructura uniforme

La uniformidad canónica en un EVT $(X,\tau )$ es el único invariante a la traslación que induce la topología $\tau$ en $X$ uniformemente.

Se supone que cada EVT está dotado de esta uniformidad canónica, lo que convierte a todos los EVT en espacios uniformes. Esto permite hablar sobre nociones relacionadas como completitud, convergencia uniforme, redes de Cauchy y continuidad uniforme, etc., que siempre se supone que son con respecto a esta uniformidad (a menos que se indique otra cosa). Esto implica que todo espacio vectorial topológico de Hausdorff es de Tychonoff. Un subconjunto de un EVT es compacto si y solo si es completo y totalmente acotado (para los EVT de Hausdorff, un conjunto totalmente acotado equivale a que sea precompacto). Pero si el EVT no es de Hausdorff, entonces existen subconjuntos compactos que no están cerrados. Sin embargo, el cierre de un subconjunto compacto de un EVT que no es de Hausdorff es nuevamente compacto (por lo que los subconjuntos compactos son relativamente compactos).

Con respecto a esta uniformidad, una red (o secuencia) $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es de Cauchy si y solo si para cada entorno $V$ de $0,$ existe algún índice $n$ tal que $x_{i}-x_{j}\in V$ siempre que $i\geq n$ y $j\geq n.$

Cada secuencia de Cauchy está acotada, aunque las redes de Cauchy y los filtros de Cauchy pueden no estarlo. Un espacio vectorial topológico donde converge cada secuencia de Cauchy se llama secuencialmente completo; pero en general, puede que no esté completo (en el sentido de que todos los filtros de Cauchy convergen).

La operación suma en el espacio vectorial es uniformemente continua y una aplicación abierta. La multiplicación escalar es continua de Cauchy pero, en general, casi nunca es uniformemente continua. Debido a esto, todo espacio vectorial topológico puede completarse y, por lo tanto, es un subespacio vectorial denso de un espacio vectorial topológico completo.

* Cada EVT tiene una completación y cada EVT de Hausdorff tiene una completación de Hausdorff. Cada EVT (incluso aquellos que son de Hausdorff y/o completos) tiene infinitas completaciones no isomorfas que no son de Hausdorff.
* Un subconjunto compacto de un EVT (no necesariamente de Hausdorff) es completo. Un subconjunto completo de un EVT de Hausdorff es cerrado.
* Si $C$ es un subconjunto completo de un EVT, entonces cualquier subconjunto de $C$ que esté cerrado en $C$ está completo.
* Una secuencia de Cauchy en un EVT $X$ de Hausdorff no es necesariamente relativamente compacta (es decir, su cierre en $X$ no es necesariamente compacto).
* Si un filtro de Cauchy en un EVT tiene un punto de acumulación $x,$ entonces converge a $x.$
* Si una serie $∑_{i=1}^∞x_i{\textstyle$ \sum _{i=1}^{\infty }x_{i}} converge en un EVT $X,$ entonces $x_{\bullet }\to 0$ en $X.$

## Ejemplos

### Topología vectorial más fina y más gruesa

Sea $X$ un espacio vectorial real o complejo.

Topología trivial

La topología trivial o topología no discreta $\{X,\varnothing \}$ es siempre una topología de un EVT en cualquier espacio vectorial $X$ y es la topología de un EVT más gruesa posible. Una consecuencia importante de esto es que la intersección de cualquier colección de topologías de un EVT en $X$ siempre contiene una topología de un EVT. Cualquier espacio vectorial (incluidos aquellos que son de dimensión infinita) dotado de la topología trivial es un espacio vectorial topológico compacto (y por lo tanto, también es localmente compacto) completo pseudometrizable seminormable y localmente convexo. Es de Hausdorff si y solo si $\dim X=0.$

Topología vectorial más fina

Existe una topología de un EVT $\tau _{f}$ en $X,$ llamada topología vectorial más fina en $X,$ que es más fina que cualquier otra topología de un EVT en $X$ (es decir, cualquier topología de un EVT en $X$ es necesariamente un subconjunto de $\tau _{f}$). Cada aplicación lineal de $\left(X,\tau _{f}\right)$ a otro EVT es necesariamente continua. Si $X$ tiene una base no numerable, entonces $\tau _{f}$ no es localmente convexo y no es metrizable.

### Productos cartesianos

Un producto cartesiano de una familia de espacios vectoriales topológicos, cuando está dotado de la topología producto, es un espacio vectorial topológico. Considérese, por ejemplo, el conjunto $X$ de todas las funciones $f:\mathbb {R} \to \mathbb {R}$ donde $\mathbb {R}$ posee su topología euclídea habitual. Este conjunto $X$ es un espacio vectorial real (donde la suma y la multiplicación escalar se definen puntualmente, como es habitual) que puede identificarse con (y de hecho, a menudo se define como) el producto cartesiano $\mathbb {R} ^{\mathbb {R} },,$ que conlleva la topología producto natural. Con esta topología producto, $X:=\mathbb {R} ^{\mathbb {R} }$ se convierte en un espacio vectorial topológico cuya topología se llama la topología de convergencia puntual en $\mathbb {R} .$ El motivo de este nombre es el siguiente: si $\left(f_{n}\right)_{n=1}^{\infty }$ es una secuencia (o más generalmente, una red) de elementos en $X$ y si $f\in X,$ entonces $f_{n}$ converge a $f$ en $X$ si y solo si para todo número real $x,$ $f_{n}(x)$ converge a $f(x)$ en $\mathbb {R} .$ Este EVT es completo, de Hausdorff y localmente convexo, pero no metrizable, y en consecuencia, no normable. De hecho, cada entorno del origen en la topología producto contiene rectas (es decir, subespacios vectoriales unidimensionales, que son subconjuntos de la forma $\mathbb {R} f:=\{rf:r\in \mathbb {R} \}$ con $f\neq 0$).

### Espacios de dimensión finita

Según el teorema de F. Riesz, un espacio vectorial topológico de Hausdorff es de dimensión finita si y solo si es loalmente compacto, lo que ocurre si y solo si posee un entorno del origen compacto.

Sea $\mathbb {K}$ que denota $\mathbb {R}$ o $\mathbb {C}$, y considérese a $\mathbb {K}$ con su habitual topología euclídea normada según Hausdorff. Sea $X$ un espacio vectorial sobre $\mathbb {K}$ de dimensión finita $n:=\dim X$, de modo que $X$ sea un espacio vectorial isomorfo a $\mathbb {K} ^{n}$ (explícitamente, esto significa que existe una aplicación lineal entre los espacios vectoriales $X$ y $\mathbb {K} ^{n}$). Este espacio vectorial de dimensión finita $X$ siempre tiene una topología vectorial de Hausdorff única, lo que lo hace un EVT isomorfo a $\mathbb {K} ^{n},$ donde $\mathbb {K} ^{n}$ está dotado de la topología euclídea habitual (que es la misma que la topología producto). Esta topología vectorial de Hausdorff es también la topología vectorial más fina (única) en $X,$ que posee una topología vectorial única si y solo si $\dim X=0.$ Si $\dim X\neq 0$ entonces, aunque $X$ no posee una topología vectorial única, sí tiene una topología vectorial de Hausdorff única.

* Si $\dim X=0,$ entonces $X=\{0\}$ tiene exactamente una topología vectorial: la topología trivial, que en este caso (y solo en este caso) es de Hausdorff. La topología trivial en un espacio vectorial es de Hausdorff si y solo si el espacio vectorial tiene dimensión $0.$
* Si $\dim X=1,$ entonces $X$ tiene dos topologías vectoriales: la topología euclídea habitual y la topología trivial (no de Hausdorff).
   * Dado que el cuerpo $\mathbb {K}$ es en sí mismo un espacio vectorial topológico $1$ dimensional sobre $\mathbb {K}$, y dado que juega un papel importante en la definición de espacios vectoriales topológicos, esta dicotomía es primordial en la definición de un conjunto absorbente y tiene consecuencias que repercuten en todo el análisis funcional.
* Demostración
* La prueba de esta dicotomía (es decir, que una topología vectorial es trivial o isomorfa a $\mathbb {K}$) es sencilla, por lo que solo se proporciona un resumen con las observaciones importantes. Como es habitual, se supone que $\mathbb {K}$ tiene la topología euclídea (normada). Sea $B_{r}:=\{a\in \mathbb {K} :|a|<r\}$ para todo $r>0.$ Sea $X$ un espacio vectorial de dimensión $1$ sobre $\mathbb {K} .$ Si $S\subseteq X$ y $B\subseteq \mathbb {K}$ es una bola centrada en $0,$ entonces $B\cdot S=X$ siempre que $S$ contenga una "secuencia no acotada", por lo que se entiende una secuencia de la forma $\left(a_{i}x\right)_{i=1}^{\infty }$ donde $0\neq x\in X$ y $\left(a_{i}\right)_{i=1}^{\infty }\subseteq \mathbb {K}$ no está acotada en el espacio normado $\mathbb {K}$ (en el sentido habitual). Cualquier topología vectorial en $X$ será invariante a la traslación e invariante bajo la multiplicación escalar distinta de cero, y para cada $0\neq x\in X,$ la aplicación $M_{x}:\mathbb {K} \to X$ dada por $M_{x}(a):=ax$ es una biyección lineal continua. Debido a que $X=\mathbb {K} x$ para cualquier $x,$ cada subconjunto de $X$ se puede escribir como $Fx=M_{x}(F)$ para algún subconjunto único $F\subseteq \mathbb {K} .$ Y si esta topología vectorial en $X$ tiene una entorno $W$ del origen que no es igual a todo $X,$ entonces la continuidad de la multiplicación escalar $\mathbb {K} \times X\to X$ en el origen garantiza la existencia de una bola abierta $B_{r}\subseteq \mathbb {K}$ centrada en $0$ y de un entorno abierto $S$ del origen en $X$ tal que $B_{r}\cdot S\subseteq W\neq X,$ lo que implica que $S$ no contiene cualquier "secuencia no acotada". Esto implica que para cada $0\neq x\in X,$ existe algún entero positivo $n$ tal que $S\subseteq B_{n}x.$ De este hecho, se puede deducir que si $X$ no posee la topología trivial y si $0\neq x\in X,$ entonces para cualquier bola $B\subseteq \mathbb {K}$ con centro en 0 en $\mathbb {K} ,$ $M_{x}(B)=Bx$ contiene una entorno abierta del origen en $X,$ lo que implica que $M_{x}$ es un homeomorfismo lineal. Quod erat demonstrandum $\blacksquare$
* Si $\dim X=n\geq 2,$ entonces $X$ posee infinitamente muchas topologías vectoriales distintas:
   * Algunas de estas topologías se describen de la siguiente manera: cada funcional lineal $f$ en $X,$ que es un espacio vectorial isomorfo a $\mathbb {K} ^{n},$ induce una seminorma $|f|:X\to \mathbb {R}$ definida por $|f|(x)=|f(x)|,$ donde $\ker f=\ker |f|.$ Cada seminorma induce una topología vectorial (pseudometrizable localmente convexa) en $X$, y las seminormas con núcleos distintos inducen topologías distintas de modo que, en particular, las seminormas en $X$ que son inducidas por funcionales lineales con núcleos distintos inducirán topologías vectoriales distintas en $X.$
   * Sin embargo, si bien hay infinitas topologías vectoriales en $X$ cuando $\dim X\geq 2,$ hay, sin considerar isomorfismos de un EVT, solo topologías vectoriales $1+\dim X$ en $X.$ Por ejemplo, si $n:=\dim X=2,$ entonces las topologías vectoriales en $X$ consisten en la topología trivial, la topología euclídea de Hausdorff, y luego las infinitas topologías vectoriales no euclídeas no triviales restantes en $X$ son todas EVT-isomorfas entre sí.

### Topologías no vectoriales

Topologías discretas y cofinitas

Si $X$ es un espacio vectorial no trivial (es decir, de dimensión distinta de cero), entonces la topología discreta en $X$ (que siempre es metrizable) no es una topología de un EVT, porque a pesar de hacer que la suma y la operación negativa sean continuas (lo que lo convierte en un grupo topológico respecto a la suma), no logra hacer que la multiplicación escalar sea continua. La topología cofinita en $X$ (donde el subconjunto está abierto si y solo si su complemento es finito) tampoco es una topología de un EVT en $X.$

## Operadores lineales

Un operador lineal entre dos espacios vectoriales topológicos que es continuo en un punto es continuo en todo el dominio. Además, un operador lineal $f$ es continuo si $f(X)$ está acotada (como se define a continuación) para algún entorno del origen de $X$.

Un hiperplano en un espacio vectorial topológico $X$ es denso o cerrado. Un funcional lineal $f$ en un espacio vectorial topológico $X$ tiene un núcleo denso o cerrado. Además, $f$ es continuo si y solo si su núcleo es cerrado.

## Tipos

Dependiendo de la aplicación, normalmente se imponen restricciones adicionales a la estructura topológica del espacio. De hecho, varios resultados principales del análisis funcional no se cumplen en general para espacios vectoriales topológicos: el teorema de la gráfica cerrada, el teorema de la función abierta y el hecho de que el espacio dual del espacio separa puntos en el espacio.

A continuación se muestran algunos espacios vectoriales topológicos comunes, aproximadamente en orden creciente de "amabilidad".

* Los espacios F son espacios vectoriales topológicos completos con una métrica invariante a la traslación. Incluyen a los espacios $L^{p}$ para todos los $p>0.$
* Espacios localmente convexos: aquí, cada punto tiene una base de entornos formada por elementos convexos. Mediante una técnica conocida como funcional de Minkowski, se puede demostrar que un espacio es localmente convexo si y solo si su topología puede definirse mediante una familia de seminormas. La convexidad local es el requisito mínimo para argumentos "geométricos" como el teorema de Hahn–Banach. Los espacios $L^{p}$ son localmente convexos (de hecho, son espacios de Banach) para todos los $p\geq 1,$ pero no para $0<p<1.$
* Espacios barrilados: son espacios localmente convexos donde se cumple el teorema de Banach-Steinhaus.
* Espacio bornológico: un espacio localmente convexo donde los operadores lineales continuos de cualquier espacio localmente convexo son exactamente los operadores lineales acotados.
* Espacio reflexivo: un espacio localmente convexo que satisface una variante de la condición de reflexividad, donde el espacio dual está dotado de la topología de convergencia uniforme en conjuntos totalmente acotados.
* Espacio de Montel: un espacio barrilado en el que cada conjunto acotado y cerrado es compacto.
* Espacios de Fréchet: son espacios completos localmente convexos donde la topología proviene de una métrica invariante a la traslación, o equivalentemente, de una familia numerable de seminormas. Muchos espacios interesantes de funciones entran en esta clase: $C^{\infty }(\mathbb {R} )$ es un espacio de Fréchet según las seminormas $‖f‖_{k, ℓ}=sup_{x∈[−k, k]}|f^{(ℓ)}(x)|.{\textstyle$ \|f\|_{k, \ell }=\sup _{x\in [-k, k]}|f^{(\ell )}(x)|.} Un espacio F localmente convexo es un espacio de Fréchet.
* Los espacios LF son límites de espacios de Fréchet. Los espacios ILH son límites inversos de espacios de Hilbert.
* Espacios nucleares: son espacios localmente convexos con la propiedad de que cada aplicación acotada desde el espacio nuclear hasta un espacio de Banach arbitrario es un operador nuclear.
* Espacios vectoriales normados y seminormados: espacios localmente convexos donde la topología puede ser descrita por una sola norma o seminorma. En espacios normados un operador lineal es continuo si y solo si está acotado.
* Espacios de Banach: espacios vectoriales normados completos. La mayor parte del análisis funcional está formulado para espacios de Banach. Esta clase incluye los espacios $L^{p}$ con $1\leq p\leq \infty ,$ el espacio $BV$ de funciones de variación acotada y ciertos espacios de medidas.
* Espacios reflexivos de Banach: espacios de Banach naturalmente isomorfos a su doble dual (véase más abajo), lo que garantiza que se puedan llevar a cabo algunos argumentos geométricos. Un ejemplo importante que no es reflexivo es $L^{1}$, cuyo dual es $L^{\infty },$ pero que está estrictamente contenido en el dual de $L^{\infty }.$
* Espacios de Hilbert: poseen un espacio prehilbertiano; aunque estos espacios pueden ser de dimensión infinita, en ellos se puede llevar a cabo la mayor parte del razonamiento geométrico familiar en dimensiones finitas. Incluyen los espacios $L^{2}$, $L^{2}$, los espacios de Sóbolev, $W^{2,k},$ y los espacios de Hardy.
* Espacios euclídeos: $\mathbb {R} ^{n}$ o $\mathbb {C} ^{n}$ con la topología inducida por el producto interno estándar. Como se señaló en la sección anterior, para un $n$ finito dado solo hay un espacio vectorial topológico de dimensión $n$, hasta el isomorfismo. De esto se deduce que cualquier subespacio de dimensión finita de un EVT está cerrado. Una caracterización de la dimensionalidad finita es que un EVT de Hausdorff es localmente compacto si y solo si es de dimensión finita (por lo tanto, isomorfo a algún espacio euclídeo).

## Espacio dual

Cada espacio vectorial topológico tiene un espacio dual: el conjunto $X'$ de todos los funcionales lineales continuos, es decir, de los operadores lineales continuos desde el espacio hasta el cuerpo base $\mathbb {K} .$ Se puede definir una topología en el dual como la topología más aproximada, de modo que el emparejamiento dual evalúe si $X'\to \mathbb {K}$ es continua en cada punto. Esto convierte el dual en un espacio vectorial topológico localmente convexo. Esta topología se denomina topología *débil. Existe la posibilidad de que esta no sea la única topología natural en el espacio dual, y por ejemplo, el dual de un espacio normado tiene una norma natural definida. Sin embargo, es muy importante en aplicaciones debido a sus propiedades de compacidad (véase el teorema de Banach-Alaoglu). Precaución: Siempre que $X$ sea un espacio localmente convexo no normable, entonces la aplicación de emparejamiento $X'\times X\to \mathbb {K}$ nunca es continua, sin importar qué topología de espacio vectorial se elija en $X'.$ Un espacio vectorial topológico tiene un espacio dual continuo no trivial si y solo si posee un entorno del origen convexo y propio.

## Propiedades

Para cualquier $S\subseteq X$ de un EVT $X,$ la envolvente convexa (respectivamente, equilibrada, discada, cerrada convexa, cerrada equilibrada, cerrada') de $S$ es el subconjunto más pequeño de $X$ que tiene esta propiedad y contiene a $S.$ El cierre (respectivamente, interior, envolvente convexa, envolvente equilibrada, envolvente en disco) de un conjunto $S$ a veces se denota por $\operatorname {cl} _{X}S$ (respectivamente, $\operatorname {Int} _{X}S,$ $\operatorname {co} S,$ $\operatorname {bal} S,$ $\operatorname {cobal} S$).

La envolvente convexa $\operatorname {co} S$ de un subconjunto $S$ es igual al conjunto de todas las combinaciones convexas de elementos en $S,$ que son combinaciones lineales finitas de la forma $t_{1}s_{1}+\cdots +t_{n}s_{n},$ donde $n\geq 1$ es un número entero, y donde $s_{1},\ldots ,s_{n}\in S$ y $t_{1},\ldots ,t_{n}\in [0,1]$ suman $1.$ La intersección de cualquier familia de conjuntos convexos es convexa y la envolvente convexa de un subconjunto es igual a la intersección de todos los conjuntos convexos que la contienen.

### Entornos y conjuntos abiertos

Propiedades de entornos y conjuntos abiertos

Cada EVT es conexo y localmente conexo y cualquier subconjunto abierto conexo de un EVT es un conjunto conexo. Si $S\subseteq X$ y $U$ son un subconjunto abierto de $X$, entonces $S+U$ es un conjunto abierto en $X$ y si $S\subseteq X$ tiene un interior no vacío, entonces $S-S$ es una entorno del origen.

Los subconjuntos convexos abiertos de un EVT $X$ (no necesariamente de Hausdorff o localmente convexos) son exactamente aquellos que tienen la forma:

    $z+\{x\in X:p(x)<1\}~=~\{x\in X:p(x-z)<1\}$ para algún $z\in X$

y algún funcional sublineal positivo continuo $p$ en $X.$

Si $K$ es un disco absorbente en un EVT $X,$ y si $p:=p_{K}$ es el funcional de Minkowski de $K$, entonces

    $\operatorname {Int} _{X}K~\subseteq ~\{x\in X:p(x)<1\}~\subseteq ~K~\subseteq ~\{x\in X:p(x)\leq 1\}~\subseteq ~\operatorname {cl} _{X}K$

es importante remarcar que se supuso que $K$ no tiene propiedades topológicas y que $p$ no es continua (lo que ocurre si y solo si $K$ es una entorno del origen).

Sean $\tau$ y $\nu$ dos topologías vectoriales en $X.$ Entonces, $\tau \subseteq \nu$ si y solo si siempre que una red $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ en $X$ converja a $0$ en $(X,\nu )$ entonces $x_{\bullet }\to 0$ en $(X,\tau ).$

Sea ${\mathcal {N}}$ una base de entornos del origen en $X,$ sea $S\subseteq X,$ y sea $x\in X.$ Entonces, $x\in \operatorname {cl} _{X}S$ si y solo si existe una red $s_{\bullet }=\left(s_{N}\right)_{N\in {\mathcal {N}}}$ en $S$ (indexada por ${\mathcal {N}}$) tal que $s_{\bullet }\to x$ en $X.$ Esto muestra, en particular, que a menudo será suficiente considerar redes indexadas por una base de entornos del origen en lugar de redes en conjuntos dirigidos arbitrarios.

Si $X$ es un EVT de segunda categoría en sí mismo (es decir, un espacio no exiguo), entonces cualquier subconjunto absorbente cerrado y convexo de $X$ es un entorno del origen. Esto ya no está garantizado si el conjunto no es convexo (existe un contraejemplo incluso en $X=\mathbb {R} ^{2}$) o si $X$ no es de segunda categoría en sí mismo.

Interior

Si $R,S\subseteq X$ y $S$ tienen un interior no vacío, entonces

    $\operatorname {Int} _{X}S~=~\operatorname {Int} _{X}\left(\operatorname {cl} _{X}S\right)~{\text{ y }}~\operatorname {cl} _{X}S~=~\operatorname {cl} _{X}\left(\operatorname {Int} _{X}S\right)$

y

    $\operatorname {Int} _{X}(R)+\operatorname {Int} _{X}(S)~\subseteq ~R+\operatorname {Int} _{X}S\subseteq \operatorname {Int} _{X}(R+S).$

El interior de un disco no está vacío si y solo si este interior contiene el origen. De manera más general, si $S$ es un conjunto equilibrado con su interior $\operatorname {Int} _{X}S\neq \varnothing$ no vacío en un EVT $X$, entonces $\{0\}\cup \operatorname {Int} _{X}S$ necesariamente estará equilibrado. En consecuencia, $\operatorname {Int} _{X}S$) estará equilibrado si y solo si contiene el origen. Para que esto (es decir, $0\in \operatorname {Int} _{X}S$) sea cierto, basta con que $S$ también sea convexo (además de estar equilibrado y tener un interior no vacío). La conclusión $0\in \operatorname {Int} _{X}S$ podría ser falsa si $S$ no es también convexo. Por ejemplo, en $X:=\mathbb {R} ^{2},$ el interior del conjunto cerrado y equilibrado $S:=\{(x,y):xy\geq 0\}$ es $\{(x,y):xy>0\}.$

Si $C$ es convexo y $0<t\leq 1,$ entonces $t\operatorname {Int} C+(1-t)\operatorname {cl} C~\subseteq ~\operatorname {Int} C.$ Explícitamente, esto significa que si $C$ es un subconjunto convexo de un EVT $X$ (no necesariamente de Hausdorff o localmente convexo), $y\in \operatorname {int} _{X}C,$ y $x\in \operatorname {cl} _{X}C$, entonces el segmento de línea abierta que une $x$ y $y$ pertenece al interior de $C;$, es decir, $\{tx+(1-t)y:0<t<1\}\subseteq \operatorname {int} _{X}C.$

Si $N\subseteq X$ es cualquier entorno equilibrada del origen en $X$, entonces $Int_X⁡N⊆B_1N=⋃_{0<|a|<1}aN⊆N{\textstyle$ \operatorname {Int} _{X}N\subseteq B_{1}N=\bigcup _{0<|a|<1}aN\subseteq N} donde $B_{1}$ es el conjunto de todos los escalares $a$ tales que $|a|<1.$

Si $x$ pertenece al interior de un conjunto convexo $S\subseteq X$ e $y\in \operatorname {cl} _{X}S,$ entonces el segmento de recta semiabierto

    $[x,y):=\{tx+(1-t)y:0<t\leq 1\}\subseteq \operatorname {Int} _{X}{\text{ si }}x\neq y$ y
    $[x,x)=\varnothing {\text{ si }}x=y.$

Si $N$ es un entorno equilibrado de $0$ en $X$ y $B_{1}:=\{a\in \mathbb {K} :|a|<1\},$ entonces al considerar las intersecciones de la forma $N\cap \mathbb {R} x$ (que son entornos simétricos convexos de $0$ en el EVT $\mathbb {R} x$ real) se deduce que: $\operatorname {Int} N=[0,1)\operatorname {Int} N=(-1,1)N=B_{1}N,$ y además, si $x\in \operatorname {Int} N{\text{ y }}r:=\sup\{r>0:[0,r)x\subseteq N\}$ entonces $r>1{\text{ y }}[0,r)x\subseteq \operatorname {Int} N,$ y si $r\neq \infty ,$ entonces $rx\in \operatorname {cl} N\setminus \operatorname {Int} N.$

### Espacios no de Hausdorff y el cierre del origen

Un espacio vectorial topológico $X$ es de Hausdorff si y solo si $\{0\}$ es un subconjunto cerrado de $X,$ o de manera equivalente, si y solo si $\{0\}=\operatorname {cl} _{X}\{0\}.$ Debido a que $\{0\}$ es un subespacio vectorial de $X,$ lo mismo ocurre con su cierre $\operatorname {cl} _{X}\{0\},$ al que se hace referencia como el cierre del origen en $X.$ Este espacio vectorial satisface que

    $\operatorname {cl} _{X}\{0\}=\bigcap _{N\in {\mathcal {N}}(0)}N$

de modo que, en particular, cada entorno del origen en $X$ contiene el espacio vectorial $\operatorname {cl} _{X}\{0\}$ como un subconjunto.

La topología del subespacio en $\operatorname {cl} _{X}\{0\}$ es siempre la topología trivial, lo que en particular implica que el espacio vectorial topológico $\operatorname {cl} _{X}\{0\}$ es un espacio compacto (incluso si su dimensión es distinta de cero o incluso infinita) y, en consecuencia, también un subconjunto acotado de $X.$ De hecho, un subespacio vectorial de un EVT está acotado si y solo si está contenido en el cierre de $\{0\}.$ Cada subconjunto de $\operatorname {cl} _{X}\{0\}$ también lleva la topología trivial y, por lo tanto, es en sí mismo un subespacio compacto y, por lo tanto, también completo (consúltese la nota al pie con la demostración). En particular, si $X$ no es de Hausdorff, entonces existen subconjuntos que son compactos y completos pero no cerrados en $X$. Por ejemplo, esto será cierto para cualquier subconjunto propio no vacío de $\operatorname {cl} _{X}\{0\}.$

Si $S\subseteq X$ es compacto, entonces $\operatorname {cl} _{X}S=S+\operatorname {cl} _{X}\{0\}$ y este conjunto son compactos. Por lo tanto, el cierre de un subconjunto compacto de un EVT es compacto (dicho de otra manera, todos los conjuntos compactos son relativamente compactos), lo que no está garantizado para espacios topológicos arbitrarios que no sean de Hausdorff.

Para cada subconjunto $S\subseteq X,$

    $S+\operatorname {cl} _{X}\{0\}\subseteq \operatorname {cl} _{X}S$

y en consecuencia, si $S\subseteq X$ es abierto o cerrado en $X,$ entonces $S+\operatorname {cl} _{X}\{0\}=S$ (de modo que este subconjunto arbitrario abierto o cerrado $S$ puede describirse como un "tubo" cuyo lado vertical es el espacio vectorial $\operatorname {cl} _{X}\{0\}$). Para cualquier subconjunto $S\subseteq X$ de este EVT $X,$ las siguientes proposiciones son equivalentes:

* $S$ es totalmente acotado.
* $S+\operatorname {cl} _{X}\{0\}$ está totalmente acotado.
* $\operatorname {cl} _{X}S$ está totalmente acotado.
* La imagen, si $S$ bajo la aplicación de cociente canónico $X\to X/\operatorname {cl} _{X}(\{0\}),$ está totalmente acotada.

Si $M$ es un subespacio vectorial de un EVT $X$, entonces $X/M$ es de Hausdorff si y solo si $M$ está cerrado en $X.$ Además, la clase de equivalencia $q:X\to X/\operatorname {cl} _{X}\{0\}$ es siempre una aplicación cerrada en (necesariamente) los EVTs de Hausdorff.

Cada subespacio vectorial de $X$ que es un complemento algebraico de $\operatorname {cl} _{X}\{0\}$ (es decir, un subespacio vectorial $H$ que satisface $\{0\}=H\cap \operatorname {cl} _{X}\{0\}$ y $X=H+\operatorname {cl} _{X}\{0\}$) es un complemento topológico de $\operatorname {cl} _{X}\{0\}.$ En consecuencia, si $H$ es un complemento algebraico de $\operatorname {cl} _{X}\{0\}$ en $X$, entonces la aplicación suma $H\times \operatorname {cl} _{X}\{0\}\to X,$ definida por $(h,n)\mapsto h+n$ es un isomorfismo de un EVT, donde $H$ es necesariamente de Hausdorff y $\operatorname {cl} _{X}\{0\}$ posee la topología trivial. Además, si $C$ es una completación de Hausdorff de $H$, entonces $C\times \operatorname {cl} _{X}\{0\}$ es una completación de $X\cong H\times \operatorname {cl} _{X}\{0\}.$

### Conjuntos cerrados y compactos

Conjuntos compactos y totalmente acotados

Un subconjunto de un EVT es compacto si y solo si es completo y está totalmente acotado. Por lo tanto, en un espacio vectorial topológico completo, un subconjunto cerrado y totalmente acotado es compacto. Un subconjunto $S$ de un EVT $X$ es totalmente acotado si y solo si $\operatorname {cl} _{X}S$ está totalmente acotado, si y solo si su imagen bajo la aplicación de cociente canónico

    $X\to X/\operatorname {cl} _{X}(\{0\})$ está totalmente acotada.

Todo conjunto relativamente compacto está totalmente acotado y el cierre de un conjunto totalmente acotado está totalmente acotado. La imagen de un conjunto totalmente acotado bajo una aplicación uniformemente continua (como una aplicación lineal continua, por ejemplo) está totalmente acotada. Si $S$ es un subconjunto de un EVT $X$ de modo que cada secuencia en $S$ tiene un punto de concentración en $S$, entonces $S$ está totalmente acotado.

Si $K$ es un subconjunto compacto de un EVT $X$ y $U$ es un subconjunto abierto de $X$ que contiene a $K,$ entonces existe una entorno $N$ de 0 tal que $K+N\subseteq U.$

Cierre y conjunto cerrado

El cierre de cualquier subconjunto convexo (respectivamente, equilibrado o absorbente) de cualquier EVT tiene esta misma propiedad. En particular, el cierre de cualquier subconjunto convexo, equilibrado y absorbente es barrilado.

El cierre de un subespacio vectorial de un EVT es un subespacio vectorial. Todo subespacio vectorial de dimensión finita de un EVT de Hausdorff está cerrado. La suma de un subespacio vectorial cerrado y de un subespacio vectorial de dimensión finita es cerrada. Si $M$ es un subespacio vectorial de $X$ y $N$ es un entorno cerrado del origen en $X$ tal que $U\cap N$ está cerrado en $X$, entonces $M$ está cerrado en $X.$ La suma de un conjunto compacto y un conjunto cerrado es cerrada. Sin embargo, es posible que la suma de dos subconjuntos cerrados no se cierre (consúltese esta nota a pie de página para ver ejemplos).

Si $S\subseteq X$ y $a$ es un escalar, entonces

    $a\operatorname {cl} _{X}S\subseteq \operatorname {cl} _{X}(aS),$

donde si $X$ es de Hausdorff, $a\neq 0,{\text{ o }}S=\varnothing$ entonces se cumple la igualdad: $\operatorname {cl} _{X}(aS)=a\operatorname {cl} _{X}S.$ En particular, todo múltiplo escalar distinto de cero de un conjunto cerrado es cerrado. Si $S\subseteq X$ y $A$ son un conjunto de escalares tales que ninguno de los $\operatorname {cl} S{\text{ no }}\operatorname {cl} A$ contiene cero, entonces $\left(\operatorname {cl} A\right)\left(\operatorname {cl} _{X}S\right)=\operatorname {cl} _{X}(AS).$

Si $S\subseteq X{\text{ y }}S+S\subseteq 2\operatorname {cl} _{X}S,$ entonces $\operatorname {cl} _{X}S$ es convexo.

Si $R,S\subseteq X,$ entonces

    $\operatorname {cl} _{X}(R)+\operatorname {cl} _{X}(S)~\subseteq ~\operatorname {cl} _{X}(R+S)~{\text{ y }}~\operatorname {cl} _{X}\left[\operatorname {cl} _{X}(R)+\operatorname {cl} _{X}(S)\right]~=~\operatorname {cl} _{X}(R+S)$

y en consecuencia, si $R+S$ está cerrado, entonces $\operatorname {cl} _{X}(R)+\operatorname {cl} _{X}(S).$ también lo está

Si $X$ es un EVT real y $S\subseteq X,$ entonces

    $\bigcap _{r>1}rS\subseteq \operatorname {cl} _{X}S$,

donde el lado izquierdo de la ecuación es independiente de la topología en $X.$ Además, si $S$ es una entorno convexo del origen, entonces se cumple la igualdad.

Para cualquier subconjunto $S\subseteq X,$

    $\operatorname {cl} _{X}S~=~\bigcap _{N\in {\mathcal {N}}}(S+N)$

donde ${\mathcal {N}}$ es cualquier base de entornos en el origen de $X.$

Sin embargo,

    $\operatorname {cl} _{X}U~\supseteq ~\bigcap \{U:S\subseteq U,U{\text{ es abierto en }}X\}$

y es posible que esta contención sea propia (por ejemplo, si $X=\mathbb {R}$ y $S$ son los números racionales). Se deduce que $\operatorname {cl} _{X}U\subseteq U+U$ para cada entorno $U$ del origen en $X.$

Envolventes cerradas

En un espacio localmente convexo, las envolventes convexas de conjuntos acotados están acotadas. Esto no es cierto para los EVT en general.

* La envolvente convexa cerrada de un conjunto es igual al cierre de la envolvente convexa de ese conjunto; es decir, es igual a $\operatorname {cl} _{X}(\operatorname {co} S).$
* La envolvente cerrada equilibrada de un conjunto es igual al cierre de la envolvente equilibrada de ese conjunto; es decir, igual a $\operatorname {cl} _{X}(\operatorname {bal} S).$
* La envolvente cerrada en forma de disco de un conjunto es igual al cierre de la envolvente en disco de ese conjunto; es decir, igual a $\operatorname {cl} _{X}(\operatorname {cobal} S).$

Si $R,S\subseteq X$ y la envolvente convexa cerrada de uno de los conjuntos $S$ o $R$ es compacta, entonces

    $\operatorname {cl} _{X}(\operatorname {co} (R+S))~=~\operatorname {cl} _{X}(\operatorname {co} R)+\operatorname {cl} _{X}(\operatorname {co} S).$

Si cada $R,S\subseteq X$ tiene una envolvente convexa cerrada que es compacta (es decir, $\operatorname {cl} _{X}(\operatorname {co} R)$ y $\operatorname {cl} _{X}(\operatorname {co} S)$ son compactos), entonces

    $\operatorname {cl} _{X}(\operatorname {co} (R\cup S))~=~\operatorname {co} \left[\operatorname {cl} _{X}(\operatorname {co} R)\cup \operatorname {cl} _{X}(\operatorname {co} S)\right].$

Envolventes y compacidad

En un EVT general, la envolvente convexa cerrada de un conjunto compacto puede no ser compacta. La envolvente equilibrada de un conjunto compacto (respectivamente, totalmente acotado) tiene esa misma propiedad. La envolvente convexa de una unión finita de conjuntos compactos convexos es nuevamente compacta y convexa.

### Otras propiedades

Exiguo, en ninguna parte denso, y de Baire

Un disco en un EVT no es denso en ninguna parte si y solo si su cierre es un entorno del origen. Un subespacio vectorial de un EVT que está cerrado pero no es abierto es denso en ninguna parte.

Supóngase que $X$ es un EVT que no posee la topología no discreta. Entonces, $X$ es un espacio de Baire si y solo si $X$ no tiene un subconjunto denso equilibrado absorbente en ninguna parte.

Un EVT $X$ es un espacio de Baire si y solo si $X$ es no exiguo, lo que ocurre si y solo si no existe un conjunto denso en ninguna parte $D$ tal que $X=⋃_{n∈N}nD.{\textstyle$ X=\bigcup _{n\in \mathbb {N} }nD.} Cada EVT localmente convexo no exiguo es un espacio barrilado.

Datos algebraicos importantes y conceptos erróneos comunes

Si $S\subseteq X,$ entonces $2S\subseteq S+S$. Si $S$ es convexo, entonces se cumple la igualdad. Para ver un ejemplo en el que no se cumple la igualdad, considérese que $x$ sea distinto de cero y establézcase que $S=\{-x,x\};$. $S=\{x,2x\}$ también se cumple.

Un subconjunto $C$ es convexo si y solo si $(s+t)C=sC+tC$ para todo $s>0{\text{ y }}t>0,$ real positivo o equivalente, si y solo si $tC+(1-t)C\subseteq C$ para todo $0\leq t\leq 1.$

El conjunto absolutamente convexo de un conjunto $S\subseteq X$ es igual a la envolvente convexa de la envolvente equilibrada de $S;$ es decir, es igual a $\operatorname {co} (\operatorname {bal} S).$ Pero en general,

    $\operatorname {bal} (\operatorname {co} S)~\subseteq ~\operatorname {cobal} S~=~\operatorname {co} (\operatorname {bal} S),$

donde la inclusión puede ser estricta, ya que la envolvente equilibrada de un conjunto convexo no necesita ser convexa (existen contraejemplos incluso en $\mathbb {R} ^{2}$).

Si $R,S\subseteq X$ y $a$ son escalares, entonces

    $a(R+S)=aR+aS,~{\text{ y }}~\operatorname {co} (R+S)=\operatorname {co} R+\operatorname {co} S,~{\text{ y }}~\operatorname {co} (aS)=a\operatorname {co} S.$

Si $R,S\subseteq X$ son conjuntos disjuntos no vacíos convexos y $x\not \in R\cup S,$ entonces $S\cap \operatorname {co} (R\cup \{x\})=\varnothing$ o $R\cap \operatorname {co} (S\cup \{x\})=\varnothing .$

En cualquier espacio vectorial no trivial $X,$ existen dos subconjuntos convexos disjuntos no vacíos cuya unión es $X.$

Otras propiedades

Cada topología de un EVT puede ser generada por una familia de seminormas F.

Si $P(x)$ es un predicado unario (una afirmación verdadera o falsa que depende de $x\in X$), entonces para cualquier $z\in X,$ $z+\{x\in X:P(x)\}=\{x\in X:P(x-z)\}.$

Entonces, por ejemplo, si $P(x)$ denota "$\|x\|<1$", entonces para cualquier $z\in X,$ $z+\{x\in X:\|x\|<1\}=\{x\in X:\|x-z\|<1\}.$ De manera similar, si $s\neq 0$ es un escalar, entonces $s\{x\in X:P(x)\}=\left\{x\in X:P\left({\tfrac {1}{s}}x\right)\right\}.$ Los elementos $x\in X$ de estos conjuntos deben abarcar un espacio vectorial (es decir, sobre $X$) en lugar de no solo un subconjunto, o de lo contrario, estas igualdades ya no estarán garantizadas. De manera similar, $z$ debe pertenecer a este espacio vectorial (es decir, $z\in X$).

### Propiedades conservadas por los operadores de conjuntos

* La envolvente equilibrada de un conjunto compacto (respectivamente, totalmente acotado, abierto) tiene esa misma propiedad.
* La suma (de Minkowski) de dos conjuntos compactos (respectivamente, acotados, equilibrados y convexos) tiene la misma propiedad. Pero la suma de dos conjuntos cerrados no es necesariamente cerrada.
* La envolvente convexa de un conjunto equilibrado (o abierto) está equilibrada (respectivamente, abierta). Sin embargo, la envolvente convexa de un conjunto cerrado no es necesariamente cerrada. Y la envolvente convexa de un conjunto acotado no es necesariamente acotada.

En la siguiente tabla, el color de cada celda indica si una propiedad determinada de los subconjuntos de $X$ (indicada por el nombre de la columna, "convexa", por ejemplo) se conserva bajo el operador de conjunto (indicado por el nombre de la fila, como por ejemplo "cierre"). Si en cada EVT se conserva una propiedad bajo el operador de conjunto indicado, entonces esa celda se colorea de verde; de lo contrario, se colorea de rojo.

Así, por ejemplo, dado que la unión de dos conjuntos absorbentes es nuevamente absorbente, la celda de la fila "$R\cup S$" y la columna "Absorbente" se colorea de verde. Pero como la intersección arbitraria de conjuntos absorbentes no tiene por qué ser absorbente, la celda de la fila "Intersecciones arbitrarias (de al menos 1 conjunto)" y la columna "Absorbente" está coloreada en rojo. Si una celda no está coloreada, entonces esa información aún no se ha completado.

Propiedades preservadas por operadores de conjuntos :

| Operación | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado | Propiedad de $R,$ $S,$ y de cualquier otro subconjunto de $X$ considerado |
| - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - |
| Operación | Absorbente | Equilibrado | Convexo | Simétrico | Convexo Equilibrado | Subspacio vectorial | Abierto | Entorno de 0 | Cerrado | Cerrado Equilibrado | Cerrado Convexo | Cerrado Convexo Equilibrado | Barrilado | Subespacio vectorial Cerrado | Totalmente acotado | Compacto | Compacto Convexo | Relativamente compacto | Completo | Secuencialmente completo | Disco de Banach | Acotado | Bornívoro | Infrabornívoro | Denso en ninguna parte (en $X$) | Exiguo | Separable | Pseudometrizable | Operación |
| $R\cup S$ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | $R\cup S$ |
| $\cup$ de cadenas de incremento no vacío | | | | | | | | | | | | | | | | | | | | | | | | | | | | | $\cup$ de cadenas de incremento no vacío |
| Uniones arbitrarias (de al menos 1 conjunto) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Uniones arbitrarias (de al menos 1 conjunto) |
| $R\cap S$ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | $R\cap S$ |
| $\cap$ de cadenas de decremento no vacío | | | | | | | | | | | | | | | | | | | | | | | | | | | | | $\cap$ de cadenas de decremento no vacío |
| Intersecciones arbitrarias (de al menos 1 conjunto) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Intersecciones arbitrarias (de al menos 1 conjunto) |
| $R+S$ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | $R+S$ |
| Múltiplo escalar | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Múltiplo escalar |
| Múltiplo escalar no nulo | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Múltiplo escalar no nulo |
| Múltiplo escalar positivo | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Múltiplo escalar positivo |
| Clausura | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Clausura |
| Interior | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Interior |
| Núcleo equilibrado | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Núcleo equilibrado |
| Envolvente equilibrada | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Envolvente equilibrada |
| Envolvente convexa | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Envolvente convexa |
| Absolutamente convexo | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |Absolutamente convexo |
| Envolvente equilibrada cerrada | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Envolvente equilibrada cerrada |
| Envolvente convexa cerrada | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Envolvente convexa cerrada |
| Envolvente equilibrada convexa cerrada | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Envolvente equilibrada convexa cerrada |
| Sistema generador | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Sistema generador |
| Preimagen bajo una aplicación lineal continua | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Preimagen bajo una aplicación lineal continua |
| Imagen bajo una aplicación lineal continua | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Imagen bajo una aplicación lineal continua |
| Imagen bajo una sobreyección lineal continua | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Imagen bajo una sobreyección lineal continua |
| Subconjunto no vacío de $R$ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Subconjunto no vacío de $R$ |
| Operación | Absorbente | Equilibrado | Convexo | Simétrico | Convexo Equilibrado | Subespacio vectorial | Abierto | Entorno de 0 | Cerrado | Cerrado Equilibrado | Cerrado Convexo | Cerrado Convexo Equilibrado | Barrilado | Subespacio vectorial Cerrado | Totalmente acotado | Compacto | Compacto Convexo | Relativamente compacto | Completo | Secuencialmente completo | Disco de Banach | Acotado | Bornívoro | Infrabornívoro | Denso en ninguna parte (en $X$) | Exiguo | Separable | Pseudometrizable | Operación |
