0

0
0

文字

分享

0
0
0

公設化集合論的奧秘(13) 追查有理數失蹤之謎

翁 昌黎
・2015/02/27 ・1766字 ・閱讀時間約 3 分鐘 ・SR值 528 ・七年級

credit:wiki
credit:wiki

「一尺之棰,日取其半,萬世不竭」       莊子

如果我們把莊子以上的想法稍作改變,不要把木棍每天鋸掉一半,而是在本該鋸掉的地方刻上一道細線,這樣一直刻劃下去,有一天是否能把木棍劃滿呢?如果你拿一枝美工刀實際去做的話,幾秒鐘刻上一道刀痕,估計木棍很快就會佈滿刀的刻跡,因為刻痕是有寬度的。若是刻痕真能像幾何學所說的那樣寬度等於零的話,直覺上木棍或許不會被蓋滿,在取1/2不斷縮小的眾多段落裡總是會有間隙存在。

但如果增加刀痕的切刻密度,比如把棍子按1/3比例切刻,然後將被切成1/3的部分再切1/3這樣無限執行下去呢?若將1/4, 1/5, 1/6, …, 1/n , … 的切刻比例都加進來如法炮製呢?你的直觀還能那麼確定棍子不會被刻痕佈滿嗎?

讓我們回到那個由無限顆白沙顆粒所形成的海灘,還有那條發出橙色亮光的實數線,數學證明告訴我們,這些與有理數等量的沙粒確實無法填滿實數線(請參考《公設化集合論的奧秘(11)》),同理以上的方法也無法將刻痕佈滿莊子家那根棍子。

僅管我們在《公設化集合論的奧秘(11)》中已經證明實數是不可數的,也就是說實數比有理數多,但我們並不清楚實數到底比有理數多多少?將這些美麗的白沙填充到橙色的實數彩虹時,彩虹到底變白了多少?是整個實數彩虹都呈現灰白狀,還是只有白色的帶狀,或者更像量子力學的双狹縫實驗中的細干涉條紋線呢?

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

答案我們前文已經說過,實數彩虹完全不會改變顏色,那似乎暗示無限顆白沙就像憑空消失一樣,即使請菩提祖師加持讓每顆沙粒再變成無窮的沙粒也於事無補,無數美麗的白沙消失在實數線的橙光之中。於是我們面臨一宗最詭異的疑案,這些數量等同於一切有理數的美麗白沙為何消失了?它們跑到哪裡去了?有數學上的方法能說明這個怪異現象嗎?

要破解這件玄案,首先要知道無數白沙失蹤等同於有理數失蹤,因為它們是等量的,有著相同的基數。所以我們的目標是要追查失蹤的有理數,看它們為何消失,但一個好的偵探不會被表象蒙蔽,或許這些有理數並沒有消失,只是被藏了起來罷了,甚麼情況下能將這麼多的東西藏起來?除非有比它們多得多的東西將其淹沒,所以我們才看不到有理數,讓我們來驗證這個猜測是否屬實。

由於已經證明整體實數跟(0, 1)區間裡的實數一樣多,所以只要處理開區間(0, 1)就相當於處理了整個實數。假設這個區間內所有有理數的集合為S,因為其尺寸為可數無限,所以我們可以將其成員編碼成S={x1, x2, x3,…},S就是灑到實數線上的沙粒集合。接著找一段1/10長的開區間I1將第一粒沙x1包住,然後用更小的一段 1/100長的開區間I2將第二粒沙x2包住,依此類推,我們用10n 長的開區間In來覆蓋第xn粒沙。這樣做的結果就是用來覆蓋S元素的區間總長必定大於x1, x2, x3, …的總和,因為每段In總是把某個xn覆蓋住。

現在我們把所有的In加起來看看占有多少比例,它等於:

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

1/10 + 1/102 + 1/103 +… + 1/10n   +… = 1/9

用簡單的等比級數公式就可以得出以上的結果。這個結果令人驚訝,因為我們發現沙粒的總和S頂多只占有區間的1/9,其餘的部分都不屬於S,合理的猜測就是8/9以上的區域屬於無理數的領地。

但更驚爆的事情還在後面,第一個開區間I1的長度1/10是我們任意選取的,我們可以選得更小,比如說1/102同樣可以包住x1,之後的區間長度也是依比例遞減。這樣覆蓋S所有元素的開區間總合就等於:

