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

本文與財團法人臺灣生活美學基金會合作。 

AI 有可能造成人們失業嗎？還是 AI 會成為個人專屬的超級助理？

隨著人工智慧技術的快速發展，AI 與人類之間的關係，成為社會大眾目前最熱烈討論的話題之一，究竟，AI 會成為人類的取代者或是協作者？決定關鍵就在於人們對 AI 的了解和運用能力，唯有人們清楚了解如何使用 AI，才能化 AI 為助力，提高自身的工作效率與生活品質。

有鑑於此，目前正於臺灣當代文化實驗場 C-LAB 展出的「2024 未來媒體藝術節」，特別將展覽主題定調為奇異點（Singularity），透過多重視角探討人工智慧與人類的共生關係。

C-LAB 策展人吳達坤進一步說明，本次展覽規劃了 4 大章節，共集結來自 9 個國家 23 組藝術家團隊的 26 件作品，帶領觀眾從了解 AI 發展歷史開始，到欣賞各種結合科技的藝術創作，再到與藝術一同探索 AI 未來發展，希望觀眾能從中感受科技如何重塑藝術的創造範式，進而更清楚未來該如何與科技共生與共創。

從歷史看未來：AI 技術發展的 3 個高峰

其中，展覽第一章「流動的錨點」邀請了自牧文化 2 名研究者李佳霖和蔡侑霖，從軟體與演算法發展、硬體發展與世界史、文化與藝術三條軸線，平行梳理 AI 技術發展過程。

藉由李佳霖和蔡侑霖長達近半年的調查研究，觀眾對 AI 發展有了清楚的輪廓。自 1956 年達特茅斯會議提出「人工智慧（Artificial Intelligence））」一詞，並明確定出 AI 的任務，例如：自然語言處理、神經網路、計算學理論、隨機性與創造性等，就開啟了全球 AI 研究浪潮，至今將近 70 年的過程間，共迎來三波發展高峰。

第一波技術爆發期確立了自然語言與機器語言的轉換機制，科學家將任務文字化、建立推理規則，再換成機器語言讓機器執行，然而受到演算法及硬體資源限制，使得 AI 只能解決小問題，也因此進入了第一次發展寒冬。

之後隨著專家系統的興起，讓 AI 突破技術瓶頸，進入第二次發展高峰期。專家系統是由邏輯推理系統、資料庫、操作介面三者共載而成，由於部份應用領域的邏輯推理方式是相似的，因此只要搭載不同資料庫，就能解決各種問題，克服過去規則設定無窮盡的挑戰。此外，機器學習、類神經網路等技術也在同一時期誕生，雖然是 AI 技術上的一大創新突破，但最終同樣受到硬體限制、技術成熟度等因素影響，導致 AI 再次進入發展寒冬。

走出第二次寒冬的關鍵在於，IBM 超級電腦深藍（Deep Blue）戰勝了西洋棋世界冠軍 Garry Kasparov，加上美國學者 Geoffrey Hinton 推出了新的類神經網路算法，並使用 GPU 進行模型訓練，不只奠定了 NVIDIA 在 AI 中的地位， 自此之後的 AI 研究也大多聚焦在類神經網路上，不斷的追求創新和突破。

從現在看未來：AI 不僅是工具，也是創作者

隨著時間軸繼續向前推進，如今的 AI 技術不僅深植於類神經網路應用中，更在藝術、創意和日常生活中發揮重要作用，而「2024 未來媒體藝術節」第二章「創造力的轉變」及第三章「創作者的洞見」，便邀請各國藝術家展出運用 AI 與科技的作品。

例如，超現代映畫展出的作品《無限共作 3.0》，乃是由來自創意科技、建築師、動畫與互動媒體等不同領域的藝術家，運用 AI 和新科技共同創作的作品。「人們來到此展區，就像走進一間新科技的實驗室，」吳達坤形容，觀眾在此不僅是被動的觀察者，更是主動的參與者，可以親身感受創作方式的轉移，以及 AI 如何幫助藝術家創作。

而第四章「未完的篇章」則邀請觀眾一起思考未來與 AI 共生的方式。臺灣新媒體創作團隊貳進 2ENTER 展出的作品《虛擬尋根-臺灣》，將 AI 人物化，採用與 AI 對話記錄的方法，探討網路發展的歷史和哲學，並專注於臺灣和全球兩個場景。又如國際非營利創作組織戰略技術展出的作品《無時無刻，無所不在》，則是一套協助青少年數位排毒、數位識毒的方法論，使其更清楚在面對網路資訊時，該如何識別何者為真何者為假，更自信地穿梭在數位世界裡。

