点集拓扑讲义 熊金城 《点集拓扑讲义》 · 第 107 页 · 定义 6.2.3 设 $X$ 是一个拓扑空间。如果 $X$ 中的任何两个互不相交的闭集各有一个开邻域并且这两个邻域互不相交（即如果 $A,B\subset X$ 都是闭集，$A\cap B=\varnothing$，则存在 $A$ 的一个开邻域 $U$ 和 $B$ 的一个开邻域 $V$ 使得 $U\cap V=\varnothing$），则称拓扑空间 $X$ 是一个正规空间。 查看原书页面 由 admin 提交
