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:

    In bourgeois society, the French and the industrial revolution transformed the authorization of political space. The political revolution put an end to the formalized hierarchy of the ancien regimé.... Concurrently, the industrial revolution subverted the social hierarchy upon which the old political space was based. It transformed the experience of society from one of vertical hierarchy to one of horizontal class stratification.
    Donald M. Lowe, U.S. historian, educator. History of Bourgeois Perception, ch. 4, University of Chicago Press (1982)