Complete topological vector space

Template:Short description In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point $x$ towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Template:Em or Template:Em, which are generalizations of Template:Em, while "point $x$ towards which they all get closer" means that this Cauchy net or filter converges to $x.$ The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for Template:Em TVSs, including those that are not metrizable or Hausdorff.

Completeness is an extremely important property for a topological vector space to possess. The notions of completeness for normed spaces and metrizable TVSs, which are commonly defined in terms of completeness of a particular norm or metric, can both be reduced down to this notion of TVS-completeness – a notion that is independent of any particular norm or metric. A metrizable topological vector space $X$ with a translation invariant metric $d$ is complete as a TVS if and only if $(X,d)$ is a complete metric space, which by definition means that every $d$-Cauchy sequence converges to some point in $X.$ Prominent examples of complete TVSs that are also metrizable include all F-spaces and consequently also all Fréchet spaces, Banach spaces, and Hilbert spaces. Prominent examples of complete TVS that are (typically) Template:Em metrizable include strict LF-spaces such as the space of test functions $C_c^{\mathrm{\infty }}(U)$ with it canonical LF-topology, the strong dual space of any non-normable Fréchet space, as well as many other polar topologies on continuous dual space or other topologies on spaces of linear maps.

Explicitly, a topological vector spaces (TVS) is complete if every net, or equivalently, every filter, that is Cauchy with respect to the space's Template:Em necessarily converges to some point. Said differently, a TVS is complete if its canonical uniformity is a complete uniformity. The canonical uniformity on a TVS $(X,\tau )$ is the unique translation-invariant uniformity that induces on $X$ the topology $\tau .$ This notion of "TVS-completeness" depends Template:Em on vector subtraction and the topology of the TVS; consequently, it can be applied to all TVSs, including those whose topologies can not be defined in terms metrics or pseudometrics. A first-countable TVS is complete if and only if every Cauchy sequence (or equivalently, every elementary Cauchy filter) converges to some point.

Every topological vector space $X,$ even if it is not metrizable or not Hausdorff, has a Template:Em, which by definition is a complete TVS $C$ into which $X$ can be TVS-embedded as a dense vector subspace. Moreover, every Hausdorff TVS has a Template:Em completion, which is necessarily unique up to TVS-isomorphism. However, as discussed below, all TVSs have infinitely many non-Hausdorff completions that are Template:Em TVS-isomorphic to one another.

Definitions

This section summarizes the definition of a complete topological vector space (TVS) in terms of both nets and prefilters. Information about convergence of nets and filters, such as definitions and properties, can be found in the article about filters in topology.

Every topological vector space (TVS) is a commutative topological group with identity under addition and the canonical uniformity of a TVS is defined Template:Em in terms of subtraction (and thus addition); scalar multiplication is not involved and no additional structure is needed.

Canonical uniformity

The Template:Em of $X$ is the setTemplate:Sfn $${\mathrm{\Delta }}_X\stackrel{\text{def}}{=}\{(x,x):x\in X\}$$ and for any $N\subseteq X,$ the Template:Em/Template:Em is the set $$\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}$$ where if $0\in N$ then ${\mathrm{\Delta }}_X(N)$ contains the diagonal ${\mathrm{\Delta }}_X(\{0\})={\mathrm{\Delta }}_X.$

If $N$ is a symmetric set (that is, if $-N=N$), then ${\mathrm{\Delta }}_X(N)$ is Template:Em, which by definition means that ${\mathrm{\Delta }}_X(N)={({\mathrm{\Delta }}_X(N))}^{\mathrm{op}}$ holds where ${({\mathrm{\Delta }}_X(N))}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in {\mathrm{\Delta }}_X(N)\},$ and in addition, this symmetric set's Template:Em with itself is: $$\begin{array}{cc}{\mathrm{\Delta }}_X(N)\circ {\mathrm{\Delta }}_X(N)& \stackrel{\text{def}}{=}\{(x,z)\in X\times X:\text{ there exists }y\in X\text{ such that }x,z\in y+N\}\\ & =\bigcup _{y\in X}[(y+N)\times (y+N)]\\ & ={\mathrm{\Delta }}_X+(N\times N).\end{array}$$

If $ℒ$ is any neighborhood basis at the origin in $(X,\tau )$ then the family of subsets of $X\times X:$ $${ℬ}_{ℒ}\stackrel{\text{def}}{=}\{{\mathrm{\Delta }}_X(N):N\in ℒ\}$$ is a prefilter on $X\times X.$ If ${𝒩}_{\tau }(0)$ is the neighborhood filter at the origin in $(X,\tau )$ then ${ℬ}_{{𝒩}_{\tau }(0)}$ forms a base of entourages for a uniform structure on $X$ that is considered canonical.Template:Sfn Explicitly, by definition, Template:Em $(X,\tau )$Template:Sfn is the filter ${𝒰}_{\tau }$ on $X\times X$ generated by the above prefilter: $${𝒰}_{\tau }\stackrel{\text{def}}{=}{ℬ}_{{𝒩}_{\tau }(0)}^{\uparrow }\stackrel{\text{def}}{=}\{S\subseteq X\times X:\text{there exists }N\in {𝒩}_{\tau }(0)\text{ such that }{\mathrm{\Delta }}_X(N)\subseteq S\}$$ where ${ℬ}_{{𝒩}_{\tau }(0)}^{\uparrow }$ denotes the Template:Em of ${ℬ}_{{𝒩}_{\tau }(0)}$ in $X\times X.$ The same canonical uniformity would result by using a neighborhood basis of the origin rather the filter of all neighborhoods of the origin. If $ℒ$ is any neighborhood basis at the origin in $(X,\tau )$ then the filter on $X\times X$ generated by the prefilter ${ℬ}_{ℒ}$ is equal to the canonical uniformity ${𝒰}_{\tau }$ induced by $(X,\tau ).$

Cauchy net

The general theory of uniform spaces has its own definition of a "Cauchy prefilter" and "Cauchy net". For the canonical uniformity on $X,$ these definitions reduce down to those given below.

Suppose $x_{\bullet }={\left(x_i\right)}_{i\in I}$ is a net in $X$ and $y_{\bullet }={\left(y_j\right)}_{j\in J}$ is a net in $Y.$ The product $I\times J$ becomes a directed set by declaring $(i,j)\le (i_2,j_2)$ if and only if $i\le i_2$ and $j\le j_2.$ Then $$x_{\bullet }\times y_{\bullet }\stackrel{\text{def}}{=}{(x_i,y_j)}_{(i,j)\in I\times J}$$ denotes the (Cartesian) Template:Visible anchor, where in particular $x_{\bullet }\times x_{\bullet }\stackrel{\text{def}}{=}{(x_i,x_j)}_{(i,j)\in I\times I}.$ If $X=Y$ then the image of this net under the vector addition map $X\times X\to X$ denotes the Template:Visible anchor of these two nets:Template:Sfn $$x_{\bullet }+y_{\bullet }\stackrel{\text{def}}{=}{(x_i+y_j)}_{(i,j)\in I\times J}$$ and similarly their Template:Visible anchor is defined to be the image of the product net under the vector subtraction map $(x,y)\mapsto x-y$: $$x_{\bullet }-y_{\bullet }\stackrel{\text{def}}{=}{(x_i-y_j)}_{(i,j)\in I\times J}.$$ In particular, the notation $x_{\bullet }-x_{\bullet }={\left(x_i\right)}_{i\in I}-{\left(x_i\right)}_{i\in I}$ denotes the $I^2$-indexed net ${(x_i-x_j)}_{(i,j)\in I\times I}$ and not the $I$-indexed net ${(x_i-x_i)}_{i\in I}=(0{)}_{i\in I}$ since using the latter as the definition would make the notation useless.

