集合论

维基百科,自由的百科全书
跳转至: 导航搜索

集合論英文Set theory)或稱集論,是研究集合(由一堆抽象对象英语Abstract object構成的整體)的數學理論,包含集合和元素(或稱為成員)關係等最基本數學概念。在大多數現代數學的公式化中,集合論提供了要如何描述数学对象英语mathematical objects的語言。集合論和邏輯一階邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。

現代集合論的研究是在1870年代由俄国数学家康托爾德國数学家理察·戴德金樸素集合論開始。在樸素集合論中,集合是當做一堆物件構成的整體之類的自證概念,沒有有關集合的形式化定義。在發現樸素集合論會產生許多悖論英语Paradoxes of set theory後,二十世紀初期提出了許多公理化集合論,其中最著名的是包括選擇公理策梅洛-弗蘭克爾集合論,簡稱ZFC。公理化集合論不直接定義集合和集合成員,而是先規範可以描述其性質的一些公理

集合論常被視為數學基礎之一,特別是包括選擇公理策梅洛-弗蘭克爾集合論。除了其基礎的作用外,集合論也是數學理論中的一部份,當代的集合論研究有許多離散的主題,從實數線的結構到大基数一致性等。

歷史[编辑]

康托爾

現代集合論的研究開始於1870年代由康托爾理察·戴德金提出的樸素集合論。一般數學主題的出現及發展都是由多名研究者的互動中產生的,但樸素集合論的開始是1874年康托爾的一篇論文《On a Characteristic Property of All Real Algebraic Numbers》[1][2]。而在稍早的1873年12月6日,康托尔写信给戴德金,说他已能成功地证明实数的“集体”是不可数的了,这一天也因此成为了集合论的诞生日。

從西元前五世紀時,數學家們就在研究有關無窮的性質,最早期是希臘數學家芝諾和印度數學家,十九世紀時伯納德·波爾查諾在此領域有相當的進展[3]。現在對於無限的了解是從1867–71年康托爾在數論上的研究開始,1872年康托爾和理查德·戴德金的一次聚會影響了康托爾的理念,最後產生了1874年的論文。

當時的數學家對康托爾的研究有二種完全不同的反應:卡尔·魏尔斯特拉斯及理查德·戴德金支持康托爾的研究,而像利奥波德·克罗内克数学结构主义則持反對態度。康托爾的研究後來廣為流傳,原因是因為集合中的双射等概念,康托爾對於實數較整數多的證明,及像冪集所產生「無窮的無窮」的概念。這些概念最後成為1898年《克莱因的百科全书英语Klein's encyclopedia》中的《Mengenlehre》(集合論)條目。

在1900年左右許多數學家發現樸素集合論會產生許多矛盾的情形,稱為二律背反或是悖论伯特兰·罗素恩斯特·策梅洛均發現了最簡單的悖论,也就是現在的罗素悖论:考慮「由所有不包含集合自身的集合所構成的集合」,此集合是否是集合本身的成員?若此集合也是集合本身的成員,則依定義(不包含集合自身的集合),此集合就不是集合本身的成員。若此集合不是集合本身的成員,則依定義,此集合就是集合本身的成員,因此產生矛盾。罗素悖论也造成了第三次數學危機。

1899年時康托爾自已也提出一個會產生悖论的問題「一個由所有集合形成的集合,其基數為何?」因而產生康托尔悖论。康托爾在1903年所著的《数学原理英语The Principles of Mathematics》中也用此悖論來評論當時的歐陸數學。

不過上述的爭論沒有使數學家放棄集合論,恩斯特·策梅洛亞伯拉罕·弗蘭克爾英语Abraham Fraenkel分別在1908年和1922年的研究.最後產生了策梅洛-弗兰克尔集合论的許多公理。昂利·勒貝格等人在實分析上的研究用到集合論中的許多數學工具,後來集合論也成為近代數學的一部份。集合論已被視為是數學的基礎理論,不過在一些領域中范畴论可能是更適合的基礎理論。

基礎概念及符號[编辑]

集合论是從一個对象o集合A之間的二元关系開始:若oA元素,可表示為oA。由於集合也是一個对象,因此上述關係也可以用在集合和集合的關係。

另外一種二個集合之間的關係,稱為包含關係。若集合A中的所有元素都是集合B中的元素,則稱集合AB子集,符號為AB。例如{1,2}{1,2,3} 的子集,但{1,4} 就不是{1,2,3} 的子集。依照定義,任一個集合也是本身的子集,不考慮本身的子集稱為真子集。集合A為集合B的真子集若且唯若集合A為集合B的子集,且集合B不是集合A的子集。

