Kolmogorov's normability criterion

In mathematics, Kolmogorov's normability criterion is a theorem that provides a necessary and sufficient condition for a topological vector space to be normable, i.e. for the existence of a norm on the space that generates the given topology.[1][2] The normability criterion can be seen as a result in same vein as the Nagata–Smirnov metrization theorem, which gives a necessary and sufficient condition for a topological space to be metrizable. The result was proved by the Russian mathematician Andrey Nikolayevich Kolmogorov in 1934.[3][4][5]

Statement of the theorem

It may be helpful to first recall the following terms:

• A topological vector space is a vector space ${\displaystyle X}$ equipped with a topology ${\displaystyle {\mathcal {T}}}$ such that the vector space operations of scalar multiplication and vector addition are continuous.
• A topological vector space ${\displaystyle (X,{\mathcal {T}})}$ is called normable if there is a norm ${\displaystyle \|\cdot \|\colon X\to \mathbb {R} }$ on ${\displaystyle X}$ such that the open balls of the norm ${\displaystyle \|\cdot \|}$ generate the given topology ${\displaystyle {\mathcal {T}}}$. (Note well that a given normable topological vector space might admit multiple such norms.)
• A topological space ${\displaystyle (X,{\mathcal {T}})}$ is called a T₁ space if, for every two distinct points ${\displaystyle x,y\in X}$, there is an open neighbourhood ${\displaystyle U_{x}}$ of ${\displaystyle x}$ that does not contain ${\displaystyle y}$. In a topological vector space, this is equivalent to requiring that, for every ${\displaystyle x\neq 0}$, there is an open neighbourhood of the origin not containing ${\displaystyle x}$. Note that being T₁ is weaker than being a Hausdorff space, in which every two distinct points ${\displaystyle x,y\in X}$ admit open neighbourhoods ${\displaystyle U_{x}}$ of ${\displaystyle x}$ and ${\displaystyle U_{y}}$ of ${\displaystyle y}$ with ${\displaystyle U_{x}\cap U_{y}=\varnothing }$; since normed and normable spaces are always Hausdorff, it is a “surprise” that the theorem only requires T₁.
• A subset ${\displaystyle A}$ of a vector space ${\displaystyle X}$ is a convex set if, for any two points ${\displaystyle x,y\in A}$, the line segment joining them lies wholly within ${\displaystyle A}$, i.e., for all ${\displaystyle 0\leq t\leq 1}$, ${\displaystyle (1-t)x+ty\in A}$.
• A subset ${\displaystyle A}$ of a topological vector space ${\displaystyle (X,{\mathcal {T}})}$ is a bounded set if, for every open neighbourhood ${\displaystyle U}$ of the origin, there exists a scalar ${\displaystyle \lambda }$ so that ${\displaystyle A\subseteq \lambda U}$. (One can think of ${\displaystyle U}$ as being “small” and ${\displaystyle \lambda }$ as being “big enough” to inflate ${\displaystyle U}$ to cover ${\displaystyle A}$.)

Expressed in these terms, Kolmogorov's normability criterion is as follows:

Theorem. A topological vector space ${\displaystyle (X,{\mathcal {T}})}$ is normable if and only if it is a T₁ space and admits a bounded convex neighbourhood of the origin.

See also

• Locally convex topological vector space – Type of topological vector space
• Normed space
• Topological vector space – Vector space with a notion of continuity

References

1. Papageorgiou, Nikolaos S.; Winkert, Patrick (2018). Applied Nonlinear Functional Analysis: An Introduction. Walter de Gruyter. Theorem 3.1.41 (Kolmogorov's Normability Criterion). ISBN 9783110531831.
2. Edwards, R. E. (2012). "Section 1.10.7: Kolmagorov's Normability Criterion". Functional Analysis: Theory and Applications. Dover Books on Mathematics. Courier Corporation. pp. 85–86. ISBN 9780486145105.
3. Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics, No. 15. New York-Heidelberg: Springer-Verlag. ISBN 0387900802.
4. Kolmogorov, A. N. (1934). "Zur Normierbarkeit eines allgemeinen topologischen linearen Räumes". Studia Math. 5.
5. Tikhomirov, Vladimir M. (2007). "Geometry and approximation theory in A. N. Kolmogorov's works". In Charpentier, Éric; Lesne, Annick; Nikolski, Nikolaï K. (eds.). Kolmogorov's Heritage in Mathematics. Berlin: Springer. pp. 151–176. doi:10.1007/978-3-540-36351-4_8. (See Section 8.1.3)