公設化集合論的奧秘(18) 優雅的等式〡R〡=〡P(N)〡=〡2^N〡

本文由 Amway 委託，泛科學企劃執行。

到底怎樣才算是「乾淨」？這不是什麼靈魂拷問，而是一個價值上億的商業命題。

在半導體產業的無塵室中，「乾淨」的定義極其殘酷：一粒肉眼看不見的灰塵，就足以讓造價數百萬美元的晶圓直接報廢。空氣品質的好壞，甚至能成為台積電（TSMC）決定是否在當地設廠的關鍵性指標。回到你的家中，雖然不需要生產精密晶片，但我們呼吸系統中的肺泡同樣精密，卻長期暴露在充滿 PM2.5、病毒以及各種揮發性氣體的環境中。為了守護健康，你可能還要付費購買「乾淨的空氣」來用。

因此，空氣議題早已超越單純的環保範疇，成為同時影響國家經濟與個人健康的重要問題。

很多人可能沒想到，無論是家用的空氣清淨機，還是造價動輒百億的頂尖晶圓廠，它們對抗污染的核心武器並非什麼複雜的雷射防護罩，而是同一件看起來平凡無奇的東西：一片外觀像紙一樣的 HEPA 濾網。但你真的相信，就憑這層厚度不到幾公分的板子，能擋住那些足以毀滅精密晶片、滲透人體細胞的「奈米級刺客」嗎？

這片大家都聽過的 HEPA 濾網，裡面到底是什麼？

首先，我們必須打破一個直覺上的誤解：HEPA 濾網（High Efficiency Particulate Air filter）在本質上其實並不是一張「網」。

細懸浮微粒 PM2.5，是指粒徑在 2.5 微米以下的污染物，它們能穿過呼吸道直達肺泡，並穿過血管引發全身性發炎。但這只是基本，在工廠與汽車尾氣中，還存在粒徑僅有 1 微米的 PM1，甚至是小於 0.1 微米的「超細懸浮微粒」（UFP，即 PM0.1）。 UFP 不僅能輕易進入血液，甚至能繞過血腦屏障（BBB），進入大腦與胎盤，其破壞力十分可怕。

如果 HEPA 濾網像水槽濾網或麵粉篩一樣，單靠孔目大小來「過濾」粒子，那麼為了攔截奈米微粒，濾網的孔目只能無限縮小到幾乎不透氣的程度。更別說在台積電或 Intel 的製程工程師眼裡，一般人認為的「乾淨」，在工程師眼裡簡直像沙塵暴一樣。對於線寬僅有 2 奈米或 3 奈米（相當於頭髮直徑萬分之一）的晶片而言，空氣中一顆微小的塵埃，就是一顆足以毀滅世界的隕石。

因此，傳統的過濾思維並非治本之道，我們需要的是原理截然不同的過濾方案。這套技術的雛形，最早可追溯至二戰時期的「曼哈頓計畫」。

HEPA 的前身，誕生於曼哈頓計畫！

1940 年代，製造濃縮鈾是發展原子彈的關鍵。然而，若將排氣直接排向大氣，會導致致命的放射性微粒擴散。負責解決這問題的是 1932 年諾貝爾化學獎得主歐文·朗繆爾（Irving Langmuir），他是薄膜和表面吸附現象的專家。他開發了「絕對過濾器」（Absolute Filter），其內部並非有孔的篩網，而是石綿纖維。

有趣的來了，如果把過濾器放到顯微鏡下，你會發現纖維之間的空隙，其實比某些被攔截的粒子還要大。那為什麼粒子穿不過去呢？這是因為在奈米尺度下，物理規則與宏觀世界完全不同。極微小的粒子在空氣中飛行時，並非走直線，而是會受到空氣分子撞擊，而產生「布朗運動」（Brownian Motion），像個醉漢一樣東倒西歪。

當粒子通過由緻密纖維構成的混亂迷宮時，布朗運動會迫使它們不斷轉彎、移動，最終撞擊到帶有靜電的纖維上。這時，靜電的吸附力會讓纖維就像蜘蛛網般死死黏住微粒。那些狂亂移動的奈米刺客，就這樣被永久禁錮迷宮中。

現在最常見的 HEPA 材料，是硼矽酸鹽玻璃纖維。

