Espacio vectorial topológico completo

En análisis funcional y áreas relacionadas de matemáticas, un espacio vectorial topológico completo es un espacio vectorial topológico (EVT) con la propiedad de que cada vez que los puntos se acercan progresivamente entre sí, existe algún punto $x$ hacia el cual todos se acercan. La noción de "puntos que se acercan progresivamente" se define rigurosamnete en las entradas dedicadas a Plantilla:Enf o a los Plantilla:Enf, que son generalizaciones de las Plantilla:Enf, mientras que el concepto de "punto $x$ hacia el cual se acercan todos" significa que esta red de Cauchy o filtro converge a $x.$

La noción de completitud para un EVT utiliza la teoría de espacios uniformes como marco para generalizar la noción de completitud para espacios métricos. Pero a diferencia de la completitud de la métrica, la completitud de un EVT no depende de ninguna métrica y se define para Plantilla:Enf, incluidos aquellos que no son metrizables o de Hausdorff.

La completitud es una propiedad extremadamente importante que debe poseer un espacio vectorial topológico. Las nociones de completitud para los espacios vectoriales normados y los metrizables, que comúnmente se definen en términos de completitud de una norma o métrica particular, pueden reducirse a esta noción de completitud para los EVTs, una noción que es independiente de cualquier norma o métrica particular. Un espacio vectorial topológico metrizable $X$ con una métrica invariante a la traslación $d$ está completo como EVT si y solo si $(X,d)$ es un espacio métrico completo, lo que por definición significa que cada $d$-sucesión de Cauchy converge a algún punto en $X.$ Ejemplos destacados de EVTs completos que también son metrizables incluyen todos los espacios F y, en consucesión, también todos los espacios de Fréchet, los espacios de Banach y los espacios de Hilbert. Ejemplos destacados de EVTs completos que (típicamente) Plantilla:Enf son metrizables incluyen los espacios LF estrictos como el espacio de funciones de prueba $C_c^{\mathrm{\infty }}(U)$ con su topología LF canónica, el espacio dual fuerte de cualquier espacio de Fréchet no normable, así como muchas otras topologías polares en espacios duales u otras topologías en espacios de aplicaciones lineales.

Explícitamente, un espacio vectorial topológico (EVT) es completo si cada red, o equivalentemente, cada filtro de Cauchy con respecto a la Plantilla:Enf necesariamente converge en algún punto. Dicho de otra manera, un EVT está completo si su uniformidad canónica es uniforme. La uniformidad canónica en un EVT $(X,\tau )$ es la única uniformidad invariante a la traslación que induce en $X$ la topología $\tau .$ Esta noción de "completitud del EVT" depende Plantilla:Enf de la resta de vectores y de la topología del EVT. En consucesión, se puede aplicar a todos los EVTs, incluidos aquellos cuyas topologías no se pueden definir en términos métricos o pseudométricos.

Un EVT que cumple el primer axioma de numerabilidad está completo si y solo si cada sucesión de Cauchy (o equivalentemente, cada filtro de Cauchy elemental) converge en algún punto.

Todo espacio vectorial topológico $X,$ incluso si no es metrizable o no es de Hausdorff, tiene una Plantilla:Enf, que por definición es un EVT $C$ completo en el que $X$ puede ser EVT-embebido como subespacio vectorial denso. Además, cada EVT de Hausdorff tiene una completación de Plantilla:Enf, que es necesariamente salvo EVTs única. Sin embargo, como se analiza a continuación, todos los EVT tienen infinitas completaciones que no son de Hausdorff y que Plantilla:Enf son EVT-isomorfas entre sí.

Definiciones

Esta sección resume la definición de un espacio vectorial topológico (EVT) completo en términos de redes y prefiltros. Puede encontrar información sobre la convergencia de redes y filtros, como definiciones y propiedades, en el artículo sobre filtros en topología.

Cada espacio vectorial topológico (EVT) es un grupo topológico conmutativo con identidad bajo la suma, y la uniformidad canónica de un EVT se define Plantilla:Enf en términos de la resta (y por tanto, de la suma). La multiplicación escalar no está involucrada y no se necesita estructura adicional.

Uniformidad canónica

La Plantilla:Enf de $X$ es el conjuntoPlantilla:Sfn

${\mathrm{\Delta }}_X\stackrel{\text{def}}{=}\{(x,x):x\in X\}$

y para cualquier $N\subseteq X,$ el Plantilla:Enf/Plantilla:Enf es el conjunto

$\begin{array}{cc}{\mathrm{\Delta }}_X(N)& \stackrel{\text{def}}{=}\{(x,y)\in X\times X:x-y\in N\}=\bigcup _{y\in X}[(y+N)\times \{y\}]\\ & ={\mathrm{\Delta }}_X+(N\times \{0\})\end{array}$

donde si $0\in N$, entonces ${\mathrm{\Delta }}_X(N)$ contiene la diagonal ${\mathrm{\Delta }}_X(\{0\})={\mathrm{\Delta }}_X.$

Si $N$ es un conjunto simétrico (es decir, si $-N=N$), entonces ${\mathrm{\Delta }}_X(N)$ es Plantilla:Enf, lo que por definición significa que ${\mathrm{\Delta }}_X(N)={({\mathrm{\Delta }}_X(N))}^{\mathrm{op}}$ se cumple donde ${({\mathrm{\Delta }}_X(N))}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in {\mathrm{\Delta }}_X(N)\},$ y además, la composición Plantilla:Enf consigo mismo es:

$\begin{array}{cc}{\mathrm{\Delta }}_X(N)\circ {\mathrm{\Delta }}_X(N)& \stackrel{\text{def}}{=}\{(x,z)\in X\times X:\text{ existe }y\in X\text{ tal que }x,z\in y+N\}=\bigcup _{y\in X}[(y+N)\times (y+N)]\\ & ={\mathrm{\Delta }}_X+(N\times N).\end{array}$

Si $ℒ$ es cualquier base de entornos en el origen de $(X,\tau )$, entonces la familia de subconjuntos de $X\times X:$

${ℬ}_{ℒ}\stackrel{\text{def}}{=}\{{\mathrm{\Delta }}_X(N):N\in ℒ\}$

es un prefiltro en $X\times X.$ Si ${𝒩}_{\tau }(0)$ es la base de entornos en el origen en $(X,\tau )$, entonces ${ℬ}_{{𝒩}_{\tau }(0)}$ forma un espacio uniforme para una estructura uniforme en $X$ que se considera canónica.Plantilla:Sfn Explícitamente, por definición, la Plantilla:Enf $(X,\tau )$Plantilla:Sfn es el filtro ${𝒰}_{\tau }$ en $X\times X$ generado por el prefiltro anterior:

${𝒰}_{\tau }\stackrel{\text{def}}{=}{ℬ}_{{𝒩}_{\tau }(0)}^{\uparrow }\stackrel{\text{def}}{=}\{S\subseteq X\times X:N\in {𝒩}_{\tau }(0)\text{ y }{\mathrm{\Delta }}_X(N)\subseteq S\}$

donde ${ℬ}_{{𝒩}_{\tau }(0)}^{\uparrow }$ denota la Plantilla:Enf de ${ℬ}_{{𝒩}_{\tau }(0)}$ en $X\times X.$ La misma uniformidad canónica resultaría si se utilizara una base de entorno del origen en lugar del filtro de todos los entornos del origen. Si $ℒ$ es cualquier base de entornos en el origen en $(X,\tau )$, entonces el filtro en $X\times X$ generado por el prefiltro ${ℬ}_{ℒ}$ es igual a la uniformidad canónica ${𝒰}_{\tau }$ inducida por $(X,\tau ).$

Red de Cauchy

La teoría general de espacios uniformes tiene su propia definición de "prefiltro de Cauchy" y de "red de Cauchy". Para la uniformidad canónica en $X,$ estas definiciones se reducen a las que se indican a continuación.

Supóngase que $x_{\bullet }={\left(x_i\right)}_{i\in I}$ es una red en $X$ e $y_{\bullet }={\left(y_j\right)}_{j\in J}$ es una red en $Y.$ El producto $I\times J$ se convierte en un conjunto dirigido al declarar $(i,j)\le (i_2,j_2)$ si y solo si $i\le i_2$ y $j\le j_2.$ Entonces

$x_{\bullet }\times y_{\bullet }\stackrel{\text{def}}{=}{(x_i,y_j)}_{(i,j)\in I\times J}$

denota el Plantilla:Anclavis(cartesiano), donde en particular $x_{\bullet }\times x_{\bullet }\stackrel{\text{def}}{=}{(x_i,x_j)}_{(i,j)\in I\times I}.$ Si $X=Y$, entonces la imagen de esta red bajo la aplicación suma de vectores $X\times X\to X$ denota la Plantilla:Anclavisde estas dos redes:Plantilla:Sfn

$x_{\bullet }+y_{\bullet }\stackrel{\text{def}}{=}{(x_i+y_j)}_{(i,j)\in I\times J}$

y de manera similar, su Plantilla:Anclavisse define como la imagen del producto de redes bajo la aplicación resta vectorial $(x,y)\mapsto x-y$:

$x_{\bullet }-y_{\bullet }\stackrel{\text{def}}{=}{(x_i-y_j)}_{(i,j)\in I\times J}.$

