分离公理
维基百科，自由的百科全书
在拓扑学以及相关的数学领域，通常对于所讨论的拓扑空间加有各种各样的限制条件。这些限制条件的其中一种，就是所谓的分离公理。这些分离公理有时侯被叫做Tychonoff分离公理。英文字母T是由德國字"Trennungsaxiom"而來，意義是的分离公理。
- T0公理。满足这条公理的拓扑空间叫做T0空间。又叫做柯尔莫果洛夫空间。T0 定義為：对于拓扑空间中任意两个不同的点x 和y，至少存在一個x 的鄰域不包含y 或存在一個y 的鄰域不包含x。
- T1公理。满足这条公理的拓扑空间叫做T1空间。T1定義為：对于拓扑空间中任意两个不同的点x 和y，存在一個x 的鄰域不包含y 且存在一個y 的鄰域不包含x。
- T3公理。满足这条公理的拓扑空间叫做T3空间。。T3定義為：对于拓扑空间中任意的閉子集F 與不屬於F 的点x，存在二個開集 U 與 V，使得x 屬於U 且
同時 
。
- T4公理。满足这条公理的拓扑空间叫做T4空间。
- T5公理。满足这条公理的拓扑空间叫做T5空间。
- 正则空间。
- 正规空间。
[编辑] 参考文献
- Michael C. Gemignani; Elementary Topology; ISBN 0486665224
