0

0
1

文字

分享

0
0
1

公設化集合論的奧秘(11) 探索神奇的實數尺寸

翁 昌黎
・2015/02/10 ・2563字 ・閱讀時間約 5 分鐘 ・SR值 540 ・八年級

-----廣告,請繼續往下閱讀-----

credit:pixabay.com
credit:pixabay.com

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

想像你在一個一望無際的沙灘,晶瑩的海岸由近乎純白質地的細沙構成在陽光下閃爍著寶石般的光輝。天空有一條發出橙色亮光的細線,似有似無,那是柏拉圖世界裡的實數線投影到這個神奇星球的擬似影像。

假設每顆沙粒代表一個集合,將這些沙粒灑向這條實數線企圖將它填滿,你會發現這些純白的細沙集合像是消失了一般,完全不影響橙色實數線的顏色,因為沙粒實在太稀少了。

就算你得到一種魔法,能在瞬間將這些無窮沙粒悉數灑在數線上,可是實數線上依然觀察不到白沙的蹤跡,因為它們仍然太過稀少。我們再度向孫悟空的師父菩提祖師求救,請他老人家傳授一個厲害點的法術,可以將剛剛灑出去的每一粒沙都變成等同於這個無窮沙灘世界的所有沙粒。但你將失望地發現,雖然親眼見識了菩提祖師將一沙粒化成無窮沙數世界的絕活,可是實數線上卻依然沒有任何一點斑白的痕跡,就好像這些從無數再化成無數的沙粒憑空消失一樣。

-----廣告,請繼續往下閱讀-----

這到底是怎麼回事?理由是它們仍然太過稀少,所以無法蓋住實數線,甚至無法顯示出它們的存在。如果我們能夠把無窮顆沙粒集合和實數線投射到我們這個時空,那你所看到的場景大概就會有如以上的描述,可數無限顆沙粒再變現出可數無限顆沙粒的總合對於實數線來說依然是杯水車薪。

為了證明整個實數集合確實比可數無限集合還大,我們先來觀察一個現象:把(–1, 1)這個實數開區間彎成半圓形,如下圖藍線部分所示。假設藍線左邊的端點是–1,而右邊的端點是1,垂直的紅虛線劃過的點是原點 0,所以垂直紅虛線的左半邊正好是負實數而右半邊則是正實數。

v

從虛擬的圓心處往黑色實數線用紅色虛線連接,你會發現每一個區間(–1, 1)內的數都正好對應到黑線上的另一個實數。而當虛線接近水平線時,左右兩邊對應到黑色數線的絕對值就會變很大,且所對應的實數越來越趨近於(–∞, ∞)。因此(–1, 1)區間內的實數和(–∞, ∞)區間內的實數(等於是R)有一對一且映成的關係。那麼根據定義,(–1, 1)區間裡的實數與全體實數R等量。

假設區間(–1, 1)中所有實數的集合為I,則基數〡I〡=〡R〡,也就是說區間(–1, 1)裡的實數個數與所有實數集合的個數一樣多。以上這個方法稱之為幾何學證明。雖然直觀上沒有問題,但站在集合論的立場,我們應該要想有沒有更嚴格的數學證明呢?這下可傷腦筋了,根據我們目前的數學知識配備,若要證明〡I〡=〡R〡,則需要找到一個從I到R的一對一且映成的函數才行。那麼到哪裡去找這麼個函數呢?

-----廣告,請繼續往下閱讀-----

正所謂眾裡尋它千百度,驀然回首那傢伙就在正切函數(tan)處。我們發現當tan的x值趨近於–π/2時,它的y值會向–∞逼近,而當tan 的x值趨近π/2時,它的y值會向∞逼近,而且任何一個x值只對應到一個y值。這不就是說正切函數tan在(–π/2, π/2)與全體實數R之間形成一對一且映成?tan:(–π/2, π/2)→(–∞, ∞)不就是夢寐以求的答案?