A net $x_{\bullet }={\left(x_i\right)}_{i\in I}$ in a TVS $X$ is called a Cauchy netTemplate:Sfn if $$x_{\bullet }-x_{\bullet }\stackrel{\text{def}}{=}{(x_i-x_j)}_{(i,j)\in I\times I}\to 0\text{ in }X.$$ Explicitly, this means that for every neighborhood $N$ of $0$ in $X,$ there exists some index $i_0\in I$ such that $x_i-x_j\in N$ for all indices $i,j\in I$ that satisfy $i\ge i_0$ and $j\ge i_0.$ It suffices to check any of these defining conditions for any given neighborhood basis of $0$ in $X.$ A Cauchy sequence is a sequence that is also a Cauchy net.

If $x_{\bullet }\to x$ then $x_{\bullet }\times x_{\bullet }\to (x,x)$ in $X\times X$ and so the continuity of the vector subtraction map $S:X\times X\to X,$ which is defined by $S(x,y)\stackrel{\text{def}}{=}x-y,$ guarantees that $S(x_{\bullet }\times x_{\bullet })\to S(x,x)$ in $X,$ where $S(x_{\bullet }\times x_{\bullet })={(x_i-x_j)}_{(i,j)\in I\times I}=x_{\bullet }-x_{\bullet }$ and $S(x,x)=x-x=0.$ This proves that every convergent net is a Cauchy net. By definition, a space is called Template:Em if the converse is also always true. That is, $X$ is complete if and only if the following holds:

whenever $x_{\bullet }$ is a net in $X,$ then $x_{\bullet }$ converges (to some point) in $X$ if and only if $x_{\bullet }-x_{\bullet }\to 0$ in $X.$

A similar characterization of completeness holds if filters and prefilters are used instead of nets.

A series $\sum _{i=1}^{\mathrm{\infty }}{x}_i$ is called a Template:Visible anchor (respectively, a Template:Visible anchor) if the sequence of partial sums ${\left(\sum _{i=1}^n{x}_i\right)}_{n=1}^{\mathrm{\infty }}$ is a Cauchy sequence (respectively, a convergent sequence).Template:Sfn Every convergent series is necessarily a Cauchy series. In a complete TVS, every Cauchy series is necessarily a convergent series.

Cauchy filter and Cauchy prefilter

A prefilter $ℬ$ on a topological vector space $X$ is called a Cauchy prefilterTemplate:Sfn if it satisfies any of the following equivalent conditions:

1. $ℬ-ℬ\to 0$ in $X.$
   • The family $ℬ-ℬ\stackrel{\text{def}}{=}\{B-C:B,C\in ℬ\}$ is a prefilter.
   • Explicitly, $ℬ-ℬ\to 0$ means that for every neighborhood $N$ of the origin in $X,$ there exist $B,C\in ℬ$ such that $B-C\subseteq N.$
2. $\{B-B:B\in ℬ\}\to 0$ in $X.$
   • The family $\{B-B:B\in ℬ\}$ is a prefilter equivalent to $ℬ-ℬ$ (equivalence means these prefilters generate the same filter on $X$).
   • Explicitly, $\{B-B:B\in ℬ\}\to 0$ means that for every neighborhood $N$ of the origin in $X,$ there exists some $B\in ℬ$ such that $B-B\subseteq N.$
3. For every neighborhood $N$ of the origin in $X,$ $ℬ$ contains some $N$-small set (that is, there exists some $B\in ℬ$ such that $B-B\subseteq N$).Template:Sfn
   • A subset $B\subseteq X$ is called $N$-small or Template:Visible anchor $N$Template:Sfn if $B-B\subseteq N.$
4. For every neighborhood $N$ of the origin in $X,$ there exists some $x\in X$ and some $B\in ℬ$ such that $B\subseteq x+N.$Template:Sfn
   • This statement remains true if "$B\subseteq x+N$" is replaced with "$x+B\subseteq N.$"
5. Every neighborhood of the origin in $X$ contains some subset of the form $x+B$ where $x\in X$ and $B\in ℬ.$

It suffices to check any of the above conditions for any given neighborhood basis of $0$ in $X.$ A Cauchy filter is a Cauchy prefilter that is also a filter on $X.$

If $ℬ$ is a prefilter on a topological vector space $X$ and if $x\in X,$ then $ℬ\to x$ in $X$ if and only if $x\in \mathrm{cl}ℬ$ and $ℬ$ is Cauchy.Template:Sfn

Complete subset

For any $S\subseteq X,$ a prefilter $𝒞$ Template:Em is necessarily a subset of $\mathrm{\wp }(S)$; that is, $𝒞\subseteq \mathrm{\wp }(S).$

A subset $S$ of a TVS $(X,\tau )$ is called a Template:Visible anchor if it satisfies any of the following equivalent conditions:

1. Every Cauchy prefilter $𝒞\subseteq \mathrm{\wp }(S)$ on $S$ converges to at least one point of $S.$
   • If $X$ is Hausdorff then every prefilter on $S$ will converge to at most one point of $X.$ But if $X$ is not Hausdorff then a prefilter may converge to multiple points in $X.$ The same is true for nets.
2. Every Cauchy net in $S$ converges to at least one point of $S.$
3. $S$ is a complete uniform space (under the point-set topology definition of "complete uniform space") when $S$ is endowed with the uniformity induced on it by the canonical uniformity of $X.$

The subset $S$ is called a Template:Visible anchor if every Cauchy sequence in $S$ (or equivalently, every elementary Cauchy filter/prefilter on $S$) converges to at least one point of $S.$

Importantly, Template:Em: If $X$ is not Hausdorff and if every Cauchy prefilter on $S$ converges to some point of $S,$ then $S$ will be complete even if some or all Cauchy prefilters on $S$ Template:Em converge to points(s) in $X\setminus S.$ In short, there is no requirement that these Cauchy prefilters on $S$ converge Template:Em to points in $S.$ The same can be said of the convergence of Cauchy nets in $S.$

As a consequence, if a TVS $X$ is Template:Em Hausdorff then every subset of the closure of $\{0\}$ in $X$ is complete because it is compact and every compact set is necessarily complete. In particular, if $\varnothing \ne S\subseteq {\mathrm{cl}}_X\{0\}$ is a proper subset, such as $S=\{0\}$ for example, then $S$ would be complete even though Template:Em Cauchy net in $S$ (and also every Cauchy prefilter on $S$) converges to Template:Em point in ${\mathrm{cl}}_X\{0\},$ including those points in ${\mathrm{cl}}_X\{0\}$ that do not belong to $S.$ This example also shows that complete subsets (and indeed, even compact subsets) of a non-Hausdorff TVS may fail to be closed. For example, if $\varnothing \ne S\subseteq {\mathrm{cl}}_X\{0\}$ then $S={\mathrm{cl}}_X\{0\}$ if and only if $S$ is closed in $X.$

Complete topological vector space

A topological vector space $X$ is called a Template:Visible anchor if any of the following equivalent conditions are satisfied:

1. $X$ is a complete uniform space when it is endowed with its canonical uniformity.
   • In the general theory of uniform spaces, a uniform space is called a complete uniform space if each Cauchy filter on $X$ converges to some point of $X$ in the topology induced by the uniformity. When $X$ is a TVS, the topology induced by the canonical uniformity is equal to $X$'s given topology (so convergence in this induced topology is just the usual convergence in $X$).
2. $X$ is a complete subset of itself.
3. There exists a neighborhood of the origin in $X$ that is also a complete subset of $X.$Template:Sfn
   • This implies that every locally compact TVS is complete (even if the TVS is not Hausdorff).
4. Every Cauchy prefilter $𝒞\subseteq \mathrm{\wp }(X)$ on $X$ converges in $X$ to at least one point of $X.$
   • If $X$ is Hausdorff then every prefilter on $X$ will converge to at most one point of $X.$ But if $X$ is not Hausdorff then a prefilter may converge to multiple points in $X.$ The same is true for nets.
5. Every Cauchy filter on $X$ converges in $X$ to at least one point of $X.$
6. Every Cauchy net in $X$ converges in $X$ to at least one point of $X.$

where if in addition $X$ is pseudometrizable or metrizable (for example, a normed space) then this list can be extended to include:

