方世昌离散数学第三版教材课件第5章无限集合.pptVIP

例5.2-1 (1) 设E是正偶数集合, 考虑E的基数。因为  f: I+→E, f(x)=2x 是从I+到E的双射函数, 所以, |E|=|I+|= 。 (2) 设Σ={a,b}, S是Σ上以a带头的有限串集合, 考虑S的基数。 因为  f: Σ*→S, f(x)=ax 是一个双射函数。所以, |S|=|Σ*|= 。 第一个定理叫做三歧性定律。 定理5.2-2(Zermelo) 设A和B是集合,那么下述情况恰有一个成立: (1) |A|＜|B|, (2) |B|＜|A|, (3) |A|=|B|。 第二个定理断言关系≤是反对称的。 定理5.2-3(Cantor-Schroder-Bernstein)设A和B是集合, 如果|A|≤|B|和|B|≤A, 那么, |A|=|B|。 这个定理对证明两个集合具有相同的基数提供了有效方法。 如果我们能够构造一单射函数f:A→B, 以证明|A|≤|B|; 构造另一单射函数g:B→A, 以证明|B|≤|A|, 则按照定理即可得出|A|=|B|。注意f和g不必是满射的。