Separable space

In

${\displaystyle \{x_{n}\}_{n=1}^{\infty }}$ of elements of the space such that every nonempty

open subset

of the space contains at least one element of the sequence.

Like the other

on a separable space whose image is a subset of a Hausdorff space is determined by its values on the countable dense subset.

Contrast separability with the related notion of

metrizable

spaces.

First examples

Any topological space that is itself

rational numbers

form a countable dense subset. Similarly the set of all length-${\displaystyle n}$ vectors of rational numbers, ${\displaystyle {\boldsymbol {r}}=(r_{1},\ldots ,r_{n})\in \mathbb {Q} ^{n}}$, is a countable dense subset of the set of all length-${\displaystyle n}$ vectors of real numbers, ${\displaystyle \mathbb {R} ^{n}}$; so for every ${\displaystyle n}$, ${\displaystyle n}$-dimensional Euclidean space is separable.

A simple example of a space that is not separable is a discrete space of uncountable cardinality.

Further examples are given below.

Separability versus second countability

Any second-countable space is separable: if ${\displaystyle \{U_{n}\}}$ is a countable base, choosing any ${\displaystyle x_{n}\in U_{n}}$ from the non-empty ${\displaystyle U_{n}}$ gives a countable dense subset. Conversely, a metrizable space is separable if and only if it is second countable, which is the case if and only if it is Lindelöf.

To further compare these two properties:

• An arbitrary
  subspace
  of a second-countable space is second countable; subspaces of separable spaces need not be separable (see below).
