Espacio vectorial topológico metrizable
# Espacio vectorial topológico metrizable

En análisis funcional y áreas relacionadas de las matemáticas, un espacio vectorial topológico (EVT) metrizable (o en su caso, pseudometrizable) es un EVT cuya topología es inducida por una métrica (o en su caso alternativo, por una pseudométrica). Un espacio LM es un límite directo de una secuencia de EVT metrizables localmente convexos.

# Espacio vectorial topológico metrizable
## Pseudométricas y métricas

Una pseudométrica en un conjunto $X$ es una aplicación $d:X\times X\rightarrow \mathbb {R}$ que satisface las siguientes propiedades:
* $d(x,x)=0{\text{ para todo }}x\in X$;
* Simetría: $d(x,y)=d(y,x){\text{ para todo }}x,y\in X$;
* Subaditividad: $d(x,z)\leq d(x,y)+d(y,z){\text{ para todo }}x,y,z\in X$.
Una pseudométrica se denomina métrica si satisface:
* Identidad de los indiscernibles: para todo $x,y\in X$, si $d(x,y)=0$ entonces $x=y$.
Ultrapseudométrico
Una aplicación $d$ pseudométrica en $X$ se denomina ultrapseudométrica o pseudométrica fuerte si satisface:
* Fuerte/Desigualdad triangular ultramétrica: $d(x,z)\leq \max\{d(x,y),d(y,z)\}{\text{ para todo }}x,y,z\in X$.
Espacio pseudométrico
Un espacio pseudométrico es un par $(X,d)$ que consta de un conjunto $X$ y de una pseudométrica $d$ en $X$ tal que la topología de $X$ es idéntica a la topología en $X$ inducida por $d$. Se denomina a un espacio pseudométrico $(X,d)$ un espacio métrico (respectivamente, espacio ultrapseudométrico) cuando $d$ es una métrica (respectivamente, una ultrapseudométrica).

# Espacio vectorial topológico metrizable
## Pseudométricas y métricas
### Topología inducida por una pseudométrica

Si $d$ es una pseudométrica en un conjunto $X$, entonces una colección de bolas abiertas:
    $B_{r}(z):=\{x\in X:d(x,z)<r\}$, ya que $z$ abarca $X$ y $r>0$ abarca los números reales positivos, y forma una base para una topología en $X$ que se llama $d$-topología o topología pseudométrica en $X$ inducida por $d$.
    Convención: Si $(X,d)$ es un espacio pseudométrico y $X$ se trata como un espacio topológico, a menos que se indique lo contrario, se debe suponer que $X$ está dotado de la topología inducida por $d$.
Espacio pseudometrizable
Un espacio topológico $(X,\tau )$ se denomina pseudometrizable (respespectivamente, metrizable, ultrapseudometrizable) si existe un $d$ pseudométrico (respespectivamente, métrico, ultrapseudométrico) en $X$ tal que $\tau$ es igual a la topología inducida por $d$.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos

Un grupo topológico aditivo es un grupo aditivo dotado de una topología, denominada topología de grupo, bajo la cual la suma y la negación se convierten en operadores continuos.
Una topología $\tau$ en un espacio vectorial real o complejo $X$ se denomina topología vectorial o topología EVT si hace que las operaciones de suma vectorial y multiplicación escalar sean continuas (es decir, si convierte $X$ en un espacio vectorial topológico).
Cada espacio vectorial topológico (EVT) $X$ es un grupo topológico conmutativo aditivo, pero no todas las topologías de grupo en $X$ son topologías vectoriales. Esto se debe a que, a pesar de hacer que la suma y la negación sean continuas, una topología de grupo en un espacio vectorial $X$ puede no lograr que la multiplicación escalar sea continua. Por ejemplo, una topología discreta en cualquier espacio vectorial no trivial hace que la suma y la negación sean continuas, pero no hace que la multiplicación escalar sea continua.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Pseudométricas invariantes con respecto a la traslación

Si $X$ es un grupo aditivo, entonces se dice que una pseudométrica $d$ en $X$ es invariante a la traslación o simplemente invariante si satisface cualquiera de las siguientes condiciones equivalentes:
* Simetría traslacional: $d(x+z,y+z)=d(x,y){\text{ para todo }}x,y,z\in X$;
* $d(x,y)=d(x-y,0){\text{ para todo }}x,y\in X$.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Valor/G-seminorma

Si $X$ es un grupo topológico, un valor o G-seminorma en $X$ (la G significa grupo) es una aplicación $p:X\rightarrow \mathbb {R}$ sobre valores reales con las siguientes propiedades:
* No negativa: $p\geq 0$
* Subaditiva: $p(x+y)\leq p(x)+p(y){\text{para todo }}x,y\in X$
* $p(0)=0$.
* Simétrica: $p(-x)=p(x){\text{ para todo }}x\in X$
donde se denomina G-seminorma a una g-norma si satisface la condición adicional:
* Total/Positiva definida: Si $p(x)=0$ entonces $x=0$

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Valor/G-seminorma
#### Propiedades de los valores

Si $p$ es un valor en un espacio vectorial $X$, entonces:
* $|p(x)-p(y)|\leq p(x-y){\text{ para todo }}x,y\in X$.
* $p(nx)\leq np(x)$ y ${\frac {1}{n}}p(x)\leq p(x/n)$ para todo $x\in X$ y enteros positivos $n$.
* El conjunto $\{x\in X:p(x)=0\}$ es un subgrupo aditivo de $X$.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Equivalencia en grupos topológicos

* Teorema
* Supóngase que $X$ es un grupo conmutativo aditivo.
* Si $d$ es una pseudométrica invariante respecto a la traslación en $X$, entonces la aplicación $p(x):=d(x,0)$ es un valor en $X$ llamado el valor asociado con $d$ y, además, $d$ genera una topología de grupo en $X$ (es decir, la topología $d$ en $X$ hace de $X$ un grupo topológico).
* Por el contrario, si $p$ es un valor en $X$, entonces la aplicación $d(x,y):=p(x-y)$ es una pseudométrica invariante a la traslación en $X$ y el valor asociado con $d$ es solo $p$.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Grupos topológicos pseudometrizables

* Teorema
* Si $(X,\tau )$ es un grupo topológico aditivo conmutativo, entonces lo siguiente es equivalente:
* $\tau$ es inducido por una pseudométrica; (es decir, $(X,\tau )$ es pseudometrizable);
* $\tau$ es inducido por una pseudométrica invariante a la traslación;
* El elemento de identidad en $(X,\tau )$ tiene una base de entorno contable.
* Si $(X,\tau )$ es de Hausdorff, entonces la palabra "pseudométrica" en la declaración anterior puede reemplazarse por la palabra "métrica".
* Un grupo topológico conmutativo es metrizable si y solo si es de Hausdorff y pseudometrizable.