但剛剛的幾何證明說的是(–1, 1)→(–∞, ∞)有一對一且映成函數而不是(–π/2, π/2)→(–∞, ∞),眼看就要得手了卻差一步,該怎麼辦呢?只要設法把(–π/2, π/2)變成(–1, 1)不就好了?但我們的野心還要大一些,我們希望把(–π/2, π/2)→(–∞, ∞)的函數變成(0, 1)→(–∞, ∞)的函數,理由待會兒馬上會揭曉。

這個函數首先要把(0, 1)區間裡的每個x轉變成(–π/2, π/2)區間裡的某個y,但因為tan(y)就會把每個y從(–π/2, π/2)映射到(–∞, ∞),因此我們要找的函數就是某個用x來表達的正切函數,我們發現經由線性變換可以找到這個函數。既然我們想把某個(0, 1)區間裡的x變成(–π/2, π/2)區間裡的某個y,於是問題相當於把某個(0, 1)區間裡的x轉換成π/2 (–1, 1)區間裡的某個y,它們的關係式是:

π/2 (a x +b) =y

-----廣告,請繼續往下閱讀-----

我們先把π/2提出來,待會兒再放回去,計算上會方便很多,因此:

當x = 0的時候 y= –1,代入式子得到b= –1

當x = 1的時候 y= 1,代入式子得到a= 2

把a和b的值放回關係式得到π/2 (2 x–1) =y 。

-----廣告,請繼續往下閱讀-----

就是它了:函數 tan[π/2 (2 x–1)] 可以把(0, 1)區間裡的實數一一對映到所有實數,因此我們用數學分析的方法證明了(0, 1)區間裡的實數和整個實數一樣多,比剛剛的幾何證明方法又進了一步。

這個結果夠驚人的了,這麼小段的(0, 1)區間裡的實數居然和整個R一樣多,但我們更想進一步知道R是否也是可數無限?對於這個問題康托總共給出兩個完全不同證明方法,第一個是在1874年提出的,其中用到集合的排序和有界(bounded)的概念。第二個證明直到1891年才提出,採用的正是康托拿手的對角線證明法,我們就再次來看看康托如何拿這項精妙的數學武器來對付巨大的實數尺吋。

因為剛剛已經證明了R和區間(0, 1)等量,所以只要證明(0, 1)區間裡的實數是否可數就等於證明了R是否可數, 這大大簡化了我們的工作,剛剛些許辛苦還是值得的。由於這個區間內的實數都能用無限小數的展開形式來表示,假設它們的個數是可數的話,那我們就能將區間裡的實數編上序號,比如:

r1 = 0.320059874…

-----廣告,請繼續往下閱讀-----

r2 = 0.912533121…

r3 = 0.007213568…

r4 = 0.552418792…

r5 = 0.778451420…

-----廣告,請繼續往下閱讀-----

r6 = 0.118841234…

r7 = 0.665590012…

-----廣告,請繼續往下閱讀-----

需要注意的是,由於0.99999…等於1,所以在這個可數無限序列裡0.999999…的寫法被排除掉。

現在我們用一種特別的方法來製造一個新的實數x,那就是對任何小數點之後的數進行改裝,凡是遇到1就把它改成2,凡是遇到1以外的數(比如0, 2, 3, 4, 5, 6,  …)就把它改成1。我們拿以上的實數序列作例子,依次取小數點後面的第1, 2, 3, 4, 5, 6, …位,也就是按照對角線的方向來進行改造。

我們看到r1小數點後的第1個位數是3(如紅色數字所示),所以依照規定將其改成1,r2小數點後的第2個位數是1 ,所以依照規定改成2。依此類推,我們得到一個新的實數

x = 0.1211121…

這個數字的特點是它不同於r1,因為小數點後第1位數不相等,它也不等於r2,因為小數點後第2位數不相等。依此類推,我們依照此法製造出來的數字x不等於任何序列中的數字。但它明明是(0, 1)區間裡的實數,所以與一開始的假設相矛盾。我們得到(0, 1)區間裡的實數是不可數這個結論,因此,實數R也是不可數的。