算術中有許多一元及二元运算,集合論也有許多針對集合的一元及二元运算:

  • 集合AB聯集,符號為AB,是在至少在集合AB中出現的元素,集合{1,2,3} 和集合{2, 3, 4} 的聯集為集合{1, 2, 3, 4}
  • 集合AB交集,符號為AB,是同時在集合AB中出現的元素,集合{1,2,3} 和集合{2, 3, 4} 的交集為集合{2, 3}
  • 集合UA相對差集,符號為U \ A,是在集合U中,但不在集合A中的所有元素,相對差集{1,2,3} \ {2,3,4}{1} ,而相對差集{2,3,4} \ {1,2,3}{4} 。當集合A是集合U的子集時,相對差集U \ A也稱為集合A在集合U中的補集。若是研究文氏圖,集合U全集,且可以藉由上下文找到全集定義時,會使用Ac來代替U \ A
  • 集合AB对称差,符號為ABAB,是指只在集合AB中的其中一個出現,沒有在其交集中出現的元素。例如集合{1,2,3}{2,3,4} 的对称差為{1,4} ,也是其聯集和交集的相對差集(AB) \ (AB),或是二個相對差集的聯集(A \ B) ∪ (B \ A)
  • 集合AB笛卡儿积,符號為A × B,是一個由所有可能的有序对(a,b)形成的集合,其中第一个物件是A的成员,第二个物件是B的成员。{1, 2}和{red, white}的笛卡儿积為{(1, red), (1, white), (2, red), (2, white)}。
  • 集合A冪集是指是以A的全部子集為元素的集合,例如集合{1, 2} 的冪集為{ {}, {1}, {2}, {1,2} }

一些重要的基本集合包括空集(唯一沒有元素的集合),整數集合及實數集合。其他有關初等集合論的基本介紹,請參考集合

集合的本體論[编辑]

冯·诺伊曼層次中的一部份

若一個集合的所有元素都是集合,所有元素的元素都是集合……,此集合稱為純集合英语pure set,例如只包括空集合的集合是一個非空的純集合。在當代的集合論中,常常嚴格限制只考慮純集合的馮·諾伊曼全集,許多公理集合論的系統也是為了純集合的公理化。這様的限制有許多技術上的優點,因為基本上所有的數學概念都可以用純集合來表示,上述的限制不影響相關的應用。馮·諾伊曼全集中的集合可以以累積層次(cumulative hierarchy)的方式整理,也就會依元素的深度、元素的元素的深度……來分類。層次中的每一個集合都會以超限递归的方式指定一個序数,稱為集合的階。純集合X的階定義為所有集合X元素的階的后继序数最小上界。例如空集的階定義為0,只包括空集的集合定義為1,針對每一個序数α,集合Vα定義為所有階數小於α的純集合,整個馮·諾伊曼全集用V來表示。

公理集合論[编辑]

基礎集合論可以用非正式的、直覺的方式學習,在小學中就可以用文氏圖說明。基礎集合論直觀地假設集合就是一群符合任意特定條件物件的組合,但此假設會造成悖論。最簡單及著名的是羅素悖論布拉利-福爾蒂悖論公理集合論的形成就是為了避免這些集合論的悖論。

許多數學家研究的公理集合論系統假設所有的集合形成累计层次。這類的系統可分為二類:

可以修改上述系統,允許基本元素(urelement)的存在,基本元素不是集合,因此本身也沒有成員,但基本元素可以是其他集合中的成員。

新基础集合论的系統NFU(允許基本元素)及NF(不允許基本元素)不是以累计层次為基礎,NFU和NF有一個「包括所有物件的集合」,此外,每個集合都有其補集。NF的新基础集合论可以適用在選擇公理不成立的場合。新基礎集合論和正集合論是已被提出的可替代的集合論之中的一部份。

建構式集合論英语constructive set theory的系統,像是CST(建構式集合論)、CZF(建構式策梅洛-弗蘭克爾集合論)及IZF(直覺式策梅洛-弗蘭克爾集合論)等,將其集合公理以直觉主义逻辑來表示,不是使用一階邏輯。其他的一些系統接受標準的一階邏輯,但是允許非標準的隸屬關係,包括粗集合模糊集,其中表示隸屬關係的原子公式數值不只是單純的「真」或是「假」。ZFC中的布林值模型也是類似的概念。

內集合論英语Internal set theory是公理化集合論的擴張,允許無窮小量和其他「非標準」的數字存在,由爱德华·尼尔森英语Edward Nelson在1977年提出。

應用[编辑]

許多數學概念可以只用集合的理論概念來準確定義。例如像流形向量空间等數學結構都可以用滿足特定公理性質的集合來定義。在數學領域中,等价关系序关系無所不在,而數學关系的理論也可以用集合論來描述。

對許多數學理論而言,集合論也是很有發展性的基礎系統。從集合論刊在《數學原理》的第一卷起,許多數學家聲稱大部份其至全部的數學定理都可以用巧妙選擇的一些集合論公理來證明,其中可能會配合許多定義的加強,可能使用一階邏輯二階邏輯。例如有關自然數或是實數的性質就可以用集合論來推導,每個數學系統可以用一組等價類配合適當的等价关系來識別,而其是某個無限集

