分离公理

分离公理
T0公理—满足这条公理的拓扑空间叫做T0空间。 T1公理—满足这条公理的拓扑空间叫做T1空间。 T2公理—满足这条公理的拓扑空间叫做T2空间。

正文

在拓扑学以及相关的数学领域，通常对于所讨论的拓扑空间加有各种各样的限制条件。这些限制条件的其中一种，就是所谓的分离公理。这些分离公理有时候被叫做Tychonoff分离公理。英文字母T是由德国字"Trennungsaxiom"而来，意义是的分离公理。
T0公理—满足这条公理的拓扑空间叫做T0空间。又叫做柯尔莫果洛夫空间。T0 定义为：对于拓扑空间中任意两个不同的点x 和y，至少存在一个x 的邻域不包含y 或存在一个y 的邻域不包含x。
T1公理—满足这条公理的拓扑空间叫做T1空间。T1定义为：对于拓扑空间中任意两个不同的点x 和y，存在一个x 的邻域不包含y 且存在一个y 的邻域不包含x。