原來,R的個數比可數的N和Q都要來得大。於是一個疑問自然浮現:在《公設化集合論的奧秘 (7)》一文裡,我們也是用對角線法證明了全體自然數N的冪集合P(N) 的元素個數同樣是不可數,那麼自然數冪集合的基數P(N)是否等於實數的基數〡R〡呢? 這兩種不可數集合其尺寸會一樣大嗎?我們又如何知道它們是否有相同的尺寸呢?這些問題只有等下回再分解囉!

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

0

0
0

文字

分享

0
0
0
為什麼越累越難睡?當大腦想下班,「腸道」卻還在加班!
鳥苷三磷酸 (PanSci Promo)_96
・2026/04/30 ・2519字 ・閱讀時間約 5 分鐘

本文與  益福生醫 合作,泛科學企劃執行

昨晚,你又在床上翻來覆去、無法入眠了嗎?這或許是現代社會最普遍的深夜共鳴。儘管換了昂貴的乳膠枕、拉上百分之百遮光的窗簾,甚至在腦海中數了幾百隻羊,大腦的那個「睡眠開關」卻彷彿生鏽般卡住。這種渴望休息卻睡不著的過程,讓失眠成了一場耗損身心的極限馬拉松 。

皮質醇:你體內那位「永不熄滅」的深夜警報器

要理解失眠,我們得先認識身體的一套精密防衛系統:下視丘-垂體-腎上腺軸(HPA axis) 。這套系統原本是演化給我們的禮物,讓我們在面對劍齒虎或突如其來的危險時,能迅速進入「戰鬥或快逃」的備戰狀態。當這套系統啟動,腎上腺就會分泌皮質醇 (壓力荷爾蒙),這種荷爾蒙能調動能量、提高警覺性,讓我們在危機中保持清醒 。

然而,現代人的「劍齒虎」不再是野獸,而是無止盡的專案進度、電子郵件與職場競爭。對於長期處於高壓或高強度工作環境的人們來說,身體的警報系統可能處於一種「切換不掉」的狀態。

-----廣告,請繼續往下閱讀-----

在理想的狀態下,人類的生理時鐘像是一場精確的接力賽。入夜後,身體會進入「修復模式」,此時壓力荷爾蒙「皮質醇」的濃度應該降至最低點,讓「睡眠荷爾蒙」褪黑激素(Melatonin)接棒主導。褪黑激素不僅負責傳遞「天黑了」的訊號,它還能抑制腦中負責維持清醒的食慾素(Orexin)神經元,幫助大腦順利關閉覺醒開關。

對於長期處於高壓或高強度工作環境的人們來說,身體的警報系統可能處於一種「切換不掉」的狀態 / 圖片來源:envato

然而,當壓力介入時,這場接力賽就會變成跑不完的馬拉松賽。研究指出,長期的高壓環境會導致 HPA 軸過度活化,使得夜間皮質醇異常分泌。這不僅會抑制褪黑激素的分泌,更會讓食慾素在深夜裡持續活化,強迫大腦維持在「高覺醒狀態(Hyperarousal)」。 這種令人崩潰的狀態就是,明明你已經累到不行,但大腦卻像停不下來的發電機!

長期的睡眠不足會導致體內促發炎細胞激素上升,而發炎反應又會進一步活化 HPA 軸,分泌更多皮質醇來試圖消炎,高濃度的皮質醇會進一步干擾深層睡眠與快速動眼期(REM),導致睡眠品質變得低弱又破碎,最終形成「壓力-發炎-失眠」的惡行循環。也就是說,你不是在跟睡眠上的意志力作對,而是在跟失控的生理長期鬥爭。

從腸道重啟好眠開關:PS150 菌株如何調校你的生理時鐘

面對這種煞車失靈的失眠困局,科學家們將目光投向了人體內另一個繁榮的生態系:腸道。腸道與大腦之間存在著一條雙向通訊的高速公路,這就是「菌-腸-腦軸 (Microbiome-Gut-Brain Axis, MGBA)」,而某些特殊菌株不僅能幫助消化、排便,更能透過神經與內分泌途徑與大腦對話,直接參與調節我們的壓力調節與睡眠節律。這種菌株被科學家稱為「精神益生菌」(Psychobiotics)。

