##### 正规空间 - 正规空间 - **正规空间**是满足[[分离公理|正规公理]]的[[拓扑空间]], 空间中任意两个互不相交[[闭集]]都可以用互不相交的[[开集]]分离. 任意[[度量空间]]都是正规空间 - 对任意两个互不相交闭集 $A$ 和 $B$, 存在不相交的开集 $U$ 和 $V$, 使得 $A\subseteq U$, $B\subseteq V$