Urysohn universal space

Not to be confused with Urysohn space.

In mathematics, the Urysohn universal space is a certain metric space that contains all separable metric spaces in a particularly nice manner. This concept is due to Pavel Urysohn, who presented an explicit construction. Another construction was subsequently developed by Felix Hausdorff and a more general notion was discussed by Miroslav Katětov. ^[1]

Definition

A metric space ${\displaystyle (U,d)}$ is called Urysohn universal ^[2] if it is separable, complete, and has the following property:

given any finite metric space ${\displaystyle X}$, a point ${\displaystyle x}$ in ${\displaystyle X}$, and any isometric embedding ${\displaystyle f:X\setminus \{x\}\to U}$, there exists an isometric embedding ${\displaystyle F:X\to U}$ that extends ${\displaystyle f}$, i.e. such that ${\displaystyle F(y)=f(y)}$ for all ${\displaystyle y}$ in ${\displaystyle X\setminus \{x\}}$.

Properties

If ${\displaystyle U}$ is Urysohn universal and ${\displaystyle X}$ is any separable metric space, then there exists an isometric embedding ${\displaystyle f:X\to U}$. Other spaces share this property: for instance, the space ${\displaystyle \ell ^{\infty }}$ of all bounded real sequences with the supremum norm admits isometric embeddings of all separable metric spaces ("Fréchet embedding"), as does the space ${\displaystyle C[0,1]}$ of all continuous functions ${\displaystyle [0,1]\to \mathbb {R} }$, again with the supremum norm, a result due to Stefan Banach.

Furthermore, every isometry between finite subsets of ${\displaystyle U}$ extends to an isometry of ${\displaystyle U}$ onto itself. This kind of "homogeneity" actually characterizes Urysohn universal spaces: A separable complete metric space that contains an isometric image of every separable metric space is Urysohn universal if and only if it is homogeneous in this sense.

Existence and uniqueness

Urysohn proved that a Urysohn universal space exists, and that any two Urysohn universal spaces are isometric. This can be seen as follows: let ${\displaystyle (X,d),(X',d')}$ be two Urysohn universal spaces. These are separable, so fix countable dense subsets ${\displaystyle (x_{n})_{n}}$ and ${\displaystyle (x'_{n})_{n}}$ in ${\displaystyle X}$ and ${\displaystyle X'}$ respectively. These must be properly infinite, so by a back-and-forth argument, one can step-wise construct partial isometries ${\displaystyle \phi _{n}:X\to X'}$ whose domain (resp. range) contains ${\displaystyle \{x_{k}:k<n\}}$ (resp. ${\displaystyle \{x'_{k}:k<n\}}$). The union of these maps defines a partial isometry ${\displaystyle \phi :X\to X'}$ whose domain (resp. range) are dense in the respective spaces. And such maps extend (uniquely) to isometries, since a Urysohn universal space is required to be complete.

See also

• Universal space
• Menger sponge § Properties (also known as the "Menger universal curve")

References

1. Hušek, Miroslav (2008). "Urysohn universal space, its development and Hausdorff's approach". Topology and its Applications . 155 (14): 1493–1501. doi:10.1016/j.topol.2008.03.020.
2. Juha Heinonen (January 2003), Geometric embeddings of metric spaces , retrieved 6 January 2009