公設化集合論的奧秘 (7)為何能比無限大還大?

本文與 Panasonic 合作，泛科學撰文 

●以下科學研究內容作為知識分享，不直接與Panasonic A La Uno全自動洗淨馬桶產品功能連結

在做家務的痛苦排行榜上，「刷馬桶」絕對名列前茅。明明天天都在沖水，但過不了幾天，馬桶內壁邊角總會浮現黃黃的水垢、角落發黑的霉斑，甚至是那些刷掉又長出來的粉紅色污垢（黏質沙雷氏菌）。

許多市售衛浴設備常標榜「神奇抗污」或「永久不沾」，讓人誤以為安裝後便能永保潔淨。然而從材料科學的角度來看，世上並無能使污垢憑空消失的魔法。所謂「耐污」的實質機制，並非打造完全不沾染髒污的材質，而是調整表面的物理與化學屬性，使水垢和微生物難以強力附著。一旦降低了污垢與內壁之間的附著力，透過日常水流沖刷，便能輕易地將髒污帶走。

為什麼污垢「黏不住」？ 

要搞懂為什麼某些特殊表面能做到「耐污」，我們得先像偵探一樣，拆解馬桶裡的髒污究竟是怎麼「抓緊」材料表面的。馬桶內壁的污垢主要有兩大難纏的元兇：

1. 水垢與礦物沉積*1：我們日常使用的自來水中含有鈣、鎂等金屬離子。當水滴在表面經歷反覆的濕潤與蒸發乾燥循環時，這些離子會逐漸結晶析出，變成硬度極高、緊緊「卡」在微觀縫隙裡的礦物質水垢。
2. 生物膜與有機物*2：包含尿液中的無機鹽、油脂殘留，以及細菌入侵後分泌出像超強膠水一般的聚合物，所組成的黏滑防禦大本營。

這兩大類污垢想要在材料上「落腳」，前提是它們必須能在表面找到足夠的附著點與黏合力。那麼，材料科學家是如何讓這些髒污「站不穩」的呢？答案就藏在「表面能（Surface Energy）」與「濕潤性（Wettability）」這兩個核心概念中。

當我們把水滴在某個表面上時，水滴會聚成一顆圓滾滾的水珠，還是迅速攤平開來？這取決於表面的特性：

• 疏水路線（Hydrophobic）*1：具備低表面能的疏水表面，能顯著減少水分子或污染物與表面之間的極性作用力與氫鍵。水滴在這種表面上會因為表面張力而收縮成水珠，當水珠滾動滑落時，就能順便把表面的灰塵與礦物質顆粒帶走，這就是著名的「自清潔效應」。
• 親水路線（Hydrophilic / Superhydrophilic）*2：相反地，極度親水的超親水表面則會強烈地吸引水分子，在材料最外層形成一層薄薄的「水化層（Hydration Layer）」。這層水化層就像是實體的液體盾牌，讓油污、蛋白質或細菌無法直接接觸到材料基底，只能漂浮在水膜上方。

如果要用攀岩來比喻：傳統粗糙的表面就像是有許多凹槽的攀岩牆，髒污就像攀岩者，需要找到落腳點並用力撐住才能攀附；而我們做的是抽掉把手點，或是在把手上塗上潤滑油，讓髒污找不到施力點，自然難以停留。

不給細菌「握手」的機會

解決了水垢，下一個更棘手的對手是「細菌」。

馬桶內壁那些黑黑粉粉、摸起來滑滑的污垢，在微生物學中被稱為「生物膜（Biofilm）」。細菌並不是孤立生長的，當單顆細菌落在表面後，如果覺得環境舒適，它就會開始分泌胞外聚合物（EPS），這是一種天然的超強膠水。細菌們用這種膠水把自己與同伴緊緊黏在一起，並築起堅固的防禦堡壘，這時一般的沖水就很難把它們沖洗乾淨了。

根據《Nature Communications》與《Microsystems & Nanoengineering》的學術期刊研究指出，要阻止生物膜形成，除了化學上的抗菌，材料的「表面微幾何結構」扮演了至關重要的角色。

材料科學領域中有一個著名的「附著點理論（Attachment Point Theory）」：

