例外點拓撲

例外點拓撲(excluded point topology)是一種拓撲結構。例外點拓撲分為有限例外點拓撲、可數例外點拓撲、不可數例外點拓撲三類。其拓撲性質並不相同,例如有限例外點拓撲和可數例外點拓撲都是可分的、第二可數的。而不可數例外點拓撲不具有這些性質。

基本介紹

  • 中文名:例外點拓撲
  • 外文名:excluded point topology
  • 領域:數學
  • 學科:拓撲
  • 性質:一種拓撲結構
  • 分類:有限例外點、可數、不可數
概念,拓撲,分離公理,

概念

例外點拓撲(excluded point topology)是一種拓撲結構。設X為任意非空集合,p∈X,若:
則T是一個拓撲,稱為X上的例外點拓撲。(X,T)滿足T0,T4,T5公理,但不滿足其他分離公理,是緊、σ緊、林德勒夫、可數緊、序列緊、擬緊、仿緊、局部緊、可數仿緊、第一可數、連通空間。例外點拓撲分為有限例外點拓撲、可數例外點拓撲、不可數例外點拓撲三類。其拓撲性質並不相同,例如有限例外點拓撲和可數例外點拓撲都是可分的、第二可數的。而不可數例外點拓撲不具有這些性質。

拓撲

集合上的一種結構。設T為非空集X的子集族。若T滿足以下條件:
1.X與空集都屬於T;
2.T中任意兩個成員的交屬於T;
3.T中任意多個成員的並屬於T;
則T稱為X上的一個拓撲.具有拓撲T的集合X稱為拓撲空間,記為(X,T)。
設T1與T2為集合X上的兩個拓撲。若有關係T1T2,則稱T1粗於T2,或T2細於T1。當X上的兩個拓撲相互之間沒有包含關係時,則稱它們是不可比較的。在集合X上,離散拓撲是最細的拓撲,平凡拓撲是最粗的拓撲。

分離公理

分離公理亦稱分離公理模式、子集公理、子集公理模式。集合論的一條重要公理。由策梅洛(Zermelo,E.F.F.)於1908年提出。該公理斷言:如果φ是帶參變元P的性質,則對任何集合X和P,都存在集合Y={u|u∈X∧φ(u,P)},它含有X中所有性質φ的元素。這條公理可形式化為:
其中,P亦可以是參變元組P=〈P1,P2,…,Pn〉。如果記具有性質φ(u,P1,P2,…,Pn)的類為A,利用交的定義可將公理寫成下面的形式:
它的意義是類與任何集合的交是集合。由集合組成的非空類A的交∩A是集合等。分離公理的另一推論是全類V是真類,否則{x|x∈V∧x∉ x}就會是集合。由於公式φ(u,P)有無窮多個,對於每個具體的φ(u,P)都將得到一條公理,故分離公理實質上是一個公理模式,它包含了無窮多條公理。策梅洛的這條公理形象地刻畫了從已給集合按一定的限制(性質)可分離出它的子集這一性質。策梅洛用分離公理代替弗倫克爾(Fraenkel,A.A.)的替換公理後得到的公理體系稱為策梅洛集合論。它比ZF弱。例如在ZF中能證明集{ω,P(ω),P(P(ω)),…}的存在性,而在策梅洛集合論中卻不能,這裡ω為自然數集。

相關詞條

熱門詞條

聯絡我們