康託爾與集合論

2021-02-08 AnnieEasyFM

三觀正的讀者都轉發了




康託爾是19世紀末20世紀初德國偉大的數學家,集合論的創立者。是數學史上最富有想像力,最有爭議的人物之一。19世紀末他所從事的關於連續性和無窮的研究從根本上背離了數學中關於無窮的使用和解釋的傳統,從而引起了激烈的爭論乃至嚴厲的譴責。然而數學的發展最終證明康託是正確的。他所創立的集合論被譽為20世紀最偉大的數學創造,集合概念大大擴充了數學的研究領域,給數學結構提供了一個基礎,集合論不僅影響了現代數學,而且也深深影響了現代哲學和邏輯。

1.康託爾的生平

1845年3月3日,喬治·康託生於俄國的一個丹麥—猶太血統的家庭。1856年康託和他的父母一起遷到德國的法蘭克福。像許多優秀的數學家一樣,他在中學階段就表現出一種對數學的特殊敏感,並不時得出令人驚奇的結論。他的父親力促他學工,因而康託在1863年帶著這個目地進入了柏林大學。這時柏林大學正在形成一個數學教學與研究的中心。康託很早就嚮往這所由外爾斯託拉斯佔據著的世界數學中心之一。所以在柏林大學,康託受了外爾斯特拉斯的影響而轉到純粹的數學。他在1869年取得在哈勒大學任教的資格,不久後就升為副教授,並在1879年被升為正教授。1874年康託在克列勒的《數學雜誌》上發表了關於無窮集合理論的第一篇革命性文章。數學史上一般認為這篇文章的發表標誌著集合論的誕生。這篇文章的創造性引起人們的注意。在以後的研究中,集合論和超限數成為康託研究的主流,他一直在這方面發表論文直到1897年,過度的思維勞累以及強列的外界刺激曾使康託患了精神分裂症。這一難以消除的病根在他後來30多年間一直斷斷續續影響著他的生活。1918年1月6日,康託在哈勒大學的精神病院中去世。

2.集合論的背景

為了較清楚地了解康託在集合論上的工作,先介紹一下集合論產生的背景。

集合論在19世紀誕生的基本原因,來自數學分析基礎的批判運動。數學分析的發展必然涉及到無窮過程,無窮小和無窮大這些無窮概念。在18世紀,由於無窮概念沒有精確的定義,使微積分理論不僅遇到嚴重的邏輯困難,而且還使實無窮概念在數學中信譽掃地。19世紀上半葉,柯西給出了極限概念的精確描述。在這基礎上建立起連續、導數、微分、積分以及無窮級數的理論。正是這19世紀發展起來的極限理論相當完美的解決了微積分理論所遇到的邏輯困難。但是,柯西並沒有徹底完成微積分的嚴密化。柯西思想有一定的模糊性,甚至產生邏輯矛盾。19世紀後期的數學家們發現使柯西產生邏輯矛盾的問題的原因在奠定微積分基礎的極限概念上。嚴格地說柯西的極限概念並沒有真正地擺脫幾何直觀,確實地建立在純粹嚴密的算術的基礎上。於是,許多受分析基礎危機影響的數學家致力與分析的嚴格化。在這一過程中,都涉及到對微積分的基本研究對象─連續函數的描述。在數與連續性的定義中,有涉及關於無限的理論。因此,無限集合在數學上的存在問題又被提出來了。這自然也就導致尋求無限集合的理論基礎的工作。總之,為尋求微積分徹底嚴密的算術化傾向,成了集合論產生的一個重要原因。

3.集合論的建立

