[理工] 离散 2^N (power set of N)为不可数集 ab830921 PTT批踢踢实业坊

楼主: ab830921 (Stitch) 2016-11-24 09:08:25

http://i.imgur.com/KgxhUI3.jpg
不懂铅笔画线的地方，为何要这样'令'
a不属于f(a) ,B包含于N，为何呢？
这样最后 b到底属不属于f(b)？
实在看得不懂...
也去问过老师两遍，还是听不懂..

作者: hopward (hopward) 2016-11-24 09:54:00

这样令是为了造出一个你没有对到的函数他用矛盾证法，一开始先假设有一组对应可以对完所有函数，接着再找出一组你绝对没有对到的函数矛盾你的假设他那段证明主要是在证那个函数你一定没对到

作者: feathwine (没有) 2016-11-24 12:07:00

1-1 onto 跟a不属于f(a)没有关系是B的定义我觉得你可以用举例的方式先帮自己厘清观念这题这样换来换去的确实会有点乱

作者: hopward (hopward) 2016-11-24 12:33:00

作者: PTTleader (PTT领导) 2016-11-24 21:03:00

想问hop大图中箭头右边{} 是代表什么?

作者: hopward (hopward) 2016-11-25 00:02:00

N对到2^N不就代表每个自然数会对应到一个自然数的子集合吗又因为我们假设有一组对应可以对到所以2^N的子集合所以右边大括号是我假设某个自然数经过函数作用后所对到的2^N的某个元素

作者: PTTleader (PTT领导) 2016-11-25 00:12:00

感谢了解了刚刚会错意题目以为N代表自然数以为f:2->2^2

继续阅读