現代 HEPA 濾網最常見的核心材料為硼矽酸鹽玻璃纖維。這些玻璃纖維的直徑通常介於 0.5 至 2 微米之間，它們在濾網內隨機交織，像是一座茂密「黑森林」。微粒進入這片森林後，並非僅僅面對一層薄紙，而是得穿越一個具有厚度且排列混亂的纖維層，微粒極有可能在布朗運動的影響下撞擊並黏附在某根玻璃絲上。

除此之外，HEPA 濾網在外觀上還有一個極具辨識度的特徵，那就是像手風琴般的摺紙結構。濾材會被反覆摺疊、摺成手風琴的形狀，中間則用鋁箔或特殊的防潮紙進行結構支撐，目的是增加表面積。這不僅為了捕獲更多微粒，而是要「降低過濾風速」。這聽起來可能有點反直覺：過濾不是越快越好嗎？

其實，這與物理學中的流速控制有關。想像一條水管，如果你捏住出口，水流會變得湍急；若將出口放開並擴大，雖然總出水量不變，但出水處的流速會變得緩慢。對於 HEPA 濾網而言，當表面積越大，單位面積所需承載的空氣量就越少，空氣穿透濾網的速度也就越低。

低流速代表微粒停留在濾網內的時間也更久，增加被捕捉的機會。此外，越大的表面積也為 HEPA 濾網帶來了高「容塵量」，延長了使用壽命，這正是它能夠稱霸空氣清淨領域多年的主因。

然而，即便都叫做 HEPA 高效率空氣微粒子過濾網 (High Efficiency Particulate Air filter)，但每個 HEPA 的成分與結構還是會不一樣。例如 安麗逸新空氣清淨機 SKY ，其標榜「可過濾粒徑最小至 0.0024 微米」的污染物，去除率高達 99.99%。

0.0024 微米是什麼概念？塵蟎、花粉、皮屑或黴菌孢子，大小約在 2 至 200 微米；細懸浮微粒  PM2.5 大小約 2.5 微米，細菌也大概這麼大。最小的其實是粒徑小於 0.1 微米的「超細懸浮微粒」，大多數的病毒（如流感、新冠病毒）都落在此區間。對安麗逸新 的HEPA濾網來說，基本上通通都是可被攔截的榜上名單。

在過敏防護上，它更獲得英國過敏協會（Allergy UK）認證，能有效處理 19 大類、102 種過敏原，濾除空氣中超過 300 種氣態與固態污染物。

然而，同樣的過濾邏輯一旦進入半導體無塵室，就必須換一條更為嚴苛的技術路線。因為硼矽酸鹽玻璃纖維對晶圓來說有個致命傷，就是「硼 (Boron)」。

在半導體製程中，硼是常見的 P 型摻雜物，用來精準改變矽晶圓的電性。如果濾網有任何微小的破損、老化或化學侵蝕，進而釋放出極微量的硼離子，就可能直接污染晶圓，改變其導電特性，導致晶片報廢。

此外，無塵室要求的是比 HEPA 更極致的 ULPA（超低穿透率空氣濾網） 等級的潔淨度。ULPA 的標準通常要求對 0.12 微米 的粒子達到 99.999% 甚至 99.9999% 的超高攔截率。在奈米級的競爭中，任何多穿透的一顆微塵，都代表著一筆不小的經濟損失。

為了解決「硼」的問題並追求極限的過濾效率，材料學家搬出了塑膠界的王者，PTFE 也鐵氟龍。鐵氟龍不僅耐酸鹼、耐腐蝕，還能透過拉伸製成直徑僅 0.05 至 0.1 微米 的極細纖維，其細度遠勝玻璃纖維。雖然 PTFE 耐化學腐蝕，但它既昂貴且物理上也很脆弱，安裝時若不小心稍微觸碰，數萬元的濾網就可能報銷。因此，你只會在晶圓廠而非一般家庭環境看到它。

即便如此，在空氣濾淨系統中，還有一樣是無塵室和你家空氣清淨器上面都有的另一張濾網，就是活性碳濾網。

活性碳如何從物理攔截跨越到分子吸附？

好不容易將微塵擋在門外時，危機卻還沒有解除。因為空氣中還隱藏著另一類更難纏的大魔王：AMC（氣態分子污染物）。

HEPA 或 ULPA 這類物理濾網雖然能攔截固體微粒，但面對氣態分子時，就像是用網球拍想撈起水一樣徒勞。這些氣態分子如同「幽靈」一般，能輕易穿過物理濾網的縫隙，其中包括氮氧化物、二氧化硫，以及來自人體的氨氣與各種揮發性有機物（VOCs）。