# Espacio vectorial topológico metrizable
## Pseudométricas y valores sobre grupos topológicos
### Pseudométrica invariante que no induce una topología vectorial

Sea $X$ un espacio vectorial real o complejo no trivial (es decir, $X\neq \{0\}$) y sea $d$ la métrica trivial invariante de traslación en $X$ definida por $d(x,x)=0$ y $d(x,y)=1{\text{ para todo }}x,y\in X$ tal que $x\neq y$. La topología $\tau$ que $d$ induce en $X$ es discreta, lo que convierte a $(X,\tau )$ en un grupo topológico conmutativo respecto a la suma, pero no forma una topología vectorial en $X$ porque $(X,\tau )$ es no conexo, aunque cada topología vectorial sea conexa. Esta circunstancia es debida a que la multiplicación escalar no es continua en $(X,\tau )$.
Este ejemplo muestra que una (pseudo)métrica invariante a la traslación no es suficiente para garantizar una topología vectorial, lo que lleva a definir paranormas y seminormas F.

# Espacio vectorial topológico metrizable
## Secuencias aditivas

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$.
* Continuidad de la adición en 0
* Si $(X,+)$ es un group (como lo son todos los espacios vectoriales), $\tau$ es una topología en $X$, y $X\times X$ está dotado de topología producto, entonces la aplicación de suma $X\times X\to X$ (es decir, la aplicación $(x,y)\mapsto x+y$) es continua en el origen de $X\times X$ si y solo si el conjunto de entorno 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. Las secuencias aditivas 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 usar para probar muchas de las propiedades básicas de los espacios vectoriales topológicos y también mostrar que un EVT de Hausdorff con una base contable de entorno es metrizable. El siguiente teorema es cierto de manera más general para los grupos topológicos aditivos conmutativos.
* Teorema
* 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 todos los $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, se considera que
* $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 subaditivo (lo que significa que $f(x+y)\leq f(x)+f(y){\text{ para todo }}x,y\in X$) y $f=0$ en $\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}$ son 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 continuo, donde si además $X$ es de Hausdorff y $U_{\bullet }$ forma una base de entornos equilibradas del origen en $X$, entonces $d(x,y):=f(x-y)$ es una métrica que define la topología vectorial en $X$.
* Demostración
* Supóngase que $n_{\bullet }=\left(n_{1},\ldots ,n_{k}\right)$ siempre denota una secuencia finita de números enteros no negativos y utilice la notación:
* $\sum 2^{-n_{\bullet }}:=2^{-n_{1}}+\cdots +2^{-n_{k}}\quad {\text{ y }}\quad \sum U_{n_{\bullet }}:=U_{n_{1}}+\cdots +U_{n_{k}}$.
* Para cualquier número entero $n\geq 0$ y $d>2$,
* $U_{n}\supseteq U_{n+1}+U_{n+1}\supseteq U_{n+1}+U_{n+2}+U_{n+2}\supseteq U_{n+1}+U_{n+2}+\cdots +U_{n+d}+U_{n+d+1}+U_{n+d+1}$.
* De esto se deduce que si $n_{\bullet }=\left(n_{1},\ldots ,n_{k}\right)$ consta de números enteros positivos distintos, entonces $\sum U_{n_{\bullet }}\subseteq U_{-1+\min \left(n_{\bullet }\right)}$.
* Ahora se demostrará por inducción en $k$ que si $n_{\bullet }=\left(n_{1},\ldots ,n_{k}\right)$ consta de números enteros no negativos tales como $\sum 2^{-n_{\bullet }}\leq 2^{-M}$ para algún número entero $M\geq 0$, entonces $\sum U_{n_{\bullet }}\subseteq U_{M}$.
* Esto es claramente cierto para $k=1$ y $k=2$, así que supóngase que $k>2$, implica que todos los $n_{i}$ son positivos.
* Si todos los $n_{i}$ son distintos, entonces se realiza este paso; de lo contrario, se deben seleccionar índices $i<j$ distintos, de modo que $n_{i}=n_{j}$ y construir $m_{\bullet }=\left(m_{1},\ldots ,m_{k-1}\right)$ a partir de $n_{\bullet }$ reemplazando cada $n_{i}$ con $n_{i}-1$ y eliminando el elemento $j^{\text{ésimo}}$ de $n_{\bullet }$ (todos los demás elementos de $n_{\bullet }$ se transfieren a $m_{\bullet }$ sin cambios).
* Se observa que $\sum 2^{-n_{\bullet }}=\sum 2^{-m_{\bullet }}$ y $\sum U_{n_{\bullet }}\subseteq \sum U_{m_{\bullet }}$ (porque $U_{n_{i}}+U_{n_{j}}\subseteq U_{n_{i}-1}$), por lo que apelando a la hipótesis inductiva se concluye que $\sum U_{n_{\bullet }}\subseteq \sum U_{m_{\bullet }}\subseteq U_{M}$, lo que se buscaba.
* Está claro que $f(0)=0$ y $0\leq f\leq 1$, así que para probar que $f$ es subaditivo, basta probar que $f(x+y)\leq f(x)+f(y)$ cuando $x,y\in X$ son tales que $f(x)+f(y)<1$, lo que implica que $x,y\in U_{0}$.
* Si todos los $U_{i}$ son simétricos, entonces $x\in \sum U_{n_{\bullet }}$ si y solo si $-x\in \sum U_{n_{\bullet }}$ de lo cual se deduce que $f(-x)\leq f(x)$ y $f(-x)\geq f(x)$.
* Si todos los $U_{i}$ están equilibrados, entonces la desigualdad $f(sx)\leq f(x)$ para todos los escalares unitarios $s$ tales que $|s|\leq 1$ se demuestra de manera similar.
* Debido a que $f$ es una función subaditiva no negativa que satisface $f(0)=0$, como se describe en el artículo sobre funcionales sublineales, $f$ es uniformemente continua en $X$ si y solo si $f$ es continua en el origen.
* Si todos los $U_{i}$ son entornos del origen, entonces, para cualquier $r>0$, real, elíjase un número entero $M>1$ tal que $2^{-M}<r$, de modo que $x\in U_{M}$ implique que $f(x)\leq 2^{-M}<r$.
* Si el conjunto de todos los $U_{i}$ forma una base equilibrada de entornos del origen, entonces se puede demostrar que para cualquier $n>1$, existe algún $0<r\leq 2^{-n}$ tal que $f(x)<r$, lo que implica que $x\in U_{n}$. $\blacksquare$

