[理工] 離散判斷是否countable
作者: BoSiANg (O(log(n!))) 2016-07-13 23:31:39
大家好
這是黃子嘉離散課的筆記
這個部分實在是搞不懂
![]()
欲證明A,B兩空間有相同cardinality
不是要證明存在一個funtion從A對到B
且此funtion需為1-1且 onto
若B為Z+ 則稱 A 為 countable
但是為什麼這邊只需要1-1
就能證明A is countable ？
麻煩大家指點一下 謝謝
這是黃子嘉離散課的筆記
這個部分實在是搞不懂
欲證明A,B兩空間有相同cardinality
不是要證明存在一個funtion從A對到B
且此funtion需為1-1且 onto
若B為Z+ 則稱 A 為 countable
但是為什麼這邊只需要1-1
就能證明A is countable ？
麻煩大家指點一下 謝謝
作者: garyhsu1209 (良師) 2016-07-14 00:13:00
你是不是把countable 跟cardinality搞混了Countable 就只是可數跟不可數而已，別把他複雜化因為a包含於b,又b可數,a一對一到b,那a就一定也可數
作者: kyuudonut (善良è€ç™¾å§“) 2016-07-14 00:16:00
光對Z+ 1-1 就能說他比Z+少了呀 所以countable啊
作者: BoSiANg (O(log(n!))) 2016-07-14 00:53:00
了解了！謝謝G大 & K大
作者: kyuudonut (善良è€ç™¾å§“) 2016-07-14 11:06:00
其實老師口語有講哦XD 剛好有抄下來
作者: BoSiANg (O(log(n!))) 2016-07-14 13:22:00
真的假的 看來我不夠專心 該檢討了