Separable Space

Separable Space

In mathematics a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence 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 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.

In general, separability is a technical hypothesis on a space which is quite useful and — among the classes of spaces studied in geometry and classical analysis — generally considered to be quite mild. It is important to compare separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces.

Read more about Separable Space:  First Examples, Separability Versus Second Countability, Cardinality, Constructive Mathematics, Properties

Famous quotes containing the word space:

    Here in the U.S., culture is not that delicious panacea which we Europeans consume in a sacramental mental space and which has its own special columns in the newspapers—and in people’s minds. Culture is space, speed, cinema, technology. This culture is authentic, if anything can be said to be authentic.
    Jean Baudrillard (b. 1929)