En particular, la notación $x_{\bullet }-x_{\bullet }={\left(x_i\right)}_{i\in I}-{\left(x_i\right)}_{i\in I}$ denota la red indexada $I^2$ por ${(x_i-x_j)}_{(i,j)\in I\times I}$ y no la red indexada $I$ por ${(x_i-x_i)}_{i\in I}=(0{)}_{i\in I}$, ya que usar este último como definición haría que la notación fuera inútil.

Una red $x_{\bullet }={\left(x_i\right)}_{i\in I}$ en un EVT $X$ se llama red de CauchyPlantilla:Sfn si:

$x_{\bullet }-x_{\bullet }\stackrel{\text{def}}{=}{(x_i-x_j)}_{(i,j)\in I\times I}\to 0\text{ en }X.$

Explícitamente, esto significa que para cada entorno $N$ de $0$ en $X,$ existe algún índice $i_0\in I$ tal que $x_i-x_j\in N$ para todos los índices $i,j\in I$ que satisfacen $i\ge i_0$ y $j\ge i_0.$ Es suficiente verificar cualquiera de estas condiciones definitorias para cualquier base de entornos de $0$ en $X.$ Una sucesión de Cauchy es una sucesión que también es una red de Cauchy.

Si $x_{\bullet }\to x$, entonces $x_{\bullet }\times x_{\bullet }\to (x,x)$ en $X\times X$, y en consucesión, la continuidad de la aplicación resta vectorial $S:X\times X\to X,$ que está definido por $S(x,y)\stackrel{\text{def}}{=}x-y,$ garantiza que $S(x_{\bullet }\times x_{\bullet })\to S(x,x)$ en $X,$ donde $S(x_{\bullet }\times x_{\bullet })={(x_i-x_j)}_{(i,j)\in I\times I}=x_{\bullet }-x_{\bullet }$ y $S(x,x)=x-x=0.$ Esto demuestra que toda red convergente es una red de Cauchy. Por definición, un espacio se llama Plantilla:Enf si lo contrario también es siempre cierto. Es decir, $X$ está completo si y solo si se cumple lo siguiente:

Siempre que $x_{\bullet }$ sea una red en $X,$ entonces $x_{\bullet }$ converge (hasta algún punto) en $X$ si y solo si $x_{\bullet }-x_{\bullet }\to 0$ en $X.$

Una caracterización similar de completitud se cumple si se utilizan filtros y prefiltros en lugar de redes.

Una serie $\sum _{i=1}^{\mathrm{\infty }}{x}_i$ se denomina Plantilla:Anclavis(respectivamente, una Plantilla:Anclavis) si la sucesión de series ${\left(\sum _{i=1}^n{x}_i\right)}_{n=1}^{\mathrm{\infty }}$ es una sucesión de Cauchy (respectivamente, un límite de una sucesión).Plantilla:Sfn Toda serie convergente es necesariamente una serie de Cauchy. En un EVT completo, cada serie de Cauchy es necesariamente una serie convergente.

Filtro de Cauchy y prefiltro de Cauchy

Un prefiltro $ℬ$ en un espacio vectorial topológico $X$ se denomina prefiltro de CauchyPlantilla:Sfn si satisface cualquiera de las siguientes condiciones equivalentes:

1. $ℬ-ℬ\to 0$ en $X.$
   • La familia $ℬ-ℬ\stackrel{\text{def}}{=}\{B-C:B,C\in ℬ\}$ es un prefiltro.
   • Explícitamente, $ℬ-ℬ\to 0$ significa que para cada entorno $N$ del origen en $X,$ existe $B,C\in ℬ$ tal que $B-C\subseteq N.$
2. $\{B-B:B\in ℬ\}\to 0$ en $X.$
   • La familia $\{B-B:B\in ℬ\}$ es un prefiltro equivalente a $ℬ-ℬ$ ("equivalencia" significa que estos prefiltros generan el mismo filtro en $X$).
   • Explícitamente, $\{B-B:B\in ℬ\}\to 0$ significa que para cada entorno $N$ del origen en $X,$ existe algún $B\in ℬ$ tal que $B-B\subseteq N.$
3. Para cada entorno $N$ del origen en $X,$ $ℬ$ contiene algún conjunto pequeño $N$ (es decir, existe algún $B\in ℬ$ tal que $B-B\subseteq N$).Plantilla:Sfn
   • Un subconjunto $B\subseteq X$ se llama $N$-pequeño o de Plantilla:Anclavis$N$Plantilla:Sfn si $B-B\subseteq N.$
4. Para cada entorno $N$ del origen en $X,$ existe un $x\in X$ y un $B\in ℬ$ tal que $B\subseteq x+N.$Plantilla:Sfn
   • Esta afirmación sigue siendo cierta si "$B\subseteq x+N$" se reemplaza por "$x+B\subseteq N.$"
5. Cada entorno del origen en $X$ contiene algún subconjunto de la forma $x+B$ donde $x\in X$ y $B\in ℬ.$

Es suficiente verificar cualquiera de las condiciones anteriores para cualquier base de entornos de $0$ en $X.$ Un filtro de Cauchy es un prefiltro de Cauchy que también es un filtro en $X.$

Si $ℬ$ es un prefiltro en un espacio vectorial topológico $X$ y si $x\in X,$ entonces $ℬ\to x$ en $X$ si y solo si $x\in \mathrm{cl}ℬ$ y $ℬ$ es de Cauchy.Plantilla:Sfn

Subconjunto completo

Para cualquier $S\subseteq X,$ un prefiltro $𝒞$ Plantilla:Enf es necesariamente un subconjunto de $\mathrm{\wp }(S)$; es decir, $𝒞\subseteq \mathrm{\wp }(S).$

Un subconjunto $S$ de un EVT $(X,\tau )$ se denomina Plantilla:Anclavissi satisface cualquiera de las siguientes condiciones equivalentes:

1. Cada prefiltro de Cauchy $𝒞\subseteq \mathrm{\wp }(S)$ en $S$ converge a al menos un punto de $S.$
   • Si $X$ es de Hausdorff, entonces cada prefiltro en $S$ convergerá como máximo a un punto de $X.$ Pero si $X$ no es de Hausdorff, entonces un prefiltro puede converger a múltiples puntos en $X.$ Lo mismo ocurre con las redes.
2. Cada red de Cauchy en $S$ converge hasta al menos un punto de $S.$
3. $S$ es un espacio uniforme completo (según la definición de la topología de conjuntos de puntos de "espacio uniforme completo") cuando $S$ está dotado de la uniformidad inducida en él por la uniformidad canónica de $X.$

El subconjunto $S$ se denomina Plantilla:Anclavissi cada sucesión de Cauchy en $S$ (o equivalentemente, cada filtro/prefiltro elemental de Cauchy en $S$) converge al menos a un punto de $S.$

Es importante destacar que la convergencia de Plantilla:Enf: si $X$ no es de Hausdorff y si cada prefiltro de Cauchy en $S$ converge a algún punto de $S,$ entonces $S$ estará completo incluso si algunos o todos los prefiltros de Cauchy en $S$ Plantilla:Enf convergen a puntos en $X\setminus S.$ En resumen, no existe ningún requisito de que estos prefiltros de Cauchy en $S$ converjan Plantilla:Enf a puntos en $S.$ Lo mismo puede decirse de la convergencia de redes de Cauchy en $S.$

Como consucesión, si un EVT $X$ Plantilla:Enf es de Hausdorff, entonces cada subconjunto del cierre de $\{0\}$ en $X$ está completo porque es compacto y cada conjunto compacto es necesariamente completo.

En particular, si $\varnothing \ne S\subseteq {\mathrm{cl}}_X\{0\}$ es un subconjunto adecuado, como $S=\{0\}$, por ejemplo, entonces $S$ estaría completo aunque Plantilla:Enf de Cauchy en $S$ (y también cada prefiltro de Cauchy en $S$) converja a Plantilla:Enf en ${\mathrm{cl}}_X\{0\},$ incluidos esos puntos en ${\mathrm{cl}}_X\{0\}$ que no pertenecen a $S.$ Este ejemplo también muestra que los subconjuntos completos (y de hecho, incluso los subconjuntos compactos) de un EVT que no es de Hausdorff, pueden no cerrarse. Por ejemplo, si $\varnothing \ne S\subseteq {\mathrm{cl}}_X\{0\}$, entonces $S={\mathrm{cl}}_X\{0\}$ si y solo si $S$ está cerrado en $X.$

Espacio vectorial topológico completo

Un espacio vectorial topológico $X$ se denomina Plantilla:Anclavissi se cumple alguna de las siguientes condiciones equivalentes:

1. $X$ es un espacio uniforme cuando está dotado de su uniformidad canónica.
   • En la teoría general de espacio uniforme, un espacio uniforme se llama espacio uniforme si cada Espacio uniforme en $X$ converge a algún punto de $X$ en la topología inducida por la uniformidad. Cuando $X$ es un EVT, la topología inducida por la uniformidad canónica es igual a la topología dada de $X$ (por lo que la convergencia en esta topología inducida es simplemente la convergencia habitual en $X$).
2. $X$ es un subconjunto completo de sí mismo.
3. Existe un entorno del origen en $X$ que también es un subconjunto completo de $X.$Plantilla:Sfn
   • Esto implica que cada EVT locally compact está completo (incluso si el EVT no es Hausdorff).