為了對付這些幽靈，我們必須在物理防線之外，加裝一道「化學濾網」。

這道防線的核心就是我們熟知的活性碳。但這與烤肉用的木炭不同，這裡使用的是經過特殊改造的「浸漬處理（Impregnation）」活性碳。材料科學家會根據敵人的不同性質，在活性碳上添加不同的化學藥劑：

• 酸鹼中和：對付氮氧化物、二氧化硫等酸性氣體，會在活性碳上添加碳酸鉀、氫氧化鉀等鹼性藥劑，透過酸鹼中和反應將有害氣體轉化為固體鹽類。反之，如果添加了磷酸、檸檬酸等酸性藥劑，就能中和空氣中的氨氣等鹼類。
• 物理吸附與凡德瓦力：對於最麻煩的有機揮發物（VOCs，如甲醛、甲苯），因為它們不具酸鹼性，科學家會精密調控活性碳的孔徑大小，利用龐大的「比表面積」與分子間的吸引力（凡德瓦力），像海綿吸水般將特定的有機分子牢牢鎖在孔隙中。

空氣濾淨的終極邏輯：物理與化學防線的雙重合圍

在晶圓廠這種對空氣品質斤斤計較的極端環境，活性碳的運用並非「亂槍打鳥」，而是一場極其精密的對戰策略。

工程師會根據不同製程區域的空氣分析報告，像玩 RPG 遊戲時根據怪物屬性更換裝備一樣——「打火屬性怪要穿防火裝，打冰屬性則換上防寒裝」。在最關鍵的黃光微影區（Photolithography），晶圓最怕的是人體呼出的氨氣，此時便會配置經過酸性藥劑處理的活性碳進行精準中和；而在蝕刻區（Etching），若偵測到酸性廢氣，則會改用鹼性配方的濾網。這種「對症下藥」的客製化邏輯，是確保晶片良率的唯一準則。

而在你的家中，雖然我們無法像晶圓廠那樣天天進行空氣成分分析，但你的肺部同樣需要這種等級的保護。安麗逸新空氣清淨機 SKY 的設計邏輯，正是將這種工業級的精密防護帶入家庭。它不僅擁有前述的高規 HEPA 濾網，更搭載了獲得美國專利的活性碳氣味濾網。

關於活性碳，科學界有個關鍵指標：「比表面積（Specific Surface Area）」。活性碳的孔隙越多、表面積越大，其吸附能力就越強。逸新氣味濾網選用高品質椰殼製成的活性碳，並經過高溫與蒸氣的特殊活化處理，打造出多孔且極致高密度的結構。

這片濾網內的活性碳配重達 1,020 克，但其展開後的總吸附表面積竟然高達 1,260,000 平方公尺——這是一個令人難以想像的數字，相當於 10.5 個台北大巨蛋 的面積。這種超高的比表面積，是市面上常見濾網的百倍之多。更重要的是，它還添加了雙重觸媒技術，能特別針對甲醛、戴奧辛、臭氧以及各種細微的異味分子進行捕捉。這道專利塗層防線，能將你從裝潢家具散發的有機揮發氣體，或是路邊繁忙車流的廢氣中拯救出來，成為全家人的專屬空氣守護者。

總結來說，無論是造價百億的半導體無塵室，還是守護家人的空氣清淨機，其背後的科學邏輯如出一轍：「物理濾網攔截微粒，化學濾網捕捉氣體」。只有當這兩道防線同時運作，空氣才稱得上是真正的「乾淨」。

進一步了解商品：https://shop.amway.com.tw/products/2071?navigationType=brand&

延續之前的努力，我們雖然試過聯集（加法）和笛卡爾乘積（乘法），仍然沒能突破可數無限的藩籬，可見如來佛這隻手比我們想像中還要寬。在陷入困境的時刻，忽然想到在數學運算裡，減法和除法會讓數值變小，而加法和乘法會讓數值變大。但哪種運算可以讓數值增加得更「快」一些呢？ 我們任意拿兩個數，比如3和5來觀察看看：

3+5 = 8      3×5= 15    3⁵ = 243

