1.2.3集合性质.pptVIP

子集(subset) ? B包含于A, A包含B: B?A ? ?x(x?B?x?A) B不是A的子集: B?A ? ?x(x?B?x?A) ??x(x?B?x?A)??x?(?x?B?x?A) ??x(x?B??x?A)??x(x?B?x?A) 包含(?)的性质 A?A 证明: A?A??x(x?A?x?A) ?1 # 若A?B,且A?B,则 B?A 证明: A?B ? ?(A=B) ? ?(A?B?B?A) (定义) ??(A?B) ? ?(B?A) (德?摩根律) A?B (已知) ??B?A (即B?A) (析取三段论) # 真子集(proper subset) ? B真包含A: A?B ? A?B ? A?B B不真包含A： A?B ? ?(A?B ? A?B) (?定义) ? ?(A?B) ? (A=B) (德?摩根律) ? ?x(x?A?x?B) ? (A=B) (?定义) 真包含(?)的性质 A?A (反证法) 证明: A ? A? A?A ? A?A ? 1?0 ? 0. # 若A?B,则 B?A (反证法) 证明: 设B?A, 则 A?B ? A?B ? A?B ? A?B (化简) B?A ? B?A ? B?A ? B?A 所以 A?B ? B?A ? A=B (=定义) 但是 A?B ? A?B ? A?B ? A?B (化简) 矛盾! 子# 真包含(?)的性质(传递性) 若A?B,且B?C, 则A?C (传递性) 证明: (1)A?B ? A?B ? A?B ? A?B (化简), 同理 B?C ? B?C, 所以A?C. (2)假设A=C, 则B?C?B?A, 又A?B, 故A=B, 此与A?B矛盾, 所以A?C. 所以, A?C. # 空集(empty set) 空集:没有任何元素的集合是空集,记作? 例如, { x?R | x2 +1=0 } 定理1: 对任意集合A, ??A 证明: ??A??x(x???x?A)??x(0?x?A)?1. # 推论: 空集是唯一的 证明: 设?1与?2都是空集, 则 ?1??2 ? ?2??1 ? ?1=?2 . # 证明两个集合相等的方法 1、定义方法：谓词公式 2、相等定理：互相包含 3、集合相等运算：基本相等定理 4、Venn 图（文氏图）：图解 定理 定理1：A = B 当且仅当 A ? B ? B ? A 小 结 讨论及提问 讨 论 及 提 问 Any question? 练 习 * 集合 Sets 定理2：对任意的集合A， A ? A 定理3：对任意的集合A、B、C， 如果 A ? B， B ? C，则 A ? C（传递性） 定理4：对任意的集合A， ? ? A 定理5：空集? 是唯一的 1、 ? 、?、?性质 2、两个集合相等的证明 pp. * 集合 Sets