分离公理

Illustrations of the properties of Hausdorffness, regularity and normality
某些分離公理的圖示。藍色區塊代表一個開集,紅色方塊代表一個閉集,且黑色圓圈則代表一點。

拓扑学及相关的数学领域裡,通常对于所讨论的拓扑空间加有各种各样的限制条件,分离公理即是指之中的某些限制條件。这些分离公理有时候被叫做吉洪诺夫分离公理,得名于安德烈·尼古拉耶维奇·吉洪諾夫。部分分離公理以字母T開頭,是由德文单词“Trennung”而來,意義是分离

分離公理之所以稱為公理,是因為以前定義拓撲空間時,有些人會將其也做為公理來定義,而得出較現在意思狹義的拓撲空間。但在拓撲空間的公理化完成後,那些都成了「各種」的拓撲空間。然而,「分離公理」這一詞就這樣固定了下來。

初步定义

在定义分离公理之前,讓我们先了解在拓扑空间中,可分离的集合(和点)的具体含意。(須注意的是,可分离的集合不一定等同于下一節所定义的「分离空间」。)

分離公理是利用拓撲的方法來分辨不相交的集合及相區別的點。不只要拓撲空間內的元素是相區別的,更要這些元素是「拓撲可區別的」;不只要拓撲空間內的子集是不相交的,更要這些子集是(以某种方式)「可分離的」。分離公理聲稱,無論如何,若點或集合在某些較弱意思下是可區別的或可分離的,也必須在某些較強的意思下是可區別或可分離的。

為一拓扑空间,是实数集,定义:

拓扑可区分
称为拓扑可区分的,当且仅当邻域系不相等(即,存在某个的邻域,不是的邻域,或反之)。
可分离
稱為可分離的,当且仅当都为空。(闭包)。注意:可以不为空。
邻域可分离
称为邻域可分离的,当且仅当存在的邻域的邻域,使得为空。
闭邻域可分离
称为闭邻域可分离的,当且仅当存在的闭邻域的闭邻域,使得为空。
函数可分离
称为函数可分离的,当且仅当存在连续函数,使得
函数完全分离
称为函数完全分离的,当且仅当存在连续函数,使得

对于中的点(或点和子集),称它们为拓扑可分,可分离,邻域可分离等等,当且仅当单元素集合(或和子集)是拓扑可分,可分离,邻域可分离等等。

以上这些条件是按强度依序给出的:任何两个拓扑可区分的点也必然是相區分的,任何两个分离的点也必然是拓扑可区分的。更進一步地說,任何两个可分离的集合也必然是不相交的,任何两个领域上可分离的集合也必然是可分离的,以此类推。

上述条件更詳細的敘述(包括分离公理外的用途),请参见分离集合拓扑不可区分性等條目。

主要定义

下面的定義都會直接使用到上面的初步定義。

大部份的分離公理都會有另一個等價的定義。下面所給出的定義會維持一致的模式,以和上一節所定義的許多分離的概念相連結。其他等價的定義則分別寫在個別的條目之中。

在下面所有的定義之中,X是一個拓撲空間,所有的函數都假設為連續的。

  • X稱為R0空间或「对称空间」,若在X內,任意两个拓扑可区分的点都是可分离的。
  • X稱為T1空间、「可及空間」或「弗雷歇空間」,若在X內,任意兩個相區別的點都是可分離的。X為T1空間,若且唯若X同時為T0及R0空間。
  • X稱為R1空间或「预正则空间」,若在X內,任意两个拓扑可区分的点都是邻域上可分离的。R1空间必然也是R0空间。
  • X稱為T2空间或「豪斯多夫空间」,若在X內,任意兩個相區別的點都是鄰域上可分離的。X為豪斯多夫空間,若且唯若X同時為T0及R1空間。豪斯多夫空間必然也是T1空間。
  • X稱為T空間或「烏雷松空間」,若在X內,任意兩個相區別的點都是閉鄰域上可分離的。T空間必然也是豪斯多夫空間。
  • X稱為完全豪斯多夫空間或「完全T2空間」,若在X內,任意兩個相區別的點都是函數上可分離的。完全豪斯多夫空間必然也是T空間。
  • X稱為正則空間,若在X內,給定一點x及一閉集F,則若x不屬於FxF即為鄰域上可分離的(實際上,在一個正則空間裡,xF也同樣會是閉鄰域上可分離的)。正則空間必然也是R1空間。
  • X稱為正則豪斯多夫空間或「T3空間」,若X同時為T0及正則空間。正則豪斯多夫空間必然也是T空間。
  • X稱為完全正則空間,若在X內,給定一點x及一閉集F,則若x不屬於FxF即為函數上可分離的。完全正則空間必然也是正則空間。
  • X稱為吉洪諾夫空間、「T空間」、「完全T3空間」或「完全正則豪斯多夫空間」,若X同時為T0及完全正則空間。吉洪諾夫空間必然同時也是正則豪斯多夫空間及完全豪斯多夫空間。
  • X稱為正規空間,若在X內,任意兩個相區別的閉子集都是鄰域上可分離的(實際上,在正規空間裡,任意兩個相區別的閉子集也同樣會是函數上可分離的;這稱為烏雷松引理)。
  • X稱為正規豪斯多夫空間或「T4空間」,若X同時為T1及正規空間。正規豪斯多夫空間必然同時也是吉洪諾夫空間及正規正則空間。
  • X稱為完全正規空間,若在X內,任意兩個相區別的子集都是鄰域上可分離的。完全正規空間必然也是正規空間。
  • X稱為完全正規豪斯多夫空間、「T5空間」或「完全T4空間」,若X同時為完全正規及T1空間。完全正規豪斯多夫空間必然也是正規豪斯多夫空間。
  • X稱為完美正規空間,若在X內,任意兩個相區別的閉子集都是函數上完全分離的。完美正規空間必然也是完全正規空間。
  • X稱為完美正規豪斯多夫空間、「T6空間」或「完美T4空間」,若X同時為完美正規及T1空間。完美正規豪斯多夫空間必然也是完全正規豪斯多夫空間。