∑In = 1/102 + 1/103 + 1/104 … + 1/10n   +… = 1/90

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

經過這個調整,有理數S所占的比例只剩不到1/90,其餘89/90以上的區域都是無理數。

敏銳的讀者已經發現,我們可以將選取的覆蓋區間不斷縮小,因而有理數集合S所占實數區間(0, 1)的比例也就會依照1/900, 1/9000, 1/90000逐漸下降而最後趨近於0。難怪那麼多沙粒都消失不見,原來與實數相比它們所占的比例是零。

這是甚麼意思呢?這是不可數無限集合最深奧難解的性質之一,雖然同屬於無限集合,但若把有理數全數放到實數堆裡的話,它們將完全被淹沒而看不到蹤影。有理數的「數量」跟實數相比實在太過渺小,幾乎可以忽略不計,這就是整個白沙星球「失蹤」的真正原因。

經由以上的推演,我們不但證明了實數比有理數多,還進一步知道由於它們之間懸殊的比例,導致有理數無法被觀察到而造成失蹤的假象。那麼這種遠遠超出我們直觀經驗的不可數無限集合 R和由全體自然數集合N所形成冪集合 P (N) 是否一樣大呢?我們能找到方法來證明它們誰大誰小嗎?這只有等下回再分解了!

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度
翁 昌黎
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
公設化集合論的奧秘(16) 戴德金切割與實數的定義
翁 昌黎
・2015/03/16 ・2458字 ・閱讀時間約 5 分鐘 ・SR值 552 ・八年級

Richard Dedekind
Richard Dedekind

有理數是能夠用分數形式m/n來表達的數,其中m和n為整數且n ≠ 0。雖然到現在為止我們的公設只建構出自然數,但用自然數來建構有理數並不困難,它的基本概念是取序對(m, n)的型態來定義有理數。由於自然數和序對我們都已相當熟悉,況且有理數的概念在直觀上也很容易理解,因此我們並不打算在此介紹和證明如何用自然數定義出有理數的技術細節。可是對實數裡的「另一半」— 無理數來說,情況就大不相同了。

我們很難想像給出任意兩條線段,居然會找不到另一個線段作為衡量前兩者的共同單位。對有些情況來說,不論我們上天下地,卻永遠找不到這個共同單位,這在幾何學上叫做不可通約(incommensurable)。但這種讓古希臘畢氏學派震驚的「知識瘟疫」卻並非雪山靈芝而是隨處可見,比如從任一個正方形劃出對角線就可以根據畢氏定理12 +12 = x2 得出√2這個數,而√2就無法表示成m/n的分數形式。

根據傳說,畢氏學派把無理數的發現視為最高機密並禁止門徒對外洩漏,然而希臘的「斯諾登」希帕蘇斯先生卻冒死對外公佈了這個秘密,因而遭到如同黑社會懲罰臥底一般的待遇—扔到海裡餵魚。我們不知道這個傳說的真實性如何,但這意謂在某個歷史時期公佈某項知識成果的後果可能和今天所謂「洩漏國家機密」的後果沒兩樣。

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

既然無理數的性質那麼「無理」,可見要用自然數或有理數的概念來對其進行嚴格定義是很困難的。但現代實數系的兩位奠基者康托和德國數學家戴德金(R. Dedekind)雖然從不同的角度和進路用不同的方法來破解這個問題,但他們在推進人類對實數的理解時也同時發展了集合的概念。現在就來看看戴德金最重要的發明—如何用有理數來重新定義實數(因而自然把無理數也包含進去)的偉大創見,它稱之為戴德金切割(Dedekind cut)

由於有理數建立在自然數的基礎上,而自然數又建立在集合論的公設上,所以它們早已取得明確的「身分」,現在身分不明且難以被直觀掌握的就剩下無理數了。戴德金切割到底是個甚麼東西呢?首先來看看切割(cut)的定義:

一個切割就是一個序對(A, B),其中A, B ≠ Ø且A 和B不相交(也就是A ∩ B = Ø)。此外A ∪ B = P,也就是說切割是把某個集合P給切開,分成沒有共同元素的A, B兩半。

第二個條件是A的所有元素都比B的元素小,也就是說從數線的觀點來看,A的元素都在B元素的左邊。

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

