分離公理
維基百科,自由的 encyclopedia
在拓撲學及相關的數學領域裡,通常對於所討論的拓撲空間加有各種各樣的限制條件,分離公理即是指之中的某些限制條件。這些分離公理有時候被叫做吉洪諾夫分離公理,得名於安德烈·尼古拉耶維奇·吉洪諾夫。部分分離公理以字母T開頭,是由德文單詞「Trennung」而來,意義是分離。
![Illustrations of the properties of Hausdorffness, regularity and normality](http://upload.wikimedia.org/wikipedia/commons/8/8f/Separation_axioms_illustrated.png)
分離公理之所以稱為公理,是因為以前定義拓撲空間時,有些人會將其也做為公理來定義,而得出較現在意思狹義的拓撲空間。但在拓撲空間的公理化完成後,那些都成了「各種」的拓撲空間。然而,「分離公理」這一詞就這樣固定了下來。