康託在柏林大學的導師是外爾斯託拉斯,庫曼和克羅內克。庫曼教授是數論專家,他以引進理想數並大大推動費馬大定理的研究而舉世聞名是。克羅內克是一位大數學家,當時許多人都以得到他的讚許為榮。外爾斯託拉斯是一位優秀教師也是一位大數學家。他的演講給數學分析奠定了一個精確而穩定的基礎。例如,微積分中著名的觀念就是他首先引進的。正是由於這些人的影響,康託對數論較早產生興趣,併集中精力對高斯所留下的問題作了深入的研究。他的畢業論文就是關於++=0的素數問題的。這是高斯在《算術研究》中提出而未解決的問題。這片論文寫得相當出色,它足以證明作者具有深刻的洞察力和對優秀思想的繼承能力。然而,他的超窮集合論的創立,並沒有受惠於早期對數論的研究。相反,他很快接受了數學家海涅的建議轉向了其他領域。海涅鼓勵康託研究一個十分有趣,也是較困難的問題:任意函數的三角級數的表達式是否唯一?對康託來說這個問題是促使他建立集合論的最直接原因。函數可用三角級數表示,最早是1822年傅立葉提出來的。此後對於間斷點的研究,越來越成為分析領域中引人注目的問題,從19世紀30年代起,不少傑出的數學家從事著對不連續函數的研究,並且都在一定程度上與集合這一概念掛起了鉤。這就為康託最終建立集合論創造了條件。1870年,海涅證明,如果表示一個函數的三角級數在區間[-π,π]中去掉函數間斷點的任意小鄰域後剩下的部分上是一致收斂的,那麼級數是唯一的。至於間斷點的函數情況如何,海涅沒有解決。康託開始著手解決這個以如此簡潔的方式表達的唯一性問題。於,他跨出了集合論的第一步。

康託一下子就表現出比海涅更強的研究能力。他決定儘可能多地取消限制,當然這會使問題本身增加難度。為了給出最有普遍性的解,康託引進了一些新的概念。在其後的三年中,康託先後發表了五篇有關這一題目的文章。1872年當康託將海涅提出的一致收斂的條件減弱為函數具有無窮個間斷點的情況時,他已經將唯一性結果推廣到允許例外值是無窮集的情況。康託1872年的論文是從間斷點問題過度到點集論的極為重要的環節,使無窮點集成為明確的研究對象。

集合論裡的中心,難點是無窮集合這個概念本身。從希臘時代以來,無窮集合很自然地引起數學家們和哲學家們的注意。而這種集合的本質以及看來是矛盾的性質,很難象有窮集合那樣來把握它。所以對這種集合的理解沒有任何進展。早在中世紀,人們已經注意到這樣的事實:如果從兩個同心圓出發畫射線,那麼射線就在這兩個圓的點與點之間建立了一一對應,然而兩圓的周長是不一樣的。16世紀,伽俐略還舉例說,可以在兩個不同長的線段ab與cd之間建立一一對應,從而想像出它們具有同樣的點。

他又注意到正整數可以和它們的平方構成一一對應,只要使每個正整數同它們的平方對應起來就行了: 

 1    2    3    4  … … n … …      2    3    4  … … n … …

但這導致無窮大的不同的「數量級」,伽俐略以為這是不可能的,因為所有無窮大都一樣大。

不僅是伽俐略,在康託之前的數學家大多不贊成在無窮集之間使用一一對應的比較手段,因為它將出現部分等於全體的矛盾.高斯明確表態:「我反對把一個無窮量當作實體,這在數學中是從來不允許的。無窮只是一種說話的方式… …」柯西也不承認無窮集合的存在。他不能允許部分同整體構成一一對應這件事。當然,潛無窮在一定條件下是便於使用的,但若把它作為無窮觀則是片面的。數學的發展表明,只承認潛無窮,否認實無窮是不行的。康託把時間用到對研究對象的深沉思考中。他要用事實來說明問題,說服大家。康託認為,一個無窮集合能夠和它的部分構成一一對應不是什麼壞事,它恰恰反應了無窮集合的一個本質特徵。對康託來說,如果一個集合能夠和它的一部分構成一一對應,它就是無窮的。它定義了基數,可數集合等概念。並且證明了實數集是不可數的代數數是可數的.康託最初的證明發表在1874年的一篇題為《關於全體實代數數的特徵》的文章中,它標誌著集合論的誕生。

隨著實數不可數性質的確立,康託又提出一個新的,更大膽的問題。1874年,他考慮了能否建立平面上的點和直線上的點之間的一一對應。從直觀上說,平面上的點顯然要比線上的點要多得多。康託自己起初也是這樣認識的。但三年後,康託宣布:不僅平面和直線之間可以建立一一對應,而且一般的n維連續空間也可以建立一一對應!這一結果是出人意外的。就連康託本人也覺得「簡直不能相信」。然而這又是明擺著的事實,它說明直觀是靠不住的,只有靠理性才能發現真理,避免謬誤。

