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

0

1
0

文字

分享

0
1
0
人與 AI 的關係是什麼?走進「2024 未來媒體藝術節」,透過藝術創作尋找解答
鳥苷三磷酸 (PanSci Promo)_96
・2024/10/24 ・3176字 ・閱讀時間約 6 分鐘

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

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

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

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

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

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

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

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

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

圖一、1956 年達特茅斯會議提出「人工智慧」一詞

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

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

-----廣告,請繼續往下閱讀-----
圖二、1957-1970 年迎來 AI 第一次爆發

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

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

圖三、1980 年專家系統的興起,進入第二次高峰

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

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

圖四、2010 年發展至今,高性能電腦與大數據助力讓 AI 技術應用更強

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

-----廣告,請繼續往下閱讀-----
圖五、「2024 未來媒體藝術節——奇異點」展出現場,圖為超現代映畫的作品《無限共作3.0》。圖/C-LAB 提供

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

透過歷史解析引起共鳴

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

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

圖六、「2024 未來媒體藝術節——奇異點」分成四個章節探究 AI 人工智慧時代的演變與社會議題,圖為第一章「流動的錨點」由自牧文化整理 AI 發展歷程的年表。圖/C-LAB 提供

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

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

舉例來說,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,週一休館
地點 ▎臺灣當代文化實驗場圖書館展演空間、北草坪、聯合餐廳展演空間、通信分隊展演空間
指導單位 ▎文化部
主辦單位 ▎臺灣當代文化實驗場

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

討論功能關閉中。

0

0
0

文字

分享

0
0
0
從認證到實踐:以智慧綠建築三大標章邁向淨零
鳥苷三磷酸 (PanSci Promo)_96
・2024/11/15 ・4487字 ・閱讀時間約 9 分鐘

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


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

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

為推動環保永續的建築環境,政府自 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 年優良綠建築的臺南市立九份子國民中小學。圖/內政部建築研究所
2023 年優良綠建築的臺南市立九份子國民中小學。圖/內政部建築研究所

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

雲林豐泰文教基金會的綠園區。圖/內政部建築研究所

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

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

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

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

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

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

樹林藝文綜合大樓。圖/內政部建築研究所「111年優良智慧建築專輯」(新北市政府提供)

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

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

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

總結

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

建築物於魚塭之上,採高腳屋的構造形式,尊重自然地貌。圖/內政部建築研究所

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

討論功能關閉中。

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