4. Cada prefiltro de Cauchy $𝒞\subseteq \mathrm{\wp }(X)$ en $X$ converge en $X$ hasta al menos un punto de $X.$
   • Si $X$ es de Hausdorff, entonces cada prefiltro en $X$ convergerá como máximo a un punto de $X.$ Pero si $X$ no es de Hausdorff, entonces un prefiltro puede converger a múltiples puntos en $X.$ Lo mismo ocurre con las redes.
5. Cada filtro de Cauchy en $X$ converge en $X$ a al menos un punto de $X.$
6. Cada red Cauchy en $X$ converge en $X$ hasta al menos un punto de $X.$

donde, si además $X$ es pseudometrizable o metrizable (por ejemplo, un espacio vectorial normado), esta lista se puede ampliar para incluir:

7. $X$ se completa secuencialmente.

Un espacio vectorial topológico $X$ es Plantilla:Anclavissi se cumple alguna de las siguientes condiciones equivalentes:

1. $X$ es un subconjunto secuencialmente completo de sí mismo.
2. Cada sucesión de Cauchy en $X$ converge en $X$ en al menos un punto de $X.$
3. Cada prefiltro elemental de Cauchy en $X$ converge en $X$ en al menos un punto de $X.$
4. Cada filtro de Cauchy elemental en $X$ converge en $X$ en al menos un punto de $X.$

Unicidad de la uniformidad canónica

La existencia de la uniformidad canónica quedó demostrada anteriormente al definirla. El siguiente teorema establece que la uniformidad canónica de cualquier EVT $(X,\tau )$ es la única uniformidad en $X$ que es (1) invariante a la traslación y (2) genera en $X$ la topología $\tau .$

Esta sección está dedicada a explicar los significados precisos de los términos involucrados en esta declaración de unicidad.

Espacios uniformes y uniformidades invariantes a la traslación

Para cualquier subconjunto $\mathrm{\Phi },\mathrm{\Psi }\subseteq X\times X,$ letPlantilla:Sfn

${\mathrm{\Phi }}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in \mathrm{\Phi }\}$

y sea

$\begin{array}{cc}\mathrm{\Phi }\circ \mathrm{\Psi }& \stackrel{\text{def}}{=}\{(x,z):\text{ existe }y\in X\text{ tal que }(x,y)\in \mathrm{\Psi }\text{ y }(y,z)\in \mathrm{\Phi }\}\\ & =\bigcup _{y\in X}\{(x,z):(x,y)\in \mathrm{\Psi }\text{ y }(y,z)\in \mathrm{\Phi }\}\end{array}$

Una familia $ℬ\subseteq \mathrm{\wp }(X\times X)$ no vacía se denomina Plantilla:Anclaviso Plantilla:Anclavissi $ℬ$ es un prefiltro en $X\times X$ que satisface todas las condiciones siguientes:

1. Cada conjunto en $ℬ$ contiene la diagonal de $X$ como subconjunto; es decir, ${\mathrm{\Delta }}_X\stackrel{\text{def}}{=}\{(x,x):x\in X\}\subseteq \mathrm{\Phi }$ por cada $\mathrm{\Phi }\in ℬ.$ Dicho de otra manera, el prefiltro $ℬ$ es Plantilla:Enf en ${\mathrm{\Delta }}_X.$
2. Para cada $\mathrm{\Omega }\in ℬ$ existe algún $\mathrm{\Phi }\in ℬ$ tal que $\mathrm{\Phi }\circ \mathrm{\Phi }\subseteq \mathrm{\Omega }.$
3. Por cada $\mathrm{\Omega }\in ℬ$ existe algún $\mathrm{\Phi }\in ℬ$ tal que $\mathrm{\Phi }\subseteq {\mathrm{\Omega }}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in \mathrm{\Omega }\}.$

Una Plantilla:Anclaviso Plantilla:Anclavisen $X$ es un filtro $𝒰$ en $X\times X$ que es generado por alguna base de acompañamientos $ℬ,$ en cuyo caso se dice que $ℬ$ es una base de acompañamientos Plantilla:Enf

Para un grupo aditivo conmutativo $X,$ un Plantilla:AnclavisPlantilla:Sfn es un sistema fundamental de acompañamientos $ℬ$ tal que para cada $\mathrm{\Phi }\in ℬ,$ $(x,y)\in \mathrm{\Phi }$ si y solo si $(x+z,y+z)\in \mathrm{\Phi }$ para todos los $x,y,z\in X.$ Una uniformidad $ℬ$ se llama Plantilla:AnclavisPlantilla:Sfn si tiene una base de acompañamientos que es invariante a la traslación. La uniformidad canónica en cualquier EVT es invariante a la traslación.Plantilla:Sfn

El operador binario $\circ$ satisface todo lo siguiente:

• $(\mathrm{\Phi }\circ \mathrm{\Psi }{)}^{\mathrm{op}}={\mathrm{\Psi }}^{\mathrm{op}}\circ {\mathrm{\Phi }}^{\mathrm{op}}.$
• Si $\mathrm{\Phi }\subseteq {\mathrm{\Phi }}_2$ y $\mathrm{\Psi }\subseteq {\mathrm{\Psi }}_2$, entonces $\mathrm{\Phi }\circ \mathrm{\Psi }\subseteq {\mathrm{\Phi }}_2\circ {\mathrm{\Psi }}_2.$
Asociatividad
• : $\mathrm{\Phi }\circ (\mathrm{\Psi }\circ \mathrm{\Omega })=(\mathrm{\Phi }\circ \mathrm{\Psi })\circ \mathrm{\Omega }.$
• Identidad: $\mathrm{\Phi }\circ {\mathrm{\Delta }}_X=\mathrm{\Phi }={\mathrm{\Delta }}_X\circ \mathrm{\Phi }.$
• Cero: $\mathrm{\Phi }\circ \varnothing =\varnothing =\varnothing \circ \mathrm{\Phi }$

Acompañamientos simétricos

Llámese a un subconjunto $\mathrm{\Phi }\subseteq X\times X$ simétrico si $\mathrm{\Phi }={\mathrm{\Phi }}^{\mathrm{op}},$ lo que es equivalente a que ${\mathrm{\Phi }}^{\mathrm{op}}\subseteq \mathrm{\Phi }.$ Esta equivalencia se deriva de la identidad ${\left({\mathrm{\Phi }}^{\mathrm{op}}\right)}^{\mathrm{op}}=\mathrm{\Phi }$ y del hecho de que si $\mathrm{\Psi }\subseteq X\times X,$ entonces $\mathrm{\Phi }\subseteq \mathrm{\Psi }$ si y solo si ${\mathrm{\Phi }}^{\mathrm{op}}\subseteq {\mathrm{\Psi }}^{\mathrm{op}}.$ Por ejemplo, el conjunto ${\mathrm{\Phi }}^{\mathrm{op}}\cap \mathrm{\Phi }$ siempre es simétrico para cada $\mathrm{\Phi }\subseteq X\times X.$ Y debido a que $(\mathrm{\Phi }\cap \mathrm{\Psi }{)}^{\mathrm{op}}={\mathrm{\Phi }}^{\mathrm{op}}\cap {\mathrm{\Psi }}^{\mathrm{op}},$ si $\mathrm{\Phi }$ y $\mathrm{\Psi }$ son simétricos, $\mathrm{\Phi }\cap \mathrm{\Psi }$ también lo es.

Topología generada por una uniformidad

Relativos

Sea $\mathrm{\Phi }\subseteq X\times X$ arbitrario y ${\mathrm{Pr}}_1,{\mathrm{Pr}}_2:X\times X\to X$ las proyecciones canónicas sobre la primera y segunda coordenadas, respectivamente.

Para cualquier $S\subseteq X,$ se define

$S\cdot \mathrm{\Phi }\stackrel{\text{def}}{=}\{y\in X:\mathrm{\Phi }\cap (S\times \{x\})\ne \varnothing \}={\mathrm{Pr}}_2(\mathrm{\Phi }\cap (S\times X))$

$\mathrm{\Phi }\cdot S\stackrel{\text{def}}{=}\{x\in X:\mathrm{\Phi }\cap (\{x\}\times S)\ne \varnothing \}={\mathrm{Pr}}_1(\mathrm{\Phi }\cap (X\times S))=S\cdot \left({\mathrm{\Phi }}^{\mathrm{op}}\right)$

donde $\mathrm{\Phi }\cdot S$ (respectivamente, $S\cdot \mathrm{\Phi }$) se llama el conjunto de izquierda (respectivamente, derecha) $\mathrm{\Phi }$-relativos de (puntos en) $S.$ Denótese el caso especial en el que $S=\{p\}$ es un elemento unitario establecido para algún $p\in X$ mediante:

$p\cdot \mathrm{\Phi }\stackrel{\text{def}}{=}\{p\}\cdot \mathrm{\Phi }=\{y\in X:(p,y)\in \mathrm{\Phi }\}$

$\mathrm{\Phi }\cdot p\stackrel{\text{def}}{=}\mathrm{\Phi }\cdot \{p\}=\{x\in X:(x,p)\in \mathrm{\Phi }\}=p\cdot \left({\mathrm{\Phi }}^{\mathrm{op}}\right)$

