下面我们引入度量空间中稠密子集和可分度量空间的概念,
定义
设 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 是可分空间。