##### 豪斯多夫空间 - 豪斯多夫空间 - **豪斯多夫空间**是满足[[分离公理|豪斯多夫公理]]的[[拓扑空间]], 空间中任意两点都可以用互不相交的[[开集]]分离. 任意[[度量空间]]都是豪斯多夫空间 - 对任意不同两点 $x\neq y$, 存在不相交的开集 $U$ 和 $V$, 使得 $x\in U$, $y\in V$