1. 粗糙與微孔洞表面：如果材料表面存在許多微小的裂縫、氣孔或微米級凹洞，細菌（體積通常約 1 到 3 微米）就會興高采烈地鑽進這些小凹槽裡。這些凹槽不僅提供了極佳的機械咬合支點，還能幫細菌擋掉水流的沖刷。
2. 極致平滑與微結構表面：相反地，如果材料表面做到極致平滑，完全沒有微米級的缺陷；或者反過來設計出尺寸遠小於細菌的奈米結構，細菌的足跡構造（如鞭毛或纖毛）就無法在表面找到穩固的「接觸附著點（Contact Points）」。

當細菌發現自己在這個表面上連「手都握不緊」、隨時會被水流吹走時，它就無法順利定殖並分泌膠水築巢。此外，現代衛浴結構在設計時，也越來越強調「一體成形」與「無接縫工藝」。消除接縫與死角，等於直接拔除了細菌與水垢最喜歡的避風港。

當材料、結構與流體科技組隊聯防 

了解了材料化學與微觀幾何，我們就能勾勒出一座現代耐污馬桶的完整防禦體系：【材料層（低附著力）】+【結構層（無縫平滑）】+【動態流體層（泡沫與水流剪切力）】= 高效清潔！

以市面上備受矚目的 Panasonic A La Uno 全自動洗淨馬桶為例，就是將材料科學、結構工程與流體力學發揮到極致的典型代表：

1. 材料層：有機玻璃系新素材

A La Uno 全自動洗淨馬桶採新開發的「有機玻璃系新素材」（以壓克力高分子為基礎研發的衛浴專用材料，這類高分子成形技術亦被廣泛運用於大型水族館高壓觀景窗與飛機機艙罩）。這種材料表面具備極佳的疏水性與耐水垢特性，水滴不易長時間攤平停留；材質堅固、不易破裂，耐刮、不易造成細小傷痕。通過實驗測試，這種素材配合泡沫洗淨，在沖洗後能有效沖刷掉高達 99.99% 的大腸桿菌，從源頭阻斷細菌定殖。

2. 結構層：無接縫工藝與三重防濺防護

在宏觀結構上，A La Uno 全自動洗淨馬桶採用無水箱沖水與便器、溫水洗淨便座一體成型設計，減少傳統水箱與座體之間的結構層次及接縫，並搭配可動迴轉式排水系統完成沖洗。更貼心的是其「三重防護」設計：

• 泡沫防護：在水面上製造一層充沛的泡沫緩衝層，有效抑制男性站立小便時的尿液與污水飛濺；
• 外圍防護：馬桶邊界特別設計了高約 3mm 的水檔，防止液體延著外壁滴落至地板；
• 測漏防護：便座與馬桶本體採用不外露的防護設計，避免液體從縫隙飛濺滲漏。

3. 動態流體層：雙效泡沫洗淨、漩渦水流與 nanoe™ X

當污垢降落在馬桶內壁時，A La Uno全自動洗淨馬桶 的動態流體科技便接手進行徹底打掃。其「雙效泡沫洗淨」會先釋放直徑約 5mm 的「毫米泡沫」包裹並帶走大塊髒污，再透過直徑約 60微米的「微米泡沫」深入微觀縫隙，徹底溶解殘餘的油脂與細微污垢。接著，配合高度清潔力的「漩渦型強力水流」，利用旋轉產生的流體剪切力，一口氣將附著力已被削弱的污垢剝離並沖走。此外，Panasonic A La Uno 全自動洗淨馬桶還搭襯了 nanoe™ X 健康科技，釋放氫氧離子有效抑制異味與髒污，維持空氣與內壁的良好衛生狀態。

科技讓生活變輕鬆，但物理法則依然誠實

從材料化學的低表面能設計，到微觀幾何的附著點控制，再到流體力學的水流沖刷，一座現代抗污馬桶的演進，縮影了人類如何運用基礎科學來解決日常生活痛點的智慧。