滿足上述兩個條件的序對(A, B)就是一個對P集合的切割。由於序對(A, B)是集合,所以一個切割本身就相當於集合。而所謂戴德金切割必須加上第三個條件,那就是序對左邊的A集合沒有最大元素。它的直觀意思是說如果我們用某個點來切開P集合,那麼這個點不在A裡面。

我們現在手頭的武器是全部的有理數,所以可以把集合P用全體有理數Q來替代,那麼戴德金切割就成了把全部有理數分成A, B兩半的序對(A, B) ,所以A ∪ B = Q。由於A與B不相交,因此確定了其中一邊也同時確定了另一邊,習慣上我們用序對左邊的集合A來定義實數,稱之為戴德金左集合(Dedekind left set)。也就是說一個實數就是一堆有理數所形成的戴德金左集合,而全體實數就是這些戴德金左集合所形成的集合。

為了更容易理解戴德金左集合的定義,我們用√2來具體說明。如下圖所示,雖然目前我們尚不知道無理數√2的定義,但我們可以利用畢氏定理將邊長為1的正方形取對角線,然後用圓規將與對角線等長的線段畫到數線上,這樣就標出了長度相當於√2在數線上的位置。

我們發現它正好把大於此數和小於此數的有理數Q分成兩半,紅色部分為所有小於√2的有理數,而藍色部分則為所有大於√2的有理數。紅色部分和藍色部分沒有共同成員,它們的聯集等於全體有理數,所以顯然滿足戴德金切割的第一個條件。而紅色集合內的有理數顯然都在藍色成員的左邊,因此滿足第二個條件。此外以√2為分界的戴德金左集合(紅色部分)顯然沒有最大元素,因為作為分界的√2不屬於有理數,所以第三個條件也滿足了,它是一個戴德金切割。

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

未命名

接下來就看怎麼樣來定義這個特殊的戴德金左集合。有人會說這很容易啊,只要定義 A = {q〡q <√2 且 q∈ Q}不就得了?但請注意,我們目前還不知道√2是甚麼,我們只知道有理數是甚麼東東,正絞盡腦汁想把√2的定義找出來,所以上面對A的定義等於是拿未知的東西來定義未知,也是拿尚待定義的東西來作為定義,這是不可接受的。

為了要避開這種循環定義,我們把上式梢作修改成

A = {q〡q2 < 2 且 q ∈ Q}

這樣一來所有的條件就都符合有理數的規定範圍。但仔細一看問題又來了,因為戴德金左集合會一直往負的方向無限延伸,因此越往左其平方值會越來越大,比如:

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

-2 ∈ Q 且-2∈ A,但顯然 (-2)2 > 2,這與A的規定顯然不合。該怎麼辦呢? 只要利用邏輯概念將小於√2的正負數分開處理就行了,因此我們重新把A定義為

A = {q ∈ Q 〡q2 < 2 或 q為負數}

如果有耐心地依序檢查,會發現這個定義符合戴德金切割的條件,因而正是用來定義√2的戴德金左集合。

這個看似古怪的定義讓我們可以單憑有理數重新定義出所有實數(尤其是無理數),而且這樣定義出來的無理數完全可以滿足實數所須具備的各種運算和性質,真可謂鬼斧神工。更重要的是透過戴德金切割我們發現,無限集合居然可以用來標定某個特定實數,這實在太神奇了。戴德金左集合宛如實數的基因密碼,透過對這些密碼的識別和辨認達到對實數本身身分的確認。僅管構成生物基因的分子為數眾多但卻是有限的,然而每個戴德金左集合的元素個數卻都是無限,任何一個實數都可以用某個無限集合來唯一確定。

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

如果你還沒有意識到此中令人驚奇之處,那麼我們再把戴德金切割比喻成商品的條碼,每一個條碼都指向一種特殊的商品。讓我們感到驚異的是,在實數的定義裡,構成每個條碼的信息單元(有理數)竟然不是有限而是無限。

雖然戴德金切割用這種有理數的「無限條碼」奇蹟似地界定出實數,但有些數的意義似乎產生了奇怪的病變。比如自然數0原來是用空集合來定義,所以0 = { } ,可是在戴德金左集合的新包裝下,0 不再是空無一物而成了 {q〡q ∈ Q 且q<0} ,這到底是怎麼回事呢?難道同一個數可以同時由兩個集合來定義嗎?要解開這個難題,這就只有等下回再分解了!

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