离散数学第六章集合代数

1主要内容6.1集合的基本概念属于、包含、幂集、空集、文氏图等6.2集合的基本运算集合的初级运算：并、交、相对补、绝对补、对称差集合的广义并与广义交有穷集合元素的计数6.3集合恒等式集合运算的算律、恒等式的证明方法第六章集合代数26.1集合的基本概念1.集合定义集合没有精确的数学定义理解：由离散个体构成的整体称为集合，称这些个体为集合的元素常见的数集：N,Z,Q,R,C等分别表示自然数、整数、有理数、实数、复数集合2.集合表示法枚举法----通过列出全体元素来表示集合谓词表示法----通过谓词概括集合元素的性质实例：枚举法自然数集合N={0,1,2,3,…}谓词法S={x|x是实数，x21=0}3元素与集合1.集合的元素具有的性质无序性：元素列出的顺序无关相异性：集合的每个元素只计数一次确定性：对任何元素和集合都能确定这个元素是否为该集合的元素任意性：集合的元素也可以是集合2．元素与集合的关系隶属关系：或者3．集合的树型层次结构dA,aA4集合与集合集合与集合之间的关系：,=,⊈,,,定义6.1ABx(xAxB)定义6.2A=BABBA定义6.3ABABABA⊈Bx(xAxB)思考：和的定义注意和是不同层次的问题5空集、全集和幂集1．定义6.4空集：不含有任何元素的集合实例：{x|xRx2+1=0}定理6.1空集是任何集合的子集。证对于任意集合A，Ax(xxA)T(恒真命题)推论是惟一的3.定义6.6全集E：包含了所有集合的集合全集具有相对性：与问题有关，不存在绝对的全集2.定义6.5幂集：P(A)={x|xA}实例：P()={},P({})={,{}}计数：如果|A|=n，则|P(A)|=2n.例如，A={1,2,3}则|P(A)|=23=866.2集合的运算初级运算集合的基本运算有定义6.7并AB={x|xAxB}交AB={x|xAxB}相对补AB={x|xAxB}定义6.8对称差AB=(AB)(BA)定义6.9绝对补A=EA7文氏图集合运算的表示ABABABABABABABA–BAB~A8几点说明并和交运算可以推广到有穷个集合上，即A1A2…An={x|xA1xA2…xAn}A1A2…An={x|xA1xA2…xAn}ABAB=AB=AB=A9广义运算1.集合的广义并与广义交定义6.10广义并A={x|z(zAxz)}广义交A={x|z(zAxz)}实例{{1},{1,2},{1,2,3}}={1,2,3}{{1},{1,2},{1,2,3}}={1}{{a}}={a}，{{a}}={a}{a}=a，{a}=a10关于广义运算的说明2.广义运算的性质(1)=，无意义(2)单元集{x}的广义并和广义交都等于x(3)广义运算减少集合的层次（括弧减少一层）(4)广义运算的计算：一般情况下可以转变成初级运算{A1,A2,…,An}=A1A2…An{A1,A2,…,An}=A1A2…An3.引入广义运算的意义可以表示无数个集合的并、交运算，例如{{x}|xR}=R这里的R代表实数集合.11运算的优先权规定1类运算：初级运算,,,，优先顺序由括号确定2类运算：广义运算和运算，运算由右向左进行混合运算：2类运算优先于1类运算例1A={{a},{a,b}}，计算A(AA).解：A(AA)={a,b}({a,b}{a})=(ab)((ab)a)=(ab)(ba)=b12有穷集合元素的计数1.文氏图法2.包含排斥原理定理6.2设集合S上定义了n条性质，其中具有第i条性质的的元素构成子集Ai,那么集合中不具有任何性质的元素数为|...|)1(...|||||||||...|2111121nnnkjikjnjijiniinAAAAAAAAASAAAi推论S中至少具有一条性质的元素数为12111121||||||||(1)||nniijiijnnijknijknAAAAAAAAAAAA13实例例2求1到1000之间（包含1和1000在内）既不能被5和6整除，也不能被8整除的数有多少个？定义以下集合：S={x|xZ1x1000}A={x|xSx可被5整除}B={x|xSx可被6整除}C={x|xSx可被8整除}解得N=1000－(200+100+33+67)=600画出文氏图，然后填入相应的数字，解方法一：文氏图14实例方法二包含排斥原理|S|=1000|A|=1000/5=200,|B|=1000/6=166,|C|=1000/8=125|AB|=1000/lcm(5,6)=1000/33=33|AC|=1000/lcm(5,8)=1000/40=25|BC|=1000/lcm(6,8)=1000/24=41|ABC|=1000/lcm(5,6,8)=1000/120=8=1000(200+166+125)+(33+25+41)8=600||CBA156.3集合恒等式集合算律1．只涉及一个运算的算律：交换律、结合律、幂等律交换AB=BAAB=BAAB=BA结合(AB)C=A(BC)(AB)C=A(BC)(AB)C=A(BC)幂等AA=AAA=A16集合算律2．涉及两个不同运算的算律：分配律、吸收律与与分配A(BC)=(AB)(AC)A(BC)=(AB)(AC)A(BC)=(AB)(AC)吸收A(AB)=AA(AB)=A17集合算律3．涉及补运算的算律：DM律，双重否定律D.M律A(BC)=(AB)(AC)A(BC)=(AB)(AC)(BC)=BC(BC)=BC双重否定A=A18集合算律4．涉及全集和空集的算律：补元律、零律、同一律、否定律E补元律AA=AA=E零律A=AE=E同一律A=AAE=A否定=EE=19集合证明题证明方法：命题演算法、等式置换法命题演算证明法的书写规范(以下的X和Y代表集合公式)(1)证XY任取x，xX…xY(2)证X=Y方法一分别证明XY和YX方法二任取x，xX…xY注意：在使用方法二的格式时，必须保证每步推理都是充分必要的20集合等式的证明方法一：命题演算法例3证明A(AB)=A（吸收律）证任取x,xA(AB)xAxABxA(xAxB)xA因此得A(AB)=A.例4证明AB=AB证任取x,xABxAxBxAxBxAB因此得AB=AB21等式代入法方法二：等式置换法例5假设交换律、分配律、同一律、零律已经成立，证明吸收律.证A(AB)=(AE)(AB)（同一律）=A(EB)（分配律）=A(BE)（交换律）=AE（零律）=A（同一律）22包含等价条件的证明例6证明ABAB=BAB=AAB=①②③④证明思路：确定问题中含有的命题：本题含有命题①,②,③,④确定命题间的关系（哪些命题是已知条件、哪些命题是要证明的结论）：本题中每个命题都可以作为已知条件，每个命题都是要证明的结论确定证明顺序：①②，②③，③④，④①按照顺序依次完成每个证明（证明集合相等或者包含）23证①②显然BAB，下面证明ABB.任取x，xABxAxBxBxBxB因此有ABB.综合上述②得证.②③A=A(AB)A=AB(由②知AB=B，将AB用B代入)证明ABAB=BAB=AAB=①②③④24③④假设AB,即xAB，那么知道xA且xB.而xBxAB从而与AB=A矛盾.④①假设AB不成立，那么x(xAxB)xABAB与条件④矛盾.证明ABAB=BAB=AAB=①②③④25第六章习题课主要内容集合的两种表示法集合与元素之间的隶属关系、集合之间的包含关系的区别与联系特殊集合：空集、全集、幂集文氏图及有穷集合的计数集合的,,,,等运算以及广义,运算集合运算的算律及其应用26基本要求熟练掌握集合的两种表示法能够判别元素是否属于给定的集合能够判别两个集合之间是否存在包含、相等、真包含等关系熟练掌握集合的基本运算（普通运算和广义运算）掌握证明集合等式或者包含关系的基本方法27练习11．判断下列命题是否为真(1)(2)(3){}(4){}(5){a,b}{a,b,c,{a,b,c}}(6){a,b}{a,b,c,{a,b}}(7){a,b}{a,b,{{a,b}}}(8){a,b}{a,b,{{a,b}}}解(1)、(3)、(4)、(5)、(6)、(7)为真，其余为假.28方法分析(1)判断元素a与集合A的隶属关系是否成立基本方法：把a作为整体检查它在A中是否出现，注意这里的a可能是集合表达式.(2)判断AB的四种方法若A,B是用枚举方式定义的，依次检查A的每个元素是否在B中出现.若A,B是谓词法定义的，且A,B中元素性质分别为P和Q,那么“若P则Q”意味AB，“P当且仅当Q”意味Ａ=Ｂ．通过集合运算判断AB，即AB=B,AB=A,AB=三个等式中有一个为真.通过文氏图判断集合的包含（注意这里是判断，而不是证明29练习22．设S1={1,2,…,8,9}，S2={2,4,6,8}，S3={1,3,5,7,9}S4={3,4,5}，S5={3,5}。确定在以下条件下X是否与S1,…,S5中某个集合相等？如果是，又与哪个集合相等？（1）若XS5=（2）若XS4但XS2=（3）若XS1且X⊈S3（4）若XS3=（5）若XS3且X⊈S130解答解(1)和S5不交的子集不含有3和5，因此X=S2.(2)S4的子集只能是S4和S5.由于与S2不交，不能含有偶数，因此X=S5.(3)S1,S2,S3,S4和S5都是S1的子集，不包含在S3的子集含有偶数，因此X=S1,S2或S4.(4)XS3=意味着X是S3的子集，因此X=S3或S5.(5)由于S3是S1的子集，因此这样的X不存在.31练习33.判断以下命题的真假，并说明理由.（1）AB=AB=（2）A(BC)=(AB)(AC)（3）AA=A（4）如果AB=B，则A=E.（5）A={x}x，则xA且xA.32解题思路先将等式化简或恒等变形.查找集合运算的相关的算律，如果与算律相符，结果为真.注意以下两个重要的充要条件AB=AAB=AB=ABAB=BAB=A如果与条件相符，则命题为真.如果不符合算律，也不符合上述条件，可以用文氏图表示集合，看看命题是否成立.如果成立，再给出证明.试着举出反例，证明命题为假.33解答解(1)B=是AB=A的充分条件，但不是必要条件.当B不空但是与A不交时也有AB=A.(2)这是DM律，命题为真.(3)不符合算律，反例如下：A={1}，AA=，但是A.(4)命题不为真.AB=B的充分必要条件是BA，不是A=E.(5)命题为真，因为x既是A的元素，也是A的子集34练习44．证明AB=ACAB=ACB=C解题思路分析命题：含有3个命题：AB=AC,AB=AC,B=C①②③证明要求前提：命题①和②结论：命题③证明方