[求助]关于集合的势为无穷的一点疑问请问：1、实数集合的势是阿列夫1吗?实数集合*实数集合（笛卡尔积）的势还是阿列夫1吗?阿列夫1个实数集的笛卡尔积的势是多少?2、自然数*自然数还是

Question

[求助]关于集合的势为无穷的一点疑问
请问：
1、
实数集合的势是阿列夫1吗?
实数集合*实数集合（笛卡尔积）的势还是阿列夫1吗?
阿列夫1个实数集的笛卡尔积的势是多少?
2、
自然数*自然数还是阿列夫0吗?
阿列夫0个自然数集合的笛卡尔积的势是多少?
阿列夫1个自然数集合的笛卡尔积的势是多少?
实数集合*自然数集合的势是多少?
3、
除了取幂集,能否通过别的运算,比如笛卡尔积构造出来一个集合,使得新集合的势=旧集合的势+1?
若能帮我给与答案,最好给点解释,或者参考文献.

Answer 1

集合的势在集合论中通常更愿意说成基数（cardinal）,基数是由所谓序数（ordinal）定义的,如果你想系统的了解这方面的知识,可以看一看集合论方面的教材,推荐一本Thomas Jech写的Set Theory
看你的Id,你是北邮的吧?你可以来师大听一下施翔晖老师的集合论,只要他在,每年都会开.
你的问题我只能解答个别,因为好久没接触了.
实数集的势是阿列夫1
自然数集*自然数集的势还是阿列夫0,这个你可以想一下有理数的排列,把有理数写成分数形式,也就是p/q的形式,可以把有理数集一个个排列出来,1/1,1/2,2/1,1/3,2/2,3/1,……
这个排列和N*N的排列是一样的,也就是说,可以找一个N*N到N的一一映射,那么N*N与N等势.关于有理数的排列,你要是不清楚可以看一看实变函数方面的教材.