我們發現對任意兩個正數，乘法得到的結果比加法得到的結果大，而指數運算得到的結果又比乘法大。依此進行推想，如果在集合運算裡有類似指數運算的話，那它很有可能就是我們得以突破可數無限集合的「星航艦企業號」，問題只剩下：這樣的東西存在嗎？

確實有這樣一個東西，它在日常數學（也就是非基礎數學）裡雖然並不常見，卻是集合論的「常備良藥」。我們就來見識一下它的模樣：

定義6：A和B都是集合，我們定義從A到B的所有函數所成的集合為B^A = {F〡F : A→ B為函數}

這個定義很容易讓人誤以為B^A指的就是函數 ƒ： A→ B，於是認為B^A只不過是函數ƒ 的另一個寫法罷了，但這種誤認卻是致命的。

當我們說函數 ƒ：A→B時，我們說的是某個特定的序對集合ƒ，這些序對的前項由A的元素構成而後項則由B的元素構成，所以函數ƒ的成員由序對形成。

舉個例子就能清楚了，比如A = 2而B = 3。那麼 ƒ 會是怎樣的型態呢？有人心裡可能會嘀咕說2和3不是自然數嗎？它們怎麼能夠充當定義域和對應域來形成函數呢？之所以有這種疑惑是因為集合論的馬步沒蹲扎實所致，才會忘了自然數本身就是集合啊！（請參考《公設化集合論的奧秘 (5)》） 所以自然數2 = {0, 1}，自然數3 = {0, 1, 2}，因此函數

ƒ: 2 → 3 就是
ƒ: {0, 1} → {0, 1, 2}。

現在我們可以據此定義一個個別函數，比如恆等函數（identity function） ƒ_i: x → x，它等於序對(0, 0) 和(1, 1) 所形成的集合{(0, 0), (1, 1)}。再比如說常數函數（constant function） ƒ_c: x → 2，則不論是0還是1，它們的函數值都等於2，所以函數ƒ_c就等於序對集合{(0, 2), (1, 2)}。

有了以上的例子我們澄清了B^A是從A到B的各種可能函數所形成的集合 {ƒ_i, ƒ_c, ƒ_s, …}，而不是任何特定函數ƒ_k。某個特定函數 ƒ: A→ B的成員是序對，但B^A的成員則是函數。接下來需要確認的是這個定義是否捕捉到指數的核心本質？我們可以問當A = 2且B = 3時，B^A有幾個成員？對於定義域的兩個元素0和1來說，它們各有3種選擇來形成序對，那就是（0, 0）、（0, 1）、（0, 2）和（1, 0）、（1, 1）、（1, 2）。

若要形成任何特定的函數ƒ_k，就必須從前面三個序對中選出某一個，然後再配上後面序對中的任一個，比如我們從前後都選第一個序對而形成{(0, 0), (1, 0)}這種函數組合。這樣的話所有可能的組合方式共有3+3+3 = 9種，也就是共有9個函數成員，正好是B^A=3² = 9。因此對於有限數值來說，B^A 的定義與指數運算相契合。

最後為了表明自己是公設化集合論的內行人，請不要忘記驗證B^A為「合法」集合。對於任意序對 (a, b)，a∈A且 b ∈ B 來說，( a, b) ∈ A X B，由於它們是函數的元素，所以由序對構成的函數F必定是A X B的子集，也就是F ⊆ A X B。由於冪集合是把子集作為元素而形成的集合，所以F ∈ P (A X B) 。我們在《公設化集合論的奧秘 (14)》中已經證明笛卡爾乘積A X B是集合，現在面對A X B 的冪集合P (A X B)，我們根據ZF7 冪集合公設得知P (A X B)也是集合，因此P (A X B)的子集B^A是集合沒錯。

有了B^A這個武器之後，我們發現可以將原先只限於有限數值的指數運算擴展到無限集合，比如說2^N。我們想知道這個運算是否能「飛出」可數無限集合的範圍? 對於有限數值的指數運算，我們有明確的規則和定義: 比如 2⁵ 就是將2連乘5次，而對任何自然數k，2^k就是將2連乘k次。在沒有定義B^A之前，我們並不知道2^N或2^ω代表甚麼意思，但我們現在知道2^N是指所有以下這種函數所成的集合:

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

