看著這文章默默地想起昨天下雨的時候,
那時候下著大雨,很多人紛紛的哪起了傘,
看著沒傘躲雨的路人不禁想,
"如果有無窮多支傘那麼就可以覆蓋整個大地就不會有人被雨淋到了",
但是真的需要無窮多把傘嗎?
於是我們就挑其中一塊地方已經被無窮多把傘遮蔽的地方,
漸漸的縮小直到用一把傘就可以完全的遮蔽慢慢地去考慮各地方的可能性~
於是我們就把遮蔽大地需要買的傘從無窮多的經費減低到了有限的經費!
默默地覺得我們在實數構成的世界實在是太幸福了!
有一天我們一定可以好好地避雨。
※ 引述《Hatred (●)》之銘言:
: 再補一個高微的內容賺P幣。
: 假設一開始,我擁有一些開區間(open intervals),它們足以蓋住[0, 1]這個
: 閉區間(closed interval),我們證明其中存在有限多個開區間,它們足以蓋
: 住[0, 1]。
: 設若不然,即我一開始擁有的開區間當中,不存在有限多個足以蓋住[0, 1],那
: 麼以下兩種情況至少成立一個:
: 一、我一開始擁有的開區間當中,不存在有限多個足以蓋住[0, 0.5]。
: 二、我一開始擁有的開區間當中,不存在有限多個足以蓋住[0.5, 1]。
: 如果第一個條件成立,我就把[0, 0.5]稱為我的「第一個區間」,否則我就把
: [0.5, 1]稱為我的「第一個區間」。
: 之後,只要我有「第i個區間」,且我一開始擁有的開區間當中,不存在有限多
: 個足以蓋住「第i個區間」,那麼我就把「第i個區間」砍成前後兩半,以下條件
: 至少會成立一個:
: I、我一開始擁有的開區間當中,不存在有限多個足以蓋住「第i個區間的前半」。
: II、我一開始擁有的開區間當中,不存在有限多個足以蓋住「第i個區間的後半」。
: 如果條件I成立,我就把「第i個區間的前半」稱為我的「第i+1個區間」,否則我
: 就把「第i個區間的後半」稱為我的「第i+1個區間」。
: 以上動作要對i為1、2、... 依次施行,於是我就得到了「第一個區間」、「第二個
: 區間」、...,其中每一個都不能被我一開始擁有的開區間當中的有限多個蓋住。
: 可是因為「第i個區間的左端點」隨i遞增且永不超過1、「第i個區間的右端點」隨i
: 遞減且永不低於0,所以它們在i趨近無窮大時,都會收斂(這個性質稱為實數的完
: 備性),又因為「第i+1個區間」的長度必為「第i個區間」的一半(對每個i皆成
: 立),所以「第i個區間的左端點」和「第i個區間的右端點」在i趨近無窮大時,趨
: 近到的值會相同,姑且稱該值為a好了。
: 然而a會被我一開始擁有的開區間當中的某一個蓋住,所以a加減某個正值r的範圍
: 內,也都會被該開區間蓋住,然而既然「第i個區間的左端點」和「第i個區間的右
: 端點」都會趨近到a,那就表示當i夠大時,「第i個區間」整個包含在a加減r的範
: 圍內,因而導致「第i個區間」可以被我一開始擁有的開區間當中的某「一個」蓋
: 住,這與「第i個區間」的建構矛盾。
: 這就是嗨-波瑞爾定理(Heine-Borel theorem)的一個特殊情況。