离散数学.function.ppt

* 定理4-5.1 A为可数集的充分必要条件是A可以排列成A =｛a1,a2, ….,an, …｝的形式。 证明：如果A=｛a1,a2, ….,an, …｝ ，那么存在 f : A→N 且f (an) = n-1 (n = 1,2, …) f 为双射函数。故 A～N ，即 A 为可数集。 反之，如果 A 可数，那么 A～N ，则存在双射函数 f : N→A , 令 f (n) = an+1 (n = 0,1,2, …) 故 A=｛a1,a2, ….,an, …｝。 说明：此定理可以作为A 是可数集的一个等价定义，也是证明 A 可数的一个实用方法。 * 定理4-5.2 任一无限集必含有可数子集。 证明： 定理4-5.3 任一无限集必与其某一个真子集等势。 证明：设 M 为无限集，由定理4-5.2可知A=｛a1,a2, ….,an, …｝, 且A ?M。设 M-A = B ，定义函数 f: M→M-｛a1｝，且 f (x) = an+1( x = an , n = 1,2, …), f (x) = x(x?B) 显然 M-｛a1｝?M，且 f 为双射函数。 * 说明： 1、定理4-5.