separable space
可分
Meaning in context
A topological space admitting a countable dense subset.
存在可数稠密子集的拓扑空间。
Example
The usual real line is separable because is countable and dense.
Usage and distinctions
In metric spaces separability is equivalent to second countability, but the equivalence fails for arbitrary topologies.
Recommended reading in this subject · Preparation & skip guidance
Definition sources
- Anton Petrunin — A minimalist intro to topologyChapter 8C, Nets and separability, printed p. 57 · Checked 2026-10-14
Translation sources
- Bao Zhiqiang — Peking University topology syllabus第1周9月14日,主要概念:可分 · Checked 2026-10-14