• Any continuous image of a separable space is separable (
  quotient
  of a second-countable space need not be second countable.
• A product of at most continuum many separable spaces is separable (Willard 1970, p. 109, Th 16.4c). A countable product of second-countable spaces is second countable, but an uncountable product of second-countable spaces need not even be first countable.

We can construct an example of a separable topological space that is not second countable. Consider any uncountable set ${\displaystyle X}$, pick some ${\displaystyle x_{0}\in X}$, and define the topology to be the collection of all sets that contain ${\displaystyle x_{0}}$ (or are empty). Then, the closure of ${\displaystyle {x_{0}}}$ is the whole space (${\displaystyle X}$ is the smallest closed set containing ${\displaystyle x_{0}}$), but every set of the form ${\displaystyle \{x_{0},x\}}$ is open. Therefore, the space is separable but there cannot have a countable base.

Cardinality

The property of separability does not in and of itself give any limitations on the

is the one-point space.

A

${\displaystyle {\mathfrak {c}}}$. In such a space, closure is determined by limits of sequences and any convergent sequence has at most one limit, so there is a surjective map from the set of convergent sequences with values in the countable dense subset to the points of ${\displaystyle X}$.

A separable Hausdorff space has cardinality at most ${\displaystyle 2^{\mathfrak {c}}}$, where ${\displaystyle {\mathfrak {c}}}$ is the cardinality of the continuum. For this closure is characterized in terms of limits of filter bases: if ${\displaystyle Y\subseteq X}$ and ${\displaystyle z\in X}$, then ${\displaystyle z\in {\overline {Y}}}$ if and only if there exists a filter base ${\displaystyle {\mathcal {B}}}$ consisting of subsets of ${\displaystyle Y}$ that converges to ${\displaystyle z}$. The cardinality of the set ${\displaystyle S(Y)}$ of such filter bases is at most ${\displaystyle 2^{2^{|Y|}}}$. Moreover, in a Hausdorff space, there is at most one limit to every filter base. Therefore, there is a surjection ${\displaystyle S(Y)\rightarrow X}$ when ${\displaystyle {\overline {Y}}=X.}$

The same arguments establish a more general result: suppose that a Hausdorff topological space ${\displaystyle X}$ contains a dense subset of cardinality ${\displaystyle \kappa }$. Then ${\displaystyle X}$ has cardinality at most ${\displaystyle 2^{2^{\kappa }}}$ and cardinality at most ${\displaystyle 2^{\kappa }}$ if it is first countable.

The product of at most continuum many separable spaces is a separable space (Willard 1970, p. 109, Th 16.4c). In particular the space ${\displaystyle \mathbb {R} ^{\mathbb {R} }}$ of all functions from the real line to itself, endowed with the product topology, is a separable Hausdorff space of cardinality ${\displaystyle 2^{\mathfrak {c}}}$. More generally, if ${\displaystyle \kappa }$ is any infinite cardinal, then a product of at most ${\displaystyle 2^{\kappa }}$ spaces with dense subsets of size at most ${\displaystyle \kappa }$ has itself a dense subset of size at most ${\displaystyle \kappa }$ (Hewitt–Marczewski–Pondiczery theorem).

Constructive mathematics

Separability is especially important in

.

Further examples

Separable spaces

• Every compact metric space (or metrizable space) is separable.
• Any topological space that is the union of a countable number of separable subspaces is separable. Together, these first two examples give a different proof that ${\displaystyle n}$-dimensional Euclidean space is separable.
• The space ${\displaystyle C(K)}$ of all continuous functions from a compact subset ${\displaystyle K\subseteq \mathbb {R} }$ to the real line ${\displaystyle \mathbb {R} }$ is separable.
• The Lebesgue spaces ${\displaystyle L^{p}\left(X,\mu \right)}$, over a measure space ${\displaystyle \left\langle X,{\mathcal {M}},\mu \right\rangle }$ whose σ-algebra is countably generated and whose measure is σ-finite, are separable for any ${\displaystyle 1\leq p<\infty }$.^[1]
• The space ${\displaystyle C([0,1])}$ of continuous real-valued functions on the unit interval ${\displaystyle [0,1]}$ with the metric of uniform convergence is a separable space, since it follows from the Weierstrass approximation theorem that the set ${\displaystyle \mathbb {Q} [x]}$ of polynomials in one variable with rational coefficients is a countable dense subset of ${\displaystyle C([0,1])}$. The Banach–Mazur theorem asserts that any separable Banach space is isometrically isomorphic to a closed linear subspace of ${\displaystyle C([0,1])}$.
• A Hilbert space is separable if and only if it has a countable orthonormal basis. It follows that any separable, infinite-dimensional Hilbert space is isometric to the space ${\displaystyle \ell ^{2}}$ of square-summable sequences.
• An example of a separable space that is not second-countable is the
  Sorgenfrey line
  ${\displaystyle \mathbb {S} }$, the set of real numbers equipped with the lower limit topology.
• A separable σ-algebra is a σ-algebra ${\displaystyle {\mathcal {F}}}$ that is a separable space when considered as a
  metric
  ${\displaystyle \rho (A,B)=\mu (A\triangle B)}$ for ${\displaystyle A,B\in {\mathcal {F}}}$ and a given finite measure ${\displaystyle \mu }$ (and with ${\displaystyle \triangle }$ being the symmetric difference operator).^[2]

Non-separable spaces

• The first uncountable ordinal ${\displaystyle \omega _{1}}$, equipped with its natural order topology, is not separable.
• The Banach space ${\displaystyle \ell ^{\infty }}$ of all bounded real sequences, with the supremum norm, is not separable. The same holds for ${\displaystyle L^{\infty }}$.
• The Banach space of functions of bounded variation is not separable; note however that this space has very important applications in mathematics, physics and engineering.

Properties

• A
  subspace of a separable space need not be separable (see the Sorgenfrey plane and the Moore plane), but every open subspace of a separable space is separable (Willard 1970, Th 16.4b). Also every subspace of a separable metric space
  is separable.
• In fact, every topological space is a subspace of a separable space of the same cardinality. A construction adding at most countably many points is given in (Sierpiński 1952, p. 49); if the space was a Hausdorff space then the space constructed that it embeds into is also a Hausdorff space.
• The set of all real-valued continuous functions on a separable space has a cardinality equal to ${\displaystyle {\mathfrak {c}}}$, the cardinality of the continuum. This follows since such functions are determined by their values on dense subsets.
• From the above property, one can deduce the following: If X is a separable space having an uncountable closed discrete subspace, then X cannot be normal. This shows that the Sorgenfrey plane is not normal.
• For a compact Hausdorff space X, the following are equivalent:
  1. X is second countable.
  2. The space ${\displaystyle {\mathcal {C}}(X,\mathbb {R} )}$ of continuous real-valued functions on X with the supremum norm is separable.
  3. X is metrizable.

Embedding separable metric spaces

• Every separable metric space is
  Urysohn metrization theorem
  .
• Every separable metric space is isometric to a subset of the (non-separable) Banach space l^∞ of all bounded real sequences with the supremum norm; this is known as the Fréchet embedding. (Heinonen 2003)
• Every separable metric space is isometric to a subset of C([0,1]), the separable Banach space of continuous functions [0,1] → R, with the supremum norm. This is due to Stefan Banach. (Heinonen 2003)
• Every separable metric space is isometric to a subset of the Urysohn universal space.

For nonseparable spaces:

• A metric space of density equal to an infinite cardinal α is isometric to a subspace of C([0,1]^α, R), the space of real continuous functions on the product of α copies of the unit interval. (Kleiber & Pervin 1969)

References

• Heinonen, Juha (January 2003), Geometric embeddings of metric spaces (PDF), retrieved 6 February 2009

• MR 0370454
• Kleiber, Martin; Pervin, William J. (1969), "A generalized Banach-Mazur theorem", Bull. Austral. Math. Soc., 1 (2): 169–173,
  doi:10.1017/S0004972700041411
• MR 0050870
• MR 0507446
• Willard, Stephen (1970), General Topology,
  MR 0264581