# Espacio vectorial topológico metrizable
## Paranormas

Si $X$ es un espacio vectorial sobre los números reales o los complejos, entonces una paranorma en $X$ es una G-seminorma (definida anteriormente) $p:X\rightarrow \mathbb {R}$ en $X$ que satisface cualquiera de las siguientes condiciones adicionales, cada una de las cuales comienza con "para todas las secuencias $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ en $X$ y todas las secuencias convergentes de escalares $s_{\bullet }=\left(s_{i}\right)_{i=1}^{\infty }$":
* Continuidad de la multiplicación: si $s$ es un escalar y $x\in X$ son tales que $p\left(x_{i}-x\right)\to 0$ y $s_{\bullet }\to s$, entonces $p\left(s_{i}x_{i}-sx\right)\to 0$.
* Ambas condiciones:
** si $s_{\bullet }\to 0$ y si $x\in X$ es tal que $p\left(x_{i}-x\right)\to 0$, entonces $p\left(s_{i}x_{i}\right)\to 0$;
** si $p\left(x_{\bullet }\right)\to 0$ entonces $p\left(sx_{i}\right)\to 0$ para cada escalar $s$.
* Ambas condiciones:
** si $p\left(x_{\bullet }\right)\to 0$ y $s_{\bullet }\to s$ para algún escalar $s$, entonces $p\left(s_{i}x_{i}\right)\to 0$;
** si $s_{\bullet }\to 0$ entonces $p\left(s_{i}x\right)\to 0{\text{ para todo }}x\in X$.
* Continuidad separada:
** si $s_{\bullet }\to s$ para algún $s$ escalar, entonces $p\left(sx_{i}-sx\right)\to 0$ para cada $x\in X$;
** si $s$ es un escalar, $x\in X$, y $p\left(x_{i}-x\right)\to 0$, entonces $p\left(sx_{i}-sx\right)\to 0$.
Una paranorma se llama total si además satisface que:
* Total/Positivo definido: $p(x)=0$ implica $x=0$.

# Espacio vectorial topológico metrizable
## Paranormas
### Propiedades de las paranormas

Si $p$ es una paranorma en un espacio vectorial $X$, entonces la aplicación $d:X\times X\rightarrow \mathbb {R}$ definida por $d(x,y):=p(x-y)$ es una pseudométrica invariante de traslación en $X$, que define una topología vectorial en $X$.
Si $p$ es una paranorma en un espacio vectorial $X$, entonces:
* el conjunto $\{x\in X:p(x)=0\}$ es un subespacio vectorial de $X$.
* $p(x+n)=p(x){\text{ para todo }}x,n\in X$ con $p(n)=0$.
* Si una paranorma $p$ satisface que $p(sx)\leq |s|p(x){\text{ para todo }}x\in X$ y los escalares $s$, entonces $p$ es absolutamente homogénea (es decir, se mantiene la igualdad) y, por lo tanto, $p$ es una seminorma.

# Espacio vectorial topológico metrizable
## Paranormas
### Ejemplos de paranormas

* Si $d$ es una pseudométrica invariante de traslación en un espacio vectorial $X$ que induce una topología vectorial $\tau$ en $X$ (es decir, $(X,\tau )$ es un EVT), entonces la aplicación $p(x):=d(x-y,0)$ define una paranorma continua en $(X,\tau )$. Además, la topología que esta paranorma $p$ define en $X$ es $\tau$.
* Si $p$ es una paranorma en $X$, entonces también lo es la aplicación $q(x):=p(x)/[1+p(x)]$.
* Cada múltiplo escalar positivo de una paranorma (o paranorma total) es nuevamente una paranorma (o, respectivamente, una paranorma total).
* Cada seminorma es una paranorma.
* La restricción de una paranorma (o paranorma total) a un subespacio vectorial es una paranorma (o, respectivamente, una paranorma total).
* La suma de dos paranormas es una paranorma.
* Si $p$ y $q$ son paranormas en $X$, entonces también lo es $(p\wedge q)(x):=\inf _\{p(y)+q(z):x=y+z{\text{ con }}y,z\in X\}$. Además, $(p\wedge q)\leq p$ y $(p\wedge q)\leq q$, lo que convierte el conjunto de paranormas en $X$ en un retículo condicionalmente completo.
* Cada una de las siguientes aplicaciones de valor real son paranormas en $X:=\mathbb {R} ^{2}$:
** $(x,y)\mapsto |x|$
** $(x,y)\mapsto |x|+|y|$
* Las aplicaciones de valor real $(x,y)\mapsto {\sqrt {\left|x^{2}-y^{2}\right|}}$ y $(x,y)\mapsto \left|x^{2}-y^{2}\right|^{3/2}$ no son una paranorma en $X:=\mathbb {R} ^{2}$.
* Si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es una base en un espacio vectorial $X$, entonces la aplicación de valor real que hace corresponder $x=\sum _{i\in I}s_{i}x_{i}\in X$ (donde todos menos un número finito de los escalares $s_{i}$ son 0) a $\sum _{i\in I}{\sqrt {\left|s_{i}\right|}}$ es una paranorma en $X$, que satisface $p(sx)={\sqrt {|s|}}p(x)$ para todos los $x\in X$ y los escalares $s$.
* La función $p(x):=|\sin(\pi x)|+\min\{2,|x|\}$ es una paranorma en $\mathbb {R}$ que no es equilibrada pero, sin embargo, es equivalente a la norma habitual en $R$. Téngase en cuenta que la función $x\mapsto |\sin(\pi x)|$ es subaditiva.
* Sea $X_{\mathbb {C} }$ un espacio vectorial complejo y denótese por $X_{\mathbb {R} }$ a $X_{\mathbb {C} }$ considerado como un espacio vectorial sobre $\mathbb {R}$. Cualquier paranorma en $X_{\mathbb {C} }$ es también una paranorma en $X_{\mathbb {R} }$.

# Espacio vectorial topológico metrizable
## F-seminormas

