完全豪斯多夫空间

拓扑学中,完全豪斯多夫空间Urysohn 空间是满足比熟知的豪斯多夫空间更强些的分离公理的一类拓扑空间

定义

假定 X拓扑空间。设 xyX 中的点。

Urysohn 空间T 空间是其中任何两个独特的点都可由闭邻域分离的空间。

完全豪斯多夫空间函数豪斯多夫空间是其中任何两个独特的点都可由函数分离的空间。

命名约定

分离公理研究因为命名约定混乱而声名狼籍。本文使用的定义是 Willard (1970)给出的更现代的定义。Steen 和 Seebach (1970)和不同的其他作者反转了完全豪斯多夫空间和 Urysohn 空间的定义,拓扑学课本的读者必须确保检查作者的定义。详情可参见分离公理的历史

与其他分离公理的联系

容易实习证实可以由函数分离的任何两个点也可以被闭邻域分离。如果它们可以由闭邻域分离则明显的它们可以由邻域分离。这得出了所有完全豪斯多夫空间是 Urysohn 空间而所有 Urysohn 空间是豪斯多夫空间

还可以证明所有正则豪斯多夫空间是 Urysohn 空间,而所有吉洪诺夫空间(完全正则豪斯多夫空间)是完全豪斯多夫空间。这可总结为下列蕴涵:

吉洪诺夫 (T)     正则豪斯多夫 (T3)
   
完全豪斯多夫     Urysohn (T)     豪斯多夫 (T2)     T1

你可以找到反例证明这些蕴涵都是不可反转的[1]

例子

余可数扩张拓扑是在实直线上的拓扑,由平常欧几里德拓扑余可数拓扑的并集生成。集合是这个拓扑中的开集,当且仅当他们有形式 U \ A,这里的 U 是有欧几里德拓扑中的开集而 A可数的。这个空间是完全豪斯多夫和 Urysohn 的,但不是正则的(因此不是吉洪诺夫的)。

有是豪斯多夫但不是 Urysohn,是 Urysohn 但不是完全豪斯多夫或正则豪斯多夫的空间的晦涩的例子。详情可参见 Steen 与 Seebach。

引用

  1. ^ Hausdorff space not completely Hausdorff. PlanetMath.