我們習慣將衛生清潔想像成一場與細菌髒污的硬碰硬死鬥。然而，A La Uno全自動洗淨馬桶 等現代衛浴技術的突破，展示了材料科學的另一種聰明思維：不靠強酸強鹼硬打，而是透過物理與化學邏輯，將「污垢固著」的機率降到最低。

當材料科學與現代衛浴技術結合，刷馬桶不再是一件令人頭痛的辛苦瑣事。透過這些前沿科技的加持，我們得以從繁重的家務勞動中解放，享受更加乾淨、舒適且有品質的日常生活。

*1 參考論文：A metallic anti-biofouling surface with a hierarchical topography containing nanostructures on curved micro-riblets

*2 參考論文：Brushing up functional materials

我們都知道無窮（infinity）是什麼。無窮比任何數都更大。當你從一二三不停數下去的時候你會靠近它。它也是萬物甚至更多事物的總和。

我們談到無窮時，一定會想知道一件事：

比無窮還大？有可能嗎？

這個問題其實真的有答案。它不是開放性問題，也不是陷阱題。答案不是「是」就是「否」，而且我會在這一章的結尾公布答案。

讀者可以先猜猜看，但我們或許應該先訂好遊戲規則，讓大家知道該怎麼思考。

具體說來，我們需要訂定關於「較大」的規則。我們要怎麼確定自己發現了比無窮更大的事物？如果是有限的量，要分辨某個事物比另一個事物更大相當容易，但碰到無窮時似乎就沒那麼簡單了。我們不希望完全靠感覺判斷，所以必須選擇簡單明瞭的規則，用來判定一個量是否比另一個量「更大」。

配對數量的多寡來判斷哪邊比較「大」

那麼，在一般、有限的狀況下，我們通常怎麼判定「較大」？我們說右邊這一堆比左邊的更大是什麼意思？

沒錯，用看的就知道。但假設我們遇到一個外星人，這個外星人從沒聽過「更大」、「更多」、「更好」這些概念，我們該如何解釋右邊這堆較大？真的，試試看就知道。這個概念太基本了，其實很難從頭開始解釋。

當我們碰到困難時，數學中有個常用的技巧，就是提出完全相反的問題，看看會有什麼結果。我們要怎麼跟外星人解釋這兩堆的大小相同？

我們不能用「相等」這個詞，因為它正是我們要去解釋的東西。這個外星人想了解我們說兩樣事物「相等」或「相同」時是什麼意思，以及它的主要概念是什麼。

有個方法行得通。把兩堆東西並排起來，一個對一個。如果兩兩配對後正好用完，沒有剩餘，表示這兩堆東西大小相同。

「提出相反問題」的技巧確實有用。只要把這個規則反轉過來，就能得到「較大」的定義。

現在問題已經定義清楚了，答案也隨之確定。那麼，世界上有什麼事物比無窮更大？答案是「是」還是「否」？世界上有什麼事物和無窮兩兩配對之後還有剩餘？現在我們可以思考之後猜猜看。

無窮跟無窮 +1 誰比較大？

我們可以把無窮想成一個深不見底的袋子，裡面裝著無限多個物體。

我們可以從這個袋子裡拿出任意數量的物體，袋子裡也還剩下無限多個。

世界上怎麼可能有其他事物比它更大？好吧，如果是無窮加一呢？

多一個物體看來應該不會對無窮造成什麼影響，但我們用配對規則來確認看看。首先，我們可以把無窮袋中的物體排成一排，這樣比較容易看清楚哪個跟哪個配對。

如果我們以最顯而易見的方式配對，無窮加一看起來當然更大。

不過要小心！規則指出，兩個事物必須無法正好兩兩配對，才會有一者較大。（最好經常回頭看清楚規則！）還有一種配對方法確實可行，而且兩方都不會有剩餘：

如果你覺得這樣好像在騙人，請花點時間告訴自己，這樣真的沒錯。我們不是把一個物體跟點點點配對，而是把它跟隱藏在點點點中的下一個物體配對。既然兩個袋子都有無限多個物體，不會有物體配對不到，所以兩者大小相同。無窮加一等於無窮！

我來講個故事說明這個結果有多奇怪。

無窮大飯店！如何塞進無窮 +1 位客人