7. $X$ is sequentially complete.

A topological vector space $X$ is Template:Visible anchor if any of the following equivalent conditions are satisfied:

1. $X$ is a sequentially complete subset of itself.
2. Every Cauchy sequence in $X$ converges in $X$ to at least one point of $X.$
3. Every elementary Cauchy prefilter on $X$ converges in $X$ to at least one point of $X.$
4. Every elementary Cauchy filter on $X$ converges in $X$ to at least one point of $X.$

Uniqueness of the canonical uniformity

The existence of the canonical uniformity was demonstrated above by defining it. The theorem below establishes that the canonical uniformity of any TVS $(X,\tau )$ is the only uniformity on $X$ that is both (1) translation invariant, and (2) generates on $X$ the topology $\tau .$

This section is dedicated to explaining the precise meanings of the terms involved in this uniqueness statement.

Uniform spaces and translation-invariant uniformities

For any subsets $\mathrm{\Phi },\mathrm{\Psi }\subseteq X\times X,$ letTemplate:Sfn $${\mathrm{\Phi }}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in \mathrm{\Phi }\}$$ and let $$\begin{array}{cc}\mathrm{\Phi }\circ \mathrm{\Psi }& \stackrel{\text{def}}{=}\{(x,z):\text{ there exists }y\in X\text{ such that }(x,y)\in \mathrm{\Psi }\text{ and }(y,z)\in \mathrm{\Phi }\}\\ & =\bigcup _{y\in X}\{(x,z):(x,y)\in \mathrm{\Psi }\text{ and }(y,z)\in \mathrm{\Phi }\}\end{array}$$ A non-empty family $ℬ\subseteq \mathrm{\wp }(X\times X)$ is called a Template:Visible anchor or a Template:Visible anchor if $ℬ$ is a prefilter on $X\times X$ satisfying all of the following conditions:

1. Every set in $ℬ$ contains the diagonal of $X$ as a subset; that is, ${\mathrm{\Delta }}_X\stackrel{\text{def}}{=}\{(x,x):x\in X\}\subseteq \mathrm{\Phi }$ for every $\mathrm{\Phi }\in ℬ.$ Said differently, the prefilter $ℬ$ is Template:Em on ${\mathrm{\Delta }}_X.$
2. For every $\mathrm{\Omega }\in ℬ$ there exists some $\mathrm{\Phi }\in ℬ$ such that $\mathrm{\Phi }\circ \mathrm{\Phi }\subseteq \mathrm{\Omega }.$
3. For every $\mathrm{\Omega }\in ℬ$ there exists some $\mathrm{\Phi }\in ℬ$ such that $\mathrm{\Phi }\subseteq {\mathrm{\Omega }}^{\mathrm{op}}\stackrel{\text{def}}{=}\{(y,x):(x,y)\in \mathrm{\Omega }\}.$

A Template:Visible anchor or Template:Visible anchor on $X$ is a filter $𝒰$ on $X\times X$ that is generated by some base of entourages $ℬ,$ in which case we say that $ℬ$ is a base of entourages Template:Em

For a commutative additive group $X,$ a Template:Visible anchorTemplate:Sfn is a fundamental system of entourages $ℬ$ such that for every $\mathrm{\Phi }\in ℬ,$ $(x,y)\in \mathrm{\Phi }$ if and only if $(x+z,y+z)\in \mathrm{\Phi }$ for all $x,y,z\in X.$ A uniformity $ℬ$ is called a Template:Visible anchorTemplate:Sfn if it has a base of entourages that is translation-invariant. The canonical uniformity on any TVS is translation-invariant.Template:Sfn

The binary operator $\circ$ satisfies all of the following:

• $(\mathrm{\Phi }\circ \mathrm{\Psi }{)}^{\mathrm{op}}={\mathrm{\Psi }}^{\mathrm{op}}\circ {\mathrm{\Phi }}^{\mathrm{op}}.$
• If $\mathrm{\Phi }\subseteq {\mathrm{\Phi }}_2$ and $\mathrm{\Psi }\subseteq {\mathrm{\Psi }}_2$ then $\mathrm{\Phi }\circ \mathrm{\Psi }\subseteq {\mathrm{\Phi }}_2\circ {\mathrm{\Psi }}_2.$
• Associativity: $\mathrm{\Phi }\circ (\mathrm{\Psi }\circ \mathrm{\Omega })=(\mathrm{\Phi }\circ \mathrm{\Psi })\circ \mathrm{\Omega }.$
• Identity: $\mathrm{\Phi }\circ {\mathrm{\Delta }}_X=\mathrm{\Phi }={\mathrm{\Delta }}_X\circ \mathrm{\Phi }.$
• Zero: $\mathrm{\Phi }\circ \varnothing =\varnothing =\varnothing \circ \mathrm{\Phi }$

Symmetric entourages

Call a subset $\mathrm{\Phi }\subseteq X\times X$ symmetric if $\mathrm{\Phi }={\mathrm{\Phi }}^{\mathrm{op}},$ which is equivalent to ${\mathrm{\Phi }}^{\mathrm{op}}\subseteq \mathrm{\Phi }.$ This equivalence follows from the identity ${\left({\mathrm{\Phi }}^{\mathrm{op}}\right)}^{\mathrm{op}}=\mathrm{\Phi }$ and the fact that if $\mathrm{\Psi }\subseteq X\times X,$ then $\mathrm{\Phi }\subseteq \mathrm{\Psi }$ if and only if ${\mathrm{\Phi }}^{\mathrm{op}}\subseteq {\mathrm{\Psi }}^{\mathrm{op}}.$ For example, the set ${\mathrm{\Phi }}^{\mathrm{op}}\cap \mathrm{\Phi }$ is always symmetric for every $\mathrm{\Phi }\subseteq X\times X.$ And because $(\mathrm{\Phi }\cap \mathrm{\Psi }{)}^{\mathrm{op}}={\mathrm{\Phi }}^{\mathrm{op}}\cap {\mathrm{\Psi }}^{\mathrm{op}},$ if $\mathrm{\Phi }$ and $\mathrm{\Psi }$ are symmetric then so is $\mathrm{\Phi }\cap \mathrm{\Psi }.$

Topology generated by a uniformity

Relatives

Let $\mathrm{\Phi }\subseteq X\times X$ be arbitrary and let ${\mathrm{Pr}}_1,{\mathrm{Pr}}_2:X\times X\to X$ be the canonical projections onto the first and second coordinates, respectively.

For any $S\subseteq X,$ 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)$$ where $\mathrm{\Phi }\cdot S$ (respectively, $S\cdot \mathrm{\Phi }$) is called the set of left (respectively, right) $\mathrm{\Phi }$-relatives of (points in) $S.$ Denote the special case where $S=\{p\}$ is a singleton set for some $p\in X$ by: $$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)$$ If $\mathrm{\Phi },\mathrm{\Psi }\subseteq X\times X$ then $(\mathrm{\Phi }\circ \mathrm{\Psi })\cdot S=\mathrm{\Phi }\cdot (\mathrm{\Psi }\cdot S).$ Moreover, $\cdot$ right distributes over both unions and intersections, meaning that if $R,S\subseteq X$ then $(R\cup S)\cdot \mathrm{\Phi }=(R\cdot \mathrm{\Phi })\cup (S\cdot \mathrm{\Phi })$ and $(R\cap S)\cdot \mathrm{\Phi }\subseteq (R\cdot \mathrm{\Phi })\cap (S\cdot \mathrm{\Phi }).$

Neighborhoods and open sets

Two points $x$ and $y$ are $\mathrm{\Phi }$-close if $(x,y)\in \mathrm{\Phi }$ and a subset $S\subseteq X$ is called $\mathrm{\Phi }$-small if $S\times S\subseteq \mathrm{\Phi }.$