Si $\mathrm{\Phi },\mathrm{\Psi }\subseteq X\times X$ entonces $(\mathrm{\Phi }\circ \mathrm{\Psi })\cdot S=\mathrm{\Phi }\cdot (\mathrm{\Psi }\cdot S).$ Además, $\cdot$ es distributiva a la derecha sobre tanto uniones como intersecciones, lo que significa que si $R,S\subseteq X$ entonces $(R\cup S)\cdot \mathrm{\Phi }=(R\cdot \mathrm{\Phi })\cup (S\cdot \mathrm{\Phi })$ y $(R\cap S)\cdot \mathrm{\Phi }\subseteq (R\cdot \mathrm{\Phi })\cap (S\cdot \mathrm{\Phi }).$

Entornos y conjuntos abiertos

Dos puntos $x$ e $y$ son $\mathrm{\Phi }$-cerrados si $(x,y)\in \mathrm{\Phi }$ y un subconjunto $S\subseteq X$ se llama $\mathrm{\Phi }$-pequeño si $S\times S\subseteq \mathrm{\Phi }.$

Sea $ℬ\subseteq \mathrm{\wp }(X\times X)$ una base de acompañamientos en $X.$ El Plantilla:Anclavisen un punto $p\in X$ y, respectivamente, en un subconjunto $S\subseteq X$ son las familias de conjuntos:

$ℬ\cdot p\stackrel{\text{def}}{=}ℬ\cdot \{p\}=\{\mathrm{\Phi }\cdot p:\mathrm{\Phi }\in ℬ\}\text{ y }ℬ\cdot S\stackrel{\text{def}}{=}\{\mathrm{\Phi }\cdot S:\mathrm{\Phi }\in ℬ\}$

y los filtros en $X$ que cada uno genera se conocen como Plantilla:Anclavisde $p$ (respectivamente, de $S$). Ahora, se asigna a cada $x\in X$ el prefiltro de entorno

$ℬ\cdot x\stackrel{\text{def}}{=}\{\mathrm{\Phi }\cdot x:\mathrm{\Phi }\in ℬ\}$

y se utiliza la definición de entorno de "conjunto abierto" para obtener una topología en $X$ llamada 'topología inducida por $ℬ$ o Plantilla:Anclavis. Explícitamente, un subconjunto $U\subseteq X$ está abierto en esta topología si y solo si para cada $u\in U$ existe algún $N\in ℬ\cdot u$ tal que $N\subseteq U$, es decir, $U$ está abierto si y solo si para cada $u\in U$ existe algún $\mathrm{\Phi }\in ℬ$ tal que $\mathrm{\Phi }\cdot u\stackrel{\text{def}}{=}\{x\in X:(x,u)\in \mathrm{\Phi }\}\subseteq U.$

El cierre de un subconjunto $S\subseteq X$ en esta topología es:

${\mathrm{cl}}_{X}S=\bigcap _{\mathrm{\Phi }\in ℬ}(\mathrm{\Phi }\cdot S)=\bigcap _{\mathrm{\Phi }\in ℬ}(S\cdot \mathrm{\Phi }).$

Prefiltros de Cauchy y uniformidades completas

Un prefiltro $ℱ\subseteq \mathrm{\wp }(X)$ en un espacio uniforme $X$ con uniformidad $𝒰$ se llama prefiltro de Cauchy si para cada entorno $N\in 𝒰,$ existe algún $F\in ℱ$ tal que $F\times F\subseteq N.$

Un espacio uniforme $(X,𝒰)$ se llama Plantilla:Anclavis(respectivamente, Plantilla:Anclavis) si cada prefiltro de Cauchy (respectivamente, cada prefiltro de Cauchy elemental) en $X$ converge al menos a un punto de $X$ cuando $X$ está dotado de la topología inducida por $𝒰.$

Caso de un espacio vectorial topológico

Si $(X,\tau )$ es un espacio vectorial topológico, entonces para cualquier $S\subseteq X$ y $x\in X,$

${\mathrm{\Delta }}_X(N)\cdot S=S+N\text{ y }{\mathrm{\Delta }}_X(N)\cdot x=x+N,$

y la topología inducida en $X$ por la uniformidad canónica es la misma que la topología con la que comenzó $X$ (es decir, es $\tau$).

Continuidad uniforme

Sean $X$ e $Y$ EVTs, y sean $D\subseteq X,$ y $f:D\to Y$ dos aplicaciones. Entonces, $f:D\to Y$ es Plantilla:Enf si para cada entorno $U$ del origen en $X,$ existe un entorno $V$ del origen en $Y$ tal que para todo $x,y\in D,$ si $y-x\in U$, entonces $f(y)-f(x)\in V.$

Supóngase que $f:D\to Y$ es continua uniformemente. Si $x_{\bullet }={\left(x_i\right)}_{i\in I}$ es una red de Cauchy en $D$, entonces $f\circ x_{\bullet }={\left(f\left(x_i\right)\right)}_{i\in I}$ es una red de Cauchy en $Y.$ Si $ℬ$ es un prefiltro de Cauchy en $D$ (lo que significa que $ℬ$ es una familia de subconjuntos de $D$ que es de Cauchy en $X$), entonces $f\left(ℬ\right)$ es un prefiltro de Cauchy en $Y.$ Sin embargo, si $ℬ$ es un filtro de Cauchy en $D$, aunque $f\left(ℬ\right)$ será un filtro de Cauchy Plantilla:Enf, será un filtro Cauchy en $Y$ si y solo si $f:D\to Y$ es sobreyectiva.

Completitud de EVT frente a completitud de (pseudo)métricas

Preliminares: Espacios pseudométricos completos

En este apartado se revisan las nociones básicas relacionadas con la teoría general de espacios pseudométricos completos. Recuérdese que toda métrica es una pseudométrica y que una pseudométrica $p$ es una métrica si y solo si $p(x,y)=0$ implica que $x=y.$ Por lo tanto, cada espacio métrico es un espacio pseudométrico y un espacio pseudométrico $(X,p)$ es un espacio métrico si y solo si $p$ es una métrica.

Si $S$ es un subconjunto de un espacio pseudométrico $(X,d)$, entonces el diámetro de $S$ se define como

$\mathrm{diam}(S)\stackrel{\text{def}}{=}\underset{}{\sup }\{d(s,t):s,t\in S\}.$

Un prefiltro $ℬ$ en un espacio pseudométrico $(X,d)$ se denomina prefiltro $d$-Cauchy o simplemente prefiltro de Cauchy si para cada número real $r>0,$ hay algún $B\in ℬ$ tal que el diámetro de $B$ sea menor que $r.$

Supóngase que $(X,d)$ es un espacio pseudométrico. Una red $x_{\bullet }={\left(x_i\right)}_{i\in I}$ en $X$ se denomina red $d$-Cauchy o simplemente red de Cauchy si $\mathrm{Tails}\left(x_{\bullet }\right)$ es un prefiltro de Cauchy, lo que ocurre si y solo si:

Para cada $r>0$ hay algún $i\in I$ tal que si $j,k\in I$ con $j\ge i$ y $k\ge i$ entonces $d(x_j,x_k)<r$

o de manera equivalente, si y solo si ${\left(d(x_j,x_k)\right)}_{(i,j)\in I\times I}\to 0$ en $ℝ.$ Esto es análogo a la siguiente caracterización de la convergencia de $x_{\bullet }$ en un punto: si $x\in X,$ entonces $x_{\bullet }\to x$ en $(X,d)$ si y solo si ${(x_i,x)}_{i\in I}\to 0$ en $ℝ.$

Una sucesión de Cauchy es aquella que también es una red de Cauchy.

Cada $p$ pseudométrica en un conjunto $X$ induce la topología canónica habitual en $X,$ que se denota por ${\tau }_p$. También induce una uniformidad canónica en $X,$ que se denota por ${𝒰}_p.$ La topología en $X$ inducida por la uniformidad ${𝒰}_p$ es igual a ${\tau }_p.$ Un $x_{\bullet }={\left(x_i\right)}_{i\in I}$o 728) en $X$ es de Cauchy con respecto a $p$ si y solo si es de Cauchy con respecto a la uniformidad ${𝒰}_p.$ El espacio pseudométrico $(X,p)$ es un espacio pseudométrico completo (respectivamente, secuencialmente completo) si y solo si $(X,{𝒰}_p)$ es un espacio uniforme completo (respectivamente, secuencialmente completo). Además, el espacio pseudométrico $(X,p)$ (respectivamente, el espacio uniforme $(X,{𝒰}_p)$) está completo si y solo si está secuencialmente completo.

Un espacio pseudométrico $(X,d)$ (por ejemplo, un espacio métrico) se denomina completo y $d$ se denomina pseudométrico completo si se cumple alguna de las siguientes condiciones equivalentes:

1. Cada prefiltro de Cauchy en $X$ converge al menos a un punto de $X.$
2. La misma declaración anterior, pero con la palabra "prefiltro" reemplazada por "filtro".
3. Cada red de Cauchy en $X$ converge al menos a un punto de $X.$
   • Si $d$ es una métrica en $X$, entonces cualquier punto límite es necesariamente único y lo mismo ocurre con los límites de los prefiltros de Cauchy en $X.$
4. Cada sucesión de Cauchy en $X$ converge al menos a un punto de $X.$
   • Por tanto, para demostrar que $(X,d)$ es completo, basta con considerar únicamente las sucesións de Cauchy en $X$ (y no es necesario considerar las redes de Cauchy más generales).