各空間之間的關係

T0空間很特別,因為它不只可以當做一個性質加在其他空間上(如完全正則空間加上T0即為吉洪諾夫空間),也可以由某個空間中刪去此一性質(如豪斯多夫空間刪去T0即為R1空間);更多資訊請見柯爾莫果洛夫商空間。當其應用在分離公理時,便會導致如下表所列的關係:

T0版本 無T0版本
T0
T1 R0
豪斯多夫(T2) R1
T 無給定名稱
完全豪斯多夫 無給定名稱
正則豪斯多夫(T3) 正則
吉洪諾夫(T) 完全正則
正規T0 正規
正規豪斯多夫(T4) 正規正則
完全正規T0 完全正規
完全正規豪斯多夫(T5) 完全正規正則
完美正規T0 完美正規
完美正規豪斯多夫(T6) 完美正規正則

在表中,利用柯爾莫果洛夫商空間運算,右邊的空間加上T0即為左邊的空間,左邊的空間刪去T0即為右邊的空間。

除了T0的加上及刪去之外,各空間之間的關係則可由下圖指明出來:

Hasse diagram of the separation axioms.
Hasse diagram of the separation axioms.

在圖中,無T0版本的空間在斜線的左邊,T0版本的空間則在斜線的右邊。之中的字母代表的意思: P為完美(perfectly)、C為完全(completely)、N為正規(normal)、R為正則(regular)。 黑點代表該空間沒有給定名稱。

結合兩個空間的性質最後會產生的空間可由上圖得知,只要看兩點向上的分支會交會在哪一點即可。例如,若有一個空間同時為完全正規(CN)及完全豪斯多夫(CT2)空間,則查看兩點向上的分支,會發覺為「•/T5」。因為完全豪斯多夫空間為斜邊的T0端(即使完全正規空間不是),最後得到的空間便會在斜邊的T0端。亦即,完全正規完全豪斯多夫空間即為T5空間。

再看一次上圖,正規空間及R0空間結合在一起,由於會經過許多右側的分支,也意指會產生許多兩個空間所沒有的其他性質。因為正則性是之中最為人知的性質,結合正規空間及R0空間而成的空間一般稱為「正規正則空間」。基於類似的想法,正規T1空間通常稱為「正規豪斯多夫空間」。上述的慣用名稱可以延伸至其他正則空間與豪斯多夫空間之上。

参考文献

Read other articles:

Ereveld Menteng PuloEreveld Menteng PuloDetailsLokasiTebet, JakartaNegaraIndonesiaJenisPemakaman perangPemilikYayasan Pemakaman Perang BelandaLuas29.000 m²Jml. kuburanSekitar 4.300Ereveld Menteng Pulo merupakan sebuah pemakaman bangsa Belanda di Jl. Menteng Pulo RT. 3 RW. 12, Menteng Dalam, Tebet, Jakarta Selatan. Ereveld Menteng Pulo adalah salah satu dari 2 ereveld yang berada di Jakarta selain Ereveld Ancol di Ancol, Pademangan, Jakarta Utara. Permakaman ini dikhususkan bagi perwira milit...

 

