分離公理

在拓撲學及相關的數學領域裏 ， 通常對於所討論的拓撲空間加有各種各樣的限制條件 ， 分離公理即是指之中的某些限制條件 。 這些分離公理有時候被叫做吉洪諾夫分離公理 ， 得名於安德烈 · 尼古拉耶維奇 · 吉洪諾夫 。 部分分離公理以字母T開頭 ， 是由德文單詞 “ Trennung ” 而來 ， 意義是分離 。 分離公理之所以稱爲公理 ， 是因爲以前定義拓撲空間時 ， 有些人會將其也做爲公理來定義 ， 而得出較現在意思狹義的拓撲空間 。 但在拓撲空間的公理化完成後 ， 那些都成了 「 各種 」 的拓撲空間 。 然而 ， 「 分離公理 」 這一詞就這樣固定了下來 。