5. La uniformidad canónica en $X$ inducida por el $d$ pseudométrico es una uniformidad completa.

Y si la adición $d$ es una métrica, entonces se puede agregar a esta lista:

6. Cada sucesión decreciente de bolas cerradas cuyos diámetros se reducen a $0$ tiene una intersección no vacía.Plantilla:Sfn

Pseudométrica completa y EVTs completos

Cada F espacio y, por tanto, también cada espacio de Fréchet, espacio de Banach y espacio de Hilbert es un EVT completo. Téngase en cuenta que cada espacio F es un espacio de Baire, pero hay espacios normados que son de Baire pero no son de Banach.Plantilla:Sfn

Un $d$ pseudométrico en un espacio vectorial $X$ se dice que es una Plantilla:Anclavissi $d(x,y)=d(x+z,y+z)$ para todos los vectores $x,y,z\in X.$

Supóngase que $(X,\tau )$ es un EVT pseudometrizable (por ejemplo, un EVT metrizable) y que $p$ es Plantilla:Enf en $X$ tal que la topología en $X$ inducida por $p$ sea igual a $\tau .$ Si $p$ es invariante a la traslación, entonces $(X,\tau )$ es un EVT completo si y solo si $(X,p)$ es un espacio pseudométrico completo.Plantilla:Sfn Si $p$ Plantilla:Enf es invariante a la traslación, entonces es posible que $(X,\tau )$ sea un EVT completo, pero que $(X,p)$ Plantilla:Enf sea un espacio pseudométrico completoPlantilla:Sfn (consúltese esta nota a pie de página para ver un ejemplo).Plantilla:Sfn

Normas completas y normas equivalentes

Dos normas en un espacio vectorial se denominan equivalentes si y solo si inducen la misma topología. Si $p$ y $q$ son dos normas equivalentes en un espacio vectorial $X$, entonces el espacio vectorial normado $(X,p)$ es un espacio de Banach si y solo si $(X,q)$ es un espacio de Banach. Consúltese esta nota al pie para ver un ejemplo de una norma continua en un espacio de Banach que Plantilla:Enf es equivalente a la norma dada de ese espacio de Banach. Todas las normas en un espacio vectorial de dimensión finita son equivalentes y cada espacio normado de dimensión finita es un espacio de Banach. Cada espacio de Banach es un EVT completo. Un espacio normado es un espacio de Banach (es decir, su métrica canónica inducida por normas está completa) si y solo si está completo como espacio vectorial topológico.

Completaciones

Una completaciónPlantilla:Sfn de un EVT $X$ es un EVT completo que contiene un subespacio vectorial denso que es EVT-isomorfo a $X.$ En otras palabras, es un EVT $C$ completo en el que $X$ puede ser EVT-embebido como subespacio vectorial denso. Cada EVT integrado es un embebido uniforme.

Todo espacio vectorial topológico tiene una completación. Además, cada EVT de Hausdorff tiene una completación de Plantilla:Enf, que es necesariamente salvo EVTs única. Sin embargo, todos los EVTs, incluso aquellos que son de Hausdorff, (ya) completos y/o metrizables, tienen infinitas completaciones no de Hausdorff que Plantilla:Enf son EVT-isomorfas entre sí.

Ejemplos de completaciones

Por ejemplo, el espacio vectorial que consta de funciones simples con valores escalares $f$ para los cuales $|f{|}_p<\mathrm{\infty }$ (donde esta seminorma se define de la forma habitual en términos de la integral de Lebesgue) se convierte en seminorma cuando se le dota de esta seminorma, lo que a su vez lo convierte en un espacio pseudométrico y en un EVT incompleto que no es de Hausdorff. Cualquier completación de este espacio es un espacio seminormado completo no de Hausdorff que cuando se determina el cociente por el cierre de su origen (en cuanto a obtener un EVT de Hausdorff) da como resultado (un espacio linealmente isométricamente-isomorfo a) el $L^p$-espacio completo habitual de Hausdorff (dotado de la norma completa habitual $\Vert \cdot {\Vert }_p$).

Como otro ejemplo que demuestra la utilidad de las completaciones, las completaciones de los productos tensoriales topológicos, como productos tensoriales proyectivos o productos tensoriales inyectivos, del espacio de Banach ${\ell }^1(S)$ con un EVT $Y$ localmente convexo de Hausdorff completo dan como resultado un EVT completo que es EVT-isomorfo a un espacio ${\ell }^1(S;Y)$- "generalizado" que consta de funciones con valores $Y$ en $S$ (donde este EVT "generalizado" se define de manera análoga al espacio original ${\ell }^1(S)$ de funciones con valores escalares en $S$). De manera similar, la completación del producto tensorial inyectivo del espacio de funciones de prueba $C^k$ con valores escalares con un EVT $Y$ de este tipo es EVT-isomorfo a las funciones de prueba EVT de $Y$-valuado $C^k$, definidas de manera análoga.

No unicidad de todas las completaciones

Como muestra el siguiente ejemplo, independientemente de si un espacio es de Hausdorff o ya está completo, cada espacio vectorial topológico (EVT) tiene infinitas completaciones no isomorfas.Plantilla:Sfn

Sin embargo, cada EVT de Hausdorff tiene una completación de Plantilla:Enf que es única exceptuando isomorfismos del EVT.Plantilla:Sfn Sin embargo, cada EVT de Hausdorff todavía tiene infinitas completaciones no isomorfas que no son de Hausdorff.

Ejemplo (No unicidad de las completaciones):Plantilla:Sfn Sea $C$ cualquier EVT completo y $I$ cualquier EVT dotado con una topología no discreta, que se recuerda que convierte a $I$ en un EVT completo. Dado que tanto $I$ como $C$ son EVTs completos, también lo es su producto $I\times C.$ Si $U$ y $V$ son subconjuntos abiertos no vacíos de $I$ y $C,$ respectivamente, entonces $U=I$ y $(U\times V)\cap (\{0\}\times C)=\{0\}\times V\ne \varnothing ,$ lo que demuestra que $\{0\}\times C$ es un subespacio denso de $I\times C.$ Así, por definición de "completación", $I\times C$ es una completación de $\{0\}\times C$ (no importa que $\{0\}\times C$ ya esté completo). Entonces, al identificar $\{0\}\times C$ con $C,$ si $X\subseteq C$ es un subespacio vectorial denso de $C,$ entonces $X$ tiene tanto $C$ como $I\times C$ como completaciones.

Completaciones de Hausdorff

Cada EVT de Hausdorff tiene una completación de Plantilla:Enf que es única excluyendo isomorfismos del EVT.Plantilla:Sfn Sin embargo, como se muestra arriba, cada EVT de Hausdorff todavía tiene infinitas completaciones no isomorfas que no son de Hausdorff.

Existencia de completaciones de Hausdorff

Un filtro de Cauchy $ℬ$ en un EVT $X$ se llama Plantilla:AnclavisPlantilla:Sfn si Plantilla:Enf existe un filtro de Cauchy en $X$ que es estricto y menos fino que $ℬ$ (es decir, "estrictamente menos fino que $ℬ$" significa que está contenido como un subconjunto propio de $ℬ$).

Si $ℬ$ es un filtro de Cauchy en $X$, entonces el filtro generado por el siguiente prefiltro:

$\{B+N:B\in ℬ\text{ y }N\text{ es un entorno de }0\text{ en }X\}$

es el único filtro mínimo de Cauchy en $X$ que está contenido como un subconjunto de $ℬ.$Plantilla:Sfn En particular, para cualquier $x\in X,$ el filtro de entorno en $x$ es un filtro de Cauchy mínimo.

Sea $𝕄$ el conjunto de todos los filtros mínimos de Cauchy en $X$ y sea $E:X\to 𝕄$ la aplicación definido enviando $x\in X$ al filtro de entorno de $x$ en $X.$ Dótese a $𝕄$ con la siguiente estructura de espacio vectorial: Dado $ℬ,𝒞\in 𝕄$ y un escalar $s,$ déjese que $ℬ+𝒞$ (respectivamente, $sℬ$) denote el filtro de Cauchy mínimo único contenido en el filtro generado por $\{B+C:B\in ℬ,C\in 𝒞\}$ (respectivamente, $\{sB:B\in ℬ\}$).

Para cada entorno equilibrada $N$ del origen en $X,$ considérese que

$𝕌(N)\stackrel{\text{def}}{=}\{ℬ\in 𝕄:\text{ existe }B\in ℬ\text{ y un entorno }V\text{ del origen en }X\text{ tal que }B+V\subseteq N\}$

Si $X$ es de Hausdorff, entonces la colección de todos los conjuntos $𝕌(N),$ como $N$ abarca todas los entornos equilibrados del origen en $X,$ forma una topología vectorial en $𝕄$, lo que convierte a $𝕄$ en un EVT de Hausdorff completo. Además, la aplicación $E:X\to 𝕄$ es un embebido de un EVT en un subespacio vectorial denso de $𝕄.$Plantilla:Sfn.

Si $X$ es un EVT metrizable, entonces se puede construir una completación de Hausdorff de $X$ utilizando clases de equivalencia de sucesións de Cauchy en lugar de filtros mínimos de Cauchy.

Completaciones que no son de Hausdorff

