# nLab separable space

### Context

#### Topology

topology

algebraic topology

# Separable spaces

## Definitions

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

To be explicit, $X$ is separable if there exists an infinite sequence $a\colon \mathbb{N} \to X$ such that, given any point $b$ in $X$ and any neighbourhood $U$ of $b$, we have $a_i \in U$ for some $i$.

## Properties

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 (88.73.5.62)