[中學] 稠密性
請問稠密性的意思到底是?
我自己的解讀是很多很多,多到很密
所以想成有無限多個
證明:有理數的稠密性
各版本的書中證明是以任兩個有理數a,b間 (a<b)_
都存在有理數c,使得a<c<b-------(*)
我的問題是,這樣的敘述嚴格來說是不是只說明了
a,b間有一個有理數
要證明無限多的話應該另外證?
我想說的是
設有理數a,b間只有k個有裡數 a_1~a_k
則由(*) 在a與a_1間存在有一有理數c
使得a<c<a_1,與假設矛盾
故在a,b間有無限多個有理數
是因為這段證明太trivial高中沒說明
還是其實不需要?
麻煩大大們幫忙~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.27.206.83
推
09/14 01:20, , 1F
09/14 01:20, 1F
嗯 我是問高中
推
09/14 01:27, , 2F
09/14 01:27, 2F
但證明不是應該寫完整嗎
如果是證明題 還是要寫出來吧?
推
09/14 02:08, , 3F
09/14 02:08, 3F
→
09/14 02:16, , 4F
09/14 02:16, 4F
→
09/14 02:16, , 5F
09/14 02:16, 5F
數學歸納法@@?
※ 編輯: k32314282 來自: 114.27.206.83 (09/14 05:42)
推
09/14 07:19, , 6F
09/14 07:19, 6F
→
09/14 09:14, , 7F
09/14 09:14, 7F
→
09/14 09:15, , 8F
09/14 09:15, 8F
→
09/14 09:15, , 9F
09/14 09:15, 9F
我只是不確定稠密(dense)的定義 感謝回答^^
推
09/14 09:26, , 10F
09/14 09:26, 10F
我知道 我的問題是 需不需要證明 1>0也要證明
推
09/14 09:54, , 11F
09/14 09:54, 11F
我有點不太懂你的意思
a,b是任意有理數
謝謝大家幫我釐清~
※ 編輯: k32314282 來自: 114.27.206.83 (09/14 11:00)
※ 編輯: k32314282 來自: 114.27.206.83 (09/14 11:01)
※ 編輯: k32314282 來自: 114.27.206.83 (09/14 11:25)
推
09/14 11:26, , 12F
09/14 11:26, 12F
→
09/14 11:28, , 13F
09/14 11:28, 13F
→
09/14 11:28, , 14F
09/14 11:28, 14F
嗯嗯 我有以有理數的稠密性當例子 整數我知道沒有
推
09/14 12:08, , 15F
09/14 12:08, 15F
所以...你回答哪個問號XD?
※ 編輯: k32314282 來自: 114.27.206.83 (09/14 13:16)
推
09/14 15:21, , 16F
09/14 15:21, 16F
→
09/14 15:21, , 17F
09/14 15:21, 17F
推
09/14 15:57, , 18F
09/14 15:57, 18F
→
09/14 15:58, , 19F
09/14 15:58, 19F
→
09/14 16:38, , 20F
09/14 16:38, 20F
→
09/14 16:39, , 21F
09/14 16:39, 21F
推
09/14 18:40, , 22F
09/14 18:40, 22F
→
09/14 18:42, , 23F
09/14 18:42, 23F
→
09/14 18:44, , 24F
09/14 18:44, 24F
推
09/14 22:45, , 25F
09/14 22:45, 25F
推
09/14 23:13, , 26F
09/14 23:13, 26F
→
09/14 23:14, , 27F
09/14 23:14, 27F
→
09/14 23:14, , 28F
09/14 23:14, 28F
→
09/14 23:15, , 29F
09/14 23:15, 29F
→
09/14 23:15, , 30F
09/14 23:15, 30F
感謝各位的解釋^^
由於是在高一數學中遇到的問題
用到拓樸就太深了XD
※ 編輯: k32314282 來自: 61.227.43.1 (09/14 23:19)
推
09/14 23:24, , 31F
09/14 23:24, 31F
→
09/14 23:24, , 32F
09/14 23:24, 32F
→
09/14 23:56, , 33F
09/14 23:56, 33F
推
09/15 14:58, , 34F
09/15 14:58, 34F
→
09/15 14:58, , 35F
09/15 14:58, 35F
→
08/13 17:05, , 36F
08/13 17:05, 36F
→
09/17 15:00, , 37F
09/17 15:00, 37F