Si $X$ es un espacio vectorial sobre los números reales o los complejos, entonces una F-seminorma en $X$ (la letra $F$ hace referencia a Fréchet) es una aplicación de valor real $p:X\to \mathbb {R}$ con las siguientes cuatro propiedades:
* No negativo': $p\geq 0$.
* 'Subaditivo: $p(x+y)\leq p(x)+p(y)$ para todos los $x,y\in X$
* 'Equilibrado: $p(ax)\leq p(x)$ para $x\in X$ todos los escalares $a$ que satisfacen $|a|\leq 1;$
** Esta condición garantiza que cada conjunto de la forma $\{z\in X:p(z)\leq r\}$ o $\{z\in X:p(z)<r\}$ para algún $r\geq 0$ sea un conjunto equilibrado.
* Por cada $x\in X$, $p\left({\tfrac {1}{n}}x\right)\to 0$ como $n\to \infty$
** La secuencia $\left({\tfrac {1}{n}}\right)_{n=1}^{\infty }$ puede ser reemplazada por cualquier secuencia positiva que converja al cero.
Una seminorma F se denomina norma F' si además satisface:
* Total/Positiva definida: $p(x)=0$ implica $x=0$.
Una seminorma F se llama monótona si satisface:
* Monótona: $p(rx)<p(sx)$ para todos los $x\in X$ distintos de cero y todos los $s$ y $t$ reales de modo que $s<t$.

# Espacio vectorial topológico metrizable
## F-seminormas
### Espacios F-seminormados

Un F-espacio seminormado (o F-espacio normado) es un par $(X,p)$ que consta de un espacio vectorial $X$ y una F-seminorma (o respectivamente, F-norma) $p$ en $X$.
Si $(X,p)$ y $(Z,q)$ son espacios F seminormados, entonces una aplicación $f:X\to Z$ se llama embebido isométrico' si $q(f(x)-f(y))=p(x,y){\text{ para todo }}x,y\in X$.
Cada embebido isométrico de un espacio seminormado F en otro es un embebido topográfico, pero lo contrario no es cierto en general.

# Espacio vectorial topológico metrizable
## F-seminormas
### Ejemplos de F-seminormas

* Cada múltiplo escalar positivo de una F-seminorma (o respectivamente F-norma o seminorma) es nuevamente una F-seminorma (o respectivamente, F-norma o seminorma).
* La suma de un número finito de F-seminormas (o respectivamente F-normas) es una F-seminorma (o respectivamente, una F-norma).
* Si $p$ y $q$ son F-seminormas en $X$, entonces también lo es su supremo puntual $x\mapsto \sup\{p(x),q(x)\}$. Lo mismo ocurre con el supremo de cualquier familia finita no vacía de F-seminormas en $X$.
* La restricción de una F-seminorma (o respectivamente, F-norma) a un subespacio vectorial es una F-seminorma (o respectivamente, una F-norma).
* Una función de valor real no negativo en $X$ es una seminorma si y solo si es una F-seminorma convexa, o de manera equivalente, si y solo si es una G-seminorma convexa equilibrada. En particular, cada seminorma es una F-seminorma.
* Para cualquier $0<p<1$, la aplicación $f$ en $\mathbb {R} ^{n}$ definida por es una F-norma, pero que no es una norma.
    $[f\left(x_{1},\ldots ,x_{n}\right)]^{p}=\left|x_{1}\right|^{p}+\cdots \left|x_{n}\right|^{p}$
* Si $L:X\to Y$ es una aplicación lineal y si $q$ es una F-seminorma en $Y$, entonces $q\circ L$ es una F-seminorma en $X$.
* Sea $X_{\mathbb {C} }$ un espacio vectorial complejo y denótese como $X_{\mathbb {R} }$ un $X_{\mathbb {C} }$ considerado como un espacio vectorial sobre $\mathbb {R}$. Cualquier F-seminorma en $X_{\mathbb {C} }$ también es una F-seminorma en $X_{\mathbb {R} }$.

# Espacio vectorial topológico metrizable
## F-seminormas
### Propiedades de las seminormas F

Cada seminorma F es una paranorma y cada paranorma es equivalente a alguna seminorma F. Cada seminorma F en un espacio vectorial $X$ es un valor en $X$. En particular, $p(x)=0$, y $p(x)=p(-x)$ para todo $x\in X$.

# Espacio vectorial topológico metrizable
## F-seminormas
### Topología inducida por una seminorma única F

* Teorema
* Sea $p$ una seminorma F en un espacio vectorial $X$.
* Entonces, la aplicación $d:X\times X\to \mathbb {R}$ definida por
* $d(x,y):=p(x-y)$
* es una pseudométrica invariante de traslación en $X$ que define una topología vectorial $\tau$ en $X$.
* Si $p$ es una norma F, entonces $d$ es una métrica.
* Cuando $X$ está dotado de esta topología, entonces $p$ es una aplicación continua en $X$.
* Los conjuntos equilibrados $\{x\in X~:~p(x)\leq r\}$, ya que $r$ se extiende sobre los números reales positivos, forman una base de entorno en el origen para esta topología que consiste en un conjunto cerrado.
* De manera similar, los conjuntos equilibrados $\{x\in X~:~p(x)<r\}$, cuando $r$ se extiende sobre los números reales positivos, forman una base de entorno en el origen de esta topología que consta de conjuntos abiertos.

# Espacio vectorial topológico metrizable
## F-seminormas
### Topología inducida por una familia de seminormas F

Supóngase que ${\mathcal {L}}$ es una colección no vacía de seminormas F en un espacio vectorial $X$ y para cualquier subconjunto finito ${\mathcal {F}}\subseteq {\mathcal {L}}$ y cualquier $r>0$, sea
    $U_{{\mathcal {F}},r}:=\bigcap _{p\in {\mathcal {F}}}\{x\in X:p(x)<r\}$.
El conjunto $\left\{U_{{\mathcal {F}},r}~:~r>0,{\mathcal {F}}\subseteq {\mathcal {L}},{\mathcal {F}}{\text{ finito }}\right\}$ forma una base de filtro en $X$ que también forma una base de entorno en el origen para una topología vectorial en $X$ denotada por $\tau _{\mathcal {L}}$.. Cada $U_{{\mathcal {F}},r}$ es un subconjunto equilibrado y absorbente de $X$.. Estos conjuntos satisfacen que
    $U_{{\mathcal {F}},r/2}+U_{{\mathcal {F}},r/2}\subseteq U_{{\mathcal {F}},r}$.
* $\tau _{\mathcal {L}}$ es la topología vectorial más aproximada en $X$, lo que hace que cada $p\in {\mathcal {L}}$ sea continuo.
* $\tau _{\mathcal {L}}$ es de Hausdorff si y solo si para cada $x\in X$ distinto de cero, existe algún $p\in {\mathcal {L}}$ tal que $p(x)>0$.
* Si ${\mathcal {F}}$ es el conjunto de todas las seminormas F continuas en $\left(X,\tau _{\mathcal {L}}\right)$, entonces $\tau _{\mathcal {L}}=\tau _{\mathcal {F}}$.
* Si ${\mathcal {F}}$ es el conjunto de todos los supremos puntuales de subconjuntos finitos no vacíos de ${\mathcal {F}}$ de ${\mathcal {L}}$, entonces ${\mathcal {F}}$ es una familia dirigida de seminormas F y $\tau _{\mathcal {L}}=\tau _{\mathcal {F}}$.

