基本介紹
原理簡介,詳細內容,替換公理,自然數,極限序數,正則公理,基數,構造模型,分支,簡介,選擇公理,連續統假設,可構成性公理,馬丁公理,大基數公理,決定性公理,
原理簡介
第一個常用的公理系統是E.F.F.策梅洛和A.A.弗倫克爾等提出的ZF系統。這個系統中只有一個非邏輯二元關係符號∈，非邏輯公理有：外延公理、空集公理、無序對公理、並集公理、冪集公理、無窮公理、分離公理模式、替換公理模式、正則公理。如果加上選擇公理就構成ZFC系統。利用公理可以定義出空集、序對、關係、函式等集合，還可以給出序關係、良序關係、序數、基數，也可以給出自然數、整數、實數等概念。
通過元語言，也可公理系統中各公理之間的相容性和獨立性，例如Cohen於1960年創立公理集合論中的力迫法，並用來證明ZFC與連續統假設CH獨立。公理集合論發展很快，馬丁公理、蘇斯林假設等新公理新方法已被廣泛使用，組合集合論、描述集合論、大基數、力迫法的研究也持續發展。
詳細內容
ZF公理系統：
(ZF1）外延公理：一個集合完全由它的元素所決定。如果兩個集合含有同樣的元素，則它們是相等的。
(ZF2）空集合存在公理：即存在一集合s，它沒有元素。
(ZF3）無序對公理：也就是說，任給兩個集合x、y，存在第三個集合z，而w∈z若且唯若w=x或者w=y。
註：z = {x, y}, 就是說，如 w∈z, 則 w=x 或 w=y。又名配對公理，取義可由二個集合生成第三個集
合，集合無次序（或說生成的第三個集合無次序），所以叫無序（配）對公理，就一個，如果有次序
就變二個了。
(ZF4）並集公理：也就是說，任給一集合x，我們可以把x的元素的元素匯集到一起，組成一個新集合。
準確的定義：“對任意集合x，存在集合y，使w∈y若且唯若存在z使z∈x且w∈z”。
(ZF5）冪集公理：也就是說，任意的集合x，P（x）也是一集合。
準確的定義：“對任意集合x，存在集合y，使z∈y若且唯若對z的所有元素w，w∈x”。
(ZF6）無窮公理：也就是說，存在一集合x，它有無窮多元素。
準確的定義：“存在一個集合，使得空集是其元素，且對其任意元素x，x∪{x}也是其元素。”
根據皮亞諾公理系統對自然數的描述，此即：存在一個包含所有自然數的集合。
準確的定義：“對任意非空集合x，x至少有一元素y使x∩y為空集。”
註：（ZF3）可以由其他公理導出，所以有些場合不出現這條公理，與之類似的是“子集公理”。
ZF集合公理系統加上AC就成為ZFC公理系統。
註：ZF為Zermelo及Fraenkel
替換公理
如果一集合x的元素的元素也都還是x的元素，則稱x為傳遞集。一個集合x是自然數：如果x是傳遞集，x的全體元素在∈下良序，而且x的每一非空子集對序∈而言有最大元。這樣可以把自然數變成了在ZF內可以定義的一種性質，如把0定義作空集═，1定義作0∪{0},2定義作1∪{1}……等等，則0,1,2，…，都是自然數，而且只有這些是自然數。
自然數
每一自然數都是序數，全體自然數{0,1,2，…}也是序數。對任一集合x，令s(x)=x∪{x}。則當x是序數時，s(x）亦為序數。一序數α稱作後繼序數：如果有一序數β，使α=s(β）。不是後繼序數的序數稱為極限序數，例如0,ω均為
極限序數
On雖為一真類，但<On,<>；具有性質：On的任一非空子類都有最小元。因此，要想證明每一序數都具有性質φ，即可套用超限歸納原理：對於任給的一序數β，若每一比β小的序數α都具有性質φ則β亦具有性質φ，那么對所有的序數都具有性質φ。
在定義序數運算（加、乘、冪）時，需要用超限遞歸定理：若G是一運算，則有一運算F，使得對每一序數α，都有F(α)=G(α）。而這一定理的證明要用到替換公理。有了替換公理還可以得到極限序數ω+ω的存在性。如果先將正整數從小排到大，再把非正整數從大排到小而成一序列：1,2,3，…，0，-1,-2，…。從而全體整數就良序了，其序型即為ω+ω。
事實上，任一良序集〈ω，<；〉，都有惟一的序數α使得〈w，<；〉序同構於〈α，∈〉。因此，就可以把良序集按序同構來分類，並將同屬於一類的稱為具有同一序型的良序集。而序數就可定義作為同構的良序集的代表。依此，可以定義序數的運算。例如，序數的加法可以定義如下：若α,β為序數，γ為極限序數
β+0=β,β+s(α)=s(β+α),β+γ(β+α），即用關於α的超限歸納原理來定義β+α。同樣地可以定義序數的積β.α和冪βα，以及相應的運算性質，如結合律等。 可以證明：替換公理是獨立於其他公理的。
正則公理
馮·諾伊曼給出了一個分層其中V0=═（α為任一序數，F(Vα）表Vα的冪集。這樣，正則公理肯定了每一集合必在某一Vα中。若再引進γ，稱為x的秩。從而，即可依秩來作超限歸納。
公理集合論
公理集合論在AC成立的條件下，每一群都同構於一個在π中的群：每一拓撲空間都同構於一個在Π中的拓撲空間，等等。而在數學討論中常常是把同構的對象視作同一的；故正則公理並不給討論帶來局限。
基數
基數概念至為重要。兩個集x、y稱作是等勢若在x與y之間能建立一個一一對應。如果集合x與y等勢，則記作x～y。由於AC任一集合x都可以良序化，故有序數α，使得α～x，把這種α中最小的那個序數定義作為集合x的基數，並記作│x│。這樣定義的基數│x│仍然是一個集合；而每一集合x都有一個│x│作為x的數量大小的一個刻畫；並且如果x～y，則│x│=│y│。
兩個集x、y稱作是等勢的
兩個集x、y稱作是等勢的這樣定義的基數是序數的一部分：即是不能與小於自己的序數等勢的那些序數，也就是所謂初始序數。例如0，1，2，…，ω等都是初始序數，因而都是基數。而ω+1，ω+2，…，ω+ω等都不是初始序數，故都不是基數。所以緊接著基數0,1,2，…，ω的基數是ω1，它也記作堗1。
如果AC不成立，則可利用正則公理來定義任一集合x的基數，記作憫。憫為一集合：。 上述定義系D.S.斯科特於1955年給出的。
公理集合論
公理集合論在60年代末期A.萊維還證明了在AC與正則公理都不成立的情況下，基數概念是不可定義的。
構造模型
由哥德爾不完備性定理可知：如果ZF是協調的，則在ZF中不能證明自身的協調性。所以，在公理集合論中只考慮相對協調性問題。如：解決這類問題的常用方法就是構造模型。在公理集合論中構造模型的方法不外三點：內模型法，外模型法（即力迫方法），對稱模型法。
公理集合論
公理集合論ConZF→Con(ZF+CH）的證明，證明中用的就是內模型法，但是當時尚未如此命名。
迄至1951年J.C.謝潑德森已經把內模型法研究得很完善，並已知道要用此法去證明是不可能的。
公理集合論
公理集合論外模型法（即力迫法）是P.J.科恩1963年所創，科恩據此而證明了CH的相對於ZF的獨立性。
排列模型的想法始於弗倫克爾，當時他是用來證及一些弱選擇公理的相對協調性，適用於有原子（本元）的集合論。迭經A.莫斯托夫斯基、斯派克等人的改進而形成FMS方法，其與外模型法相結合即可構成對稱模型法。
公理集合論
公理集合論分支
簡介
在公理集合論的研究中，大量的工作是關於集合論模型的，此外，還繼續此前樸素集合論對無窮組合問題的研究即組合集合論的研究。其中的一些問題是來源於柯尼希樹引理和 F. P.拉姆齊定理的推廣。另一分支則為描述集合論（亦稱解析集合論），主要是研究劃分層次以後的實數子集的結構性質問題。因而，這一部分與分析、實數理論和遞歸論的關係較為密切。
即使限於上述兩個分支的研究，也有許多問題要用到ZF（或ZFC）以外的附加假設才能判定。這裡，常用的附加假設有：可構成公理；各種大基數公理，以及與AC不協調的決定性公理等。
哥德爾在1938年提出了可構成公理，並在60年代末和70年代得到重視和發展。至於大基數的研究由來已久，但其作為附加公理亦是在60年代以後。幾乎每一種大基數都是ω的某種性質向不可數基數的推廣。可構成性、大基數和力迫法已成為公理化集合論的三大主流，同時它們又是三種研究工具。隨著無窮博弈的誕生和博弈論在數學各分支的滲透，以及博弈論與邏輯的關係日益密切，決定性公理也愈受到重視。
選擇公理
選擇公理是現代數學中最常用的假設，過去許多人曾不自覺地使用。對這個問題引起注意，是因為康托爾在1883年提出任意集合是否都可良序化的問題。希爾伯特也曾把這個問題引入其23問題頭一問題的後半部分。1904年，策梅羅提出選擇公理，並通過選擇公理證明了良序定理。這個公理有極多的等價形式，其中有在代數中常用的造恩引理。這個套用極廣、看來正確的選擇公理，卻可以證明出一些看來荒唐的結果。如1914年的豪斯道夫的分球面定理和U23年的巴拿赫—塔爾斯基悖論。
可是選擇公理的用途太大，不能忽視，許多學科的基本定理少不了它：泛函分析中的哈恩—巴拿赫定理（關於巴拿赫空間上的線性泛函的可擴張性）；拓撲學的吉洪諾夫定理（關於任意多緊空間的直積為緊）；布爾代數的斯通表示定理，每個布爾代數皆同構於集代數；自由群論的尼爾森定理，自由群的子群也是自由的。
其他還有許多定理，如果沒有選擇公理也不行。
連續統假設
連續統假設的歷史最久，它可以說是隨著集合論一起產生的。1883年康托爾就提出了這個假設，可數無窮集的基數的後面就是連續統的基。康托爾花了畢生精力去證明，但沒有成功。希爾伯特把它列入自己著名的23個問題的頭一個。希爾伯特本人也曾經用了許多精力證明它，並且在192～—1926年宣布過證明的大綱，但終究未能成功。這個問題終究懸而未決。
1930年哥德爾完成了他的兩大貢獻以後，曾說過“現在該輪到集合論了”。他從1935年起就開始研究連續統假設及廣義連續統假設。這一次他又出人意料地證明了ZF和GCH是協調一致的，不過當然要假設ZF本身也是協調的，雖然這一點一直沒有得到證明。
哥德爾套用可構造性公理證明ZFC和ZFC+GCH的相對無矛盾性，他用可構造集的類L作為ZFC的模型。1963年7月，美國年輕數學家科恩發明了影響極為重大的力迫法，並證明連續統假設的否定命題成立，這樣一來CH在ZF中既不能證明也不能否定。
可構成性公理
哥德爾證明選擇公理和連續統假設協調性的方法是定義一種類型的集合，叫做可構成集。假如把集合論中集合的概念完全用可構成集合的概念來理解，那么集合論中的一些概念就會有相應的改變。但是有一些概念不會改變，這種概念我們稱為絕對的，特別是可構成性這個概念是絕對的。所以“一切集合是可構成的”，這稱為可構成性公理。
可構成性的概念非常重要，表現在：
2、可構成性公理蘊涵連續統假設和選擇公理；
3、如果可測基數存在，則不可構成集合存在，這是斯科特1961年證明的。隨後，羅巴通在他1964年的博土論文中證明可測基數的存在，蘊涵整數不可構成集合的存在性，後來他又證明可測基數的存在蘊涵只有可數無窮多個整數的可構成集合。
馬丁公理
大基數公理
連續統假設及廣義連續統假設反映了最理想的大基數產生的方法，也就是一個接一個由冪集的基數產生出來。但是，這種理想的情況無法證明，而與它不同或矛盾的情形也不可能得到否定。因此，這種種特殊大基數的存在性能得到更加特殊的結果，而且對數學本身產生了不可忽視的影響。
雖然這些大基數極為玄乎，可是由它們可以推出許多重要的數學結果。因此我們不得不重視它，而它們的存在性作為公理就是大基數公理。可以料到這些大基數公理同原來的一些公理是矛盾的。比如，可構造公理就蘊涵可測基數不存在。
大基數公理對數學問題的重要性可以由下面問題的解決看出：拓撲學中一個著名的幾十年末解決的正規莫爾空間猜想歸結為可測基數的存在問題，而象過去局限於ZFC系統的證明是沒有希望的。