透過歷史解析引起共鳴

在「2024 未來媒體藝術節」規劃的 4 大章節裡，第一章回顧 AI 發展史的內容設計，可說是臺灣近年來科技或 AI 相關展覽的一大創舉。

過去，這些展覽多半以藝術家的創作為展出重點，很少看到結合 AI 發展歷程、大眾文明演變及流行文化三大領域的展出內容，但李佳霖和蔡侑霖從大量資料中篩選出重點內容並儘可能完整呈現，讓「2024 未來媒體藝術節」觀眾可以清楚 AI 技術於不同階段的演進變化，及各發展階段背後的全球政治經濟與文化狀態，才能在接下來欣賞展區其他藝術創作時有更多共鳴。

「畢竟展區空間有限，而科技發展史的資訊量又很龐大，在評估哪些事件適合放入展區時，我們常常在心中上演拉鋸戰，」李佳霖笑著分享進行史料研究時的心路歷程。除了從技術的重要性及代表性去評估應該呈現哪些事件，還要兼顧詞條不能太長、資料量不能太多、確保內容正確性及讓觀眾有感等原則，「不過，歷史事件與展覽主題的關聯性，還是最主要的決定因素，」蔡侑霖補充指出。

舉例來說，Google 旗下人工智慧實驗室（DeepMind）開發出的 AI 軟體「AlphaFold」，可以準確預測蛋白質的 3D 立體結構，解決科學家長達 50 年都無法突破的難題，雖然是製藥或疾病學領域相當大的技術突破，但因為與本次展覽主題的關聯性較低，故最終沒有列入此次展出內容中。

除了內容篩選外，在呈現方式上，2位研究者也儘量使用淺顯易懂的方式來呈現某些較為深奧難懂的技術內容，蔡侑霖舉例說明，像某些比較艱深的 AI 概念，便改以視覺化的方式來呈現，為此上網搜尋很多與 AI 相關的影片或圖解內容，從中找尋靈感，最後製作成簡單易懂的動畫，希望幫助觀眾輕鬆快速的理解新科技。

吳達坤最後指出，「2024 未來媒體藝術節」除了展出藝術創作，也跟上國際展會發展趨勢，於展覽期間規劃共 10 幾場不同形式的活動，包括藝術家座談、講座、工作坊及專家導覽，例如：由策展人與專家進行現場導覽、邀請臺灣 AI 實驗室創辦人杜奕瑾以「人工智慧與未來藝術」為題舉辦講座，希望透過帶狀活動創造更多話題，也讓展覽效益不斷發酵，讓更多觀眾都能前來體驗由 AI 驅動的未來創新世界，展望 AI 在藝術與生活中的無限潛力。

展覽資訊：「未來媒體藝術節——奇異點」2024 Future Media FEST-Singularity 
展期 ▎2024.10.04 ( Fri. ) – 12.15 ( Sun. ) 週二至週日12:00-19:00，週一休館
地點 ▎臺灣當代文化實驗場圖書館展演空間、北草坪、聯合餐廳展演空間、通信分隊展演空間
指導單位 ▎文化部
主辦單位 ▎臺灣當代文化實驗場

本文由 建研所 委託，泛科學企劃執行。 

當你走進一棟建築，是否能感受到它對環境的友善？或許不是每個人都意識到，但現今建築不只提供我們居住和工作的空間，更是肩負著重要的永續節能責任。

綠建築標準的誕生，正是為了應對全球氣候變遷與資源匱乏問題，確保建築設計能夠減少資源浪費、降低污染，同時提升我們的生活品質。然而，要成為綠建築並非易事，每一棟建築都需要通過層層關卡，才能獲得標章認證。

為推動環保永續的建築環境，政府自 1999 年起便陸續著手推動「綠建築標章」、「智慧建築標章」以及「綠建材標章」的相關政策。這些標章的設立，旨在透過標準化的建築評估系統，鼓勵建築設計融入生態友善、能源高效及健康安全的原則。並且政府在政策推動時，為鼓勵業界在規劃設計階段即導入綠建築手法，自 2003 年特別辦理優良綠建築作品評選活動。截至 2024 年為止，已有 130 件優良綠建築、31 件優良智慧建築得獎作品，涵蓋學校、醫療機構、公共住宅等各類型建築，不僅提升建築物的整體性能，也彰顯了政府對綠色、智慧建築的重視。

說這麼多，你可能還不明白建築要變「綠」、變「聰明」的過程，要經歷哪些標準與挑戰？

綠建築標章	智慧建築標章	綠建材標章

第一招：依循 EEWH 標準，打造綠建築典範