-----廣告,請繼續往下閱讀-----
腸道與大腦之間存在著一條雙向通訊的高速公路,這就是「菌-腸-腦軸 (Microbiome-Gut-Brain Axis, MGBA)」/圖片來源:益福生醫

在眾多研究菌株中,發酵乳桿菌 Limosilactobacillus fermentum PS150 的表現格外引人注目。PS150菌株源於亞洲益生菌權威「蔡英傑教授」團隊的專業研發,累積多年功能性菌株研發經驗的科學成果。針對臨床常見的「初夜效應」(First Night Effect, FNE),也就是現代人因出差、換床或環境改變導致的入睡困難,俗稱認床。科學家在進行實驗時發現,補充 PS150 菌株能顯著恢復非快速動眼期(NREM)的睡眠長度,且入睡更快,起床後也更容易清醒。更重要的是,不同於常見的藥物助眠手段(如抗組織胺藥物 DIPH)容易造成快速動眼期(REM)剝奪或導致睡眠破碎化,PS150 菌株展現出一種更為「溫和且自然」的調節力,它能有效縮短入睡所需的時間,並恢復睡眠中代表深層修復的「Delta 波」能量。

科學家發現,即便將 PS150 菌株經過特殊的熱處理(Heat-treated),轉化為不具活性但保有關鍵成分的「後生元」(Postbiotics),其生物活性依然能與活菌媲美 。HT-PS150 技術解決了益生菌在儲存與攝取過程中容易失去活性的痛點,讓這些腸道通訊員能更穩定地發揮作用 。

在臨床實驗中,科學家觀察到一個耐人尋味的現象:當詢問受試者的主觀感受時,往往會遇到強大的「安慰劑效應」,無論是服用 HT-PS150 還是安慰劑的人,主觀上大多表示睡眠變好了。這種「體感上的進步」有時會掩蓋真相,讓人分不清是心理作用還是真實效益。

然而,客觀的生理數據(Biomarkers)卻揭開了關鍵的差異。在排除主觀偏誤後,實驗數據顯示 HT-PS150 組有更高比例的人(84.6%)出現了夜間褪黑激素分泌增加,且壓力荷爾蒙(皮質醇)顯著下降,這證明了菌株確實啟動了體內的睡眠調控系統,而不僅僅是心理安慰。

-----廣告,請繼續往下閱讀-----

最值得關注的是,對於那些失眠指數較高(ISI ≧ 8)的族群,這種「生理修復」與「主觀體感」終於達成了一致。這群人在補充 HT-PS150 後,不僅生理標記改善,連原本嚴重困擾的主觀睡眠效率、持續時間,以及焦慮感也出現了顯著的進步。

了解更多PS150助眠益生菌:https://lihi3.me/KQ4zi

重新定義深層睡眠:構建全方位的深夜修復計畫

睡眠從來就不只是單純的休息,而是一場生理功能的全面重整。想要重獲高品質的睡眠,關鍵在於為自己建立一個全方位的修復生態系。

這套系統的基石,始於良好的生活習慣。從減少睡前數位螢幕的干擾、優化室內環境,到作息調整。當我們透過規律作息來穩定神經系統,並輔以現代科學對於 PS150 菌株的調節力發現,身體便能更順暢地啟動睡眠開關,回歸自然的運作節律。

-----廣告,請繼續往下閱讀-----

與其將失眠視為意志力的抗爭,不如將其看作是生理機能與腸道微生態的深度溝通。透過生活作息的調整與科學實證的支持,每個人都能擁有掌控睡眠的主動權。現在就從優化生活型態開始,為自己按下那個久違的、如嬰兒般香甜的關機鍵吧。

與其將失眠視為意志力的抗爭,不如將其看作是生理機能與腸道微生態的深度溝通 / 圖片來源 : envato

-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
247 篇文章 ・ 319 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

104
0

文字

分享