Let $ℬ\subseteq \mathrm{\wp }(X\times X)$ be a base of entourages on $X.$ The Template:Visible anchor at a point $p\in X$ and, respectively, on a subset $S\subseteq X$ are the families of sets: $$ℬ\cdot p\stackrel{\text{def}}{=}ℬ\cdot \{p\}=\{\mathrm{\Phi }\cdot p:\mathrm{\Phi }\in ℬ\}\text{ and }ℬ\cdot S\stackrel{\text{def}}{=}\{\mathrm{\Phi }\cdot S:\mathrm{\Phi }\in ℬ\}$$ and the filters on $X$ that each generates is known as the Template:Visible anchor of $p$ (respectively, of $S$). Assign to every $x\in X$ the neighborhood prefilter $$ℬ\cdot x\stackrel{\text{def}}{=}\{\mathrm{\Phi }\cdot x:\mathrm{\Phi }\in ℬ\}$$ and use the neighborhood definition of "open set" to obtain a topology on $X$ called the topology induced by $ℬ$ or the Template:Visible anchor. Explicitly, a subset $U\subseteq X$ is open in this topology if and only if for every $u\in U$ there exists some $N\in ℬ\cdot u$ such that $N\subseteq U;$ that is, $U$ is open if and only if for every $u\in U$ there exists some $\mathrm{\Phi }\in ℬ$ such that $\mathrm{\Phi }\cdot u\stackrel{\text{def}}{=}\{x\in X:(x,u)\in \mathrm{\Phi }\}\subseteq U.$

The closure of a subset $S\subseteq X$ in this topology is: $${\mathrm{cl}}_{X}S=\bigcap _{\mathrm{\Phi }\in ℬ}(\mathrm{\Phi }\cdot S)=\bigcap _{\mathrm{\Phi }\in ℬ}(S\cdot \mathrm{\Phi }).$$

Cauchy prefilters and complete uniformities

A prefilter $ℱ\subseteq \mathrm{\wp }(X)$ on a uniform space $X$ with uniformity $𝒰$ is called a Cauchy prefilter if for every entourage $N\in 𝒰,$ there exists some $F\in ℱ$ such that $F\times F\subseteq N.$

A uniform space $(X,𝒰)$ is called a Template:Visible anchor (respectively, a Template:Visible anchor) if every Cauchy prefilter (respectively, every elementary Cauchy prefilter) on $X$ converges to at least one point of $X$ when $X$ is endowed with the topology induced by $𝒰.$

Case of a topological vector space

If $(X,\tau )$ is a topological vector space then for any $S\subseteq X$ and $x\in X,$ $${\mathrm{\Delta }}_X(N)\cdot S=S+N\text{ and }{\mathrm{\Delta }}_X(N)\cdot x=x+N,$$ and the topology induced on $X$ by the canonical uniformity is the same as the topology that $X$ started with (that is, it is $\tau$).

Uniform continuity

Let $X$ and $Y$ be TVSs, $D\subseteq X,$ and $f:D\to Y$ be a map. Then $f:D\to Y$ is Template:Em if for every neighborhood $U$ of the origin in $X,$ there exists a neighborhood $V$ of the origin in $Y$ such that for all $x,y\in D,$ if $y-x\in U$ then $f(y)-f(x)\in V.$

Suppose that $f:D\to Y$ is uniformly continuous. If $x_{\bullet }={\left(x_i\right)}_{i\in I}$ is a Cauchy net in $D$ then $f\circ x_{\bullet }={\left(f\left(x_i\right)\right)}_{i\in I}$ is a Cauchy net in $Y.$ If $ℬ$ is a Cauchy prefilter in $D$ (meaning that $ℬ$ is a family of subsets of $D$ that is Cauchy in $X$) then $f\left(ℬ\right)$ is a Cauchy prefilter in $Y.$ However, if $ℬ$ is a Cauchy filter on $D$ then although $f\left(ℬ\right)$ will be a Cauchy Template:Emfilter, it will be a Cauchy filter in $Y$ if and only if $f:D\to Y$ is surjective.

TVS completeness vs completeness of (pseudo)metrics

Preliminaries: Complete pseudometric spaces

We review the basic notions related to the general theory of complete pseudometric spaces. Recall that every metric is a pseudometric and that a pseudometric $p$ is a metric if and only if $p(x,y)=0$ implies $x=y.$ Thus every metric space is a pseudometric space and a pseudometric space $(X,p)$ is a metric space if and only if $p$ is a metric.

If $S$ is a subset of a pseudometric space $(X,d)$ then the diameter of $S$ is defined to be $$\mathrm{diam}(S)\stackrel{\text{def}}{=}\underset{}{\sup }\{d(s,t):s,t\in S\}.$$

A prefilter $ℬ$ on a pseudometric space $(X,d)$ is called a $d$-Cauchy prefilter or simply a Cauchy prefilter if for each real $r>0,$ there is some $B\in ℬ$ such that the diameter of $B$ is less than $r.$

Suppose $(X,d)$ is a pseudometric space. A net $x_{\bullet }={\left(x_i\right)}_{i\in I}$ in $X$ is called a $d$-Cauchy net or simply a Cauchy net if $\mathrm{Tails}\left(x_{\bullet }\right)$ is a Cauchy prefilter, which happens if and only if

for every $r>0$ there is some $i\in I$ such that if $j,k\in I$ with $j\ge i$ and $k\ge i$ then $d(x_j,x_k)<r$

or equivalently, if and only if ${\left(d(x_j,x_k)\right)}_{(i,j)\in I\times I}\to 0$ in $ℝ.$ This is analogous to the following characterization of the converge of $x_{\bullet }$ to a point: if $x\in X,$ then $x_{\bullet }\to x$ in $(X,d)$ if and only if ${(x_i,x)}_{i\in I}\to 0$ in $ℝ.$

A Cauchy sequence is a sequence that is also a Cauchy net.

Every pseudometric $p$ on a set $X$ induces the usual canonical topology on $X,$ which we'll denote by ${\tau }_p$; it also induces a canonical uniformity on $X,$ which we'll denote by ${𝒰}_p.$ The topology on $X$ induced by the uniformity ${𝒰}_p$ is equal to ${\tau }_p.$ A net $x_{\bullet }={\left(x_i\right)}_{i\in I}$ in $X$ is Cauchy with respect to $p$ if and only if it is Cauchy with respect to the uniformity ${𝒰}_p.$ The pseudometric space $(X,p)$ is a complete (resp. a sequentially complete) pseudometric space if and only if $(X,{𝒰}_p)$ is a complete (resp. a sequentially complete) uniform space. Moreover, the pseudometric space $(X,p)$ (resp. the uniform space $(X,{𝒰}_p)$) is complete if and only if it is sequentially complete.

A pseudometric space $(X,d)$ (for example, a metric space) is called complete and $d$ is called a complete pseudometric if any of the following equivalent conditions hold:

1. Every Cauchy prefilter on $X$ converges to at least one point of $X.$
2. The above statement but with the word "prefilter" replaced by "filter."
3. Every Cauchy net in $X$ converges to at least one point of $X.$
   • If $d$ is a metric on $X$ then any limit point is necessarily unique and the same is true for limits of Cauchy prefilters on $X.$
4. Every Cauchy sequence in $X$ converges to at least one point of $X.$
   • Thus to prove that $(X,d)$ is complete, it suffices to only consider Cauchy sequences in $X$ (and it is not necessary to consider the more general Cauchy nets).
5. The canonical uniformity on $X$ induced by the pseudometric $d$ is a complete uniformity.

And if addition $d$ is a metric then we may add to this list:

6. Every decreasing sequence of closed balls whose diameters shrink to $0$ has non-empty intersection.Template:Sfn

Complete pseudometrics and complete TVSs

Every F-space, and thus also every Fréchet space, Banach space, and Hilbert space is a complete TVS. Note that every F-space is a Baire space but there are normed spaces that are Baire but not Banach.Template:Sfn

A pseudometric $d$ on a vector space $X$ is said to be a Template:Visible anchor if $d(x,y)=d(x+z,y+z)$ for all vectors $x,y,z\in X.$