Esta subsección detalla cómo cada EVT $X$ que no sea de Hausdorff puede integrarse en un EVT en un subespacio vectorial denso de un EVT completo. La prueba de que cada EVT de Hausdorff tiene una completación de Hausdorff está ampliamente disponible, por lo que este hecho se utilizará (sin demostraciones) para probar que cada EVT que no es de Hausdorff también tiene una completación. Estos detalles a veces son útiles para extender los resultados de EVT de Hausdorff a EVT que no son de Hausdorff.

Sea $I=\mathrm{cl}\{0\}$ el cierre del origen en $X,$ donde $I$ está dotado de su topología subespacial inducida por $X$ (de modo que $I$ tiene una topología no discreta). Dado que $I$ tiene una topología trivial, se demuestra fácilmente que cada subespacio vectorial de $X$ que es un complemento algebraico de $I$ en $X$ sea necesariamente un complemento topológico de $I$ en $X.$Plantilla:SfnPlantilla:Sfn Sea $H$ cualquier complemento topológico de $I$ en $X,$ que sea necesariamente un EVT de Hausdorff (ya que es EVT-isomorfo al cociente EVT $X/I$). Dado que $X$ es la suma directa topológica de $I$ y $H$ (lo que significa que $X=I\oplus H$ pertenece a la categoría de EVT), la aplicación canónica

$I\times H\to I\oplus H=X\text{ dado por }(x,y)\mapsto x+y$

es un isomorfismo EVT.Plantilla:Sfn Sea $A:X=I\oplus H\to I\times H$ el inverso de esta aplicación canónica (como nota al margen, se deduce que cada subconjunto abierto y cerrado $U$ de $X$ satisface $U=I+U.$)

El EVT $H$ de Hausdorff se puede embeber en un EVT, póngase por caso, a través de la aplicación ${\mathrm{In}}_H:H\to C,$ en un subespacio vectorial denso de su completación $C.$ Dado que $I$ y $C$ están completos, también lo está su producto $I\times C.$ Sea ${\mathrm{Id}}_I:I\to I$ la aplicación de identidad y obsérvese que la aplicación producto ${\mathrm{Id}}_I\times {\mathrm{In}}_H:I\times H\to I\times C$ es un embebido de un EVT cuya imagen es densa en $I\times C.$ Definir la aplicación

$B:X=I\oplus H\to I\times C\text{ por }B\stackrel{\text{def}}{=}({\mathrm{Id}}_I\times {\mathrm{In}}_H)\circ A$

que es un embebido de un EVT de $X=I\oplus H$ en un subespacio vectorial denso del EVT completo $I\times C.$ Además, obsérvese que el cierre del origen en $I\times C$ es igual a $I\times \{0\},$ y que $I\times \{0\}$ y $\{0\}\times C$ son complementos topológicos en $I\times C.$

En resumen,Plantilla:Sfn dado cualquier complemento algebraico (y por lo tanto, topológico) $H$ de $I\stackrel{\text{def}}{=}\mathrm{cl}\{0\}$ en $X$ y dada cualquier completación $C$ del EVT de Hausdorff $H$, tal que $H\subseteq C,$ entonces el embebido natural

${\mathrm{In}}_H:X=I\oplus H\to I\oplus C$

es un embebido de EVT bien definido de $X$ en un subespacio vectorial denso del EVT completo $I\oplus C$ donde, además,

$X=I\oplus H\subseteq I\oplus C\cong I\times C.$

Topología de una completación

Dicho de otra manera, si $C$ es una completación de un EVT $X$ con $X\subseteq C$ y si $𝒩$ es una base de entornos del origen en $X,$ entonces la familia de conjuntos

$\{{\mathrm{cl}}_{C}N:N\in 𝒩\}$

es una base de entornos en el origen en $C.$Plantilla:Sfn

Teorema de completitud de Grothendieck

Sea $ℰ$ la Plantilla:Enf en el espacio dual continuo $X^{\prime },$ que, por definición, consta de todos los subconjuntos absolutamente convexos *-débilmente cerrados equicontinuos y *-débilmente acotados de $X^{\prime }$Plantilla:Sfn (que son necesariamente subconjuntos *-débilmente compactos de $X^{\prime }$). Supóngase que cada $E^{\prime }\in ℰ$ está dotado de una topología *-débil. Se dice que un filtro $ℬ$ en $X^{\prime }$ Plantilla:Enf a $x^{\prime }\in X^{\prime }$ si existe algún $E^{\prime }\in ℰ\cap ℬ$ que contenga a $x^{\prime }$ (es decir, $x^{\prime }\in E^{\prime }$) de modo que la traza de $ℬ$ en $E^{\prime },$ que es la familia $ℬ{|}_{E^{\prime }}\stackrel{\text{def}}{=}\{B\cap E^{\prime }:B\in ℬ\},$ converge a $x^{\prime }$ en $E^{\prime }$ (es decir, si $ℬ{|}_{E^{\prime }}\to x^{\prime }$ en la topología *-débil).Plantilla:Sfn El filtro $ℬ$ converge continuamente a $x^{\prime }$ si y solo si $ℬ-x^{\prime }$ converge continuamente al origen, lo que sucede si y solo si para cada $x\in X,$ el filtro $⟨ℬ,x+𝒩⟩\to ⟨x^{\prime },x⟩$ en el campo escalar (que es $ℝ$ o $ℂ$) donde $𝒩$ denota cualquier base de un entorno en el origen en $X,$ $⟨\cdot ,\cdot ⟩$ denota el emparejamiento dual y $⟨ℬ,x+𝒩⟩$ denota el filtro generado por $\{⟨B,x+N⟩:B\in ℬ,N\in 𝒩\}.$Plantilla:Sfn Se dice que una aplicación $f:X^{\prime }\to T$ en un espacio topológico (como $ℝ$ o $ℂ$) es Plantilla:Enf si siempre que se filtra $ℬ$ en $X^{\prime }$ de converge continuamente a $x^{\prime }\in X^{\prime },$ entonces $f(ℬ)\to f\left(x^{\prime }\right).$Plantilla:Sfn

Propiedades preservadas por las completaciones

Si un EVT $X$ tiene alguna de las siguientes propiedades, también lo tiene su completación:

• Ser de Hausdorff
• Ser localmente convexa
• Ser pseudometrizablePlantilla:Sfn
• Ser metrizablePlantilla:Sfn
• Ser seminormable
• Ser normable
  • Además, si $(X,p)$ es un espacio normado, entonces se puede elegir que la completación sea un espacio de Banach $(B,q)$ de modo que el embebido en el EVT de $(X,p)$ en $(B,q)$ sea una isometría.
• Ser de Hausdorff prehilbertiana. Es decir, un EVT inducido por un espacio prehilbertiano.Plantilla:Sfn
• Ser [Espacio nuclear|nuclear]]Plantilla:Sfn
• Ser barriladoPlantilla:Sfn
• Ser de MackeyPlantilla:Sfn
• Ser un espacio DFPlantilla:Sfn

Completaiones de espacios de Hilbert

Todo espacio con producto interno $(H,⟨\cdot ,\cdot ⟩)$ tiene una completación $(\bar{H},⟨\cdot ,\cdot {⟩}_{\bar{H}})$ que es un espacio de Hilbert, donde el producto interno $⟨\cdot ,\cdot {⟩}_{\bar{H}}$ es la extensión continua única a $\bar{H}$ del producto interno original $⟨\cdot ,\cdot ⟩.$. La norma inducida por $(\bar{H},⟨\cdot ,\cdot {⟩}_{\bar{H}})$ es también la extensión continua única a $\bar{H}$ de la norma inducida por $⟨\cdot ,\cdot ⟩.$Plantilla:SfnPlantilla:Sfn

Otras propiedades conservadas

Si $X$ es un EVT de Hausdorff, entonces el espacio dual continuo de $X$ es idéntico al espacio dual continuo de la completación de $X.$Plantilla:Sfn La completación de un espacio bornológico localmente convexo es un espacio barrilado.Plantilla:Sfn Si $X$ e $Y$ son espacios DF, entonces el producto tensorial proyectivo (así como su completación) de estos espacios es un espacio DF.Plantilla:Sfn

La completación del producto tensorial proyectivo de dos espacios nucleares es nuclear.Plantilla:Sfn La completación de un espacio nuclear es EVT-isomorfa con un límite proyectivo de espacios de Hilbert.Plantilla:Sfn

Si $X=Y\oplus Z$ (lo que significa que la aplicación suma $Y\times Z\to X$ es un isomorfismo EVT) tiene una completación de Hausdorff $C$, entonces $\left({\mathrm{cl}}_{C}Y\right)+\left({\mathrm{cl}}_{C}Z\right)=C.$ Si además $X$ es un espacio prehilbertiano e $Y$ y $Z$ son complementos ortogonales entre sí en $X$ (es decir, $⟨Y,Z⟩=\{0\}$), entonces ${\mathrm{cl}}_{C}Y$ y ${\mathrm{cl}}_{C}Z$ son complementos ortogonales en el espacio de Hilbert $C.$

Propiedades de las aplicaciones conservadas por las extensiones hasta su completación

Si $f:X\to Y$ es un operador lineal nuclear entre dos espacios localmente convexos y si $C$ es una completación de $X$, entonces $f$ tiene una extensión lineal continua única para un operador lineal nuclear $F:C\to Y.$Plantilla:Sfn