0
104
0
肺部為何會「結疤」?揭開比癌症更致命的「菜瓜布肺」,科學家如何找到破解惡性循環的新契機
鳥苷三磷酸 (PanSci Promo)_96
・2026/05/08 ・2041字 ・閱讀時間約 4 分鐘

-----廣告,請繼續往下閱讀-----

本文由 肺纖維化(菜瓜布肺)社團衛教 合作,泛科學撰文

在現代醫學的警示清單裡,乳癌、大腸癌這些疾病大家都不陌生;但有一個「隱蔽且致命」的威脅卻常被忽視,那就是「肺纖維化」。其中最常見的類型「特發性肺纖維化」(IPF),其預後往往不太樂觀,確診後的五年存活率甚至比許多常見的癌症還低。

首先,我們得先破解一個迷思:肺纖維化並不是單一疾病,而是許多種間質性肺病的共同表現。當我們聽到「肺纖維化」,腦中常浮現「菜瓜布肺」的形象,患者的肺部外觀充滿一個個空洞與疤痕,像極了乾燥的絲瓜。這精準描繪了肺部組織逐漸硬化、失去彈性的過程。

更重要的是,IPF 這類肺纖維化的威脅在於「不可逆」的特性,一旦形成就很難逆轉。這跟部分 COVID-19 康復者身上、仍有機會復原的肺纖維化,是兩種完全不同的概念。

-----廣告,請繼續往下閱讀-----
IPF 這類肺纖維化的威脅在於「不可逆」的特性,一旦形成就很難逆轉 / 圖示來源:shutterstock

肺部為何會變成「菜瓜布」?

為什麼好端端的肺會變成菜瓜布?這其實是一場身體修復機制失控的結果。

「纖維化」的組織,就是肺部間質組織(interstitium)的疤痕化。間質是圍繞在肺泡周圍,包含血管與支持肺部結構的結締組織。在正常情況下,肺部損傷後會啟動修復機制,並再生健康組織。但在肺纖維化的患者體內,這套修復機制卻「當機」了。

身體會不斷地發出訊號,導致負責修復工作的「纖維母細胞」(fibroblasts)被過度活化,進而失控地沉積膠原蛋白疤痕組織,最終在肺部形成永久性的纖維化。

科學家發現,這個過程之所以棘手,在於它是一個「惡性循環」,肺部同時存在著「發炎反應」與「纖維化」這兩條路徑 ,它們相互加乘,演變成難以阻斷的強大破壞力。

-----廣告,請繼續往下閱讀-----

雖然特發性肺纖維化 (IPF) 的具體成因不明 ,但已知某些特定族群的風險更高。例如抽菸,特定年齡與性別(50歲以上男性)、長期暴露於粉塵環境的工作者(農業、畜牧業、採礦業…)、胃食道逆流者。此外,患有自體免疫疾病(如類風濕性關節炎、乾燥症、硬皮症、皮肌炎/多發性肌炎,)的患者,他們併發肺纖維化的機率遠高於一般人,必須特別警覺。

雖然特發性肺纖維化 (IPF) 的具體成因不明 ,但已知某些特定族群的風險更高。/ 圖示來源:shutterstock

打斷惡性循環的挑戰,為何只對抗「纖維化」還不夠?

面對這個不可逆的疾病,醫學界長年束手無策,直到 2014 年才迎來一道曙光。美國 FDA 批准了兩種機制不同的新藥:Nintedanib 和 Pirfenidone。這兩種藥物的出現是治療史上的分水嶺,首度被證實能夠「延緩」IPF 患者肺功能的惡化速度。

然而,這場戰役尚未結束。現有的治療雖然帶來了希望,卻也凸顯了「未被滿足的醫療需求」。從機制上來看,這些藥物主要抑制的是「纖維化路徑」。

這讓科學界開始思考這個未被滿足的棘手問題:既然疾病的本質是「發炎」與「纖維化」的雙重打擊,那麼,我們是否能找到「同時抑制」這兩條路徑的全新策略,從而更有效地打斷這個惡性循環?

-----廣告,請繼續往下閱讀-----

