連續統假設（，簡稱 CH）是數學中一個猜想，也是希爾伯特的 23 個問題的第一題，由康托爾提出，關於無窮集的可能大小。其為： 康託爾引入了基數的概念以比較無窮集間的大小，也證明瞭整數集的基數絕對小於實集的基數。康託爾也就給出了連續統假設，就是說，在無限集中，比自然數集 N01234 基數大的集合中，基數最小的集合是實數集。而連續統就是實數集的一個舊稱。 更加形式地說，自然數集的基數為 aleph_0（讀作「阿列夫零」）。而連續統假設的觀點認為實數集的基數為 aleph_1（讀作「阿列夫壹」）。於是，康托爾定義了絕對無限。 等價地，整數集的基數是 aleph_0 而實數的基數是 2aleph_0，連續統假設指出不存在一個集合 S 使得 aleph_0 S 2aleph_0 假設選擇公理是對的，那就會有一個最小的基數 aleph_1 大於 aleph_0，而連續統假設也就等價於以下的等式： 2aleph_0 aleph_1 連續統假設有個更廣義的形式，叫作廣義連續統假設（GCH），其命題為： 庫爾特哥德爾在 1940 年用內模型法證明了連續統假設與 ZFC 的相對協調性（無法以 ZFC 證明為誤），保羅柯恩在 1963 年用力迫法證明了連續統假設不能由 ZFC 推導。也就是說連續統假設獨立於 ZFC。 作為希爾伯特第一問題 1900 年，大衛希爾伯特以「連續統假設是否成立」作為「希爾伯特第一問題」。Kurt Godel 和 Paul Cohen 確定了連續統假設在 ZFC 系統下，加上了選擇公理，也不能證明或證否。 連續統假設簡記 CH。選擇公理簡記 AC。 集合的大小 要正式地列出這個猜想，我們需要一些定義：假如兩個集合 S 與 T 之間存在著一個雙射，我們會說這兩個集合擁有相同的基數。直觀的意思是在「T 的每個元素只能配上僅僅一個 S 的元素，反之亦然」這個前提下，把 S 與 T 的元素拿出來配對是可能的。因此，集合 蕉，蘋果，橙 與集合 黃，紅，綠 擁有相同基數。 當情況去到如整數集或有理數集等無窮集的情況時，事件就變得複雜得多。當考慮所有有理數的集合時，有些初學者可能會直覺地認為有理數理所當然地多於整數，而有理數又顯然少於實數，因此把連續統假設證否。但透過簡單集合論的方法，我們能證明有理數集能與整數集形成一雙射，因此有理集跟整數集有著一樣的大小，而它們都被稱為可列集。對角論證法則證明瞭整數集跟連續統（實數集）的基數並不一樣。 連續統假設亦指出，實數集中每一個無窮子集，要麼和整數集有相同的基數，要麼和實數集有相同的基數。 證明或證否的不可能性（在 ZFC 系統下） 康託爾相信連續統假設是對的，花了很多年嘗試證明它，結果徒勞無功。它成為了希爾伯特那重要難題名單中的第一條，並在 1900 年巴黎的國際數學家大會上宣佈此事。在那個時候，還沒有公理化集合論的概念。 庫爾特哥德爾在 1940 年指出連續統假設不能在 ZFC 系統下證否，即使接受了選擇公理為前提。保羅寇恩在 1963 年證明瞭連續統假設同樣不能在 ZFC 下被證明。因此，連續統假設「邏輯地獨立於」ZFC。這些結果都是以 ZFC 的公設系統本身並不存在自相矛盾（相容性）為假設大前提，而這個大前提是被廣泛接受為對的。 連續統假設並非被證明跟 ZFC 互相獨立的第一個命題。哥德爾不完備定理一個立即的結論在 1931 年被發表，那是「『存在著一個正式命題表達 ZFC 的相容性』乃獨立於 ZFC」。有別於純粹數學的，這個一致的命題乃是有著在數學之上的特性。連續統假設和選擇公理乃是最先被證明跟 ZF 集合論獨立的命題。在 Paul Cohen 在 1960 年代發展出力迫法以前，這些獨立性的證明並沒有完成。 連續統假設與數學分析、點集拓撲學和測度論中很多的命題有緊密關係。由於其獨立性，很多這些範疇中的猜想也就被證明瞭其獨立性。 支援和反對連續統假設的辯論 哥德爾相信連續統假設是錯的，而他對於連續統假設相容性的證明，只表示了 ZF 系統的公理有缺陷。哥德爾是一個柏拉圖主義者，因此獨立於一個命題的可證性而宣稱其正確或錯誤，對他來說並無問題。寇恩也傾向於反對連續統假設。 歷史上，喜歡一個「豐富」而且「大」的全集的數學家傾向反對連續統假設；而喜歡一個「整齊」而且「可控制」的全集的數學家則傾向支援連續統假設。對於能推匯出連續統假設的可建造公理，一直以來也有一些支援與反對的爭論。最近，Matthew Foreman 更指出本體論的多元主義對支援連續統假設有利（Maddy 1988 p 500）。這是因為在各種模型裡面，支援連續統假設的模型往往會存在更多集合。 另一個觀點是對於集合的幼稚概念並不足夠明確地使我們能分辨究竟連續統假設是對是錯。這個觀點被「連續統假設對於 ZFC 系統的獨立性」所支援，由於這些公理足夠建立集合與基數的基本特性。要反對這一觀點，要是能展示一條既能被直觀所支援、又能從證明或證否面解決連續統假設的新公理，那就很足夠了。儘管可建造公理能解決連續統假設，但它比較起連續統假設的反題並不顯得更直觀地正確。 至少有另外兩個可推匯出連續統假設的公理被提出，即使它們目前還沒有被數學社群所廣泛接受。在 1986 年，Chris Freiling 展示了一個反連續統假設的論點，透過顯示連續統的反題跟 Freiling 對稱公理一個跟機率有關的命題等價。Freiling 相信這條公理「直觀正確」，但其它人反對。一個由 W Hugh Woodin 發展的困難論點同樣反連續統假設，並自 2000 年開始獲得了值得考慮的注意。Foreman 2003 並沒有完全反對 Woodin 的論點但敦促小心謹慎。 廣義連續統假設 廣義連續統假設（Generalized continuum hypothesis，簡稱 GCH）是指： 若一個無限集 A 的基數在另一個無限集 S 與其冪集 2S 之間，則 A 的基數必定與 S 或其冪集 2S 相同。 CH 與 GCH 都獨立於 ZFC，不過瓦茨瓦夫謝爾賓斯基證明瞭 ZFGCH 可以推匯出選擇公理，換句話說，不存在 ZFGCH 但 AC 不成立的公設系統。 任何的無限集合 A 和 B，假如存在一個由 A 到 B 的單射，那就存在一個由 A 的子集到 B 的子集的單射。因此對於任何有限的序數 A 和 B， A B to 2A leqslant 2B 假如 A 和 B 是有限集合，那我們可以得到更強的不等式： A B to 2A 2B GCH 意味著這個嚴格的不等式對無限序數和有限序數都成立。 參考條目 艾禮富數 希爾伯特的 23 個問題 ℶ 數 序數 ZFC 系統無法確定的命題列表 首個不可數序數 參考資料 Gödel K What is Cantors Continuum Problem reprinted in Benacerraf and Putnams collection Philosophy of Mathematics 2nd ed Cambridge University Press 1983 An outline of Gödels arguments against CH Martin D 1976 Hilberts first problem the continuum hypothesis in Mathematical Developments Arising from Hilberts Problems Proceedings of Symposia in Pure Mathematics XXVIII F Browder editor American Mathematical Society 1976 pp 8192 左孝凌，李為鑑，劉永才。離散數學。上海科學技術文獻出版社 1982 ISBN 9787805130699 外部連結 Континуумгипотеза БСЭ Category 序數 L Category 希爾伯特問題 Category 無窮集合論基本概念 Category 獨立結果