Sean $X$ e $Y$ dos EVT de Hausdorff con $Y$ completo. Sea $C$ una completación de $X.$ Sea también $L(X;Y)$ el espacio vectorial de operadores lineales continuos y sea $I:L(X;Y)\to L(C;Y)$ la aplicación que envía cada $f\in L(X;Y)$ a su única extensión lineal continua en $C.$ Entonces, $I:L(X;Y)\to L(C;Y)$ es un isomorfismo (sobreyectivo) del espacio vectorial. Además, $I:L(X;Y)\to L(C;Y)$ asigna familias de subconjuntos equicontinuos entre sí. Supóngase que $L(X;Y)$ está dotado de una topología $𝒢$ y que $\mathscr{H}$ denota los cierres en $C$ de los conjuntos en $𝒢.$ Entonces, la aplicación $I:L_{𝒢}(X;Y)\to L_{\mathscr{H}}(C;Y)$ también es un isomorfismo EVT.Plantilla:Sfn

Ejemplos y condiciones suficientes para un EVT completo

• Cualquier EVT dotado del topología trivial está completo y cada uno de sus subconjuntos está completo. Además, cada EVT con topología trivial es compacto y, por lo tanto, localmente compacto. En consucesión, un EVT seminormable localmente convexo y localmente compacto completo no necesita ser de dimensión finita si no es de Hausdorff.
• Un producto arbitrario de EVTs completos (o secuencialmente completos, cuasi completos) tiene la misma propiedad. Si todos los espacios son de Hausdorff, entonces lo contrario también es cierto.Plantilla:Sfn Un producto de completaciones de Hausdorff de una familia de EVTs (de Hausdorff) es una completación de Hausdorff de su producto de EVTs.Plantilla:Sfn De manera más general, un producto arbitrario de subconjuntos completos de una familia de EVTs es un subconjunto completo del producto de EVTs.Plantilla:Sfn
• El límite proyectivo de un sistema proyectivo de EVTs completos de Hausdorff (respectivamente, secuencialmente completos, cuasi completos) tiene la misma propiedad.Plantilla:Sfn Un límite proyectivo de completaciones de Hausdorff de un sistema inverso de EVTs (de Hausdorff) es una completación de Hausdorff de su límite proyectivo.Plantilla:Sfn
• Si $M$ es un subespacio vectorial cerrado de un EVT pseudometrizable completo $X,$ entonces el espacio cociente $X/M$ está completo.Plantilla:Sfn
• Supóngase que $M$ es un subespacio vectorial Plantilla:Enf de un EVT metrizable $X.$ Si el espacio cociente $X/M$ está completo, entonces también lo está $X.$Plantilla:SfnPlantilla:Sfn. Sin embargo, existe un EVT completo $X$ que tiene un subespacio vectorial cerrado $M$ tal que el cociente EVT $X/M$ Plantilla:Enf es completo.Plantilla:Sfn
• Cada espacio F, Espacio de Fréchet, Espacio de Banach y Espacio de Hilbert es un EVT completo.
• Los espacios LF estrictos y los espacios LB estrictos están completos.Plantilla:Sfn
• Supóngase que $D$ es un subconjunto denso de un EVT $X.$ Si cada filtro de Cauchy en $D$ converge a algún punto en $X$, entonces $X$ está completo.Plantilla:Sfn
• El espacio de Schwartz de funciones suaves está completo.
• Los espacios de distribución y las funciones de prueba están completos.
• Supóngase que $X$ e $Y$ son EVTs localmente convexos y que el espacio de aplicaciones lineales continuas $L_b(X;Y)$ está dotado del topología de convergencia uniforme en subconjuntos acotados de $X.$ Si $X$ es un espacio bornológico y si $Y$ está completo, entonces $L_b(X;Y)$ es un EVT completo.Plantilla:Sfn En particular, el dual fuerte de un espacio bornológico está completo.Plantilla:Sfn Sin embargo, no es necesario que sea bornológico.
• Cada espacio DF cuasi completo está completo.Plantilla:Sfn
• Sean $\omega$ y $\tau$ topologías en EVTs de Hausdorff en un espacio vectorial $X$ tal que $\omega \subseteq \tau .$ Si existe un prefiltro $ℬ$ tal que $ℬ$ es una base de entornos en el origen de $(X,\tau )$ y tal que cada $B\in ℬ$ es un subconjunto completo de $(X,\omega ),$ entonces $(X,\tau )$ es un subconjunto EVT completo.Plantilla:Sfn

Propiedades

EVTs completos

Cada EVT tiene una completación y cada EVT de Hausdorff tiene una completación de Hausdorff.Plantilla:Sfn Cada EVT completo es un espacio cuasi completo y secuencialmente completo.Plantilla:Sfn Sin embargo, los contrarios de las implicaciones anteriores son generalmente falsos.Plantilla:Sfn Existe un EVT localmente convexo secuencialmente completo que no es cuasi completo.Plantilla:Sfn

Si un EVT tiene un entorno del origen completo, entonces está completo.Plantilla:Sfn Cada [[Espacio vectorial topológico metrizable|EVT Plantilla:Enfmetrizable]] completo es un espacio barrilado y un espacio de Baire (y por lo tanto, no exiguo).Plantilla:Sfn La dimensión de un EVT metrizable completo es finita o no numerable.Plantilla:Sfn

Redes de Cauchy y prefiltros

Cualquier base de entornos de cualquier punto en un EVT es un prefiltro de Cauchy.

Cada red convergente (respectivamente, prefiltro) en un EVT es necesariamente una red de Cauchy (respectivamente, un prefiltro de Cauchy).Plantilla:Sfn Cualquier prefiltro que esté subordinado a (es decir, más fino que) un prefiltro de Cauchy, es necesariamente también un prefiltro de Cauchy,Plantilla:Sfn y cualquier prefiltro más fino que un prefiltro de Cauchy también es un prefiltro de Cauchy. El filtro asociado con una sucesión en un EVT es de Cauchy si y solo si la sucesión es una sucesión de Cauchy. Todo prefiltro convergente es un prefiltro de Cauchy.

Si $X$ es un EVT y si $x\in X$ es un punto de agrupación de una red de Cauchy (respectivamente, prefiltro de Cauchy), entonces esa red de Cauchy (respectivamente, ese prefiltro de Cauchy) converge a $x$ en $X.$Plantilla:Sfn Si un filtro Cauchy en un EVT tiene un punto de acumulación $x$, entonces converge a $x.$

Los aplicaciones uniformemente continuas hacen corresponder redes de Cauchy a redes de Cauchy.Plantilla:Sfn Una sucesión de Cauchy en un EVT de Hausdorff $X,$ cuando se considera como un conjunto, no es necesariamente relativamente compacto (es decir, su cierre en $X$ no es necesariamente compacto) aunque sí es precompacto (es decir, su cierre en $X$), la completación del subconjunto acotado es compacta).

Cada sucesión de Cauchy es un subconjunto acotado, pero esto no es necesariamente cierto para la red de Cauchy. Por ejemplo, supóngase que $\mathbb{N}$ tenga su orden habitual, que $\le$ denote cualquier conjunto preordenado en el ETV no discreto que no es $X$ (es decir, $X$ no tiene la topología trivial; también se supone que $X\cap \mathbb{N}=\varnothing$) y extiéndanse estos dos preórdenes a la unión $I\stackrel{\text{def}}{=}X\cup \mathbb{N}$ declarando que $x\le n$ es válido para cada $x\in X$ y $n\in \mathbb{N}.$ Sea $f:I\to X$ definido por $f(i)=i$ si $i\in X$ y $f(i)=0$ en caso contrario (es decir, si $i\in \mathbb{N}$, que es una red en $X,$ ya que el conjunto reservado $(I,\le )$ es dirigido) este preorden en $I$ también es conjunto parcialmente ordenado (respectivamente, un orden total) si esto es cierto para $(X,\le )$). Esta red $f$ es una red de Cauchy en $X$ porque converge al origen, pero el conjunto $\{f(i):i\in I\}=X$ no es un subconjunto acotado de $X$ (porque $X$ no tiene la topología trivial).

Supóngase ahora que $X$ es una familia de EVTs y que $i,$ denota el producto de estos EVTs. Supóngase también que para cada índice ${ℬ}_i$ $X_i.$ es un prefiltro en $X.$ Entonces, el producto de esta familia de prefiltros es un filtro de Cauchy en ${ℬ}_i$ si y solo si cada $X_i$ es un filtro de CauchyPlantilla:Sfn en $f:X\to Y$

Aplicaciones

Si $f$ es un homomorfismo topológico inyectivo de un EVT completo a un EVT de Hausdorff, entonces la imagen de $f(X)$ (es decir, $f:X\to Y$) es un subespacio cerrado de $Y$.Plantilla:Sfn Si $f$ es un homomorfismo topológico de un EVT metrizable completo a un EVT de Hausdorff, entonces el orden de $f:X\to Y$ es un subespacio cerrado de $Y.$Plantilla:Sfn Si $f$ es una aplicación continuamente uniforme entre dos EVT de Hausdorff, entonces la imagen bajo $f:D\to Y$ de un subconjunto totalmente acotado de $X$ es un subconjunto totalmente acotado de $Y.$Plantilla:Sfn

Extensiones uniformemente continuas