找到同時調控「發炎」與「纖維化」的新靶點

為了解決難題,科學家將目光鎖定在一個細胞內的酵素:磷酸二酯酶 4B(PDE4B)

為什麼鎖定它?讓我們看看它的「雙重作用」機制:

  1. 關鍵位置: PDE4B 同時存在於免疫細胞(與發炎有關)與纖維母細胞(與纖維化有關)當中。
  2. 作用機制: PDE4B 的主要工作是降解細胞內一種叫 cAMP(環磷酸腺苷) 的訊號分子。cAMP 可以被視為細胞內的「穩定信號」。
  3. 雙重抑制: 當我們使用藥物抑制了 PDE4B 的活性,細胞內的 cAMP 就不會被分解,濃度會隨之升高。高濃度的 cAMP 能穩定免疫細胞和纖維母細胞,同時產生抗發炎抗纖維化的雙重效應。

簡單來說,鎖定並抑制 PDE4B,就像是同時抑制了免疫風暴與纖維化的工程,有望從雙從抑制打擊這個惡性循環。

全球臨床試驗帶來的新希望

近十年來,全球在肺纖維化領域投入了大量的臨床試驗,我們相信,在科學家逐步破解肺纖維化惡性循環的複雜難題後,期盼未來能為無數患者爭取到更安全、健康的生活與未來。

-----廣告,請繼續往下閱讀-----

最後,我們必須再次提醒,特發性肺纖維化(IPF)與漸進性肺纖維化(PPF)是極具破壞性、且不可逆的疾病。面對這個比癌症更致命的對手,雖然現有的治療手段能延緩惡化,但無法逆轉已經形成的肺部疤痕組織,因此「早期診斷、早期治療」仍是對抗肺纖維化最重要的黃金時刻。

必須再次提醒,特發性肺纖維化(IPF)與漸進性肺纖維化(PPF)是極具破壞性、且不可逆的疾病。/ 圖示來源:


-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
247 篇文章 ・ 319 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

1

0
0

文字

分享

1
0
0
公設化集合論的奧秘(18) 優雅的等式〡R〡=〡P(N)〡=〡2^N〡
翁 昌黎
・2015/04/02 ・3222字 ・閱讀時間約 6 分鐘 ・SR值 537 ・八年級

Georg Cantor credit:wiki
Georg Cantor
credit:wiki

有一種說法認為集合論的發明是在1873年12月,精確地說是1873年12月7日,因為那一天康托證明了連續統(continuum)是不可數的,所以應該把那一天當成現代集合論的生日。不論你是否同意這個出生證明,但康托1873年年底所用的證明方法並非後來廣為人知的對角線法,也就是我們在《公設化集合論的奧秘 (11)》所採用的方法,對角線法的提出要到大約19年後的1892年才公諸於眾。

但從那一天起,人類對無限的了解進入了一個全新的階段,我們知道實數(連續統)比自然數還大。在證明實數是不可數之後,我們可否進一步下結論說自然數的冪集合P(N)與實數的尺寸一樣大,因為它們都是不可數集合?在沒發現不可數集合之前,我們原以為無限只有一種,那就是像自然數一樣可以從0, 1, 2, 3, 4, 5, 6 … 一直往下數沒有盡頭這種無限,直到這種想法被康托的證明方法擊碎。有了這個教訓,我們最好更加謹慎,任何直觀的想法都應該由嚴格的證明來確認,所以尋找證明是必要的工作。

假如要證明實數集合R與P(N) 等量,那麼根據定義1 (請參考《公設化集合論的奧秘 (8)》) ,就必須找到一個一對一且映成的函數F: R → P(N)才行。但這可不是件容易的事,我們如何在浩如星辰的實數和全體自然數的冪集合之間找到這種一一對應呢?先別失望,我們之前介紹的戴德金左集合(請參考《公設化集合論的奧秘 (16)》《公設化集合論的奧秘 (17)》)或許可以在此危難之際發揮作用。由於戴德金實數是由一堆有理數(實際上是可數無限個)來定義的,這給了我們一個透視實數集合結構的絕佳機會。