集合論在數學分析拓撲學抽象代数離散數學中的基礎地位比較沒有爭議,數學家接受這些領域中的定理(或是比較基礎的定理)可以由集合論中的公理及適當的定義推導出來。因為用集合論證明複雜理論的推導過程比一般的推導過程長很多,只有少量這種的證明被正式的驗證過。一個稱為Metamath英语Metamath的驗證計劃,包括了超過一千個定理證明的推導,以含選擇公理策梅洛-弗兰克尔集合论為起點,使用一階邏輯來進行證明。

研究領域[编辑]

集合論是數學的主要研究領域之一,其中也有許多和其他領域相關的子領域。

組合集合論[编辑]

組合集合論也稱為無限組合數學英语Infinitary combinatorics,將有限的組合數學延伸到無限集中。組合集合論包括基數算術的研究,以及拉姆齐定理的擴展,例如艾狄胥–拉多定理英语Erdős–Rado theorem

描述集合論[编辑]

描述集合論是關於實直線波蘭空間上子集的研究。描述集合論是從對波莱尔层次英语Borel hierarchy点集研究開始,後來延伸到更複雜的層次,像是射影层次英语projective hierarchy魏吉层次英语Wadge hierarchy波莱尔集中的許多性質可以建立在包括選擇公理的策梅洛-弗蘭克爾集合論上,但其證明需要許多更複雜的集合,且需要有其他和确定性和大基数有關的公理。

有效描述集合論英语effective descriptive set theory介於集合論和递归论之間,包括對淺體點集英语lightface pointclass的研究,和超算術理論英语hyperarithmetical theory緊密相關。許多情形下,描述集合論的結果也可以用有效描述集合論來表示。有時,會先利用有效描述集合論來證明,再將其延伸(相對化),使其應用範圍更廣。

描述集合論的當代研究包括波萊爾等價關係英语Borel equivalence relation及一些更複雜的可定義等價關係。描述集合論在許多數學領域的不變量研究都很重要。

模糊集[编辑]

在康托尔定義的樸素集合論及後來發展的公理化集合論中,一個物件和一個集合的關係只有二種:是成員或者不是成員。盧菲特·澤德模糊集中放寬上述的限制,物件有對於集合的歸屬度(degree of membership),是一個介於0到1之間的數字。例如有關一個人對於「身材高大的人」集合的歸屬度不是簡單是或不是,而是一個數值,例如0.75。

力迫[编辑]

保羅·寇恩為了在選擇公理连续统假设失效的情形下研究ZFC的模型论,因此發明力迫。力迫法是一種擴張模型的方法,在集合論的某模型中加入一些額外的集合,來產生一個較大的集合,而且其中有一些明確定義的特質。像保罗·寇恩在不更改原始模型基數的條件下,增加了一個額外的自然數子集。力迫也是利用有窮方法(finitistic method)證明相對一致性的二種方法中的一種,另一個方法是布尔值模型

對集合論的異議[编辑]

一開始,有些數學家反對英语Controversy over Cantor's theory將集合論當做數學基礎,認為這只是一場含有「奇幻元素」的遊戲。對集合論最常見的反對意見來自數學結構主義者(像是利奥波德·克罗内克),他們認為數學多少都和計算有些關係的,但樸素集合論卻加入了非計算性的元素。

埃里特·比修普英语Errett Bishop駁斥集合論是「上帝的數學,應該留給上帝」。而且,路德維希·維根斯坦特別對無限的操作有疑問,這也和策梅羅-弗蘭克爾集合論有關。維根斯坦對於數學基礎的觀點曾被保羅·貝奈斯英语Paul Bernays所批評,且被克里斯平·賴特英语Crispin_Wright等人密切研究過[4]

拓撲斯理論曾被認為是傳統公理化集合論的另一種選擇。拓樸斯理論可以被用來解釋各種集合集的替代方案,如數學結構主義模糊集合論、有限集合論和可計算集合論等[5]

相關條目[编辑]

參考資料[编辑]

  1. ^ Cantor, Georg, Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, J. Reine Angew. Math.. 1874, 77: 258–262 
  2. ^ Johnson, Philip, A History of Set Theory, Prindle, Weber & Schmidt. 1972, ISBN 0-87150-154-6 
  3. ^ Bolzano, BernardBerg, Jan, ., Einleitung zur Größenlehre und erste Begriffe der allgemeinen Größenlehre, Bernard-Bolzano-Gesamtausgabe, edited by Eduard Winter et al., Vol. II, A, 7, Stuttgart, Bad Cannstatt: Friedrich Frommann Verlag. 1975:  152, ISBN 3-7728-0466-7 
  4. ^ John Francis. Philosophy Of Mathematics. Global Vision Publishing Ho. 2008: 86. ISBN 8182202671. 
  5. ^ Ferro, A.; Omodeo, E. G.; Schwartz, J. T., Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions, Comm. Pure Appl. Math.. 1980, 33 (5): 599–608, doi:10.1002/cpa.3160330503