全版数理逻辑 .ppt

9．6 有限集合的基数 集合的基数就是集合中元素的个数．这一节介绍有限集合的基数和一些结论．无限集合的基数将在以后介绍． 精选文档 * 9．6．1 有限集合的基数 定义9．6．1 如果存在n∈N，使集合A与集合{x|x∈N∧xn}={0，1，2，…，n—l的元素个数相同，就说集合A的基数是n，记作#(A)＝n或|A|＝n或card(A)=n．空集?的基数是0． 定义9．6．2 如果存在n∈N，使n是集合A的基数．就说A是有限集合．如果不存在这样的n，就说A是无限集合． 精选文档 * 9．6．2 幂集和笛卡儿积的基数 定理9．6．1 对有限集合A， 精选文档 * 定理9．6．2 对有限集合A和B， |A×B|＝|A|·|B|． 精选文档 * 9．6．3 基本运算的基数 定理9．6．3 对有限集合A1和A2，有 精选文档 * 下述定理通常称为包含排斥原理，它有更多的用途． 定理9．6．4 对有限集合A1和A2，有 |A1∪A2|=|A1|+|A2|-|A1∩A2| 证明 (1)若A1与A2不相交，则A1∩A2＝?，而且|A1∩A2|=0，这时显然成立 |A1∩A2|＝|A1|+|A2|， (2)若A1与A2相交，则A1∩A2≠?，但有 |A1|=|A1∩-A2|+|A1∩A2|, |A2|=