Supóngase que $f:D\to Y$ es una aplicación uniformemente continua de un subconjunto denso $D$ de un EVT $X$ a un EVT de Hausdorff completo $Y.$ Entonces, $f$ tiene una extensión única uniformemente continua a todo $X.$Plantilla:Sfn Si además $f$ es un homomorfismo, entonces su única extensión uniformemente continua también es un homomorfismo.Plantilla:Sfn Esto sigue siendo cierto si "EVT" se reemplaza por "grupo topológico conmutativo".Plantilla:Sfn No es necesario que la aplicación $f$ sea una aplicación lineal ni que $D$ no sea un subespacio vectorial de $X.$

Extensiones lineales uniformemente continuas

Supóngase que $M$ es un operador lineal continuo entre dos EVTs de Hausdorff. Si $X$ es un subespacio vectorial denso de $f{|}_M:M\to Y$ y si la restricción de $f:X\to Y$ a $M$ es un homomorfismo topológico, entoncesPlantilla:Sfn también es un homomorfismo topológico. Entonces, si $C$ y $D$ son completaciones de Hausdorff de $X$ e $Y,$ respectivamente, y si $f:X\to Y$ es un homomorfismo topológico, entonces la extensión lineal continua única de$f$ $F:C\to D$, es un homomorfismo topológico (téngase en cuenta que es posible que $f:X\to Y$ sea sobreyectivo, pero que para $F:C\to D$ Plantilla:Enf sea inyectivo).Plantilla:Sfn

Supóngase que $X$ e $Y$ son EVTs de Hausdorff, $M$ es un subespacio vectorial denso de $X,$ y $N$ es un subespacio vectorial denso de $Y.$ Si $M$ y $N$ son subgrupos aditivos topológicamente isomórficos a través de un homomorfismo topológico $f$, entonces lo mismo ocurre con $X$ e $Y$ a través de la extensión única uniformemente continua de $f$ (que también es un homeomorfismo).Plantilla:Sfn

Subconjuntos

Subconjuntos completos

Cada subconjunto completo de un EVT es secuencialmente completo. Un subconjunto completo de un EVT de Hausdorff $X$ es un subconjunto cerrado de $X.$Plantilla:SfnPlantilla:Sfn

Cada subconjunto compacto de un EVT está completo (incluso si el EVT no es de Hausdorff o no está completo).Plantilla:SfnPlantilla:Sfn Los subconjuntos cerrados de un EVT completo están completos; sin embargo, si un EVT $X$ no está completo, entonces $X$ es un subconjunto cerrado de $X$ que no está completo. El conjunto vacío es un subconjunto completo de cada EVT. Si $C$ es un subconjunto completo de un EVT (el EVT no es necesariamente de Hausdorff o completo), entonces cualquier subconjunto de $C$ que esté cerrado en $C$ está completo.Plantilla:Sfn

Complementos topológicos

Si $X$ es un espacio de Fréchet no normable en el que existe una norma continua, entonces $X$ contiene un subespacio vectorial cerrado que no tiene subespacio complementado.Plantilla:Sfn Si $X$ es un EVT completo y $M$ es un subespacio vectorial cerrado de $X$ tal que $X/M$ no está completo, entonces $H$ Plantilla:Enf tiene un subespacio complementado en $X.$Plantilla:Sfn

Subconjuntos de completaciones

Sea $M$ un espacio vectorial topológico metrizable localmente convexo separable y sea $C$ su completación. Si $S$ es un subconjunto acotado de $C$, entonces existe un subconjunto acotado $R$ de $X$ tal que $S\subseteq {\mathrm{cl}}_{C}R.$Plantilla:Sfn

Relación con subconjuntos compactos

Un subconjunto de un EVT que (Plantilla:Enf se supone que es de Hausdorff o completo) es compacto si y solo si está completo y totalmente acotado.Plantilla:Sfn En consecuencia, un subconjunto cerrado y totalmente acotado de un EVT completo es compacto.Plantilla:SfnPlantilla:Sfn

En un EVT localmente convexo de Hausdorff, la envolvente convexa de un conjunto precompacto vuelve a ser precompacto.Plantilla:Sfn En consecuencia, en un EVT de Hausdorff localmente convexo completo, la envolvente convexa cerrada de un subconjunto compacto es nuevamente compacta.Plantilla:Sfn

La envolvente convexa de un subconjunto compacto de un espacio de Hilbert Plantilla:Enf es necesariamente cerrada y, por lo tanto, Plantilla:Enf es necesariamente compacta. Por ejemplo, sea $H$ el espacio de Hilbert separable ${\ell }^2(\mathbb{N})$ de sucesiones sumables al cuadrado con la norma habitual $\Vert \cdot {\Vert }_2$ y sea $e_n=(0,\dots ,0,1,0,\dots )$ una base ortonormal estándar (es decir, $1$ en la coordenada $n^{\text{-ésima}}$. El conjunto cerrado $S=\{0\}\cup \left\{\frac{1}{n}{e}_n\right\}$ es compacto pero su envolvente convexa $\mathrm{co}S$ Plantilla:Enf es un conjunto cerrado porque $h:=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{2^n}\frac{1}{n}{e}_n$ pertenece al cierre de $\mathrm{co}S$ en $H$ pero $h\in ̸\mathrm{co}S$ (ya que cada sucesión $z\in \mathrm{co}S$ es una combinación convexa finita de elementos de $S$ y por lo tanto es necesariamente $0$ en todas las coordenadas excepto en un número finito, lo cual no es cierto para $h$).Plantilla:Sfn Sin embargo, como en todos los espacios localmente convexos completos de Hausdorff, la envolvente convexa Plantilla:Enf $K:=\overline{\mathrm{co}}S$ de este subconjunto compacto es compacta.Plantilla:Sfn El subespacio vectorial $X:=\mathrm{span}S$ es un espacio prehilbertiano cuando está dotado de la subestructura que el espacio de Hilbert $H$ induce sobre él, pero $X$ no está completo y $h\in ̸K\cap X$ (ya que $h\in ̸X$)). La envolvente convexa cerrada de $S$ en $X$ (aquí, "cerrada" significa con respecto a $X,$ y no a $H$ como antes) es igual a $K\cap X,$, que no es compacto (porque no es un subconjunto completo). Esto muestra que en un espacio localmente convexo de Hausdorff que no está completo, la envolvente convexa cerrada del subconjunto compacto podría Plantilla:Enf ser compacta (aunque será precompacta/totalmente acotada).

Todo conjunto completo totalmente acotado es relativamente compacto.Plantilla:Sfn Si $X$ es cualquier EVT, entonces la aplicación cociente $q:X\to X/{\mathrm{cl}}_X\{0\}$ es una aplicación cerradaPlantilla:Sfn y, por lo tanto, $S+{\mathrm{cl}}_X\{0\}\subseteq {\mathrm{cl}}_{X}S$. Un subconjunto $S$ de un EVT $X$ está totalmente acotado si y solo si su imagen bajo la aplicación cociente canónico $q:X\to X/{\mathrm{cl}}_X\{0\}$ está totalmente acotada.Plantilla:Sfn En consecuencia, $S$ está totalmente acotado si y solo si $S+{\mathrm{cl}}_X\{0\}$ está totalmente acotado. En cualquier EVT, el cierre de un subconjunto totalmente acotado vuelve a ser totalmente acotado.Plantilla:Sfn En un espacio localmente convexo, la envolvente convexa y la envolvente en forma de disco de un conjunto totalmente acotado están totalmente acotados.Plantilla:Sfn Si $S$ es un subconjunto de un EVT $X$ tal que cada secuencia en $S$ tiene un punto de agrupación en $S$, entonces $S$ está totalmente acotado.Plantilla:Sfn Un subconjunto $S$ de un EVT de Hausdorff $X$ está totalmente acotado si y solo si cada ultrafiltro en $S$ es de Cauchy, lo que sucede si y solo si es precompacto (es decir, su cierre al completar $X$ es compacto).Plantilla:Sfn

Si $S\subseteq X$ es compacto, entonces ${\mathrm{cl}}_{X}S=S+{\mathrm{cl}}_X\{0\}$ y este conjunto son compactos. Por tanto, la clausura de un conjunto compacto es compacta. En conclusión, todos los conjuntos compactos son relativamente compactos.Plantilla:Sfn Por lo tanto, el cierre de un conjunto compacto es compacto. Cada subconjunto relativamente compacto de un EVT de Hausdorff está totalmente acotado.Plantilla:Sfn

En un espacio localmente convexo completo, la envolvente convexa y la envolvente en forma de disco de un conjunto compacto son ambas compactas.Plantilla:Sfn De manera más general, si $K$ es un subconjunto compacto de un espacio localmente convexo, entonces la envolvente convexa $\mathrm{co}K$ (respectivamente, la envolvente en forma de disco $\mathrm{cobal}K$) es compacta si y solo si está completa.Plantilla:Sfn Cada subconjunto $S$ de ${\mathrm{cl}}_X\{0\}$ es compacto y, por lo tanto, completo. En particular, si $X$ no es de Hausdorff, entonces existen conjuntos completos compactos que no están cerrados.Plantilla:Sfn

Véase también

• Espacio métrico completo
• Filtro (teoría de conjuntos)
• Filtros en topología
• Espacio vectorial topológico metrizable
• Espacio pseudométrico
• Espacio cuasi completo
• Sucesivamente completo
• Grupo topológico
• Espacio uniforme

Bibliografía

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