分享本文至 E-mail 信箱

學術引用格式

MLA (點一下全選)

APA (點一下全選)

EndNote(.enw)

公設化集合論的奧秘 (9) 為什麼有理數和自然數一樣多?

2015/01/26 | |

8177554728_ca36b63e18_o

photo source:onlyinyourstate

文 / 翁昌黎(《孔恩vs.波普》中文譯者)

如果問到底有理數(rational numbers)和自然數哪個數量多,相信很多人會不假思索地回答當然是有理數比較多。不信的話,讓我們來考察一下半開半閉區間(0, 1] 裡的有理數數量,也就是任何大於0小於等於1的有理數,我們發現它們有無限多個,比如1/2 ,  1/3 ,  7/15 ,  36/1125 等等,但在這個區間裡自然數卻只有一個1。在這個 區間裡有理數和自然數的個數比是無限比 1!

接著看下一個半開半閉區間(1, 2],有理數仍然有無限多個而可憐的自然數仍然只有一個2。我們可以把這種區間無限往後延伸,然後頭尾相接得到一個(0,∞) 的無間斷區間,由於每一小段有理數與自然數的個數都是無限比1 ,因此直接宣布有理數完勝自然數似乎毫無疑問。

但既然我們在前文《如何打造「測量」集合的武器?》中得到一個新的工具,現在不如把它拿來測試,看看有理數和自然數誰多誰少。為了喚起記憶,我們把它重寫如下:

定義1 對任意兩個集合A和B,如果存在一個一對一(one-to-one )且映成(onto)的函數(function)ƒ : A→B,則稱A與B等量(equinumerous),寫成A≈B

這個定義企圖捕捉的意義是在甚麼條件下A集合和B集合一樣大,或者說它們具有相同的尺寸(sizes)。兩個集合之間存在一個一對一且映成函數的意思是說,當我們把A和B裡的元素一一配對之後,A集合可以把B集合的「家當」全部消耗掉而沒有漏網之魚,因此我們把它們視為具有相同的「財富量」。

實際上要怎麼運用呢?那就看看如何用這個新工具來定義有限集合:

定義3 對任意集合A,如果存在一個一對一(one-to-one )且映成(onto)的函數ƒ : n→A,其中n 為任意自然數,也 就是n ∈ N,則稱集合A為有限集合(finite set) ,否則A為無限集合。

當然你喜歡把A放在前面做為定義域也可以,但把n放在前面有個好處,就像我們拿直尺測量物體的長度一樣,我們把定義域的集合n(別忘了,在集合論裡自然數就是集合)當成量度集合大小的尺標,後面的集合A是待測量的物件,因此這個定義看起來就像是拿n(定義域) 來量度A。

比如A= {紅色, 黃色, 藍色}, 是由三原色所構成的集合,它是否是個有限集合呢? 看看我們能否找到一個一對一且映成的函數ƒ : 3→A?3這個集合= {0, 1, 2} ,它有0, 1, 2三個元素,所以 ƒ : 3→A就是 ƒ : {0, 1, 2}→{紅色, 黃色, 藍色},我們只須指定:

ƒ(0) → 紅色

ƒ(1) → 黃色

ƒ(2) → 藍色

則函數ƒ為一對一且映成,因此根據定義,三原色所形成的集合A為有限集合。

仔細觀察會發現,由於全體自然數的集合N = {0, 1, 2, 3, 4, 5, 6, 7, 8,  9, …}, 所以有限集合的標尺n就是某個N裡面的成員,現在來測量前文提到的偶數集合E ={2, 4, 6, 8, 10…},看看它與自然數集合的關係為何。首先我們把E當成定義3中的A集合放在函數的後面 (對應域) 等待測量,我們發現N集合中的任何成員n都無法與E搭配形成一對一且映成函數,不管n有多大似乎都不夠用,所以根據定義,E不會是有限集合。

但我們發現,如果用N當標尺,則可以找到一個一對一且映成的函數ƒ : N→E。只要把N的第一個元素對準E的第一個元素,然後依此類推,也就是取

0 → 2,   1 →4,   2 → 6,   3 → 8,   4 → 10 … 就可以了。我們發現E與N等量而且它的尺度超出了任何自然數n,我們把這個相當於全體自然數集合的尺度用ω來表示。這個量度集合大小的量稱為基數(Cardinal number或 Cardinality),一般用〡A〡來表示A集合的基數,比如三原色的集合A的基數〡A〡=3。對於N和E來說,我們發現〡N〡=〡E〡=ω。於是我們發現,所謂的基數並不一定是個數字,雖然有限集合的基數正好等於某個自然數n,但與N等量的無限集合其基數是ω而不是某個n。

如同我們在《公設化集合論的奧秘 (6)》中談到,無限公設ZF6允許這個集合存在,它屬於可數無限集合,現在又發現它的基數〡N〡等於 ω。 通常你會看到自然數集合的基數用符號ℵ0來表示,寫成〡N〡= ℵ0,那麼N和ω到底是同一個還是不同的東西呢?它們與ℵ0之間的關係又是甚麼?