既然n維連續空間與一維連續統具有相同的基數,於是,康託在1879到1884年間集中於線性連續統的研究,相繼發表了六篇系列文章,匯集成《關於無窮的線性點集》。前四篇直接建立了集合論的一些重要結果,包括集合論在函數論等方面的應用。其中第五篇發表於1883年,它的篇幅最長,內容也最豐富。它不僅超出了線性點集的研究範圍,而且給出了超窮數的一個完全一般的理論,其中藉助良序集的序型引進了超窮序數的整個譜系。同時還專門討論了由集合論產生的哲學問題,包括回答反對者們對康託所採取的實無窮立場的非難。這篇文章對康託是極為重要的。1883年,康託將它以《集合論基礎》為題作為專著單獨出版。

《集合論基礎》的出版,是康託數學研究的裡程碑。其主要成果是引進了作為自然數系的獨立和系統擴充的超窮數。康託清醒地認識到,他這樣做是一種大膽的冒進。「我很了解這樣做將使我自己處於某種與數學中關於無窮和自然數性質的傳統觀念相對立的地位,但我深信,超窮數終將被承認是對數概念最簡單、最適當和最自然的擴充。」《集合論基礎》是康託關於早期集合理論的系統闡述,也是他將做出具有深遠影響的特殊貢獻的開端。

康託於1895年和1897年先後發表了兩篇對超限數理論具有決定意義的論文。在該文中,他改變了早期用公理定義(序)數的方法,採用集合作為基本概念。他給出了超限基數和超限序數的定義,引進了它們的符號;依勢的大小把它們排成一個「序列」;規定了它們的加法,乘法和乘方… …。到此為止,康託所能做的關於超限基數和超限序數理論已臻於完成。但是集合論的內在矛盾開始暴露出來。康託自己首先發現了集合論的內在矛盾。他在1895年的文章中遺留下兩個懸而未決的問題:一個是連續統假說;另一個是所有超窮基數的可比較性。他雖然認為無窮基數有最小數而沒有最大數,但沒有明顯敘述其矛盾之處。一直到1903年羅素髮表了他的著名悖論。集合論的內在矛盾才突出出來,成為20世紀集合論和數學基礎研究的出發點。

4.對康託集合論的不同評價

康託的集合論是數學上最具有革命性的理論。他處理了數學上最棘手的對象---無窮集合。因此,他的發展道路也自然很不平坦。他拋棄了一切經驗和直觀,用徹底的理論來論證,因此他所得出的結論既高度地另人吃驚,難以置信,又確確實實,毋庸置疑。數學史上沒有比康託更大膽的設想和採取的步驟了。因此,它不可避免地遭到了傳統思想的反對。

19世紀被普遍承認的關於存在性的證明是構造性的。你要證明什麼東西存在,那就要具體造出來。因此,人只能從具體得數或形出發,一步一步經過有限多步得出結論來。至於「無窮」,許多人更是認為它是一個超乎於人的能力所能認識的世界,不要說去數它,就是它是否存在也難以肯定,而康託竟然「漫無邊際地」去數它,去比較它們的大小,去設想沒有最大基數的無窮集合的存在……這自然遭到反對和斥責。

集合論最激烈的反對者是克羅內克,他認為只有他研究的數論及代數才最可靠。因為自然數是上帝創造的,其餘的是人的工作。他對康託的研究對象和論證手段都表示強烈的反對。由於柏林是當時的數學中心,克羅內克又是柏林學派的領袖人物,所以他對康託及其集合論的發展前途的阻礙作用是非常大的。另一位德國的知覺主義者魏爾認為,康託把無窮分成等級是霧上之霧。法國數學界的權威人物龐加萊曾預言:我們的「後一代將把(康託的)集合論當作一種疾病」等等。由於兩千年來無窮概念數學帶來的困難,也由於反對派的權威地位,康託的成就不僅沒有得到應有的評價,反而受到排斥。1891年,克羅內克去世之後,康託的處境開始好轉。