假設我們在一家非常特別的「無窮大飯店」當櫃臺接待人員。無窮大飯店有無限多間房間。飯店裡有條長長的走廊，沿著走廊有一排房門，連綿不絕地延續下去，無論走多遠都不會結束。走廊沒有盡頭，所以也沒有「無窮號房」或「最後一號房」。當然有一號房，每間房間也都有下一號房。

今天晚上格外忙碌，飯店裡每間房間都住滿了（對，這個世界裡有無限多個人）。如果沿走廊隨意走一段距離，選一扇門敲幾下，就會聽到：「有人！請勿打擾！」無限多間房間，裡面住著無限多個人。

接著有人從外面走進飯店大廳說：「請問還有房間嗎？」我們不是第一天在無窮大飯店工作，當然知道該怎麼做。我們拿起廣播系統麥克風說：「各位來賓，抱歉打擾一下，請各位來賓搬到下一間房間。沒錯，請收拾好行李，走出房門，朝遠離大廳的方向搬到下一間房間。謝謝合作，祝您有個愉快的夜晚。」大家都照做之後，就有房間給新住客了。

無限多間房間，無限多加一位住客，房間跟住客依然正好兩兩配對。無窮加一等於無窮。

無窮加五、無窮加一兆……都沒關係，這個邏輯全都成立。兩個袋子可以正好配對，可以多裝進一位客人。無窮非常大，任何有限的量根本沒得比。所以我們還沒有找到比無窮更大的事物。

——本文摘自《不用數字的數學：讓我們談談數學的概念，一些你從沒想過的事……激發無窮的想像力！》，2022 年 9 月，經濟新潮社，未經同意請勿轉載。

• 本文轉載自數感實驗室 Numeracy Lab

繼《鬼滅之刃》的熱潮後，本季的新番動畫《咒術迴戰》亦來勢洶洶，特別是在動畫揭曉五条悟老師摘下眼罩後帥到天怒人怨的臉，以及近乎犯規的能力後，更引發了許多討論。而我們感興趣的是——五条悟老師的咒術與一個數學悖論有關。

____________________防雷分隔線_______________________

．

．

．

．

．

．

．

____________________防雷分隔線_______________________

在動畫第七集中，五条悟讓對手漏瑚完全無法靠近他的手掌。他說：

「你觸碰到的是，我和你之間的無限。」

沒錯，這個能力和「芝諾悖論」有著異曲同工之妙。芝諾悖論的經典案例是：阿基里斯永遠追不上先起跑的烏龜。聽起來不合理吧？小孩子都能追上眼前的烏龜了，何況是號稱希臘第一勇士的阿基里斯？

對此，芝諾悖論的說法是，假設阿基里斯跟烏龜之間有一段距離，當阿基里斯花時間跑完這段距離時，烏龜同一時間又走了一小段；阿基里斯再花一點時間跑這一小段，同一時間烏龜又再往前走一小段。不管距離多近，阿基里斯都得再花一點時間去追趕，而同一時間，烏龜又可以再往前跑一點點。

換句話說，「追趕者首先應該達到被追者出發之點」的前提，限制了阿基里斯前進的距離，所以只要烏龜持續前進，阿基里斯永遠都追不到烏龜。
破解這個悖論最快的方法就是帶數字算一次，假設阿基里斯的跑速 10 公尺／秒，烏龜速度則是 0.1 公尺／秒。今天，烏龜先跑 999 公尺，則阿基里斯每次追趕所花的時間分別是：

999÷10 = 99.9 秒
99.9 秒×0.1÷10 = 0.999 秒
0.999 秒×0.1÷10 = 0.00999 秒
……

我們可以得到一個首項 99.9，公比 0.01 的無窮等比數列，雖然因為公比小於 1，它會收斂在約 101，表示阿基里斯花 101 秒就能追上烏龜。但如果就有「幾項」來說，那的確是無限多項，這個就是五条悟老師說的「我和你之間的無限」。

動畫中，五条悟老師運用了這個悖論，讓對手漏瑚彷彿被一隻無形的超慢烏龜擋住，每次只能前進一點點，更重要的是，他的咒術得以讓漏瑚每次前進的時間，沒有因為距離縮短而變小。

