一个 拓扑空间 使得对于每个闭子集
of
和每个点
, 存在一个 连续函数
使得
且
。
这是大多数作者给出的定义(Kelley 1955, p. 117; Willard 1970, pp. 94-95)。然而,一些作者(例如,Cullen 1968, p. 130)要求附加条件,即 是一个 T1-空间。在任何情况下,每个完全正则空间都是正则的,反之则不然。
一个 拓扑空间 使得对于每个闭子集
of
和每个点
, 存在一个 连续函数
使得
且
。
这是大多数作者给出的定义(Kelley 1955, p. 117; Willard 1970, pp. 94-95)。然而,一些作者(例如,Cullen 1968, p. 130)要求附加条件,即 是一个 T1-空间。在任何情况下,每个完全正则空间都是正则的,反之则不然。
此条目由 Margherita Barile 贡献
Barile, Margherita. "完全正则空间。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/CompletelyRegularSpace.html