另一方面,許多大數學家支持康託的集合論。除了狄德金以外,瑞典的數學家米大格---列夫勒在自己創辦的國際性數學雜誌上把康託的集合論的論文用法文轉載,從而大大促進了集合論在國際上的傳播。1897年在第一次國際數學家大會上,霍爾維次在對解析函數的最新進展進行概括時,就對康託的集合論的貢獻進行了闡述。三年後的第二次國際數學大會上,為了捍衛集合論而勇敢戰鬥的希爾伯特又進一步強調了康託工作的重要性。他把連續統假設列為20世紀初有待解決的23個主要數學問題之首。希爾伯特宣稱:「沒有人能把我們從康託為我們創造的樂園中驅逐出去。」特別自1901年勒貝格積分產生以及勒貝格的測度理論充實了集合論之後,集合論得到了公認,康託的工作獲得崇高的評價。當第三次國際數學大會於1904年召開時,「現代數學不能沒有集合論」已成為大家的看法。康託的聲望已經得到舉世公認。

5.集合論的意義

集合論是現代數學中重要的基礎理論。它的概念和方法已經滲透到代數、拓撲和分析等許多數學分支以及物理學和質點力學等一些自然科學部門,為這些學科提供了奠基的方法,改變了這些學科的面貌。幾乎可以說,如果沒有集合論的觀點,很難對現代數學獲得一個深刻的理解。所以集合論的創立不僅對數學基礎的研究有重要意義,而且對現代數學的發展也有深遠的影響。

康託一生受過磨難。他以及其集合論受到粗暴攻擊長達十年。康託雖曾一度對數學失去興趣,而轉向哲學、文學,但始終不能放棄集合論。康託能不顧眾多數學家、哲學家甚至神學家的反對,堅定地捍衛超窮集合論,與他的科學家氣質和性格是分不開的。康託的個性形成在很大程度上受到他父親的影響。他的父親喬治·瓦爾德瑪·康託在福音派新教的影響下成長起來。是一位精明的商人,明智且有天份。他的那種深篤的宗教信仰強烈的使命感始終帶給他以勇氣和信心。正是這種堅定、樂觀的信念使康託義無返顧地走向數學家之路並真正取得了成功。

今天集合論已成為整個數學大廈的基礎,康託也因此成為世紀之交的最偉大的數學家之一。






AnnieEasy的公號,分享愛信不信的知識毒辣的觀點。定期毀三觀,但不保證重建;不定期發布原創文章和語音。想說的、感興趣的、覺得有價值的都會發,但可能主要和以下內容有關:飲食/健康/疾病、轉基因/中醫藥/闢謠,育兒常識,偶爾美妝與護膚。支持平權,穆黑,反狗權。有問題發在留言區,我選擇有趣的回答和上牆;任何人可以留言,但本人保留說話不客氣的權利。


投稿郵箱:Easy.FM@qq.com