-----廣告,請繼續往下閱讀-----

既然每個戴德金實數就相當於無限多個有理數的集合,比如0被定義為 {q〡q ∈ Q 且q<0},也就是所有負有理數的集合,那我們正好可以定義一個一對一的恆等函數,使得每個實數r (相當於一個戴德金左集合)對應到一個相等的有理數子集合:

f: R → P(Q)

 r → r

也就是說定義域R裡裝了哪一堆有理數那我的値域就取同樣一堆有理數來配對,因為這樣一堆有理數正好符合對應域P(Q)的定義條件—全體有理數的子集合。這麼容易就完成證明啦?還是個恆等函數,這也簡單到有點欺負人了吧!

-----廣告,請繼續往下閱讀-----

且慢,有兩個問題尚待解決。首先,我們所要證明的函數關係是從 R → P(N)而不是R → P(Q)。其次,R和P(N)等量的條件是找到一個一對一且映成的函數,但我們剛剛找的f: R → P(Q)只滿足一對一的條件卻不映成,這一點可以很容易看出來。由於戴德金實數必定由無限個有理數所構成,因為左集合會往負數方向無限伸展,可是對於P(Q)來說,它顯然也必須包含由有限元素所構成的集合,比如{1/6, 37, 522}就是Q的一個有限子集合,但我們無法找到與之相對應的戴德金實數r

現在回顧《公設化集合論的奧秘 (14)》裡的定義:

定義5如果在集合A和B之間存在一個一對一函數ƒ : A→B,則說A小於或等量於B,寫成A ≤ B。相當於〡A〡≤  〡B〡,也就是A的基數小於等於B的基數。

由這個定義得知,我們目前能確定的只是〡R〡≤ 〡P(Q)〡,而不是〡R〡= 〡P(N)〡。證明定理有時候就像擬訂作戰策略,對於無法一次消滅的敵人,你要分段把它逐步吃掉,而不能急於蟒蛇吞象最後把自己噎死。千萬不要輕忽每一次的小進展,那就讓我們把以上成果當成是一個好的開始吧。

-----廣告,請繼續往下閱讀-----

有了半壁江山,就想辦法湊出另一半吧!這提醒我們之前提到的施洛德—伯恩斯坦定理(Schröder-Bernstein theorem) ,它的一般表述形式是:

對任意集合A和B,如果〡A〡≤ 〡B〡〡B〡≤ 〡A〡

〡A〡=〡B〡

這個定理的威力在於它允許我們使用和有限數值一樣的方式來辨認集合的尺寸。比如有兩個數a和 b,如果a ≤ b 而且b ≤ a的話,那一定會得出a = b,施洛德—伯恩斯坦定理把這層關係從有限數推廣到不可數無限集合。

-----廣告,請繼續往下閱讀-----

此外,這個定理還有一個實際功能,那就是當我們想證明兩個集合等量卻苦於找不到一對一且映成函數時,可以有個更簡潔的辦法。我們只需找到兩個一對一函數,一個從A到B,另一個從B到A就成了,對於許多複雜的集合等量證明來說,這不啻是天降福音。接下來只須稍稍解決一個小問題,那就是之前我們已經證明有理數和自然數一樣多(《公設化集合論的奧秘 (9)》),所以〡Q〡=〡N〡,得到〡P(Q)〡=〡P(N)〡,因此原來的戰鬥成果〡R〡≤ 〡P(Q)〡就可以順理成章地變成〡R〡≤ 〡P(Q)〡=〡P(N)〡,用小學的數學就能得到〡R〡≤ 〡P(N)〡

以施洛德—伯恩斯坦定理的觀點來看,證明已經完成了一半。接下來我們想要在2NR之間建立起一個一對一函數,也就是讓〡2N 〡≤ 〡R〡成立。我們再次用小學數學來解釋這樣做的理由,在《公設化集合論的奧秘 (15)》我們證明了〡P(N)〡=〡2N,因此只要〡2N 〡≤ 〡R〡成立,那麼〡P(N)〡≤ 〡R〡就會成立。