Suppose $(X,\tau )$ is pseudometrizable TVS (for example, a metrizable TVS) and that $p$ is Template:Em pseudometric on $X$ such that the topology on $X$ induced by $p$ is equal to $\tau .$ If $p$ is translation-invariant, then $(X,\tau )$ is a complete TVS if and only if $(X,p)$ is a complete pseudometric space.Template:Sfn If $p$ is Template:Em translation-invariant, then may be possible for $(X,\tau )$ to be a complete TVS but $(X,p)$ to Template:Em be a complete pseudometric spaceTemplate:Sfn (see this footnote for an example).Template:Sfn

Complete norms and equivalent norms

Two norms on a vector space are called equivalent if and only if they induce the same topology. If $p$ and $q$ are two equivalent norms on a vector space $X$ then the normed space $(X,p)$ is a Banach space if and only if $(X,q)$ is a Banach space. See this footnote for an example of a continuous norm on a Banach space that is Template:Em equivalent to that Banach space's given norm. All norms on a finite-dimensional vector space are equivalent and every finite-dimensional normed space is a Banach space. Every Banach space is a complete TVS. A normed space is a Banach space (that is, its canonical norm-induced metric is complete) if and only if it is complete as a topological vector space.

Completions

A completionTemplate:Sfn of a TVS $X$ is a complete TVS that contains a dense vector subspace that is TVS-isomorphic to $X.$ In other words, it is a complete TVS $C$ into which $X$ can be TVS-embedded as a dense vector subspace. Every TVS-embedding is a uniform embedding.

Every topological vector space has a completion. Moreover, every Hausdorff TVS has a Template:Em completion, which is necessarily unique up to TVS-isomorphism. However, all TVSs, even those that are Hausdorff, (already) complete, and/or metrizable have infinitely many non-Hausdorff completions that are Template:Em TVS-isomorphic to one another.

Examples of completions

For example, the vector space consisting of scalar-valued simple functions $f$ for which $|f{|}_p<\mathrm{\infty }$ (where this seminorm is defined in the usual way in terms of Lebesgue integration) becomes a seminormed space when endowed with this seminorm, which in turn makes it into both a pseudometric space and a non-Hausdorff non-complete TVS; any completion of this space is a non-Hausdorff complete seminormed space that when quotiented by the closure of its origin (so as to obtain a Hausdorff TVS) results in (a space linearly isometrically-isomorphic to) the usual complete Hausdorff $L^p$-space (endowed with the usual complete $\Vert \cdot {\Vert }_p$ norm).

As another example demonstrating the usefulness of completions, the completions of topological tensor products, such as projective tensor products or injective tensor products, of the Banach space ${\ell }^1(S)$ with a complete Hausdorff locally convex TVS $Y$ results in a complete TVS that is TVS-isomorphic to a "generalized" ${\ell }^1(S;Y)$-space consisting $Y$-valued functions on $S$ (where this "generalized" TVS is defined analogously to original space ${\ell }^1(S)$ of scalar-valued functions on $S$). Similarly, the completion of the injective tensor product of the space of scalar-valued $C^k$-test functions with such a TVS $Y$ is TVS-isomorphic to the analogously defined TVS of $Y$-valued $C^k$ test functions.

Non-uniqueness of all completions

As the example below shows, regardless of whether or not a space is Hausdorff or already complete, every topological vector space (TVS) has infinitely many non-isomorphic completions.Template:Sfn

However, every Hausdorff TVS has a Template:Em completion that is unique up to TVS-isomorphism.Template:Sfn But nevertheless, every Hausdorff TVS still has infinitely many non-isomorphic non-Hausdorff completions.

