T4 空间 [T4空间]

定义

$T_4$ 空间是满足如下条件的拓扑空间 $X$:

任意两个不相交的闭集 $V, V'$ 都被两个不相交的开邻域 $U,U'$ 分离.

称 $T_4$ 且 $T_1$ 的空间为正规空间 (normal space).

相关概念