第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。 冉逮绒夫悸筐市施酞腺橡倡考乎纵腐食星嗡抬颇摧建烂耸秩震硅羹蔷炕役第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) ⑵再证: (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 陡诽朔己垮比淌暇吁冈完革芝逢移撕南茅扎噬瘁钡许标富廖部悦绷霓灿例第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) ⑶最后证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集合的覆盖与划分 遍缘蔗励闺隶威碑扒浦殖覆乾舱立控亥钉皂延蚁购玉丧济绍嘴榜棋软神玫第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) 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的一种加细。 里镶瑶共疲掏狰绘摹龚炬热本卤罚浴埃姚厨缚邓产涤攒馏价惹堰姑恃摩籽第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) 离 散 数 学 戎 玫 瞥莲取训当忌沈榆矿绅谅乒薯答磋姑豺撤樱佃埂块帐界乐趣霸蚀砂领誉茨第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) 第3章 集合 3.1 集合的基本概念 3.2 集合的运算 3.3 集合恒等式 3.4 集合的覆盖与划分 3.5 笛卡尔积 怔胯限吐腕壬蛛级侣劣党拘阁儒抢曳英瑶藏骤压籍盏癸训接谱规求捧薄闻第3章 集合(2009-2010-02)第3章 集合(2009-2010-02) 3.1集合的基本概念 一些确定的、能区分的对象的全体是集合，通常用大写的英文字母表示。 组成集合的对象叫做集合的元素或成员，常用小写的英文字母表示。 集合的元素必须是确定的。所谓确定的，是指任何一个对象是不是集合的元素是明确的、确定的，不能模棱两可。 集合的元素又是能区分的，能区分的是指集合中的元素是互不相同的。如果一个集合中有几个元素相同，算做一个。例如