阿基里斯之所以能追上烏龜的關鍵是，雖然有無限多項，但後期追趕的時間趨近於零。所以只要漏瑚每次前進的時間依然維持定值，那他就會真的被一隻無形的超慢烏龜擋住，每次前進距離變得無限小，他花了無限多的時間，依然無法移動，宛若靜止。

不愧是有著逆天設定的五條悟老師，連咒術的講解都那麼簡單幾句帶過，數學老師好好講，一堂課都要過去了啦！

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

「聞眾生界不可思議…聞法界不可思議… 聞虛空界不可思議」—大方廣佛華嚴經

如果沒有偉大而極富想像力的數學家康托，那我們迄今為止可能還以為無限大或無窮大就是最大的集合，而且它只有一種型態，就是從1、2、3、4、5一直往下數直到無窮無盡的龐大集合。但令人疑惑的是，所有自然數的集合既然都已經是無限大了，難道還能比它更大？不錯，康托在西元1874年不但找出這個更大的集合，而且還證明了它！

要理解這個比無限大還大的神奇之物，那就要請出ZF集合論的第7個公設—冪集合公設(Axiom of Power Set)：

ZF7  ∀X ∃Y ∀z  [z ∈ Y ↔ ∀ u (u∈z → u∈ X)]

這個公設看起來有點複雜，但我們如果引入一個關於子集合（subset）的定義就能讓問題簡化許多。以上句式中的 z 是 X 的子集，寫成 z ⊆ X ，它的定義是：∀ u (u∈z → u∈ X)，這恰好就是冪集合公設的後半部分。我們先按以上定義把冪集合公設改寫成比較簡單的形式：

ZF7 (1) ∀X ∃Y ∀z  [z ∈ Y ↔ z⊆ X]

經過上面的簡化之後，冪集合公設的意思是：如果我們手頭上已經有某個 X 集合，那麼由 X 集合的所有子集合可以形成另一個新的集合 Y。

這個公設讓我們又多了一個製造集合的方法，也就是把手頭上現成集合的子集合全部抓出來，將這些子集合作為元素來形成一個新集合，這就是ZF7所要做的事情。但我們還沒解釋什麼是子集合，根據定義，如果∀ u (u∈z → u∈ X)成立，也就是凡 z 的成員都是 X 的成員的話，那 z 就是 X 的子集合。

我們用個簡單的小集合作例子就容易明白了。假設有個包含1, 2, 3三個自然數的集合當作 X = {1, 2, 3} 。那 X 的子集合是甚麼？ 首先 {1, 2, 3 } 是它自己的子集合。因為在這種情況下 z = X ，所以∀ u (u∈ X → u∈ X) 顯然成立，這就相當於說在 X 裡邊的元素必定在 X 裡邊一樣的廢話。進一步觀察發現，將 X= { 1, 2, 3 } 中的成員拿掉幾個，殘留的集合都是 X 的子集合，比如說 {1}、{1, 2}和 {2, 3}等都是。將這些子集合全部蒐集起來登記在 Y 底下所形成的集合就是 X 的冪集合。在以上 X= {1, 2, 3}的例子裡：

Y = { {1, 2, 3}, {1, 2}, {2, 3}, {1, 3}, {1}, {2}, {3}, {  } }

細心的讀者會發現裡面有個空集合，為了邏輯與數學上的嚴密性有必要解釋一下為什麼空集合也是 X 的子集合，但這麼重要的關鍵在許多數學課本裡卻提都不提。

剛剛談到 z 是 X 的子集合是用∀u (u∈z → u∈ X) 來定義，那我們就把空集合 {  } 放到定義中看看符不符合子集合的規定。那就是要看 ∀ u (u∈{  } → u∈ {1, 2, 3})是否為真？ 因為{  }中空空如也什麼都沒有，所以條件句u∈{  } → u∈ {1, 2, 3} 的前件u∈{  }對任何 u 來說都為假，因為不存在任何集合能滿足這個條件。因此根據實質涵蘊 → 的定義，前件為假則整個條件句為真，所以∀ u  (u∈ {  } → u∈ {1, 2, 3}) 為真。既然空集合滿足子集合成立的條件，所以我們可以安心地將其納入冪集合的成員裡頭。

