6-3-aolm-离散数学.ppt

6.3.1 基数的比较 表示集合元素 “多少” 的基数并不限于自然数，?0 和 C，还存在着其它集合和表示它们元素 “多少” 的其它基数， 只是为了简化，不讨论一般的基数概念。但是，为了对基 数有一个总体的认识，以下要讨论基数大小的概念。 定义6.9 设 A，B 为任意集合 (1) 称 A，B 基数相等，记为 |A|＝|B|， 如果有双射 f：A→B 或双射 f：B→A。 (2) 称 A 的基数小于等于 B 的基数，记为|A|≤|B|， 如果有单射 f：A→B 或满射 f：B→A。 (3) 称 A 的基数小于 B 的基数，记为 |A|＜|B|， 如果 |A|≤|B| 且 |A|≠|B|。 显然，上述定义与前面对有限集、可数无限集及连续统的基数规定是一致的。对任何自然数 m，n， 若 m≤n，则 | {0, 1, 2, …, m?1} |≤| {0, 1, 2, …, n?1} | 对任何自然数 n，n＜?0，即 | {0, 1, 2, …, n?1} |＜| {0, 1, 2, …} | 而 ?0＜C，即 | {0, 1, 2, …} |＜| R | 关于基数相等及不等关系有下列定理。 定理6.13 基数相等关系为一等价关系，即对任何集合A，B，C 满足： |A|＝|A|； 若 |A|＝|B|，则 |B|＝|A|； 若 |A|＝|B|，|B|＝|C|，则|A|＝|C|。 本定理由定义和双射的性质即可证明。 定理6.14 对任何集合 A，B，C 有： |A|≤|A|； 若 |A|≤|B|，|B|≤|C|，则|A|≤|C|。 该定理由读者自行证明。 定理6.15 基数三歧性定理 对任何集合 A，B， 或者 |A|＜| B |，或者|A|＝|B|，或者|B|＜|A|， 且不能兼而有之。 该定理的证明依赖于选择公理，由读者自行证明。 定理6.16 对任何集合 A，B， 如果 |A|≤|B|，|B|≤|A|，则|A|＝|B|。 该定理的证明略。 上述三个定理表明，基数的≤关系为全序关系。定理 6.16 在基数讨论中有广泛的应用。 定理6.17 ?(N)（N为自然数集）为连续统。 证明：利用定理 6.16 来证明。 为此要建立单射 f：?(N)→[0,1]， 单射 g：[0,1]→?(N)， 以便证明 |?(N)|≤C，C≤|?(N)|。 定义 f：?(N)→[0,1] 如下：对任一 S ? N f(S)＝0.x0x1x2x3…（十进制小数） 其中 1 当 i∈S xi＝ 0 当 i S 例如 f(Φ)＝0.000…， f(N)＝0.111…， f({1})＝0.0100…，f({0, 2})＝0.10100… 显然 f 为单射。 定义 g：[0,1]→?(N) 如下：对每一 [0,1] 中数的二进制表示（如果这种表示不唯一，则取定其中之—） 0.x0x1x2x3…（xi 为 1 或 0）： g(0.x0x1x2x3…)＝{i | xi＝1} 显然 g 也为单射。 定理得证。 现在讨论本节提出的问题，看看究竟是些什么集合具有不同于自然数、?0 和 C 的基数。 定理6.18 ?0 是最小的无限集基数，即没有无限集 A，使 |A|＜?0。 证明：设 A 为一无限集，那么根据定理 6.11， 有无限集 B，B ? A， 从而有单射 f：B→A，f(x)＝x。 因此 |B|≤