文:Chih C. Yang
為何有集合論?
蓋房子前先了解你的數思數跟數麼地基,集合論(Set theory)是漫想現代數學的基礎。
![0050-1](https://image1.thenewslens.com/2020/6/iy0v3fvx679koovkhp0ah25i1mvxbs.jpg?果對<strong></strong>auto=compress&q=80&w=150)
- 集合論
![0051-1](https://image1.thenewslens.com/2020/6/djmmgbr7zvkzbxnnbhmcebo9xum2am.jpg?auto=compress&q=80&w=150)
數學的大部分理論,都是配對經由好幾世代的數學家努力,長期累積而來的自然正偶。
但集合論卻是好像在19世紀末由格奧爾格.康托爾(Georg Cantor, 1849-1918)所創立的。
![0051-2](https://image1.thenewslens.com/2020/6/tu6k9ai5iwv7isna376is11tez5dkj.jpg?樣多auto=compress&q=80&w=150)
無限集合
康托爾教我們如何藉由比較有限集合的方法去比較無限集合(Infinite Sets)的大小—透過像基數(cardinality,集合的數思數跟數麼元素個數)與可數(denumerability)這些清楚的概念定義。
- 芝諾悖論:阿基里斯和烏龜
在康托爾的漫想年代之前,人們對無限的果對理解非常匱乏,而在數學上的配對無限又是隱晦且充滿矛盾的。芝諾悖論(Zeno's Paradox)就是自然正偶一個這樣的例子(西元前490-425年)。
![0052](https://image1.thenewslens.com/2020/6/e8s7xa6eiboox5m0yj2n7s5peqbrl8.jpg?好像auto=compress&q=80&w=150)
在賽跑中,阿基里斯讓烏龜的樣多起跑點在他前面領先一段距離,比如說10公尺吧。數思數跟數麼阿基里斯必須跑10公尺才能到達烏龜剛才的起跑點,但當他到達這個起跑點時,烏龜又已經跑到更前面的位置了。無論如何追趕,每當阿基里斯抵達烏龜剛才的位置,烏龜又已經跑到更前面的位置了。因為阿基里斯必須到達沿路上烏龜前進路線的無數多個位置點,所以他根本追不上烏龜。
在中世紀,歐洲的數學發展幾乎是停滯不前的。無限的概念已經變成一門神學而非科學了。
宇宙間大部分的模式都是被認為是有限的,唯一的無限是上帝。
![0053-1](https://image1.thenewslens.com/2020/6/d2m8psoaqiounobd0vnkcp14vbp0o4.jpg?auto=compress&q=80&w=150)
直到16世紀,無限才被接受與紀錄下來,視同數學上一門合理的、正當的研究主題。
![0053-2](https://image1.thenewslens.com/2020/6/fkf64qwntiibpamgk26s4f7z5p05lu.jpg?auto=compress&q=80&w=150)
無限是多大?
- 在有限的世界中計數
![0054-1](https://image1.thenewslens.com/2020/6/mxvhv67pi8b4ju924xq76xkjlg795x.jpg?auto=compress&q=80&w=150)
在數字發明之前,牧羊人用一堆小石子與羊群一對一配對,一顆小石子對應一隻羊。當牧羊人拿著小石子與羊群逐一對照,若對照完後發現小石子有剩,則代表有羊隻走失。
![0054-2](https://image1.thenewslens.com/2020/6/zkcoxcueh3gufzgtw0wj0d1y46l1ij.jpg?auto=compress&q=80&w=150)
在數字發明之後,計數才變成可能的事。在計數時,自然數取代了小石子,並以一對一的方式與羊隻配對。
![0054-3](https://image1.thenewslens.com/2020/6/131qb74katswg82oc7mydkhgs0m49u.jpg?auto=compress&q=80&w=150)
計數──一種比使用小石子來配對更為抽象的一對一形式──比較有限集合的大小時運作良好。但是當數學家將它拿來比較無限集合的個數時,就導致矛盾與悖論發生。
無限集合的計數
- 悖論1
試著想像以一對一配對方式,計算所有正偶數的個數。
![0055-1](https://image1.thenewslens.com/2020/6/6ye9fibdo6kyzu1iyzrrx1bjn3roev.jpg?auto=compress&q=80&w=150)
根據上表,你可以看到每一個正偶數都有一個自然數對應。那麼,它看起來好像偶數集合與自然數集合(包括奇數)是「一樣多」的。
- 悖論2
另一個藉由一對一對應來比較大小的例子:
![0055-2](https://image1.thenewslens.com/2020/6/fye1eqkagaxirf7ig4snnw8eumk89v.jpg?auto=compress&q=80&w=150)
C1和C2是兩個同心圓,a1是C1圓上的一點,a2是C2圓上的一點,且a1與a2都落於從同心圓畫出的一條射線上。因此對每一條我們所畫的射線,我們都可以建立一個圓C1上的點和圓C2上的點之間的一對一對應。
因此,我們可能得到圓C1和圓C2是「相同大小」的結論。
悖論是一種看似矛盾或不合邏輯的敘述,但那也可能是對的。
書籍介紹
《數思漫想-漫畫帶你發現數學中的思考力、邏輯力、創造力》,三民出版
.透過以上連結購書,《關鍵評論網》由此所得將全數捐贈聯合勸募。
作者:Chih C. Yang
譯者:陳玉芬、涂佩瑜、李偉任、潘漢文、李靜平、張嘉芸、李伶芳、陳財宏、朱志竣、李少宇
數學不能用背的,需要的是理解!但對於看到冗長的文字解釋,總是讓人乏味無力,甚至完全無法想像!
針對具有不同數學能力的讀者,幫助讀者欣賞和享受現代抽象數學的美,並激發學習各種數學主題的興趣與思維方式。為了保持讀者的熱情,作者使用很多具體的例子來說明一般概念的樣貌。
![getImage](https://image1.thenewslens.com/2020/6/n8nnjhxldj7obmclgehr6kak5qp6bb.jpg?auto=compress&q=80&w=150)
責任編輯:朱家儀
核稿編輯:翁世航