# Espacio vectorial topológico metrizable
## Combinación de Fréchet

Supóngase que $p_{\bullet }=\left(p_{i}\right)_{i=1}^{\infty }$ es una familia de funciones subaditivas no negativas en un espacio vectorial $X$.
La combinación de Fréchet de $p_{\bullet }$ se define como la aplicación de valor real
    $p(x):=\sum _{i=1}^{\infty }{\frac {p_{i}(x)}{2^{i}\left[1+p_{i}(x)\right]}}$.

# Espacio vectorial topológico metrizable
## Combinación de Fréchet
### Como una F-seminorma

Supóngase que $p_{\bullet }=\left(p_{i}\right)_{i=1}^{\infty }$ es una secuencia creciente de seminormas en $X$ y sea $p$ la combinación de Fréchet de $p_{\bullet }$. Entonces, $p$ es una F-seminorma en $X$ que induce la misma topología localmente convexa que la familia $p_{\bullet }$ de seminormas.
Dado que $p_{\bullet }=\left(p_{i}\right)_{i=1}^{\infty }$ es creciente, una base de entornos abiertas del origen consta de todos los conjuntos de la forma $\left\{x\in X~:~p_{i}(x)<r\right\}$, ya que $i$ abarca todos los números enteros positivos y $r>0$ abarca todos los números reales positivos.
La pseudométrica invariante a la traslación sobre $X$ inducida por esta F-seminorma $p$ es
    $d(x,y)=\sum _{i=1}^{\infty }{\frac {1}{2^{i}}}{\frac {p_{i}(x-y)}{1+p_{i}(x-y)}}$.
Esta métrica para los espacios de secuencias reales y complejas con operaciones puntuales fue descubierta por Maurice Fréchet en su tesis doctoral de 1906.

# Espacio vectorial topológico metrizable
## Combinación de Fréchet
### Como paranorma

Si cada $p_{i}$ es una paranorma, entonces $p$ también lo es y, además, $p$ induce la misma topología en $X$ que la familia $p_{\bullet }$ de paranormas. Esto también se aplica a las siguientes paranormas en $X$:
* $q(x):=\inf _\left\{\sum _{i=1}^{n}p_{i}(x)+{\frac {1}{n}}~:~n>0{\text{ es un entero }}\right\}$.
* $r(x):=\sum _{n=1}^{\infty }\min \left\{{\frac {1}{2^{n}}},p_{n}(x)\right\}$.

# Espacio vectorial topológico metrizable
## Combinación de Fréchet
### Generalización

La combinación de Fréchet se puede generalizar mediante el uso de una función de remetrización acotada.
Una función de remetrización acotada es una aplicación $R:[0,\infty )\to [0,\infty )$ continua, no negativa y no decreciente que tiene un rango acotado, es subaditiva (lo que significa que $R(s+t)\leq R(s)+R(t)$ para todos los $s,t\geq 0$) y satisface que $R(s)=0$ si y solo si $s=0$.
Ejemplos de funciones de remetrización acotadas incluyen $\arctan t$, $\tanh t$, $t\mapsto \min\{t,1\}$, y $t\mapsto {\frac {t}{1+t}}$.
Si $d$ es una pseudométrica (respectivamente, métrica) en $X$ y $R$ es una función de remetrización acotada, entonces $R\circ d$ es una pseudométrica acotada (respectivamente, métrica acotada) en $X$ que es uniformemente equivalente a $d$.
Supóngase que $p_{\bullet }=\left(p_{i}\right)_{i=1}^{\infty }$ es una familia de seminormas F no negativa en un espacio vectorial $X$, $R$ es una función de remetrización acotada y $r_{\bullet }=\left(r_{i}\right)_{i=1}^{\infty }$ es una secuencia de números reales positivos cuya suma es finita. Entonces
    $p(x):=\sum _{i=1}^{\infty }r_{i}R\left(p_{i}(x)\right)$
define una seminorma F acotada que es uniformemente equivalente a $p_{\bullet }$. Tiene la propiedad de que para cualquier $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ neto en $X$, $p\left(x_{\bullet }\right)\to 0$ si y solo si $p_{i}\left(x_{\bullet }\right)\to 0$ para todos los $i$. $p$ es una norma F si y solo si $p_{\bullet }$ separa puntos en $X$.

# Espacio vectorial topológico metrizable
## Caracterizaciones
### De (pseudo)métricas inducidas por (semi)normas

Una pseudométrica (resp. métrica) $d$ es inducida por una seminorma (resp. norma) en un espacio vectorial $X$ si y solo si $d$ es invariante de traslación y absolutamente homogéneo, lo que significa que para todos los escalares $s$ y todos $x,y\in X$, en cuyo caso la función definida por $p(x):=d(x,0)$ es una seminorma (resp. norma) y la pseudométrica (resp. métrica) inducida por $p$ es igual a $d$.

# Espacio vectorial topológico metrizable
## Caracterizaciones
### De EVT pseudometrizables

Si $(X,\tau )$ es un espacio vectorial topológico (EVT) (donde tenga en cuenta en particular que se supone que $\tau$ es una topología vectorial), entonces lo siguiente es equivalente:
* $X$ es pseudometrizable (es decir, la topología vectorial $\tau$ es inducida por una pseudometría en $X$).
* $X$ tiene una base de entorno contable en el origen.
* La topología en $X$ es inducida por una pseudométrica invariante a la traslación en $X$.
* La topología en $X$ está inducida por una seminorma F.
* La topología de $X$ está inducida por una paranorma.

# Espacio vectorial topológico metrizable
## Caracterizaciones
### De EVT metrizables

Si $(X,\tau )$ es un EVT, lo siguiente es equivalente:
* $X$ es metrizable.
* $X$ es Hausdorff y pseudometrizable.
* $X$ es Hausdorff y tiene una base de entorno contable en el origen.
* La topología en $X$ es inducida por una métrica invariante de traslación en $X$.
* La topología en $X$ está inducida por una norma F.
* La topología en $X$ está inducida por una norma F monótona.
* La topología de $X$ está inducida por una paranorma total.
* Grupo topológico
* Si $(X,\tau )$ es un espacio vectorial topológico, entonces las tres condiciones siguientes son equivalentes:
* El origen $\{0\}$ está cerrado en $X$, y hay un conjunto numerable basis of neighborhoods para $0$ 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$.
* Según el teorema de Birkhoff-Kakutani, se deduce que hay un equivalent metric que es invariante en la traslación.

# Espacio vectorial topológico metrizable
## Caracterizaciones
### EVT pseudometrizables localmente convexos