這讓我想起一個卡通節目,每次當兩位總在冒險旅途的主角一遇到甚麼災難,只要把兩枚原本一體的神奇戒指結合,就會跑出一個法力無邊的阿拉伯神祇名叫蘇仙,祂的神通可以打退各方的妖魔鬼怪。數學式〡R〡≤ 〡P(N)〡〡P(N)〡≤ 〡R〡就有如集合論中的神奇戒指,當它們一結合就能招喚出法力無窮的蘇仙讓我們見識到集合論的奇蹟:〡R〡= 〡P(N)〡

但要如何打造另外一半的戒指呢?我們需要找到一個一對一函數

-----廣告,請繼續往下閱讀-----

θ: 2N → R

之前說過2N是指以下這種函數類型所成的集合

F: {0, 1, 2, 3, 4…} → {0, 1}

所以我們的目標是找一個這種類型的函數f對應到某個實數r。它的形式就是:

-----廣告,請繼續往下閱讀-----

θ: 2N → R

     f →  r

化繁為簡是數學思考的靈魂,所以在尋找f之前我們先將θ的對應域R做點簡化工作。在《公設化集合論的奧秘 (11)》一文我們已經證明全體實數R的個數和開區間(0, 1)裡的實數一樣多,因此我們可以把目標函數θ: 2N → R調整為θ: 2N → (0, 1),也就是讓2N 中的元素f對應到(0, 1)間的某個實數即可。這個函數的樣貌如下:

θ: 2N →(0, 1)

-----廣告,請繼續往下閱讀-----

     f →  0.a0a1a2a3a4…an

我們之前介紹過 2N的成員,它的成員是某個函數f,有如一排編上號碼從0一直延伸至無窮的燈泡,每個燈泡可以是亮燈或關閉的狀態,而f就相當於某種特定的亮燈組合方式。比如現在給出一種亮燈組合,它規定只有第一個編號為0的燈點亮,其餘所有的燈都是暗的,這時f函數的値有如下的規律:

f(0) = 1, f(1) = 0, f(2) = 0, f(3) = 0, f(4) = 0,  … f(n) = 0 …

每個不同的函數f代表一種特定的亮燈組合方式。

現在只要把f的第一個函數值f(0)指定為a0 ,第二個函數值f(1)指定為a1,第三個值f(2)指定為a2,依此類推,我們就能夠得到一個介於0和1之間的實數,其小數點之後的位數只由0與1構成。以剛才的函數為例,我們得到a0 =1, a1=0, a2=0, a3=0… 因此和它對應的實數就是0.100000000…,也就是0.1。顯然如果函數不同f1 ≠ f2,則其指定的每個an值當然不同,這就導致與其相對應的實數0.a0a1a2a3a4…an …也不同,於是我們得到 θ(f1) ≠ θ(f2),因此θ為一對一函數。於是我們證明了蘇仙戒指的另一半:

〡2N 〡= 〡P(N)〡≤ 〡R〡

於是我們所知道的不可數集合的三種形態全部等量,形成一個相當優雅簡潔的集合等式〡R〡= 〡P(N)〡=〡2N

我們之前用0來標示自然數和有理數這種可數無限集合的基數,因此我們有等式:

〡N〡= 〡Q〡= ℵ0

而對於比0還大的不可數集合我們用1來表示,因此又有如下的等式:

〡R〡= 〡P(N)〡=〡2N〡= ℵ1

經過長期的努力,我們終於將這些主要的無限集合之間的尺寸關係弄清楚了, 但這就是故事的終點了嗎?發揮想像力,朝著變大和變小的方向飛行,兩個有趣的問題又會浮現出來。第一個問題是有比1更大的集合嗎?如果有,那要如何才能發現它呢?或者怎樣才能把它製造出來呢?第二個問題是在01之間有沒有一種中等尺寸的無限集合,它既比0大但又比1小,比如說是否存在一個基數為1/2的集合?要回答這些有趣的問題就只有等下回再分解了!

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