這種集合的對應域很簡單，不過就是0跟1，那它看起來會像甚麼呢? 想像有一排被編上號碼的電燈泡，從最左邊的0號開始一直往右無盡延伸，越往右邊號碼越大，每個函數F就相當於一種亮燈的方式。比如若F定義域裡的所有自然數的値都對應到1，那就相當於燈泡全亮的狀態，反之如果F定義域裡的所有自然數値都對應到0，那就是燈泡全暗的狀態。依此類推，每個特定的F都表示一種亮燈狀態，而這些燈泡的各種明暗組合方式就構成2^N集合。

這看起來和我們在《公設化集合論的奧秘 (7)》裡提過的全體自然數的冪集合P(N)很像，所以我們要問: 2^N的尺寸是否與P(N)相同? 也就是它們的基數〡P(N)〡與〡2^N〡是否相等? 要證明這一點就必須在P(N)與2^N之間找到一個一對一且映成的函數ƒ，那樣就證明了〡P(N)〡=〡2^N〡。

由於P (N) 的元素是某個自然數的子集A ⊆ N，所以我們的目標是要將某個A（比如{0, 1, 2}）與2^N的元素之間建立起函數關係，也就是在

ƒ : P(N) → 2^N

之間尋找一對一且映成關係。但2^N的元素本身就是函數，該如何試當選取以完成這個艱難任務呢? 我們可以試著用特徵函數（characteristic function）來充當2^N的元素，其定義如下:

I_A: N → {0, 1}

它的意思是說如果某個x 剛好是A裡的元素，那麼它的函數值等於1，也就是這個編號的燈泡是亮的。反之若x不是A裡的元素，那函數值等於0，也就是這個編號的燈泡是暗的。因此我們可以把函數ƒ 看成是一張書面指令和燈泡明暗組合之間的對應關係，由P(N)裡挑選出來的子集A可以看成是一道指令，它裡面包含的元素就是要點亮的燈號。當這條指令經由ƒ 送到特徵函數I_A時，特徵函數就根據A指令佈署亮燈的方式，若函數值為1就是亮燈，若函數值為0就關燈。

我們以A = {0, 1, 2}作例子，A裡的元素等於是指令，讓我們依據指令將那幾個編號(0, 1, 2)的燈泡點亮，因此特徵函數據此進行判別之後就決定了一種亮燈的方式，也就是只有前3盞燈是亮的，而編號2之後的所有燈泡全是暗的。很容易可以看出若指令不同的話，也就是A ≠ B，則亮燈的方式也會有所不同，也就是I_A ≠ I_B。這就表示

ƒ : P(N) → 2^N
A → I_A

為一對一函數。反之對任何一種亮燈方式，也就是特徵函數IA，我們都可以找到某個指令A ∈ P(N) 使得ƒ (A) = I_A，因此ƒ為映成。既然ƒ 為一對一且映成函數，所以它們等量，也就是〡P(N)〡=〡2^N〡。

由於康托的對角線方法已經證明P(N)為不可數集合，因此與它等量的2^N也同樣為不可數集合。終於成功了！2^N運算讓我們擺脫可數無限的枷鎖而得以遨遊太虛之中，直達玄妙的不可數無限的領地，我們也使得冪集合P (N) 與2^N在此相遇。從無限尺寸的觀點來看，它們（P(N)和2^N）是同一個東西。在《公設化集合論的奧秘 (11)》裡我們證明了實數也是不可數的，那麼P(N)和2^N與實數的尺寸是否一樣大呢？有辦法可以證明嗎？這就只有等下回再分解了。

有一種說法認為集合論的發明是在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)〡。

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

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

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

θ: 2^N → R

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

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

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

θ: 2^N → R

     f →  r

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

θ: 2^N →(0, 1)

     f →  0.a₀a₁a₂a₃a₄…a_n…

我們之前介紹過 2^N的成員，它的成員是某個函數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)指定為a₀ ，第二個函數值f(1)指定為a₁，第三個值f(2)指定為a₂，依此類推，我們就能夠得到一個介於0和1之間的實數，其小數點之後的位數只由0與1構成。以剛才的函數為例，我們得到a₀ =1, a₁=0, a₂=0, a₃=0… 因此和它對應的實數就是0.100000000…，也就是0.1。顯然如果函數不同f₁ ≠ f₂，則其指定的每個a_n值當然不同，這就導致與其相對應的實數0.a₀a₁a₂a₃a₄…a_n …也不同，於是我們得到 θ(f₁) ≠ θ(f₂)，因此θ為一對一函數。於是我們證明了蘇仙戒指的另一半：

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

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