Example (Non-uniqueness of completions):Template:Sfn Let $C$ denote any complete TVS and let $I$ denote any TVS endowed with the indiscrete topology, which recall makes $I$ into a complete TVS. Since both $I$ and $C$ are complete TVSs, so is their product $I\times C.$ If $U$ and $V$ are non-empty open subsets of $I$ and $C,$ respectively, then $U=I$ and $(U\times V)\cap (\{0\}\times C)=\{0\}\times V\ne \varnothing ,$ which shows that $\{0\}\times C$ is a dense subspace of $I\times C.$ Thus by definition of "completion," $I\times C$ is a completion of $\{0\}\times C$ (it doesn't matter that $\{0\}\times C$ is already complete). So by identifying $\{0\}\times C$ with $C,$ if $X\subseteq C$ is a dense vector subspace of $C,$ then $X$ has both $C$ and $I\times C$ as completions.

Hausdorff completions

Every Hausdorff TVS has a Template:Em completion that is unique up to TVS-isomorphism.Template:Sfn But nevertheless, as shown above, every Hausdorff TVS still has infinitely many non-isomorphic non-Hausdorff completions.

Existence of Hausdorff completions

A Cauchy filter $ℬ$ on a TVS $X$ is called a Template:Visible anchorTemplate:Sfn if there does Template:Em exist a Cauchy filter on $X$ that is strictly coarser than $ℬ$ (that is, "strictly coarser than $ℬ$" means contained as a proper subset of $ℬ$).

If $ℬ$ is a Cauchy filter on $X$ then the filter generated by the following prefilter: $$\{B+N:B\in ℬ\text{ and }N\text{ is a neighborhood of }0\text{ in }X\}$$ is the unique minimal Cauchy filter on $X$ that is contained as a subset of $ℬ.$Template:Sfn In particular, for any $x\in X,$ the neighborhood filter at $x$ is a minimal Cauchy filter.

Let $𝕄$ be the set of all minimal Cauchy filters on $X$ and let $E:X\to 𝕄$ be the map defined by sending $x\in X$ to the neighborhood filter of $x$ in $X.$ Endow $𝕄$ with the following vector space structure: Given $ℬ,𝒞\in 𝕄$ and a scalar $s,$ let $ℬ+𝒞$ (resp. $sℬ$) denote the unique minimal Cauchy filter contained in the filter generated by $\{B+C:B\in ℬ,C\in 𝒞\}$ (resp. $\{sB:B\in ℬ\}$).

For every balanced neighborhood $N$ of the origin in $X,$ let $$𝕌(N)\stackrel{\text{def}}{=}\{ℬ\in 𝕄:\text{ there exist }B\in ℬ\text{ and a neighborhood }V\text{ of the origin in }X\text{ such that }B+V\subseteq N\}$$

If $X$ is Hausdorff then the collection of all sets $𝕌(N),$ as $N$ ranges over all balanced neighborhoods of the origin in $X,$ forms a vector topology on $𝕄$ making $𝕄$ into a complete Hausdorff TVS. Moreover, the map $E:X\to 𝕄$ is a TVS-embedding onto a dense vector subspace of $𝕄.$Template:Sfn

If $X$ is a metrizable TVS then a Hausdorff completion of $X$ can be constructed using equivalence classes of Cauchy sequences instead of minimal Cauchy filters.

Non-Hausdorff completions

This subsection details how every non-Hausdorff TVS $X$ can be TVS-embedded onto a dense vector subspace of a complete TVS. The proof that every Hausdorff TVS has a Hausdorff completion is widely available and so this fact will be used (without proof) to show that every non-Hausdorff TVS also has a completion. These details are sometimes useful for extending results from Hausdorff TVSs to non-Hausdorff TVSs.

Let $I=\mathrm{cl}\{0\}$ denote the closure of the origin in $X,$ where $I$ is endowed with its subspace topology induced by $X$ (so that $I$ has the indiscrete topology). Since $I$ has the trivial topology, it is easily shown that every vector subspace of $X$ that is an algebraic complement of $I$ in $X$ is necessarily a topological complement of $I$ in $X.$Template:SfnTemplate:Sfn Let $H$ denote any topological complement of $I$ in $X,$ which is necessarily a Hausdorff TVS (since it is TVS-isomorphic to the quotient TVS $X/I$). Since $X$ is the topological direct sum of $I$ and $H$ (which means that $X=I\oplus H$ in the category of TVSs), the canonical map $$I\times H\to I\oplus H=X\text{ given by }(x,y)\mapsto x+y$$ is a TVS-isomorphism.Template:Sfn Let $A:X=I\oplus H\to I\times H$ denote the inverse of this canonical map. (As a side note, it follows that every open and every closed subset $U$ of $X$ satisfies $U=I+U.$)

The Hausdorff TVS $H$ can be TVS-embedded, say via the map ${\mathrm{In}}_H:H\to C,$ onto a dense vector subspace of its completion $C.$ Since $I$ and $C$ are complete, so is their product $I\times C.$ Let ${\mathrm{Id}}_I:I\to I$ denote the identity map and observe that the product map ${\mathrm{Id}}_I\times {\mathrm{In}}_H:I\times H\to I\times C$ is a TVS-embedding whose image is dense in $I\times C.$ Define the map $$B:X=I\oplus H\to I\times C\text{ by }B\stackrel{\text{def}}{=}({\mathrm{Id}}_I\times {\mathrm{In}}_H)\circ A$$ which is a TVS-embedding of $X=I\oplus H$ onto a dense vector subspace of the complete TVS $I\times C.$ Moreover, observe that the closure of the origin in $I\times C$ is equal to $I\times \{0\},$ and that $I\times \{0\}$ and $\{0\}\times C$ are topological complements in $I\times C.$

To summarize,Template:Sfn given any algebraic (and thus topological) complement $H$ of $I\stackrel{\text{def}}{=}\mathrm{cl}\{0\}$ in $X$ and given any completion $C$ of the Hausdorff TVS $H$ such that $H\subseteq C,$ then the natural inclusion $${\mathrm{In}}_H:X=I\oplus H\to I\oplus C$$ is a well-defined TVS-embedding of $X$ onto a dense vector subspace of the complete TVS $I\oplus C$ where moreover, $$X=I\oplus H\subseteq I\oplus C\cong I\times C.$$

Topology of a completion

Said differently, if $C$ is a completion of a TVS $X$ with $X\subseteq C$ and if $𝒩$ is a neighborhood base of the origin in $X,$ then the family of sets $$\{{\mathrm{cl}}_{C}N:N\in 𝒩\}$$ is a neighborhood basis at the origin in $C.$Template:Sfn

Grothendieck's Completeness Theorem

Let $ℰ$ denote the Template:Em on the continuous dual space $X^{\prime },$ which by definition consists of all equicontinuous weak-* closed and weak-* bounded absolutely convex subsets of $X^{\prime }$Template:Sfn (which are necessarily weak-* compact subsets of $X^{\prime }$). Assume that every $E^{\prime }\in ℰ$ is endowed with the weak-* topology. A filter $ℬ$ on $X^{\prime }$ is said to Template:Em to $x^{\prime }\in X^{\prime }$ if there exists some $E^{\prime }\in ℰ\cap ℬ$ containing $x^{\prime }$ (that is, $x^{\prime }\in E^{\prime }$) such that the trace of $ℬ$ on $E^{\prime },$ which is the family $ℬ{|}_{E^{\prime }}\stackrel{\text{def}}{=}\{B\cap E^{\prime }:B\in ℬ\},$ converges to $x^{\prime }$ in $E^{\prime }$ (that is, if $ℬ{|}_{E^{\prime }}\to x^{\prime }$ in the given weak-* topology).Template:Sfn The filter $ℬ$ converges continuously to $x^{\prime }$ if and only if $ℬ-x^{\prime }$ converges continuously to the origin, which happens if and only if for every $x\in X,$ the filter $⟨ℬ,x+𝒩⟩\to ⟨x^{\prime },x⟩$ in the scalar field (which is $ℝ$ or $ℂ$) where $𝒩$ denotes any neighborhood basis at the origin in $X,$ $⟨\cdot ,\cdot ⟩$ denotes the duality pairing, and $⟨ℬ,x+𝒩⟩$ denotes the filter generated by $\{⟨B,x+N⟩:B\in ℬ,N\in 𝒩\}.$Template:Sfn A map $f:X^{\prime }\to T$ into a topological space (such as $ℝ$ or $ℂ$) is said to be Template:Em if whenever a filter $ℬ$ on $X^{\prime }$ converges continuously to $x^{\prime }\in X^{\prime },$ then $f(ℬ)\to f\left(x^{\prime }\right).$Template:Sfn

Properties preserved by completions

If a TVS $X$ has any of the following properties then so does its completion:

• Hausdorff
• Locally convex
• PseudometrizableTemplate:Sfn
• MetrizableTemplate:Sfn
• Seminormable
• Normable
  • Moreover, if $(X,p)$ is a normed space, then the completion can be chosen to be a Banach space $(B,q)$ such that the TVS-embedding of $(X,p)$ into $(B,q)$ is an isometry.
• Hausdorff pre-Hilbert. That is, a TVS induced by an inner product.Template:Sfn
• NuclearTemplate:Sfn
• BarrelledTemplate:Sfn
• MackeyTemplate:Sfn
• DF-spaceTemplate:Sfn

Completions of Hilbert spaces

Every inner product space $(H,⟨\cdot ,\cdot ⟩)$ has a completion $(\bar{H},⟨\cdot ,\cdot {⟩}_{\bar{H}})$ that is a Hilbert space, where the inner product $⟨\cdot ,\cdot {⟩}_{\bar{H}}$ is the unique continuous extension to $\bar{H}$ of the original inner product $⟨\cdot ,\cdot ⟩.$ The norm induced by $(\bar{H},⟨\cdot ,\cdot {⟩}_{\bar{H}})$ is also the unique continuous extension to $\bar{H}$ of the norm induced by $⟨\cdot ,\cdot ⟩.$Template:SfnTemplate:Sfn

Other preserved properties

If $X$ is a Hausdorff TVS, then the continuous dual space of $X$ is identical to the continuous dual space of the completion of $X.$Template:Sfn The completion of a locally convex bornological space is a barrelled space.Template:Sfn If $X$ and $Y$ are DF-spaces then the projective tensor product, as well as its completion, of these spaces is a DF-space.Template:Sfn

The completion of the projective tensor product of two nuclear spaces is nuclear.Template:Sfn The completion of a nuclear space is TVS-isomorphic with a projective limit of Hilbert spaces.Template:Sfn

If $X=Y\oplus Z$ (meaning that the addition map $Y\times Z\to X$ is a TVS-isomorphism) has a Hausdorff completion $C$ then $\left({\mathrm{cl}}_{C}Y\right)+\left({\mathrm{cl}}_{C}Z\right)=C.$ If in addition $X$ is an inner product space and $Y$ and $Z$ are orthogonal complements of each other in $X$ (that is, $⟨Y,Z⟩=\{0\}$), then ${\mathrm{cl}}_{C}Y$ and ${\mathrm{cl}}_{C}Z$ are orthogonal complements in the Hilbert space $C.$

Properties of maps preserved by extensions to a completion

If $f:X\to Y$ is a nuclear linear operator between two locally convex spaces and if $C$ be a completion of $X$ then $f$ has a unique continuous linear extension to a nuclear linear operator $F:C\to Y.$Template:Sfn

Let $X$ and $Y$ be two Hausdorff TVSs with $Y$ complete. Let $C$ be a completion of $X.$ Let $L(X;Y)$ denote the vector space of continuous linear operators and let $I:L(X;Y)\to L(C;Y)$ denote the map that sends every $f\in L(X;Y)$ to its unique continuous linear extension on $C.$ Then $I:L(X;Y)\to L(C;Y)$ is a (surjective) vector space isomorphism. Moreover, $I:L(X;Y)\to L(C;Y)$ maps families of equicontinuous subsets onto each other. Suppose that $L(X;Y)$ is endowed with a $𝒢$-topology and that $\mathscr{H}$ denotes the closures in $C$ of sets in $𝒢.$ Then the map $I:L_{𝒢}(X;Y)\to L_{\mathscr{H}}(C;Y)$ is also a TVS-isomorphism.Template:Sfn

Examples and sufficient conditions for a complete TVS

• Any TVS endowed with the trivial topology is complete and every one of its subsets is complete. Moreover, every TVS with the trivial topology is compact and hence locally compact. Thus a complete seminormable locally convex and locally compact TVS need not be finite-dimensional if it is not Hausdorff.
• An arbitrary product of complete (resp. sequentially complete, quasi-complete) TVSs has that same property. If all spaces are Hausdorff, then the converses are also true.Template:Sfn A product of Hausdorff completions of a family of (Hausdorff) TVSs is a Hausdorff completion of their product TVS.Template:Sfn More generally, an arbitrary product of complete subsets of a family of TVSs is a complete subset of the product TVS.Template:Sfn
• The projective limit of a projective system of Hausdorff complete (resp. sequentially complete, quasi-complete) TVSs has that same property.Template:Sfn A projective limit of Hausdorff completions of an inverse system of (Hausdorff) TVSs is a Hausdorff completion of their projective limit.Template:Sfn
• If $M$ is a closed vector subspace of a complete pseudometrizable TVS $X,$ then the quotient space $X/M$ is complete.Template:Sfn
• Suppose $M$ is a Template:Em vector subspace of a metrizable TVS $X.$ If the quotient space $X/M$ is complete then so is $X.$Template:SfnTemplate:Sfn However, there exists a complete TVS $X$ having a closed vector subspace $M$ such that the quotient TVS $X/M$ is Template:Em complete.Template:Sfn
• Every F-space, Fréchet space, Banach space, and Hilbert space is a complete TVS.
• Strict LF-spaces and strict LB-spaces are complete.Template:Sfn
• Suppose that $D$ is a dense subset of a TVS $X.$ If every Cauchy filter on $D$ converges to some point in $X$ then $X$ is complete.Template:Sfn
• The Schwartz space of smooth functions is complete.
• The spaces of distributions and test functions is complete.
• Suppose that $X$ and $Y$ are locally convex TVSs and that the space of continuous linear maps $L_b(X;Y)$ is endowed with the topology of uniform convergence on bounded subsets of $X.$ If $X$ is a bornological space and if $Y$ is complete then $L_b(X;Y)$ is a complete TVS.Template:Sfn In particular, the strong dual of a bornological space is complete.Template:Sfn However, it need not be bornological.
• Every quasi-complete DF-space is complete.Template:Sfn
• Let $\omega$ and $\tau$ be Hausdorff TVS topologies on a vector space $X$ such that $\omega \subseteq \tau .$ If there exists a prefilter $ℬ$ such that $ℬ$ is a neighborhood basis at the origin for $(X,\tau )$ and such that every $B\in ℬ$ is a complete subset of $(X,\omega ),$ then $(X,\tau )$ is a complete TVS.Template:Sfn

Properties

Complete TVSs

Every TVS has a completion and every Hausdorff TVS has a Hausdorff completion.Template:Sfn Every complete TVS is quasi-complete space and sequentially complete.Template:Sfn However, the converses of the above implications are generally false.Template:Sfn There exists a sequentially complete locally convex TVS that is not quasi-complete.Template:Sfn

If a TVS has a complete neighborhood of the origin then it is complete.Template:Sfn Every complete [[Metrizable topological vector space|Template:Emmetrizable TVS]] is a barrelled space and a Baire space (and thus non-meager).Template:Sfn The dimension of a complete metrizable TVS is either finite or uncountable.Template:Sfn

Cauchy nets and prefilters

Any neighborhood basis of any point in a TVS is a Cauchy prefilter.

Every convergent net (respectively, prefilter) in a TVS is necessarily a Cauchy net (respectively, a Cauchy prefilter).Template:Sfn Any prefilter that is subordinate to (that is, finer than) a Cauchy prefilter is necessarily also a Cauchy prefilterTemplate:Sfn and any prefilter finer than a Cauchy prefilter is also a Cauchy prefilter. The filter associated with a sequence in a TVS is Cauchy if and only if the sequence is a Cauchy sequence. Every convergent prefilter is a Cauchy prefilter.

If $X$ is a TVS and if $x\in X$ is a cluster point of a Cauchy net (respectively, Cauchy prefilter), then that Cauchy net (respectively, that Cauchy prefilter) converges to $x$ in $X.$Template:Sfn If a Cauchy filter in a TVS has an accumulation point $x$ then it converges to $x.$

Uniformly continuous maps send Cauchy nets to Cauchy nets.Template:Sfn A Cauchy sequence in a Hausdorff TVS $X,$ when considered as a set, is not necessarily relatively compact (that is, its closure in $X$ is not necessarily compact) although it is precompact (that is, its closure in the completion of $X$ is compact).

Every Cauchy sequence is a bounded subset but this is not necessarily true of Cauchy net. For example, let $\mathbb{N}$ have it usual order, let $\le$ denote any preorder on the non-indiscrete TVS $X$ (that is, $X$ does not have the trivial topology; it is also assumed that $X\cap \mathbb{N}=\varnothing$) and extend these two preorders to the union $I\stackrel{\text{def}}{=}X\cup \mathbb{N}$ by declaring that $x\le n$ holds for every $x\in X$ and $n\in \mathbb{N}.$ Let $f:I\to X$ be defined by $f(i)=i$ if $i\in X$ and $f(i)=0$ otherwise (that is, if $i\in \mathbb{N}$), which is a net in $X$ since the preordered set $(I,\le )$ is directed (this preorder on $I$ is also partial order (respectively, a total order) if this is true of $(X,\le )$). This net $f$ is a Cauchy net in $X$ because it converges to the origin, but the set $\{f(i):i\in I\}=X$ is not a bounded subset of $X$ (because $X$ does not have the trivial topology).

Suppose that $X_{\bullet }={\left(X_i\right)}_{i\in I}$ is a family of TVSs and that $X$ denotes the product of these TVSs. Suppose that for every index $i,$ ${ℬ}_i$ is a prefilter on $X_i.$ Then the product of this family of prefilters is a Cauchy filter on $X$ if and only if each ${ℬ}_i$ is a Cauchy filter on $X_i.$Template:Sfn

Maps

If $f:X\to Y$ is an injective topological homomorphism from a complete TVS into a Hausdorff TVS then the image of $f$ (that is, $f(X)$) is a closed subspace of $Y.$Template:Sfn If $f:X\to Y$ is a topological homomorphism from a complete metrizable TVS into a Hausdorff TVS then the range of $f$ is a closed subspace of $Y.$Template:Sfn If $f:X\to Y$ is a uniformly continuous map between two Hausdorff TVSs then the image under $f$ of a totally bounded subset of $X$ is a totally bounded subset of $Y.$Template:Sfn

Uniformly continuous extensions

Suppose that $f:D\to Y$ is a uniformly continuous map from a dense subset $D$ of a TVS $X$ into a complete Hausdorff TVS $Y.$ Then $f$ has a unique uniformly continuous extension to all of $X.$Template:Sfn If in addition $f$ is a homomorphism then its unique uniformly continuous extension is also a homomorphism.Template:Sfn This remains true if "TVS" is replaced by "commutative topological group."Template:Sfn The map $f$ is not required to be a linear map and that $D$ is not required to be a vector subspace of $X.$

Uniformly continuous linear extensions

Suppose $f:X\to Y$ be a continuous linear operator between two Hausdorff TVSs. If $M$ is a dense vector subspace of $X$ and if the restriction $f{|}_M:M\to Y$ to $M$ is a topological homomorphism then $f:X\to Y$ is also a topological homomorphism.Template:Sfn So if $C$ and $D$ are Hausdorff completions of $X$ and $Y,$ respectively, and if $f:X\to Y$ is a topological homomorphism, then $f$'s unique continuous linear extension $F:C\to D$ is a topological homomorphism. (Note that it's possible for $f:X\to Y$ to be surjective but for $F:C\to D$ to Template:Em be injective.)Template:Sfn

