Like the other axioms of countability, separability is a "limitation on size", not necessarily in terms of cardinality (though, in the presence of the Hausdorff axiom, this does turn out to be the case; see below) but in a more subtle topological sense. In particular, every continuous function 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 second countability, which is in general stronger but equivalent on the class of metrizable spaces.
Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. An important example of an uncountable separable space is the real line, in which the rational numbers form a countable dense subset. Similarly the set of all vectors of which is a countable dense subset; so for every , -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 countabilityEdit
Any second-countable space is separable: if is a countable base, choosing any from the non-empty 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 (Willard 1970, Th. 16.4a); even a 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 , pick some , and define the topology to be the collection of all sets that contain (or are empty). Then, the closure of is the whole space ( is the smallest closed set containing ), but every set of the form is open. Therefore, the space is separable but there cannot be a countable base.
The property of separability does not in and of itself give any limitations on the cardinality of a topological space: any set endowed with the trivial topology is separable, as well as second countable, quasi-compact, and connected. The "trouble" with the trivial topology is its poor separation properties: its Kolmogorov quotient is the one-point space.
A first-countable, separable Hausdorff space (in particular, a separable metric space) has at most the continuum cardinality. 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 .
A separable Hausdorff space has cardinality at most , where is the cardinality of the continuum. For this closure is characterized in terms of limits of filter bases: if and , then if and only if there exists a filter base consisting of subsets of that converges to . The cardinality of the set of such filter bases is at most . Moreover, in a Hausdorff space, there is at most one limit to every filter base. Therefore, there is a surjection when
The same arguments establish a more general result: suppose that a Hausdorff topological space contains a dense subset of cardinality .
Then has cardinality at most and cardinality at most 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 of all functions from the real line to itself, endowed with the product topology, is a separable Hausdorff space of cardinality . More generally, if is any infinite cardinal, then a product of at most spaces with dense subsets of size at most has itself a dense subset of size at most (Hewitt–Marczewski–Pondiczery theorem).
Separability is especially important in numerical analysis and constructive mathematics, since many theorems that can be proved for nonseparable spaces have constructive proofs only for separable spaces. Such constructive proofs can be turned into algorithms for use in numerical analysis, and they are the only sorts of proofs acceptable in constructive analysis. A famous example of a theorem of this sort is the Hahn–Banach theorem.
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 -dimensional Euclidean space is separable.
The space of all continuous functions from a compact subset to the real line is separable.
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 of square-summable sequences.
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 , 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.
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 1969) harv error: no target: CITEREFKleiber1969 (help)
^Džamonja, Mirna; Kunen, Kenneth (1995). "Properties of the class of measure separable compact spaces" (PDF). Fundamenta Mathematicae: 262. arXiv:math/9408201. Bibcode:1994math......8201D. If is a Borel measure on , the measure algebra of is the Boolean algebra of all Borel sets modulo -null sets. If is finite, then such a measure algebra is also a metric space, with the distance between the two sets being the measure of their symmetric difference. Then, we say that is separableiff this metric space is separable as a topological space.
Heinonen, Juha (January 2003), Geometric embeddings of metric spaces(PDF), retrieved 6 February 2009