对于元素个数无限的集合,如A={1,2,…,n,…},B={2,8,…,n,…}

问题描述:

对于元素个数无限的集合,如A={1,2,…,n,…},B={2,8,…,n,…}
对于元素个数无限的集合,如A={1,2,3,4,…,n,…},B={2,4,6,8,…,n,…},无法数出集合中元素的个数,但可以比较.
设C={1,3,5,…,2N-1,…},
A=BUC,
card(B)+card(C)=card(BUC)+card(B∩C),
因为card(B∩C)=0,
所以 card(B)+card(C)=card(BUC)=card(A),
可知C不为空集,
即card(C)>0,
所以card(A)-card(B)>0,所以card(A)>card(B).
这种证明方法正确吗

不正确card(B)+card(C)=card(A)这个等式两边都为无穷大,这个等式就没有意义了事实上,对于无穷元素集,确实有比较不同的无穷大量级大小关系的判别方法我们用“基数”的概念来描述无穷集的大小如果集合A与集合B之间存在...那B是A的真子集吗B是A的真子集