Cult of the Lamb Publikasi11 Agustus 2022GenreRoguelike, aksi-petualangan, simulasi konstruksi dan manajemenLisensiLisensi proprietarium Bahasa Daftar Inggris 60 Karakteristik teknisPlatformWindows, Nintendo Switch, PlayStation 5, Xbox Series X dan S, macOS, PlayStation 4 dan Xbox One MesinUnityModePermainan video pemain tunggal Formatdistribusi digital dan unduhan digital Metode inputpapan tombol komputer, tetikus dan gamepad Format kode Daftar 30 Informasi pengembangPengembangMassive Monste...

 

Chronologies Données clés 1918 1919 1920  1921  1922 1923 1924Décennies :1890 1900 1910  1920  1930 1940 1950Siècles :XVIIIe XIXe  XXe  XXIe XXIIeMillénaires :-Ier Ier  IIe  IIIe Chronologies géographiques Afrique Afrique du Sud, Algérie, Angola, Bénin, Botswana, Burkina Faso, Burundi, Cameroun, Cap-Vert, République centrafricaine, Comores, République du Congo, République démocratique du Congo, Côte d'Ivoire, Djibouti, Égyp...

Species of cactus Sclerocactus whipplei Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Angiosperms Clade: Eudicots Order: Caryophyllales Family: Cactaceae Subfamily: Cactoideae Genus: Sclerocactus Species: S. whipplei Binomial name Sclerocactus whipplei(Engelm. & J.M.Bigelow) Britton & Rose Sclerocactus whipplei, or Whipple's fishhook cactus,[1] is a cactus (family Cactaceae) found in the Colorado Plateau and Canyonlands region of the southwestern ...

 

NeuroblastomaBentuk tampilan neuroblastoma menggunakan mikroskopInformasi umumSpesialisasiOnkologiPenyebabMutasi Genetik[1]Aspek klinisGejala dan tandaNyeri tulang, pembengkakan[1]Awal munculDibawah usia 5 tahun[1]DiagnosisBiopsi[1]PerawatanObservasi, pembedahan, radiasi, kemoterapi[1]Distribusi dan frekuensiPrevalensi1 diantara 7,000 anak [3]KematianMenyebabkan 15% kematian anak yang disebabkan oleh kanker.[2] Neuroblastoma adalah salah...

 

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Dinesh Chandra Sinha – news · newspapers · books · scholar · JSTOR (March 2022) Dinesh Chandra Sinhaদীনেশচন্দ্র সিংহDinesh Chandra SinhaBorn1935Noakhali, Bengal, British IndiaDied16 June 2014Batanagar, Kolkata, IndiaNatio...

Retired American United States Air Force Brigadier General (Special Agent) Richard S. Beyea Jr.Born (1935-09-22) 22 September 1935 (age 88)Atlanta, GeorgiaAllegiance United StatesService/branch United States Air ForceYears of service1958–1988Rank Brigadier General (Ret.)Commands heldAir Force Office of Special InvestigationsBattles/warsVietnam WarAwards Legion of Merit Meritorious Service Medal Air Force Commendation Medal National Defense Service Medal Vietnam Service Medal ...

 

2012 NCAA Division I FBS football rankingsSeason2012Bowl season2012–13 bowl gamesPreseason No. 1USC (AP)LSU (Coaches) End of season championsAlabamaConference with mostteams in final AP pollSEC (7)NCAA Division I FBS football rankings ← 20112013 → Three human polls and one formula ranking make up the 2012 NCAA Division I FBS (Football Bowl Subdivision) football rankings, in addition to various publications' preseason polls. Unlike most sports, college football's gover...

 

Шалфей обыкновенный Научная классификация Домен:ЭукариотыЦарство:РастенияКлада:Цветковые растенияКлада:ЭвдикотыКлада:СуперастеридыКлада:АстеридыКлада:ЛамиидыПорядок:ЯсноткоцветныеСемейство:ЯснотковыеРод:ШалфейВид:Шалфей обыкновенный Международное научное наз...