Suppose $X$ and $Y$ are Hausdorff TVSs, $M$ is a dense vector subspace of $X,$ and $N$ is a dense vector subspaces of $Y.$ If $M$ are and $N$ are topologically isomorphic additive subgroups via a topological homomorphism $f$ then the same is true of $X$ and $Y$ via the unique uniformly continuous extension of $f$ (which is also a homeomorphism).Template:Sfn

Subsets

Complete subsets

Every complete subset of a TVS is sequentially complete. A complete subset of a Hausdorff TVS $X$ is a closed subset of $X.$Template:SfnTemplate:Sfn

Every compact subset of a TVS is complete (even if the TVS is not Hausdorff or not complete).Template:SfnTemplate:Sfn Closed subsets of a complete TVS are complete; however, if a TVS $X$ is not complete then $X$ is a closed subset of $X$ that is not complete. The empty set is complete subset of every TVS. If $C$ is a complete subset of a TVS (the TVS is not necessarily Hausdorff or complete) then any subset of $C$ that is closed in $C$ is complete.Template:Sfn

Topological complements

If $X$ is a non-normable Fréchet space on which there exists a continuous norm then $X$ contains a closed vector subspace that has no topological complement.Template:Sfn If $X$ is a complete TVS and $M$ is a closed vector subspace of $X$ such that $X/M$ is not complete, then $H$ does Template:Em have a topological complement in $X.$Template:Sfn

