[理工] 离散判断是否countable

楼主: BoSiANg (O(log(n!)))   2016-07-13 23:31:39
大家好
这是黄子嘉离散课的笔记
这个部分实在是搞不懂
http://i.imgur.com/PEpy6Ff.jpg
欲证明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
真的假的 看来我不够专心 该检讨了

Links booklink

Contact Us: admin [ a t ] ucptt.com