separable space

Separable spaces


A topological space is separable if it has a countable dense subset.

To be explicit, XX is separable if there exists an infinite sequence a:Xa\colon \mathbb{N} \to X such that, given any point bb in XX and any neighbourhood UU of bb, we have a iUa_i \in U for some ii.


A second-countable space is separable and first-countable, but the converse need not (see Steen Seebach Example 51 ).

Many results in analysis are easiest for separable spaces. This is particularly true if one wishes to avoid using strong forms of the axiom of choice or to be predicative over the natural numbers.

Revised on May 4, 2013 23:45:28 by Anonymous Coward (