Si $(X,\tau )$ es EVT, entonces lo siguiente es equivalente:
* $X$ es espacio localmente convexo y pseudometrizable.
* $X$ tiene una base de entorno contable en el origen que consta de conjuntos convexos.
* La topología de $X$ es inducida por una familia contable de seminormas (continuas).
* La topología de $X$ es inducida por una secuencia creciente contable de seminormas (continuas) $\left(p_{i}\right)_{i=1}^{\infty }$ (creciente significa que para todos $i$, $p_{i}\geq p_{i+1}$.
* La topología de $X$ es inducida por una seminorma F de la forma: donde $\left(p_{i}\right)_{i=1}^{\infty }$ son seminormas (continuas) en $X$.
    $p(x)=\sum _{n=1}^{\infty }2^{-n}\operatorname {arctan} p_{n}(x)$

# Espacio vectorial topológico metrizable
## Cocientes

Sea $M$ un subespacio vectorial de un espacio vectorial topológico $(X,\tau )$.
* Si $X$ es un EVT pseudometrizable, entonces también lo es $X/M$.
* Si $X$ es un EVT pseudometrizable completo y $M$ es un subespacio vectorial cerrado de $X$, entonces $X/M$ está completo.
* Si $X$ es EVT metrizable y $M$ es un subespacio vectorial cerrado de $X$, entonces $X/M$ es metrizable.
* Si $p$ es una seminorma F en $X$, entonces la aplicación $P:X/M\to \mathbb {R}$ definida por es una seminorma F en $X/M$ que induce la topología habitual en $X/M$. Si además $p$ es una norma F en $X$ y si $M$ es un subespacio vectorial cerrado de $X$ entonces $P$ es una norma F en $X$.
    $P(x+M):=\inf _\{p(x+m):m\in M\}$

# Espacio vectorial topológico metrizable
## Ejemplos y condiciones suficientes

* Cada seminorma $(X,p)$ es pseudometrizable con una pseudométrica canónica dada por $d(x,y):=p(x-y)$ para todos los $x,y\in X$..
* Si $(X,d)$ es un EVT pseudométrico con un $d$, pseudométrico invariante de traslación, entonces $p(x):=d(x,0)$ define una paranorma. Sin embargo, si $d$ es una pseudométrica invariante de traslación en el espacio vectorial $X$ (sin la condición de adición de que $(X,d)$ sea un EVT pseudométrico), entonces $d$ no necesita ser ni una seminorma F ni una paranorma.
* Si un EVT tiene una entorno acotada del origen, entonces es pseudometrizable; lo contrario es en general falso.
* Si un EVT de Hausdorff tiene un entorno acotado del origen, entonces es metrizable.
* Supóngase que $X$ es un DF-espacio o un LM-espacio. Si $X$ es un espacio secuencial, entonces es metrizable o es un espacio DF de Montel.
Si $X$ es un EVT localmente convexo de Hausdorff, entonces $X$ con una topología fuerte, $\left(X,b\left(X,X^{\prime }\right)\right)$, es metrizable si y solo si existe un conjunto contable ${\mathcal {B}}$ de subconjuntos acotados de $X$ tales que cada subconjunto acotado de $X$ esté contenido en algún elemento de ${\mathcal {B}}$.
El espacio dual fuerte $X_{b}^{\prime }$ de un espacio localmente convexo metrizable (como un espacio de Fréchet) $X$ es un DF-espacio. El dual fuerte de un espacio DF es un espacio de Fréchet. El dual fuerte de un espacio reflexivo de Fréchet es un espacio bornológico. El bidual fuerte (es decir, el espacio dual fuerte de un espacio dual fuerte) de un espacio localmente convexo metrizable es un espacio de Fréchet. Si $X$ es un espacio metrizable localmente convexo, entonces su dual fuerte $X_{b}^{\prime }$ tiene una de las siguientes propiedades, si y solo si tiene todas estas propiedades: (1) bornología, (2) infrabarrilado, (3) barrilado.

# Espacio vectorial topológico metrizable
## Ejemplos y condiciones suficientes
### Normabilidad

Un espacio vectorial topológico es seminormable si y solo si tiene un entorno acotado convexo del origen. Además, un EVT es normable si y solo si es de Hausdorff y seminormable. Cada EVT metrizable en un espacio vectorial dimensional finito es un espacio localmente convexo EVT completo normal, siendo el EVT isomórfico al espacio euclídeo. En consecuencia, cualquier EVT metrizable que sea normable no debe ser de dimensión infinita.
Si $M$ es un EVT localmente convexo| metrizable que posee un sistema fundamental contable de conjuntos acotados, entonces $M$ es normal.
Si $X$ es un espacio localmente convexo de Hausdorff, entonces lo siguiente es equivalente:
* $X$ es normable.
* $X$ tiene una entorno acotado (de von Neumann) del origen.
* El espacio dual fuerte $X_{b}^{\prime }$ de $X$ es normal.
y si este espacio localmente convexo $X$ también es metrizable, entonces se puede agregar lo siguiente a esta lista:
* El espacio dual fuerte de $X$ es metrizable.
* El espacio dual fuerte de $X$ es un espacio de Fréchet–Urysohn localmente convexo.
En particular, si un espacio localmente convexo metrizable $X$ (como un espacio de Fréchet) no es normable, entonces su espacio dual fuerte $X_{b}^{\prime }$ no es un espacio de Fréchet–Urysohn y, en consecuencia, este espacio completo localmente convexo de Hausdorff $X_{b}^{\prime }$ tampoco es metrizable ni normable.
Otra consecuencia de esto es que si $X$ es un EVT localmente convexo reflexivo cuyo dual fuerte $X_{b}^{\prime }$ es metrizable, entonces $X_{b}^{\prime }$ es necesariamente un espacio de Fréchet reflexivo, $X$ es un DF-espacio, tanto $X$ como $X_{b}^{\prime }$ son necesariamente espacios reticulados ultrabornológicos distinguidos completos de Hausdorff y, además, $X_{b}^{\prime }$ es normable si y solo si $X$ es normalable si y solo si $X$ es un espacio de Fréchet-Urysohn si y solo si $X$ es metrizable. En particular, dicho espacio $X$ es un espacio de Banach o ni siquiera es un espacio de Fréchet-Urysohn.

# Espacio vectorial topológico metrizable
## Conjuntos acotados métricamente y conjuntos acotados

Supóngase que $(X,d)$ es un espacio pseudométrico y $B\subseteq X$. El conjunto $B$ está limitado métricamente o limitado por $d$ si existe un número real $R>0$ tal que $d(x,y)\leq R$ para todo $x,y\in B$; el $R$ más pequeño se denomina diámetro o diámetro $d$ de $B$. Si $B$ está acotado en un EVT pseudometrizable $X$, entonces está acotado métricamente. Lo contrario es en general falso, pero es cierto para los EVT metrizables localmente convexos.

# Espacio vectorial topológico metrizable
## Propiedades de un EVT pseudometrizable

* Teorema
* Todos los EVT metrizables completos separables de dimensión infinita son homeomorfismos.
* Cada EVT localmente convexo metrizable es un espacio casibarrilado, un espacio bornológico y un espacio de Mackey.
* Cada EVT pseudometrizable completo es un espacio barrilado y un espacio de Baire (y por lo tanto, no es escaso). Sin embargo, existen espacios de Baire metrizables que no son completos.
* Si $X$ es un espacio localmente convexo metrizable, entonces el dual fuerte de $X$ es bornológico si y solo si es barrilado, si y solo si es infrabarrilado.
* Si $X$ es un EVT pseudometrizable completo y $M$ es un subespacio vectorial cerrado de $X$, entonces $X/M$ está completo.
* El dual fuerte de un EVT metrizable localmente convexo es un espacio reticulado.
* Si $(X,\tau )$ y $(X,\nu )$ son EVT metrizables completos (es decir, F-espacios) y si $\nu$ es más grueso que $\tau$, entonces $\tau =\nu$; ya no se garantiza que esto sea cierto si alguno de estos EVT metrizables no es completo. Dicho de otra manera, si $(X,\tau )$ y $(X,\nu )$ son F-espacios pero con diferentes topologías, entonces ni $\tau$ ni $\nu$ contienen al otro como un subconjunto. Una consecuencia particular de esto es, por ejemplo, que si $(X,p)$ es un espacio de Banach y $(X,q)$ es algún otro espacio normado cuya topología inducida por normas es más fina (o alternativamente, más gruesa) que la de $(X,p)$ (es decir, si $p\leq Cq$ o si $q\leq Cp$ para alguna constante $C>0$), entonces la única manera de que $(X,q)$ pueda ser un espacio de Banach (es decir, también estar completo) es si estas dos normas $p$ y $q$ son equivalentes. Si no son equivalentes, entonces $(X,q)$ no puede ser un espacio de Banach. Como otra consecuencia, si $(X,p)$ es un espacio de Banach y $(X,\nu )$ es un espacio de Fréchet, entonces la función $p:(X,\nu )\to \mathbb {R}$ es continua si y solo si el espacio $(X,\nu )$ es de Fréchet y el EVT $(X,p)$ (aquí, el espacio de Banach $(X,p)$ se considera como un EVT, lo que significa que su norma es "olvidadiza", aunque se recuerda su topología).
* Un espacio localmente convexo metrizable es normable si y solo si su espacio dual fueerte es un espacio de Fréchet–Urysohn localmente convexo.
* Cualquier producto de EVT metrizables completos es un espacio de Baire.
* Un producto de EVTs metrizables es metrizable si y solo si todos, pero a lo sumo contablemente, muchos de estos EVTs tienen la dimensión $0$.
* Un producto de EVTs pseudometrizables es pseudometrizable si y solo si todos, pero a lo sumo contablemente, muchos de estos EVTs tienen la topología trivial.
* Cada EVT pseudometrizable completo es un espacio barrilado y un espacio de Baire (y por lo tanto, no escaso).
* La dimensión de un EVT metrizable completo es finita o incontable.

# Espacio vectorial topológico metrizable
## Propiedades de un EVT pseudometrizable
### Integridad

Cada espacio vectorial topológico (y más generalmente, un grupo topológico) tiene un espacio uniforme canónico, inducido por su topología, que permite aplicarle las nociones de completitud y continuidad uniforme. Si $X$ es un EVT metrizable y $d$ es una métrica que define la topología de $X$, entonces es posible que $X$ esté completo como EVT (es decir, en relación con su uniformidad), pero la métrica $d$ no a espacio métrico completo (dichas métricas existen incluso para $X=\mathbb {R}$). Por lo tanto, si $X$ es un EVT cuya topología es inducida por un $d$, pseudométrico, entonces la noción de completitud de $X$ (como EVT) y la noción de completitud del espacio pseudométrico $(X,d)$ no siempre son equivalentes. El siguiente teorema da una condición para cuando son equivalentes:
* Teorema
* Si $X$ es un EVT pseudometrizable cuya topología es inducida por una pseudométrica invariante a la traslación $d$, entonces $d$ es una pseudométrica completo en $X$ si y solo si $X$ está completo como EVT.
* Teorema
* Sea $d$ cualquier métrica en un espacio vectorial $X$ tal que la topología $\tau$ inducida por $d$ en $X$ convierte a $(X,\tau )$ en un espacio vectorial topológico. Si $(X,d)$ es un espacio métrico completo, entonces $(X,\tau )$ es un EVT completo.
* Teorema
* Si $X$ es un EVT cuya topología es inducida por una paranorma $p$, entonces $X$ está completo si y solo si para cada secuencia $\left(x_{i}\right)_{i=1}^{\infty }$ en $X$, si $\sum _{i=1}^{\infty }p\left(x_{i}\right)<\infty$, y entonces $\sum _{i=1}^{\infty }x_{i}$ converge en $X$.
Si $M$ es un subespacio vectorial cerrado de un EVT $X$, pseudometrizable completo, entonces el espacio cociente $X/M$ está completo. Si $M$ es un subespacio vectorial completo de un EVT metrizable $X$ y si el espacio cociente $X/M$ está completo, entonces también lo está $X$.. Si $X$ no está completo, entonces $M:=X$, es un subespacio vectorial de $X$ que tampoco es completo.
Un grupo topológico separable de Baire es metrizable si y solo si es cósmico.

# Espacio vectorial topológico metrizable
## Propiedades de un EVT pseudometrizable
### Subconjuntos y subsecuencias

* Sea $M$ un espacio vectorial topológico metrizable localmente convexo separable, y sea $C$ su compleción. Si $S$ es un subconjunto acotado de $C$, entonces existe un subconjunto acotado $R$ de $X$ tal que $S\subseteq \operatorname {cl} _{C}R$.
* Cada subconjunto totalmente acotado de un EVT metrizable localmente convexo $X$ está contenido en la envolvente convexa equilibrada cerrada de alguna secuencia en $X$ que converge a $0$.
* En un EVT pseudometrizable, cada bornívoro es un entorno del origen.
* Si $d$ es una métrica invariante de traslación en un espacio vectorial $X$, entonces $d(nx,0)\leq nd(x,0)$ para todo $x\in X$ y cada entero positivo $n$.
* Si $\left(x_{i}\right)_{i=1}^{\infty }$ es una secuencia nula (es decir, converge al origen) en un EVT metrizable, entonces existe una secuencia $\left(r_{i}\right)_{i=1}^{\infty }$ de números reales positivos que divergen hacia $\infty$ tal que $\left(r_{i}x_{i}\right)_{i=1}^{\infty }\to 0$.
* Un subconjunto de un espacio métrico completo está cerrado si y solo si está completo. Si un espacio $X$ no está completo, entonces $X$ es un subconjunto cerrado de $X$ que no está completo.
* Si $X$ es un EVT localmente convexo metrizable, entonces para cada subconjunto acotado $B$ de $X$, existe un disco $D$ acotado en $X$ tal que $B\subseteq X_{D}$, y tanto $X$ como el espacio normado auxiliar $X_{D}$ inducen el mismo subespacio topológico en $B$.
* Teorema de Banach-Saks
* Si $\left(x_{n}\right)_{n=1}^{\infty }$ es una secuencia en un EVT localmente convexo metrizable $(X,\tau )$ que converge débilmente con algún $x\in X$, entonces existe una secuencia $y_{\bullet }=\left(y_{i}\right)_{i=1}^{\infty }$ en $X$ tal que $y_{\bullet }\to x$ en $(X,\tau )$ y cada $y_{i}$ es una combinación convexa de un número finito de $x_{n}$.
* Condición de numerabilidad de Mackey
* Supóngase que $X$ es un EVT metrizable localmente convexo y que $\left(B_{i}\right)_{i=1}^{\infty }$ es una secuencia contable de subconjuntos acotados de $X$.
* Entonces, existe un subconjunto acotado $B$ de $X$ y una secuencia $\left(r_{i}\right)_{i=1}^{\infty }$ de números reales positivos tales que $B_{i}\subseteq r_{i}B$ para todo $i$.
Serie generalizada'
Como se describe en la sección de series generalizadas de este artículo, para cualquier familia indexada $I$ $\left(r_{i}\right)_{i\in I}$ de vectores de un EVT $X$, es posible definir su suma $\textstyle \sum \limits _{i\in I}r_{i}$ como el límite de la red de sumas parciales finitas $F\in \operatorname {FiniteSubsets} (I)\mapsto \textstyle \sum \limits _{i\in F}r_{i}$, donde el dominio $\operatorname {FiniteSubsets} (I)$ es dirigido por $\,\subseteq .\,$. Si $I=\mathbb {N}$ y $X=\mathbb {R}$, por ejemplo, entonces la serie generalizada $\textstyle \sum \limits _{i\in \mathbb {N} }r_{i}$ converge si y solo si $\textstyle \sum \limits _{i=1}^{\infty }r_{i}$ converge incondicionalmente en el sentido habitual (que para números reales, es equivalente a convergencia absoluta). Si una serie generalizada $\textstyle \sum \limits _{i\in I}r_{i}$ converge en un EVT metrizable, entonces el conjunto $\left\{i\in I:r_{i}\neq 0\right\}$ es necesariamente numerable (es decir, finito o infinito numerable). En otras palabras, todos menos un número contable de $r_{i}$ serán cero, por lo que esta serie generalizada $\textstyle \sum \limits _{i\in I}r_{i}~=~\textstyle \sum \limits _{\stackrel {i\in I}{r_{i}\neq 0}}r_{i}$ es en realidad una suma de un número contable de términos distintos de cero.

# Espacio vectorial topológico metrizable
## Propiedades de un EVT pseudometrizable
### Aplicacións lineales

Si $X$ es un EVT pseudometrizable y $A$ asigna subconjuntos acotados de $X$ a subconjuntos acotados de $Y$, entonces $A$ es continuo. Existen funcionales lineales discontinuos en cualquier EVT pseudometrizable de dimensión infinita. Por lo tanto, un EVT pseudometrizable es de dimensión finita si y solo si su espacio dual continuo es igual a su espacio dual.
Si $F:X\to Y$ es una aplicación lineal entre EVT y $X$ es metrizable, entonces lo siguiente es equivalente:
* $F$ es continua;
* $F$ es una aplicación acotada (localmente) (es decir, $F$ asigna subconjuntos acotados (de von Neumann) de $X$ a subconjuntos acotados de $Y$);
* $F$ es secuencialmente continua;
* La imagen bajo $F$ de cada secuencia nula en $X$ es un conjunto acotado en el que, por definición, una secuencia nula es una secuencia que converge al origen.
* $F$ asigna secuencias nulas a secuencias nulas.
Aplicaciones abiertas y casi abiertas
    Teorema: Si $X$ es un EVT pseudometrizable completo, $Y$ es un EVT de Hausdorff y $T:X\to Y$ es una sobreyección lineal cerrada y casi abierta, entonces $T$ es una aplicación abierta.
    Teorema: Si $T:X\to Y$ es un operador lineal sobreyectivo de un espacio localmente convexo $X$ sobre un espacio abarrilado $Y$ (por ejemplo, cada espacio pseudometrizable completo es abarrilado), entonces $T$ es casi abierto.
    Teorema: Si $T:X\to Y$ es un operador lineal sobreyectivo de un EVT $X$ sobre un espacio de Baire $Y$, entonces $T$ es casi abierto.
    Teorema: Supóngase que $T:X\to Y$ es un operador lineal continuo de un EVT $X$ pseudometrizable completo sobre un EVT $Y$ de Hausdorff. Si la imagen de $T$ no es un conjunto escaso en $Y$, entonces $T:X\to Y$ es un aplicación abierta sobreyectiva, e $Y$ es un espacio metrizable completo.

# Espacio vectorial topológico metrizable
## Propiedades de un EVT pseudometrizable
### Propiedad de ampliación de Hahn-Banach

Un subespacio vectorial $M$ de un EVT $X$ tiene la propiedad de extensión si cualquier funcional lineal continuo en $M$ se puede extender a un funcional lineal continuo en $X$. Se puede decir que un EVT $X$ tiene la propiedad de extensión de Hahn-Banach (PEHB) si cada subespacio vectorial de $X$ tiene la propiedad de extensión.
El teorema de Hahn–Banach garantiza que cada espacio localmente convexo de Hausdorff tenga la PEHB. Para EVT completamente metrizables existe un proceso inverso:
* Teorema
* Todo EVT metrizable completo con la propiedad de extensión de Hahn-Banach es localmente convexo.
Si un espacio vectorial $X$ tiene una dimensión incontable y si se dota con la mejor topología vectorial, entonces este es un EVT con PEHB que no es localmente convexo ni metrizable.