泛函分析基础7-1-度量空间2-4-2-2：“可分空间”-例01【n 维欧氏空间ℝⁿ是可分度量空间】

下面我们引入度量空间中稠密子集和可分度量空间的概念，

定义

设 $X$ 是 度量空间， $E$ 和 $M$ 是 $X$ 中 两个子集，令 $\bar{M}$表 示 $M$ 的闭包，如果 $E\subset$$\bar{M},$ 那 么称集 $M$ 在 集 $E$ 中 稠密，

当 $E=X$ 时称 $M$ 为$X$ 的 一个稠密子集.【表述为：设 $X$ 是 度量空间， $M$ 是 $X$ 中的子集，令 $\bar{M}$表 示 $M$ 的闭包，如果 $X\subset$$\bar{M},$ 那 么称$M$ 为$X$ 的 一个稠密子集】

如果 $X$ 有 一个可数的稠密子集，则称 $X$ 是可分空间。

---

例1
$n$ 维欧氏空间 ${\mathbf{R}}^n$ 是可分空间.

事实上，坐标为有理数的点的全体是 ${\mathbf{R}}^n$ 的 可数稠密子集.