好了，現在我們有了製造冪集合的方法，但要它有何用呢？ 它有什麼神妙之處？ 粗略觀察可以發現冪集合的成員數比原來集合的成員數還多一些，X 集合有3個成員而它的羃集合 Y 有8個成員。那麼如果我們拿剛剛被無限公設所承認的，包含所有自然數的集合來製造冪集合的話會發生什麼事呢？

在有限集合的情況下，冪集合 Y 的成員數鐵定比原來集合 X 的成員數還多。直覺似乎告訴我們，既然所有自然數所形成的集合其成員數量已經是無限大，那麼它的冪集合成員數量頂多也是無限大，因為不可能有比無限大更大的數量了。照理說兩者的成員數目應該一樣多才對，照這麼說的話那麼ZF7並沒有提供比ZF6更新鮮的東西。

但在羅素詭論的歷史教訓下，我們在數學領域還是對直覺適度存疑比較妥當。還是按照這個假設來做個實驗，看看 X 集合的冪集合 Y 所擁有的成員數目是否跟 X 集合一樣多。方法是這樣的：假設 Y 的成員和自然數的無限集合一樣多，那它的每個成員必然可以跟自然數對上號，那表示我們可以把它們 ( X 所有的子集合) 用S1, S2, S3,…, Sn,… 來編號排列，其中每個Sk (k=1, 2, 3…)都是 X 的子集合。可以用下表來說明：

現在來解釋一下這個表的意義。因為我們是把整個自然數集合拿來選取子集合，所以凡是被選進某個子集合的自然數就打上1，沒選上的就打 0，這樣每個子集合就可以用由 0, 1所形成的無窮序列來表示，每個序列都被標上序號。我們發現將這個子集合序列的對角線連起來會形成一個獨特的0, 1串列，比如在我們以上的例子裡，對角線串列是用紅色數目字表示的 001000101 …。我們利用這個串列來做個改裝，將其中凡是出現 0 的地方都改成1，凡是出現1的地方都改成 0，這樣就得到一個新的串列（上表藍字部分）S = 110111010…。

這個串列S有一個奇妙的特性，那就是它居然不落在無窮序列 Sk(k=1, 2, 3…  ) 裡面！為什麼呢？ 仔細觀看S的變化可以發現，它的第一個數字與S1 不同，所以S不是S1，第二個數字與S2 不同，所以S也不是S2，第三個數字與S3 不同…，也就是說S不可能出現在 Sk(k=1, 2, 3…) 這個無窮序列裡。

聰明的你可能會說，沒關係，把這個不合群的S重新放到Sk裡不就得了！反正Sk是個無窮序列，多一個不多，少一個不少，這樣以上的難題就解決了。先別高興太早，當你把這個S放進無窮序列之後，我們依然可以如法泡製，用同樣方法畫出一條新的對角線，然後得出一個新的0, 1串列，再將其中的 0轉成1，1再轉成0，於是又得到一個新串列S’。新串列S’ 仍然不在新形成的Sk裡，正所謂魔高一尺道高一丈上有政策下有對策，永遠會出現漏網之魚。

但這隻咬破魚網的小魚S意味著什麼呢？ 千萬別小看它，它意味著全體自然數的集合還不夠大，自然數的無限集合無法窮盡由它所形成的冪集合，偉大的知識革命就在那條魚出現之處完成了。它意味自然數冪集合的成員數目居然比自然數的數目還要多！這是個革命性的發現，利用神奇的對角線論證，康托證明了存在著比全體自然數集合—所謂的可數無限（countable infinity）集合還要大的不可數無限（uncountable infinity）集合。跟這個發現相比，哥倫布所謂的發現新大陸簡直就像扮家家酒。

無限公設ZF6送給我們第一個無限集合，但它只是可數的無限。ZF7帶給我們製造冪集合的方法，把ZF6的無限集合當成原料，利用ZF7這台神奇數學機器居然成功提煉出超乎想像的不可數無限集合，並將我們的數學知識帶到一個前所未有的嶄新世界。