|
[原创]连续统假设
下面引用由elimqiu在 2010/10/17 06:18am 发表的内容:
{2,4,…,2Ω}到{1,2,…,2Ω}有没有一一对应靠
2n ←→ n 不能建立{2,4,…,2Ω}与{1,2,…,2Ω}间的一一对应
来说明是不够的。
对!仅仅用“无法建立 2n ←→ n 的对应”来证明“ {2,4,…,2Ω} 与 {1,2,…,2Ω}
不一一对应”,是不够的。我在前面帖子中,不过是顺应一般人的直观想法,说说而已。
其实,这个命题严格的证明,要用到非标准分析中的“转换公理”。
参看我在《数学中国》《基础数学》中发表的帖子:
非标准分析中的“转换公理”
http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=10651
|
|