2007-08-12

[離散][關係與函數]問題..

2-102頁 精選範例 2
Please show that the set of real numbersbetween 0 and 1 (excluding 0 and 1) is an infinite.
他的解答如圖..












我的問題是我框起來和畫底線的那部分
為什麼要設b=(a+1)/2
還有為什麼 b>a 呢??
麻煩解答囉~

3 則留言:

Rex 提到...

設b=(a+1)/2是證明的技巧
因為答案假設(0,1)為finite set
且可用自然數計數
所以必然存在一個最大值:a
既然已經假設(0,1)和自然數集基數相同
那麼一定存在一個函數1-1且onto
使的自然數集可以對應到(0,1)
因為onto的關係
所以最大值a一定會被函數對應中

為什麼b=(a+1)/2會比a大
我們假設這個最大值為0.99好了
你可以算出b=0.995
這意味你不管怎麼找一個(0,1)中的數
比如把0.9....9寫超過黑板
我還是可以找到一個值b比你大
這就證明了不可能找到一個函數可得到(0,1)的最大值
故不可用自然數計數,所以不是有限集

Brian 提到...

恩恩!我懂了~當初我一直以為b=(a+1)/2這個數一定會小於a!才會有疑惑~感謝您~

Kyle 提到...

呃.. 我想說一下.. 國中不是有學過數線上的中點公式嗎? x < y, 那 xy 線段的中點座標就是 (x+y)/2, 這邊也是一樣, a<1, (a+1)/2 就是 a 和 1 的中間那一點, 所以當然大過 a 小過1.

ps. 當你不懂的時候, 試著做一些例子, 也許會幫助了解.