我們之前用ℵ₀來標示自然數和有理數這種可數無限集合的基數，因此我們有等式：

〡N〡= 〡Q〡= ℵ₀

而對於比ℵ₀還大的不可數集合我們用ℵ₁來表示，因此又有如下的等式：

〡R〡= 〡P(N)〡=〡2^N〡= ℵ₁

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

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

許多人在學習集合論的過程中經常會聽到一個說法，那就是所有的集合都是從宇集（universe）—也就是所有集合所成的集合—裡拿出來的，彷彿先要有個上帝般的宇集，隨後所有的集合才從那裡生出。好比你要學習天文學，有人會告訴你我們住在一個大爆炸之後的廣大宇宙裡，然後依序介紹衛星、行星、恆星、太陽系、銀河系、星系團等等天文學「物件」。先給個最大的概念舞台，然後再進入舞台上的佈景和道具的細節，這樣的理解過程似乎合情合理。可是對集合論來說，這樣的說法是災難性的，不只是由於宇集的概念充滿詭異，而是宇集根本就不存在！

這到底是怎麼回事？才剛開始要碰觸現代數學核心的集合論概念，卻從一個完全錯誤的起點出發，這難道不讓人背脊發涼嗎？那就先來看看宇集到底長甚麼樣子吧！一般我們用大寫的V來代表宇集，所以根據素樸集合論的概括公設原理（請參考《公設化集合論的奧秘 (3)》），宇集就是：

V= {x〡x是個集合}   或者

V = {x〡x=x} （庫能等人使用這個寫法）

它們的意思很清楚，只要算是個集合都可以放進我們的大百寶箱V裡邊。但這樣做為什麼會有問題呢？既然要研究集合，那我們事先把所有的集合通通蒐羅起來形成一個最完整的集合有甚麼錯呢？

我們來觀察一下這個集合的形式有甚麼奇特之處，既然V是所有集合所成的集合，那V裡邊一定得有它自己，否則的話它就沒資格宣稱自己是包含所有集合的集合。因此V必然會有如下這種形態：

V= {a, b, c, d, e, … , V, x, y, z, …}

按照道理，宇集內部那個V（我們已經標成紅色）跟外面那個V是一樣的，因為宇集既然是宇宙間所有集合的集合，那它就是最大的集合，所以必然只有唯一的一個最大集合。因此：

V = {a, b, c, d, e, … , V, x, y, z, …}

把這個紅V套上去就應該是底下這種樣子：

V= {a, b, c, d, e, … , {a, b, c, d, e, … , V, x, y, z, …}, x, y, z, …}

而更裡面那個標紅的V也必定是複制了同樣的形態：

{a, b, c, d, e, … , V, x, y, z, …}

像這樣無窮無盡層層疊疊複制下去，永無盡頭。

頭被搞暈了吧？這樣的怪物到底是甚麼？雖說這樣的造形讓人頭暈目眩，但我們還是沒有充分的理由說它不存在。要如何證明它存在或不存在呢？如果你懷疑這樣的集合不存在該怎麼做呢？有一個很符合邏輯的想法就是，既然V「揚言」自己是所有集合所成的集合，那如果我們能夠製造出一個集合，然後證明它不在V裡，不就拆穿V的牛皮了嗎？但去哪裡找這個集合呢？

俗話說踏破鐵鞋無覓處，忽然想起一個老朋友R = { x 〡x ∉ x}，它不就是在《公設化集合論的奧秘 (3)》裡所談到的羅素詭論集合嗎？我們將其稍加改裝成為如下集合：

B = {x ∈ V 〡: x ∉ x}

這個微小的差異在於現在有個號稱包含一切集合的V，那麼任何集合都必須是它的成員才行，所以有x ∈ V這個條件。我們還可以接著問，B集合是它自己的成員嗎？如果是的話，那麼B ∈ B，則B必須符合上述集合的條件，也就是B ∈ V且B ∉ B

把它寫成數理邏輯式就是：

(L1)   B ∈ B ⇒ (B ∈ V) · (B ∉ B)    （其中黑點為and的意思）

反過來說，如果B ∉ B，那麼根據假設，V包含一切集合，所以B ∈ V，這樣的話B剛好又符合集合B = {x ∈ V 〡: x ∉ x}的條件，所B ∈ B。

整理成理邏輯式就成了：

