Re: [分析] dense
給定 a_n -> 0 遞減.
先證明 {ma_n | m,n 為正整數} 可以任意趨近正有理數.
取一正有理數 M/N, 考慮這個差
|M/N - ma_n| = |M - mNa_n| / N
現在 m,n 都未定, 我們想辦法取到 m 讓上述的差夠靠近.
令 m = [M / (Na_n)], 其中 [] 是取高斯
所以有 0 <= M - mN a_n < Na_n,
故 0 < M/N - m a_n < a_n
因為 a_n -> 0, 因此只要先取好 a_n 再取 m, 這個差可以任意小.
於是 {ma_n | m,n 為正整數} 可以任意逼近正有理數,
因此會 dense 在非負實數中.
--
擁懷天地的人，有簡單的寂寞。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.182
推
12/27 20:23, , 1F
12/27 20:23, 1F
推
12/27 20:29, , 2F
12/27 20:29, 2F
→
12/27 20:50, , 3F
12/27 20:50, 3F
→
12/27 20:51, , 4F
12/27 20:51, 4F
討論串 (同標題文章)