許多集合論或分析學的書都說ω= {0, 1, 2, 3, 4, 5, 6, 7, 8,  9, …},也就是ω= N,數學家們通常也把ω和N交替使用不加區分,但它們在功能上卻有微妙的差異。現代數理邏輯之父弗列格 (G. Frege) 曾經提出過指稱 (reference或Bedeutung) 與意義 (sense或Sinn) 的概念差異。比如說「珍的前夫」和「《時間簡史》的作者」都是霍金,因此這兩句描述擁有相同的指稱 (霍金) ,但卻有不同的意義。

若借用以上概念來看待N和ω,則我們可以說N和ω有相同的指稱,那就是全體自然數集合本身,而ω則又可以充當度量N集合尺度的尺標,這種尺標稱之為序數 (ordinal number) 。事實上所有的自然數也是序數,所以被拿來當成量度有限集合的尺標。但我們目前的知識配備尚無法精確定義序數,所以暫時把它當作一種具有排序性質的集合就可以了。至於ℵ0則可以視為是可數無限集合基數的名稱。

小結一下以上的思路,我們先用函數來測量和比較兩個集合的大小,然後選取某種特殊的有序集合(序數)作為標尺來標定基數。比如用序數5來標定具有5個元素的集合量度,這個量度就是基數5。而基數為5的集合比基數為3的集合大,基數為ω的集合又比任何基數為n的集合要大,形成一個次序井然的集合量度世界。

請注意目前為止我們並沒有定義基數到底是甚麼,只是說若兩個集合等量則它們擁有相同的基數,並用序數(同樣尚未定義)來標定它。這類似於說當美元兌台幣的匯率為1:32時,一美元可以兌換成相當於32元台幣的價值,儘管我沒有告訴你價值的定義是甚麼,也沒告訴你貨幣是甚麼,但你依然可以正確操作貨幣兌換,只要你正確了解匯率的比值即可。

現在我們就來處理有理數與自然數誰多誰少的問題,關鍵在於能否找到有理數與自然數之間的一對一且映成函數。為了簡化問題,讓我們先觀察非負的有理數,也就是所有大於等於0的有理數集合。好消息是這些有理數都能以分數m/n 的形態來表示,只要n不是0且m, n都是自然數。但如何將無窮多的非負有理數全都羅列出來呢?

進一步的分析發現不論任何有理數其分子與分母相加(m+n)都是一個定值,只要我們從最小的m+ n開始,依序寫出所有可能的有理數組合不就成了?因為n不能是0,所以第一個最小的m+ n有理數為0/1,也就是0。當m + n依序增加,我們得到一個有理數列如下:

0/1;1/1;1/2  ,  2/1;1/3  ,  2/2  ,  3/1;1/4  ,  2/3  ,  3/2  ,  4/1;1/5  ,  2/4  ,   3/3  ,  4/2  ,   5/1;…

每一組從m+ n = 1開始,然後2, 3, 4, 5…依序寫出有理數的各種可能組合,不幸的是我們在標紅字的部分發現之前已經出現的值,比如2/2 = 1/1= 3/3 等等。這樣我們表列的有理數就多於實際有理數的總和,必須想辦法把它們消去才行。

方法很簡單,只要把最大公因數gcd (m, n)=1的條件加進我們的有理數列,那些等值重複的項目就消掉了,因此我們得到一個新數列:

0; 1/1;  1/2  ,  2/1;1/3  ,  3/1;1/4  ,  2/3  ,  3/2  ,  4/1;1/5  ,  5/1; …

所有非負的有理數盡在其中矣。

只要再施加點詭計,就能把負有理數也包含進來,方法就是把每個絕對值相等但正負號相反的有理數緊跟其後的擺放,形成一個新數列:

0; 1/1  ,  –1/11/2  ,  –1/2  ,   2/1  ,  –2/11/3  ,  –1/3  ,   3/1  ,  –3/1

經過這個安排,所有有理數都被搜羅進來,沒有遺漏也沒有重複。

然後我們將自然數集合N與以上數列所成的集合Q作一個對應:

0 → 0

1 →1/1

2 → –1/1

3 → 1/2

4 → –1/2

就構成了一個一對一且映成的函數關係,因此根據測量集合尺度的定義,Q與N等量,我們證明了有理數和自然數一樣多。經常違背直覺的無限集合還有哪些神奇之處?那只有等下回分解了。

你的行動知識好友泛讀已全面上線

每天有成千上百則內容透過社群與通訊軟體朝你湧來,要從混雜著偽科學、假消息、純八卦的資訊中過濾出一瓢知識解渴,在這時代似乎變得越來越難?

為了滿足更多跟我們一樣熱愛知識與學習的夥伴,現在我們很害羞也很驕傲地宣布,手機閱讀平台——泛讀 PanRead iOS 版和「泛讀」Android 版都上架啦!使用後有任何心得或建議,都歡迎與我們分享喔

立即下載 優質知識不漏接

 

 

 

關於作者

昌黎

中央大學哲學研究所碩士,曾籌劃本土第一場「認知科學與佛教禪修系統」對話之大型研討會,於1995年6月在法光佛教研究所舉行,並發表文章。後隱居紐西蘭,至今已20載。 長年關注「意識轉變狀態的科學」和「意識本質的科學與哲學」問題,曾與大寶法王辯經教授師拿旺桑結堪布成立「大乘佛教禪修研究中心」。其他研究興趣為「唯識學」、「超個人心理學」、「數理邏輯」、「公設化集合論」和「後設數學」等等。