Subsets of completions

Let $M$ be a separable locally convex metrizable topological vector space and let $C$ be its completion. If $S$ is a bounded subset of $C$ then there exists a bounded subset $R$ of $X$ such that $S\subseteq {\mathrm{cl}}_{C}R.$Template:Sfn

Relation to compact subsets

A subset of a TVS (Template:Em assumed to be Hausdorff or complete) is compact if and only if it is complete and totally bounded.Template:Sfn Thus a closed and totally bounded subset of a complete TVS is compact.Template:SfnTemplate:Sfn

In a Hausdorff locally convex TVS, the convex hull of a precompact set is again precompact.Template:Sfn Consequently, in a complete locally convex Hausdorff TVS, the closed convex hull of a compact subset is again compact.Template:Sfn

The convex hull of compact subset of a Hilbert space is Template:Em necessarily closed and so also Template:Em necessarily compact. For example, let $H$ be the separable Hilbert space ${\ell }^2(\mathbb{N})$ of square-summable sequences with the usual norm $\Vert \cdot {\Vert }_2$ and let $e_n=(0,\dots ,0,1,0,\dots )$ be the standard orthonormal basis (that is $1$ at the $n^{\text{th}}$-coordinate). The closed set $S=\{0\}\cup \left\{\frac{1}{n}{e}_n\right\}$ is compact but its convex hull $\mathrm{co}S$ is Template:Em a closed set because $h:=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{2^n}\frac{1}{n}{e}_n$ belongs to the closure of $\mathrm{co}S$ in $H$ but $h\in ̸\mathrm{co}S$ (since every sequence $z\in \mathrm{co}S$ is a finite convex combination of elements of $S$ and so is necessarily $0$ in all but finitely many coordinates, which is not true of $h$).Template:Sfn However, like in all complete Hausdorff locally convex spaces, the Template:Em convex hull $K:=\overline{\mathrm{co}}S$ of this compact subset is compact.Template:Sfn The vector subspace $X:=\mathrm{span}S$ is a pre-Hilbert space when endowed with the substructure that the Hilbert space $H$ induces on it but $X$ is not complete and $h\in ̸K\cap X$ (since $h\in ̸X$). The closed convex hull of $S$ in $X$ (here, "closed" means with respect to $X,$ and not to $H$ as before) is equal to $K\cap X,$ which is not compact (because it is not a complete subset). This shows that in a Hausdorff locally convex space that is not complete, the closed convex hull of compact subset might Template:Em to be compact (although it will be precompact/totally bounded).

Every complete totally bounded set is relatively compact.Template:Sfn If $X$ is any TVS then the quotient map $q:X\to X/{\mathrm{cl}}_X\{0\}$ is a closed mapTemplate:Sfn and thus $S+{\mathrm{cl}}_X\{0\}\subseteq {\mathrm{cl}}_{X}S$ A subset $S$ of a TVS $X$ is totally bounded if and only if its image under the canonical quotient map $q:X\to X/{\mathrm{cl}}_X\{0\}$ is totally bounded.Template:Sfn Thus $S$ is totally bounded if and only if $S+{\mathrm{cl}}_X\{0\}$ is totally bounded. In any TVS, the closure of a totally bounded subset is again totally bounded.Template:Sfn In a locally convex space, the convex hull and the disked hull of a totally bounded set is totally bounded.Template:Sfn If $S$ is a subset of a TVS $X$ such that every sequence in $S$ has a cluster point in $S$ then $S$ is totally bounded.Template:Sfn A subset $S$ of a Hausdorff TVS $X$ is totally bounded if and only if every ultrafilter on $S$ is Cauchy, which happens if and only if it is pre-compact (that is, its closure in the completion of $X$ is compact).Template:Sfn

If $S\subseteq X$ is compact, then ${\mathrm{cl}}_{X}S=S+{\mathrm{cl}}_X\{0\}$ and this set is compact. Thus the closure of a compact set is compact (that is, all compact sets are relatively compact).Template:Sfn Thus the closure of a compact set is compact. Every relatively compact subset of a Hausdorff TVS is totally bounded.Template:Sfn

In a complete locally convex space, the convex hull and the disked hull of a compact set are both compact.Template:Sfn More generally, if $K$ is a compact subset of a locally convex space, then the convex hull $\mathrm{co}K$ (resp. the disked hull $\mathrm{cobal}K$) is compact if and only if it is complete.Template:Sfn Every subset $S$ of ${\mathrm{cl}}_X\{0\}$ is compact and thus complete. In particular, if $X$ is not Hausdorff then there exist compact complete sets that are not closed.Template:Sfn

See also

• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link

Notes

Proofs

Bibliography

• Template:Adasch Topological Vector Spaces
• Template:Aliprantis Border Infinite Dimensional Analysis A Hitchhiker's Guide Third Edition
• Template:Arkhangel'skii Ponomarev Fundamentals of General Topology Problems and Exercises
• Template:Berberian Lectures in Functional Analysis and Operator Theory
• Template:Bogachev Smolyanov Topological Vector Spaces and Their Applications
• Template:Bourbaki General Topology Part I Chapters 1-4
• Template:Bourbaki Topological Vector Spaces Part 1 Chapters 1–5
• Template:Conway A Course in Functional Analysis
• Template:Dixmier General Topology
• Template:Dolecki Mynard Convergence Foundations Of Topology
• Template:Dugundji Topology
• Template:Dunford Schwartz Linear Operators Part 1 General Theory
• Template:Edwards Functional Analysis Theory and Applications
• Template:Grothendieck Topological Vector Spaces
• Template:Horváth Topological Vector Spaces and Distributions Volume 1 1966
• Template:Husain Khaleelulla Barrelledness in Topological and Ordered Vector Spaces
• Template:Jarchow Locally Convex Spaces
• Template:Joshi Introduction to General Topology
• Template:Khaleelulla Counterexamples in Topological Vector Spaces
• Template:Köthe Topological Vector Spaces I
• Template:Köthe Topological Vector Spaces II
• Template:Citation
• Template:Narici Beckenstein Topological Vector Spaces
• Template:Osborne Locally Convex Spaces
• Template:Robertson Topological Vector Spaces
• Template:Schaefer Wolff Topological Vector Spaces
• Template:Schechter Handbook of Analysis and Its Foundations
• Template:Schubert Topology
• Template:Swartz An Introduction to Functional Analysis
• Template:Trèves François Topological vector spaces, distributions and kernels
• Template:Voigt A Course on Topological Vector Spaces
• Template:Wilansky Modern Methods in Topological Vector Spaces
• Template:Willard General Topology
• Template:Zălinescu Convex Analysis in General Vector Spaces 2002