→ arthurduh1 : 找個方式去「數遍」 NxN 04/20 17:22
→ arthurduh1 : 再把它 formally 寫成一個 bijection 即可 04/20 17:22
→ kerwinhui : inject into N 就行了，很簡單 04/20 19:42
推 ERT312 : Cantor的對角線法 04/20 21:17
推 suhorng : 雖然這也是繞對角線 不過 Cantor's diagonalization 04/20 23:59
→ suhorng : argument 不是通常指拿來證 uncountable 那個嗎? 04/21 00:00
推 arthurduh1 : 對阿 對角線法好像錯棚了 04/21 00:23
→ arthurduh1 : 有 Cantor-Berstein 的話用 3F 的 inj. 會快很多 04/21 00:23
→ arthurduh1 : 雖然顯然 但還要記得說明 |N| <= |NxN| 04/21 00:24
→ ERT312 : method. 這個方法也是due to Cantor. 雖然沒有證明 04/21 08:07
→ ERT312 : (0,1) 不可數那個有名 04/21 08:07
→ ERT312 : 原po的問題用建構性的證明就可以了 04/21 08:08
→ ERT312 : 證明 f(i,j)=i+sum_(0≦k≦i+j) k 是 bijection 04/21 08:10
推 l6l6au : 跟證明有理數是countable一樣 04/21 12:25
→ kerwinhui : 不需要Cantor-Bernstein也可以只用injective… 04/21 19:03
→ kerwinhui : countable的定義就是可以inject進N內，不然你還要額 04/21 19:04
→ kerwinhui : 外定義 or finite 04/21 19:04
→ arthurduh1 : 哦哦對 我記錯了 04/21 19:21