下面我们引入度量空间中稠密子集和可分度量空间的概念,
定义
设 X X X 是 度量空间, E E E 和 M M M 是 X X X 中 两个子集,令 M ˉ \bar { M } Mˉ表 示 M M M 的闭包,如果 E ⊂ E \subset E⊂ M ˉ , \bar { M } , Mˉ, 那 么称集 M M M 在 集 E E E 中 稠密,
当 E = X E = X E=X 时称 M M M 为 X X X 的 一个稠密子集.【表述为:设 X X X 是 度量空间, M M M 是 X X X 中的子集,令 M ˉ \bar { M } Mˉ表 示 M M M 的闭包,如果 X ⊂ X \subset X⊂ M ˉ , \bar { M } , Mˉ, 那 么称 M M M 为 X X X 的 一个稠密子集】
如果 X X X 有 一个可数的稠密子集,则称 X X X 是可分空间。
例2
离散度量空间
X
X
X 可分的充要条件为:
X
X
X是可数集.
事实上,在 X X X中没有稠密真子集,所以 X X X 中 唯一的稠密子集只有 X X X 本 身,因此, X X X 可分的充要条件为 X X X 是可数集。