相關焦點

  • 集合論的創立,為什麼說康託爾知道聚寶盆的秘密?
    不過我們在這裡要說清一點,雖然聚寶盆是虛構的,但這種「一一對應」卻是正兒八經的數學證明,它來自集合論和超窮數理論之父,德國數學家康託爾。02 無窮與無窮在數學中,無窮本身就是一個重要的研究對象。經過上文中的兩次證明,康託爾提出了兩種無窮,小一點的記作0,比0稍大的記作1。它們是康託爾無窮王國中較早現身的兩名「將領」,在此之後,康託爾的研究越發深入,直至集合論和超窮數理論建立起來。
  • 數學家康託爾:他創立了著名的集合論,卻被逼瘋死在精神病院
    在上篇文章中,我們說到由柯西與康託爾為代表的數學家們,通過建立起了嚴謹的極限理論,和實數理論成功解決第二次數學危機。 同年12月7日,康託爾又寫信給戴德金,說他已能成功地證明實數的「集體」是不可數的,也就是不能同正整數的「集體」一一對應起來。這標誌著集合論的誕生。 十九世紀下半葉,他創立了著名的集合論。但在集合論剛產生時,遭到了許多人的猛烈攻擊。
  • 集合論的誕生
    正是在這場運動中,康託爾開始探討了前人從未碰過的實數點集,這是集合論研究的開端。到1874年康託爾開始一般地提出「集合」的概念。他對集合所下的定義是:把若干確定的有區別的(不論是具體的或抽象的)事物合併起來,看作一個整體,就稱為一個集合,其中各事物稱為該集合的元素。人們把康託爾於1873年12月7日給戴德金的信中最早提出集合論思想的那一天定為集合論誕生日。
  • 康託爾的數學人生
    在這一過程當中,康託爾拋卻了以往的經驗與直觀,拿起理論論證的武器,衝出了數學中有限性的阻礙,打破了數學中對於無窮的一貫解釋和運用方式,創立了全新的集合論和超窮數理論。自此,集合論成為了實數理論乃至整個微積分理論的基礎,嚴密的微積分體系亦隨之建立起來。
  • 集合論的發展史
    集合論最重要的創建者是康託爾(Georg Cantor,1845—1918)。在19世紀人們很少懷疑微積分的基礎應該建立在嚴密的實數理論上,而嚴密的實數理論可以由集合論推出。從19世紀60年代起,法國數學家康託爾承擔了這一工作,他清楚地看到以往數學基礎中的問題,都與無窮集合有關。康託爾的集合論的建立,不僅是數學發展史上一座高聳的裡程碑,甚至還是人類思維發展史上的一座裡程碑。它標誌著人類經過幾千年的努力,終於基本上弄清了無限的性質,找到了制服無限「妖怪」的法寶。
  • 集合論產生的背景
    今天讓我們一起走進十九世紀,分享現代數學的基礎——集合論產生的背景。
  • 尋找數學的基礎:集合論的創立
    可是,康託爾1874年發表的有關集合論的頭一篇論文《論所有實代數集合的一個性質》斷言,所有實代數數的集合是可數的,所有實數的集合是不可數的。因此,非代數數的超越數是存在的,並且其總數要比我們熟知的實代數數多得多,也就是說超越數的集合也是不可數的。  康託爾的這種證明是史無前例的。
  • 為數學而瘋的康託爾
    1918年1月6日,德國數學家,集合論的創立人康託爾逝世。一、 康託爾的生平康託爾曾就學於蘇黎世大學、哥廷根大學和法蘭克福大學。1863年,他父親突然病逝,為此康託爾回到了柏林,在柏林大學重新開始學習。
  • 集合論發展的歷史
    (一)集合論的誕生集合論是德國著名數學家康託爾(Cantor,1845-1918)於19世紀末創立的。他對集合所下的定義是把若干確定的有區別的(不論是具體的或抽象的)事物合併起來,看作一個整體,就稱為一個集合,其中各事物成為該集合的元素。
  • 高一數學入門數學概念:集合論的誕生
    這門研究集合的數學理論在現代數學中被恰當地稱為集合論。它是數學的一個基本分支,在數學中佔據著一個極其獨特的地位,其基本概念已滲透到數學的所有領域。如果把現代數學比作一座無比輝煌的大廈,那麼可以說集合論正是構成這座大廈的基石,由此可見它在數學中的重要性。其創始人康託爾也以其集合論的成就被譽為對二十世紀數學發展影響最深的學者之一。
  • 1873年數學集合論誕生
    集合論作為整個現代數學的基礎,在數學中有著極為重要的作用。1873年12月7日,俄國數學家康託爾在給數學家戴德金(1831-1916年)的一封信中,把導致集合論產生的問題明確地提了出來:正整數的集合(n)與實數的集合(x)之間能否把它們一一對應起來。同年12月7日,康託爾寫信給戴德金,說他已能成功地證明實數的「集體」是不可數的,也就是不能同正整數的「集體」一一對應起來。這一天應該看成是集合論的誕生日。
  • 德國科學家克隆尼克,由於對集合論圍剿,導致科學認識上發生失誤
    今天,集合論已經成為高等學校的一門基礎性數學課程。但100多年前,當德國數學家康託爾提出這一理論的時候,卻遭到了思想保守的數學家們的激烈反對,以致於引起著名數學家克隆尼克的全面「圍剿」,當然這也就為克隆尼克的科學生涯記下了失誤的一筆。我們知道,集合論向人們展示了一個由無窮數量關係組成的全新的數學領域,康託爾是在研究微積分理論的邏輯基礎問題時,創立集合論的。
  • 星座數學家~雙魚座:集合論的創始人
    格奧爾格·康託爾:1845年3月3日康託爾,德國數學家,集合論的創始人。生於俄國聖彼得堡。父親是猶太血統的丹麥商人,母親出身藝術世家。1856年全家遷居德國的法蘭克福。先在一所中學,後在威斯巴登的一所大學預科學校學習。康託爾愛好廣泛,極有個性,終身信奉宗教。
  • 數學史20大數學家—康託爾,被時代冷遇卻為世界留下了無窮樂園
    這是集合論中最簡單的結論。今天我們就來聊一聊康託爾和他的集合論。格奧爾格·康託爾德國數學家,集合論的創始人。無窮還有大小嗎?這個問題在康託爾之前是朦朧的,大多數數學家甚至不認為這是一個數學問題,但康託爾卻在1874年至1884年的這十年間幾乎憑藉一己之力構建了集合論。他引入了良序和勢的概念,為世人打開了無窮的大門。
  • 集合論的漏洞:全體自然數和羅素悖論,第三次數學危機延續至今
    微積分微積分問世後,數學界關注的焦點再次變成了無窮小量。康託爾1873年,康託爾發表了論文,集合論正式建立。主要思想是認可了實在無窮,存在全體自然數。康託爾用了6篇論文來論證集合論思想,還引入了超窮數理論和可數集。數學家們把他的6篇論文翻了好幾遍,然後就分成了兩個派別,以克羅內克為代表的大部分數學家認為集合論是「神秘主義」,康託爾對無窮的研究是病態的,支持康託爾的數學家並不多。
  • 集合論的漏洞:所有自然數和羅素悖論,第三次數學危機持續至今
    康託爾與集合論微積分出現後,數學的焦點又變成了無窮小。這時,數學家們陷入了兩難境地一方面,人們認為無限集是不存在的,因為他不能被精確地描述。另一方面,我認為部分應該屬於整體,無窮大是所有自然數的一部分。這不是矛盾嗎?
  • 這位數學家創立「集合論」,為近代數學奠定了基礎,他自己卻瘋了
    早在兩千多年以前,古希臘的數學家阿基米德開始計算「無窮大」的數目,他所用的方法,居然與 19世紀的「微積分」與「集合論」極為相似,這是人類有史以來明文記載的偉大的「無窮」思想。19世紀由於「分析的嚴格化」和「函數論的發展」,數學家們對「無理數理論」、「不連續函數理論」進行了深入的研究,這為康託爾「集合論」的產生奠定了重要的「思想基礎」。1870年,康託爾開始研究「三角級數」,並由此導致19世紀末、20世紀初最偉大的數學成就——「集合論」的建立。
  • 數學大廈基石的奠定,由「精神抑鬱」的病人奠定,致敬康託爾
    在這樣的背景下,康託爾主張的就是一個實在的、具體的無窮概念,他認為有很多種不同規格的無窮。基於此,他創造的集合論成為拓撲學等很多現代學科的基礎,現在看來,集合論在數學中的影響廣泛而深刻,妥妥的數學大廈的基石。希爾伯特形容康託爾的工作為數學思想中最驚人的成果,純智力領域中人類活動最完美的實現。這屬實是極高的評價。
  • 康託爾無窮數理論所帶來理性的新危機
    這個發生矛盾,讓人領悟到在舊體系中也存在矛盾的新理論,就是無窮集合論(theory of infinite sets)。分析的嚴密化使人們必須考慮收斂的無窮級數(具有一個有限和)和那些發散級數的區別。在這些級數中,三角函數的無窮級數——以傅立葉命名的傅立葉級數——起了極其重要的作用。而一些在嚴密化過程中產生的問題,在康託爾著手解答時被暴露了出來。
  • 康託爾無窮數理論所帶來理性的新危機_手機網易網
    這個發生矛盾,讓人領悟到在舊體系中也存在矛盾的新理論,就是無窮集合論(theory of infinite sets)。分析的嚴密化使人們必須考慮收斂的無窮級數(具有一個有限和)和那些發散級數的區別。在這些級數中,三角函數的無窮級數——以傅立葉命名的傅立葉級數——起了極其重要的作用。而一些在嚴密化過程中產生的問題,在康託爾著手解答時被暴露了出來。