第3章节集合[2009—2010—02].pptVIP

3.4集合的覆盖与划分 定理3.4.1 设A=?A1，A2，…，Ar?与B=?B1，B2，…，Bs?是C的两种划分，则集合X=?Ai∩Bj | i=1,…,r，j=1,…,s，Ai∩Bj≠??也是C的划分。证明: ⑴先证 Ai∩Bj ?C 由A，B是C的划分知，Ai ?C，Bj ?C，所以Ai∩Bj ?C。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ⑵再证: (A1∩B1)∪(A1∩B2)∪…∪(A1∩Bs )∪ (A2∩B1)∪(A2∩B2)∪…∪(A2∩Bs )∪ … (Ar∩B1)∪(Ar∩B2)∪…∪(Ar∩Bs ) =(A1∩(B1∪B2∪…∪Bs ))∪… ∪(Ar∩(B1∪B2∪…∪Bs )) =(A1∪A2∪…∪Ar)∩(B1∪B2∪…∪Bs ) =C∩C =C 3.4集合的覆盖与划分 ∪ ∪A i∩Bj=C r s i＝1 j=1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ⑶最后证X中的元素是两两互不相交的。 在X中取任意两个不同元素，Ai∩Bh与Aj∩Bk，分三种情况讨论： ①设 i≠j，h=k (Ai∩Bh)∩(Aj∩Bk)=(Ai∩Aj)∩(Bh∩Bk) = ?∩(Bh∩Bk)=? ②设 i≠j，h≠k (Ai∩Bh)∩(Aj∩Bk)=(Ai∩Aj)∩(Bh∩Bk) = ?∩?=? ③ 设 i=j，h≠k (Ai∩Bh)∩(Aj∩Bk)=(Ai∩Aj)∩(Bh∩Bk) =(Ai∩Aj)∩?=? 3.4集合的覆盖与划分 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.4集合的覆盖与划分 定义3.4.3 定理3.4.1中定义的集合X叫做原来两种划分A和B的交叉划分。 定义3.4.4 设 A=?A1，A2，…，Ar?与B =?B1，B2，…，Bs?是C的两种划分，如果 ?Ai?A ，?Bk?B，使得Ai? Bk。则称A是B的加细，也称A是B的细分。 定理3.4.2 任何两种划分的交叉划分都是原来两种划分的一种加细。证明：设A=?A1，A2，…，Ar?与B=?B1，B2，…，Bs?是C的两种划分。 X=?Ai∩Bj | i=1,…,r，j=1,…,s，Ai∩Bj≠??是A和B的交叉划分。 因为Ai∩Bj?Ai，Ai∩Bj?Bj，所以X是A的一种加细，也是B的一种加细。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 离 散 数 学 戎 玫 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第3章 集合 3.1 集合的基本概念 3.2 集合的运算 3.3 集合恒等式 3.4 集合的覆盖与划分 3.5 笛卡尔积 Evaluation only. Created with Aspose.Slides for .NET 3.5