環境友善和高效率運用資源，是綠建築（green building）的核心理念，但這樣的概念不僅限於外觀或用材這麼簡單，而是涵蓋建築物的整個生命週期，也就是包括規劃、設計、施工、營運和維護階段在內，都要貼合綠建築的價值。

關於綠建築的標準，讓我們先回到 1990 年，當時英國建築研究機構（BRE）首次發布有關「建築研究發展環境評估工具（Building Research Establishment Environmental Assessment Method，BREEAM®）」，是世界上第一個建築永續評估方法。美國則在綠建築委員會成立後，於 1998 年推出「能源與環境設計領導認證」（Leadership in Energy and Environmental Design, LEED）這套評估系統，加速推動了全球綠建築行動。

臺灣在綠建築的制訂上不落人後。由於臺灣地處亞熱帶，氣溫高，濕度也高，得要有一套我們自己的評分規則——臺灣綠建築評估系統「EEWH」應運而生，四個英文字母分別為 Ecology（生態）、Energy saving（節能）、Waste reduction（減廢）以及 Health（健康），分成「合格、銅、銀、黃金和鑽石」共五個等級，設有九大評估指標。

我們就以「台江國家公園」為例，看它如何躍過一道道指標，成為「鑽石級」綠建築的國家公園！

位於臺南市四草大橋旁的「台江國家公園」是臺灣第8座國家公園，也是臺灣唯一的濕地型的國家公園。同時，還是南部行政機關第一座鑽石級的綠建築，其外觀採白色系列，從高空俯瞰，就像在一座小島上座落了許多白色建築群的聚落；從地面看則有臺南鹽山的意象。

因其地形與地理位置的特殊，生物多樣性的保護則成了台江國家公園的首要考量。園區利用既有的魚塭結構，設計自然護岸，保留基地既有的雜木林和灌木草原，並種植原生與誘鳥誘蟲等多樣性植物，採用複層雜生混種綠化。以石籠作為擋土護坡與卵石回填增加了多孔隙，不僅強化了環境的保護力，也提供多樣的生物棲息環境，使這裡成為動植物共生的美好棲地。

第二招：想成綠建築，必用綠建材

要成為一幢優秀好棒棒的綠建築，使用在原料取得、產品製造、應用過程和使用後的再生利用循環中，對地球環境負荷最小、對人類身體健康無害的「綠建材」非常重要。

這種建材最早是在 1988 年國際材料科學研究會上被提出，一路到今日，國際間對此一概念的共識主要包括再使用（reuse）、再循環（recycle）、廢棄物減量（reduce）和低污染（low emission materials）等特性，從而減少化學合成材料產生的生態負荷和能源消耗。同時，使用自然材料與低 VOC（Volatile Organic Compounds，揮發性有機化合物）建材，亦可避免對人體產生危害。

在綠建築標章後，內政部建築研究所也於 2004 年 7 月正式推行綠建材標章制度，以建材生命週期為主軸，提出「健康、生態、高性能、再生」四大方向。舉例來說，為確保室內環境品質，建材必須符合低逸散、低污染、低臭氣等條件；為了防溫室效應的影響，須使用本土材料以節省資源和能源；使用高性能與再生建材，不僅要經久耐用、具高度隔熱和防音等特性，也強調材料本身的再利用性。

在台江國家公園內，綠建材的應用是其獲得 EEWH 認證的重要部分。其不僅在設計結構上體現了生態理念，更在材料選擇上延續了對環境的關懷。園區步道以當地的蚵殼磚鋪設，並利用蚵殼作為建築格柵的填充材料，為鳥類和小生物營造棲息空間，讓「蚵殼磚」不再只是建材，而是與自然共生的橋樑。園區的內部裝修選用礦纖維天花板、矽酸鈣板、企口鋁板等符合綠建材標準的系統天花。牆面則粉刷乳膠漆，整體綠建材使用率為 52.8%。

在日常節能方面，台江國家公園也做了相當細緻的設計。例如，引入樓板下的水面蒸散低溫外氣，屋頂下設置通風空氣層，高處設置排風窗讓熱空氣迅速排出，廊道還配備自動控制的微噴霧系統來降溫。屋頂採用蚵殼與漂流木創造生態棲地，創造空氣層及通風窗引入水面低溫外企，如此一來就能改善事內外氣溫及熱空氣的通風對流，不僅提升了隔熱效果，減少空調需求，讓建築如同「與海共舞」，在減廢與健康方面皆表現優異，展示出綠建築在地化的無限可能。

