集合间的映射和集合的势

满射、单射、双射

两个集合A、B，存在映射f，若对任意x1,x2属于A(x1!=x2)，f(x1)!=f(x2)，则f为单射。

如果B中的任何一个元素，都能由A中的元素通过f映射得到，则f为满射。

如果既是满射又是单射，就是双射，也叫一一映射。

集合的势

集合的势是用来度量集合规模大小的属性的。对于有限集合，可用集合的元素个数来进行度量，对于无限集合这个办法就行不通了，为此我们需要采用一种新的方法来比较两个集合规模的大小，这种方法对有限集合和无限集合都适用。

具体方法：如果存在集合A到集合B的双射(又称一一映射)，则称集合AB等势，记为A~B，比如全体自然数和全体正偶数存在f(n)=2n的双射。

例：正数和整数一样多吗？

答：实际是在问正数集合和整数集合是否等势。关键在于能不能找到一个双射，很明显...找不到。

实际上，自然数、有理数和整数等势，实数、正数、负数等势。自然数、有理数、正数都是属于可数集的，实数属于不可数集(没有"第一个实数、第二个实数之类的说法")。