American political journalist (born 1976) For the editor of the Century Dictionary and Cyclopedia, see Benjamin Eli Smith. Ben SmithSmith in 2012BornBenjamin Eli Smith (1976-11-04) November 4, 1976 (age 47)New York, New York, U.S.Alma materYale University (BA)OccupationJournalistYears active1999–presentSpouse Liena Zagare ​(m. 2002)​Children3ParentsRobert S. Smith (father)Dian Golston Smith (mother) Benjamin Eli Smith (born November 4, 1976)[1...

 

Sceaux 行政国 フランス地域圏 (Région) イル=ド=フランス地域圏県 (département) オー=ド=セーヌ県郡 (arrondissement) アントニー郡小郡 (canton) 小郡庁所在地INSEEコード 92071郵便番号 92330市長(任期) フィリップ・ローラン(2008年-2014年)自治体間連合 (fr) メトロポール・デュ・グラン・パリ人口動態人口 19,679人(2007年)人口密度 5466人/km2住民の呼称 Scéens地理座標 北緯48度4...

 

هذه المقالة عن المجموعة العرقية الأتراك وليس عن من يحملون جنسية الجمهورية التركية أتراكTürkler (بالتركية) التعداد الكليالتعداد 70~83 مليون نسمةمناطق الوجود المميزةالبلد  القائمة ... تركياألمانياسورياالعراقبلغارياالولايات المتحدةفرنساالمملكة المتحدةهولنداالنمساأسترالي�...

Software for concept mapping Example concept map created using the IHMC CmapTools computer program CmapTools is concept mapping software developed by the Florida Institute for Human and Machine Cognition (IHMC).[1] It allows users to easily create graphical nodes representing concepts, and to connect nodes using lines and linking words to form a network of interrelated propositions that represent knowledge of a topic.[2] The software has been used in classrooms and research la...

 

Former organized incorporated territory of the United States (1854–1867) Territory of NebraskaOrganized incorporated territory of the United States1854–1867CapitalOmaha • TypeOrganized incorporated territory History • Kansas–Nebraska Act May 30, 1854• Colorado Territory formed February 28, 1861• Dakota Territory formed March 2, 1861• Idaho Territory formed March 3, 1863• Statehood March 1, 1867 Preceded by Succeeded by Unorganized terr...

 

French philosopher and sociologist Georges SorelGeorges SorelBornGeorges Eugène Sorel(1847-11-02)2 November 1847Cherbourg, FranceDied29 August 1922(1922-08-29) (aged 74)Boulogne-sur-Seine, FranceAlma materÉcole PolytechniqueNotable workReflections on Violence (1908)EraModern philosophy Fin de siècle 20th-century philosophy RegionWestern philosophy French philosophy School Continental philosophy Sorelianism Revisionist Marxism National Syndicalism Irrationalism Main interests Scie...

Part of the LGBT rights seriesLegal status ofsame-sex unions Marriage Andorra Argentina Australia Austria Belgium Brazil Canada Chile Colombia Costa Rica Cuba Denmark Ecuador Estonia Finland France Germany Greece Iceland Ireland Liechtenstein* Luxembourg Malta Mexico Nepal Netherlands1 New Zealand2 Norway Portugal Slovenia South Africa Spain Sweden Switzerland Taiwan United Kingdom3 United States4 Uruguay Recognized Israel5 Civil unions andregistered partnerships Bolivia Croatia Cyprus Czech...

 

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) هذه هي قائمة النجوم في كوكبة مفرغة الهواء (بالإنجليزية: List of stars in Antlia)‏ الاسم تسمية باير المتغيرة كتالوج �...

 

Layers of grey and white matter that cover the upper surface of the cerebrum in vertebrates PalliumSchematic cross-section of the forebrain of a basal chordate such as a shark.Schematic illustration of differences in neuronal specification and migration patterns between the mammalian and avian palliumDetailsPart ofTelencephalonIdentifiersLatinpallium, or cortex cerebriNeuroLex IDbirnlex_1494TA98A14.1.09.003TA25527TE(neuroanatomy)_by_E5.14.3.4.3.1.30 E5.14.3.4.3.1.30 Anatomical terms of neuroa...

Parliamentary position of the Parliament of New Zealand Leader of the Official Opposition of New ZealandCoat of ArmsIncumbentChris Hipkinssince 27 November 2023Official Opposition of New ZealandReports toParliamentTerm lengthWhile leader of the largest political party in the House of Representatives that is not in governmentInaugural holderJohn Ballance[a]Formation2 July 1889[b]Salary$288,900 (As at 2016)[update][1]^ a. As the first parliamentary leader of an Opposition p...

 

Questa voce sull'argomento Calciatori tedeschi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Ben ZolinskiNazionalità Germania Altezza181 cm Peso78 kg Calcio RuoloCentrocampista Squadra Kaiserslautern CarrieraGiovanili -2006 Neubrandenburg2006-2011 Hansa Rostock Squadre di club1 2011 Hansa Rostock II0 (0)2011-2012→  Carl Zeiss Jena II12 (0)2012-2013 Hansa Rostock ...