在綠建材的部分，另外補充獲選為 2023 年優良綠建築的臺南市立九份子國民中小學新建工程，其採用生產過程中二氧化碳排放量較低的建材，比方提高高爐水泥（具高強度、耐久、緻密等特性，重點是發熱量低）的量，並使用能提高混凝土晚期抗壓性、降低混凝土成本與建物碳足跡的「爐石粉」，還用再生透水磚做人行道鋪面。

同樣入選 2023 年綠建築的還有雲林豐泰文教基金會的綠園區，首先，他們捨棄金屬建材，讓高爐水泥使用率達 100%。別具心意的是，他們也將施工開挖的土方做回填，將有高地差的荒地恢復成平坦綠地，本來還有點「工業風」的房舍告別荒蕪，無痛轉綠。

等等，這樣看來建築夠不夠綠的命運，似乎在建材選擇跟設計環節就決定了，是這樣嗎？當然不是，建築是活的，需要持續管理–有智慧的管理。

第三招：智慧管理與科技應用

我們對生態的友善性與資源運用的效率，除了從建築設計與建材的使用等角度介入，也須適度融入「智慧建築」（intelligent buildings）的概念，即運用資通訊科技來提升建築物效能、舒適度與安全性，使空間更人性化。像是透過建築物佈建感測器，用於蒐集環境資料和使用行為，並作為空調、照明等設備、設施運轉操作之重要參考。

為了推動建築與資通訊產業的整合，內政部建築研究所於 2004 年建立了「智慧建築標章」制度，為消費者提供判斷建築物是否善用資通訊感知技術的標準。評估指標經多次修訂，目前是以「基礎設施、維運管理、安全防災、節能管理、健康舒適、智慧創新」等六大項指標作為評估基準。
以節能管理指標為例，為了掌握建築物生命週期中的能耗，需透過系統設備和技術的主動控制來達成低耗與節能的目標，評估重點包含設備效率、節能技術和能源管理三大面向。在健康舒適方面，則在空間整體環境、光環境、溫熱環境、空氣品質、水資源等物理環境，以及健康管理系統和便利服務上進行評估。

樹林藝文綜合大樓在設計與施工過程中，充分展現智慧建築應用綜合佈線、資訊通信、系統整合、設施管理、安全防災、節能管理、健康舒適及智慧創新 8 大指標先進技術，來達成兼顧環保和永續發展的理念，也是利用建築資訊模型（BIM）技術打造的指標性建築，受到國際矚目。

在興建階段，為了保留基地內 4 棵原有老樹，團隊透過測量儀器對老樹外觀進行精細掃描，並將大小等比例匯入 BIM 模型中，讓建築師能清晰掌握樹木與建築物之間的距離，確保施工過程不影響樹木健康。此外，在大樓啟用後，BIM 技術被運用於「電子維護管理系統」，透過 3D 建築資訊模型，提供大樓內設備位置及履歷資料的即時讀取。系統可進行設備的監測和維護，包括保養計畫、異常修繕及耗材管理，讓整棟大樓的全生命週期狀況都能得到妥善管理。

智慧建築導入 BIM 技術的應用，從建造設計擴展至施工和日常管理，使建築生命周期的管理更加智慧化。以 FM 系統 ( Facility Management，簡稱 FM ) 為例，該系統可在雲端進行遠端控制，根據會議室的使用時段靈活調節空調風門，會議期間開啟通往會議室的風門以加強換氣，而非使用時段則可根據二氧化碳濃度調整外氣空調箱的運轉頻率，保持低頻運作，實現節能效果。透過智慧管理提升了節能效益、建築物的維護效率和公共安全管理。

總結

綠建築、綠建材與智慧建築這三大標章共同構建了邁向淨零碳排、居住健康和環境永續的基礎。綠建築標章強調設計與施工的生態友善與節能表現，從源頭減少碳足跡；綠建材標章則確保建材從生產到廢棄的全生命週期中對環境影響最小，並保障居民的健康；智慧建築標章運用科技應用，實現能源的高效管理和室內環境的精準調控，增強了居住的舒適性與安全性。這些標章的綜合應用，讓建築不僅是滿足基本居住需求，更成為實現淨零、促進健康和支持永續的具體實踐。

延續之前的努力，我們雖然試過聯集（加法）和笛卡爾乘積（乘法），仍然沒能突破可數無限的藩籬，可見如來佛這隻手比我們想像中還要寬。在陷入困境的時刻，忽然想到在數學運算裡，減法和除法會讓數值變小，而加法和乘法會讓數值變大。但哪種運算可以讓數值增加得更「快」一些呢？ 我們任意拿兩個數，比如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的集合？要回答這些有趣的問題就只有等下回再分解了！