离散数学课件第5章 无p限集合.pptVIP

这里h|B=f和h|D=g。函数F是单射函数, 因此|AB×AD|≤|AB∪D｜。再者, 我们定义函数G如下: G: AB∪D→AB×AD G(h)=〈h|B,h|D〉 这也是单射函数(容易证明G=F-1)。 因此 |AB∪D|≤|AB×AD| 我们得到 |AB∪D|=|AB×AD| (b)和(c)部分的证明是类似的。 幂运算也保持次序关系。 ; 定理5.3-8 设a、b、d和e是基数, 那么 (a) 如果a≤b和d≤e, 那么ad≤be (b) 如果a＜b和d＜e, 那么ad＜be。 例1 (a) 设E是正偶数集合, 考虑E的基数。因为 f: I+→E, f(x)=2x 是从I+到E的双射函数, 所以, |E|=|I+|= 。 (b) 设Σ={a,b}, S是Σ上以a带头的有限串集合, 考虑S的基数。 因为  f: Σ*→S, f(x)=ax 是一个双射函数。所以, |S|=|Σ*|= 。 第一个定理叫做三歧性定律。 定理5.2-2(Zermelo) 设A和B是集合,那么下述情况恰有一个成立: