→ Desperato : countable union of countable sets is countable 10/17 14:06
→ kerwinhui : 樓上用了countable choice… 10/17 16:37
→ LiamIssac : 1-to-1 mapping to Natural number? 10/17 16:42
推 vata : 跟證明有理數是可數的方法一樣可行嗎? 10/17 18:08
→ Desperato : 可以直接說是Q的subset所以countable嗎 10/17 19:08
→ Desperato : 其實我有點不清楚countable chioce是什麼 10/17 19:10
推 ERT312 : 選擇公理的弱化版 10/17 21:06
→ kerwinhui : 要證Q countable可以不用c'ble union of c'ble 10/17 21:53
→ kerwinhui : 因為分子，分母就已經排好了，但一般countable沒有 10/17 21:55
→ kerwinhui : 所以你在countable union of countable要有辦法用有 10/17 21:56
→ kerwinhui : 限長度寫下(f_i)_{i=1}^infty，每個f_i:A_i->N 10/17 21:57
→ kerwinhui : 這就是用了最弱化版的選擇公理 10/17 21:58
推 Desperato : 原來...感謝 10/17 22:34
推 k6416337 : n/2^m -> (2^(m-1))(4n+1) if n>=0 10/18 19:28
→ k6416337 : n/2^m -> (2^(m-1))(-4n+3) if n<0 10/18 19:28
→ kerwinhui : 樓上是要 2^m 不是 2^(m-1)吧？ 10/18 19:55