(L2)    (B ∈ V) · (B ∉ B) ⇒ B ∈ B

把(L1)和(L2)組合起來可以得到一個雙條件句:

(L3)     B ∈ B ⇔ (B ∈ V) · (B ∉ B) 

學過一點數理邏輯的人都知道，符號⇔兩邊的邏輯語句等值，也就是兩邊必須同為真或同為假整個邏輯式才能成立。但由於B ∉ B是B ∈ B的否定，所以它們必定一真一假，那麼邏輯式 (L3) 為真的唯一希望就是B ∈ V為假了。因為若B ∈ V為真，那兩邊的另兩個語句永遠一真一假，(L3) 就永遠沒有成真的希望了。因此根據邏輯，我們得出B ∈ V為假，也就是B ∉ V。

這個結論的重要性在於既然有一個集合B不在V裡，那表示V根本不是包含一切集合的集合，牛皮終於吹爆，詐騙案宣告偵破。換句話說，那樣的集合V並不存在。

因此宇集V和羅素集合R一樣，都會導致邏輯矛盾，因此都成為公設化集合論「掃黑」的對象。在集合論發展的過程裡，對於排除這種搗蛋分子有兩條路線，一個是我們一開始採用的ZF集合論，它直接將這種龐然怪物趕出集合的園子，塑造了一個純淨的理念世界，其中只有一種物件（集合）和一種關係（∈），不需要其他多餘的材料。

ZF系統如何處理羅素詭論我們已經在《公設化集合論的奧秘(4)》裡談過了，現在簡短介紹一下另一條路線的主要系統NBG如何面對這種邏輯困境。所謂NBG是這個系統的三個主要貢獻者的名字縮寫，這個陣容也是夠嚇人的。N是被稱為神童的電腦之父馮·紐曼（John von Neumann），B是瑞士知名數學家伯納斯（Paul Bernays），證明論的現代奠基者根岑（Gerhard Gentzen）就是他的弟子，G不用說就是大名鼎鼎的哥德爾。

NBG系統的最大特徵是它用類（class）來函蓋所談論的理論對象，集合是類的一種，而那些不屬於集合的V和R則稱為真類（proper class），但在ZF系統裡是不談論真類的，所以在進入NBG系統之前必須先定義好集合和真類以免混淆。一般用M(X)來代表X是個集合，用邏輯表達式(∃Y)( X∈Y)來定義。它的意思是說如果X是集合，那它可以被登記在另一個集合之下成為它的成員。但真類無法這樣，所以它的定義就是M(X)的否定(寫成¬M(X))，因為它們無法被登記在任何集合之下成為成員，所以真類不是集合。或者換個說法，如果一個類可以登記在其他集合名下，那這個類就稱為集合，如果不可以登記在任何集合名下就稱之為真類。

按照這個新規定，我們發現之前為宇集V所做的造型

V= {a, b, c, d, e, … , V, x, y, z, …}就不能存在了。

首先紅V沒有資格登記在任何集合名下，況且外邊那個V（當然是同一個V）也不是集合，兩個集合的條件都不符合，在這種裡外不是人的情況下，我們之前對宇集那令人頭昏腦脹的構造方式瞬間煙消雲散，好似鬼魅夜間幻化的亭台樓閣到了白晝只剩下荒草間的荒塚。

雖然NBG理論系統可以合法談論真類，算是一種擴張了的類理論而不僅是集合論，但從集合和真類的定義（也就是M(X)和¬M(X)）可以知道，類並不是集合。所以在集合論的領域裡，兩者並無本質差異，也就是NBG並沒有因為加入真類而推導出某些ZF所沒有的定理。

由於真類會在集合系統裡引發邏輯矛盾，所以NBG將其納入並非改變或擴展集合的定義，只是一種權宜之計。它認為在探討一個理論時，若給「非集合」一個代表符號則能增加理論符號系統的表達力，對理論探索來說不見得是壞事。正如聊齋裡談到很多鬼靈精怪的故事，它給我們增加了許多生活的樂趣，但不表示這些名稱所說的東西就真的存在。

僅管NBG有那麼強的卡司陣容和理論表達力，但在集合論領域的普及程度卻趕不上ZF，其中一個原因還是在於理論的簡潔和美感。ZF集合論讓你看到一個純淨而單一的世界，裡面沒有塵土只有琉璃和寶石，沒有魑魅魍魎只有潔白的柏拉圖地磚。