2023年离散数学西安交大版习题解第一部分集合论部分.doc
《2023年离散数学西安交大版习题解第一部分集合论部分.doc》由会员分享,可在线阅读,更多相关《2023年离散数学西安交大版习题解第一部分集合论部分.doc(86页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一 (第一章集合)1. 列出下述集合的所有元素: 1)A=x | x Nx是偶数 x152)B=x|xN4+x=33)C=x|x是十进制的数字解 1)A=2,4,6,8,10,12,142)B=3)C=0,1,2,3,4,5,6,7,8,92. 用谓词法表达下列集合:1)奇整数集合2)小于7的非负整数集合3)3,5,7,11,13,17,19,23,29解 1)nnI($mI)(n=2m+1);2)nnIn0n2p30($dN)(d1dp($kN)(p=kd)。3. 拟定下列各命题的真假性:1
2、)2)3)4)5)a,ba,b,c,a,b,c6)a,b(a,b,c,a,b,c)7)a,ba,b,a,b,8)a,ba,b,a,b,解1)真。由于空集是任意集合的子集;2)假。由于空集不含任何元素;3)真。由于空集是任意集合的子集;4)真。由于是集合的元素;5)真。由于a,b是集合a,b,c,a,b,c的子集;6)假。由于a,b不是集合a,b,c,a,b,c的元素;7)真。由于a,b是集合a,b,a,b的子集;8)假。由于a,b不是集合a,b,a,b的元素。4. 对任意集合A,B,C,拟定下列命题的真假性: 1)假如ABBC,则AC。 2)假如ABBC,则AC。 3)假如ABBC,则AC。解
3、 1)假。例如A=a,B=a,b,C=a,b,从而ABBC但AC。 2)假。例如A=a,B=a,a,C=a,a,从而ABBC,但、AC。 3)假。例如A=a,B=a,b,C=a,a,b,从而ACBBC,但AC。5对任意集合A,B,C,拟定下列命题的真假性: 1)假如ABBC,则AC。 2)假如ABBC,则AC。 3)假如ABBC,则AC。 3)假如ABBC,则AC。解 1)真。由于BCx(xBxC),因此ABAC。2)假。例如A=a,B=a,b,C=a,b,c从而ABBC,但AC。3)假。例如A=a,B=a,b,C=a,a,b,从而ABBC,但AC。4)假。例如A=a,B=a,b,C=a,b,
4、b,从而ABBC,但AC。6求下列集合的幂集:1)a,b,c2)a,b,c3)4),5)a,b,a,a,b,a,b,a,b解 1),a,b,c,a,b,a,c,b,c,a,b,c2),a,b,c,a,a,b3),4),5),a,b7给定自然数集合N的下列子集:A=1,2,7,8B= x|x250C=x|x可以被3整除且0x30D=x|x=2K,KIOK6列出下面集合的元素:1) ABCD2) ABCD3) B(AC)4) (AB)D解 由于B=1,2,3,4,5,6,7,C=3,6,9,12,15,18,21,24,27,30,D=1,2,4,8,16,32,64,故此 1)ABCD=1,2,
5、3,4,5,6,7,8,9,12,15,16,18,21,24,27,30,32,642)ABCD=3)B(AC)=4,54)(AB)D=1,2,3,4,5,6,7,8,16,32,648设A、B、C是集合,证明:1)(AB)=A(BC)2)(AB)C=(AC)(BC)3)(AB)C=(AC)B证明 1)方法一:(AB)C=(AB)C (差集的定义)=A(BC) (交运算的结合律)=A(BC) (deMorgan律)=A(BC) (差集的定义)方法二:对任一元素x(AB)C,则xC,同时,xAB,xA,xB,所以,xA,xBC,即xA(BC),由此可见(AB)CA(BC)。反之,对任一元素xA
6、(BC),则xA,且xBC,也就是说xA,xB,xC。所以x(AB)C,由此可见A(BC)(AB)C。因此A(BC)。2)方法一:(AB)C =A(BC) (根据1) =A(CB) (并运算互换律) =A(CB) (01律) =A(CB)(CC) (01律) =A(C(BC) (分派律) =(AC)(BC) (根据1) =(AC)(BC) (差集的定义)方法二:对任一元素x(AB)C,可知xA,xB,xC,xAC。又由xB,xBC,x(AC)(BC)(BC)。所以(AB)C(AC)(BC)。反之,对任x(AC)(BC),可知xAC,xBC。由xAC,可知xA, xC。又由于xBC及xC,可知x
7、B。所以,x(AB)C。因此(AB)C(AB)C。由此可得(AB)(BC)(AB)C。3)方法一:(AC)C =A(BC) (根据1) =A(CB) (并运算互换律) =(AC)B (根据1)方法二:对任一元素x(AB)C,可知xA,xB,xC。由为xA,xC,所以,xAC。又由xB,x(AC)B。所以,(AB)C(AC)B。同理可证得 (AC)B(AB)C。9. 设A、B是全集的子集,证明: ABAB=XAB=解(采用循环证法)(1)先证ABAB=X;方法一:AB=A(AB) (由于条件AB及定理4)=(AA)B (的结合律)=(AA)B (的互换律)=XB (互补律)=X (零壹律)方法二
8、:ABAB=B (定理4)B=AB (等号=的对称性)AB=A(AB) (两边同时左并上A)AB=(AA)B (的结合律)AB=(AA)B (的互换律)AB=XB (互补律)AB= (零壹律)方法三:由于AX且BX,所以根据定理2的3)就有AB;另一方面,由于BAB 及根据换质位律可得BAAB,因此,由互补律及再次应用定理2的3),可得X=BBAB,即XAB;所以,AB=。(2)次证AB=XAB=;AB=X(AB)=X (两边同时取补运算)(A)B=X (de Morgan律)AB=X (反身律)AB=X (零壹律)(3)再证AB=AB;方法一:A=AX (零壹律)=A(BB) (互补律)=(
9、AB)(AB) (分派律)=(AB) (条件AB=)=AB (零壹律)B (定理2的3))方法二:AB=B=B (零壹律)=B(AB) (条件AB=)=(BA)(BB) (分派律)=(AB)(BB) (的互换律)=(AB)X (互补律)=AB (零壹律)AB (定理4的2))10. 对于任意集合A,B,C,下列各式是否成立,为什么?1) AB=ACB=C2) AB=ACB=C解 1)不一定。例如:A=a,B=a,b,C=b。显然有AB=AC,但BC。2)不一定。例如:A=a,B=a,b,C=b,c。显然有AB=AC,但BC。11设A,B为集合,给出下列等式成立的充足必要条件:1) AB=B2)
10、 AB=BA3) AB=AB4) AB=A解 1)AB=AB,由假设可知AB=B,即AB=B。由此可知B=ABB,故此B=BB=。由假设可知A=A=AB=B=。所以当AB=B时有A=B=。反之,当A=B=时,显然AB=B。因此AB=B的充足必要条件是A=B=。2)设AB,则有元素aAB,那么,aA,而由假设AB=BA。所以aBA,从而aA,矛盾。所以AB=,故AB。另一方面由BA=AB=。可得BA。因此当AB=BA时,有A=B。反之,当A=B时,显然AB=BA=因此,AB=BA的充要条件是A=B。3)由于AB=AB,从而AAB=ABB,以及BAB=ABA故此AB=AB,有A=B。5) 根据定理
11、6的1)有A=A,由已知条件AB=A,可得AB=A。从而由对称差的消去律可得B=。反之,若B=,则AB=A=A。所以AB=A的充足必要条件为B=。12. 对下列集合,画出其文图:1) AB2) A(BC)3) A(BC)解ABA BA (B C ) BCA (B C )ACBAXX13. 用公式表达出下面图中的阴影部分解ACBx(ABC)(ABC)BCAx(AC) B14. 试用成员表法证明1)(AB)C=A(BC)2)(AB)(BC)AB解 1)成员表如下A B CAB(AB)CBCA(B) 成员表中运算结果及()的两列状态表白,全集中的每一个体对它俩有相同的从属关系,故()()1) 成员表
12、如下:A B CAB(BC)(BC)(AB)(BC)BAB 110 0010 0000 1000 0111 1011 11000 10000成员表中运算结果(AB)(BC)及AB的两列状态表白,全集中的每一个体,凡是从属(AB)(BC)的,都从属AB,故(AB)(BC)AB注:自然数集N取为1,2,3,n,习题二(第二章 关系)1设A=1,2,3,B=a,b求 1)AB 2)BA 3)BB 4)2BB解 1)AB=(1,a),(1,b),(2,a),(2,a),(3,a),(3,b)2)BA=(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)3)BB=(a,a),(a,b)
13、,(b,a),(b,b)4)2B=,a,b,a,b2BB(,a),(,b),(a,a),(a,b),(b,a),(b,b),(a,b,b)2使AAA成立的集合A存在吗?请阐明理由。解 一般地说,使AAA成立的集合A不存在,除非A=。否则 A,则存在元素xAA,故有y1,y2A,使x=(y1,y2),从而y1,y2AA,故此有y1,y2,y3,y4,使y1=(y1,y2),y2=(y3,y4),。这说明A中每个元素x,其结构为元组的无穷次嵌套构成,这不也许。我们讨论的元素的结构必须是由元组的有限次嵌套构成。3证明AB=BAA=B=A=B证 必要性:即证AB=BAA=B=A=B若AB=,则A=或者
14、B=若AB,则A且B,因此对任何xA及任何yB就有(x,y)AB,根据AB=BA,可得(x,y)BA,故此可得xB,yA,因此而得AB且BA,所以由的反对称性A=B。充足性:即证A=B=A=BAB=BA 这是显然的。4证明(AB)(CD)=(AC)(BD)证证法一:(元素法)对任一(x,y)(AB)(CD) 有xAB,yCD,于是xA,xB,yC,yD。因而(x,y)AC,且(x,y)BD,所以(x,y)(AC)(BD)。因而(AB)(CD)(AC)(BD)另一方面,对任一(x,y)(AC)(BD),于是有(x,y)AC且(x,y)BD,因而xA,yC,xB yD。所以xAB,y(CD)。所以
15、(x,y)(AB)(CD)。因而(AC)(BD)(AB)(CD)。综合这两个方面有(AB)(CD)=(AC)(BD)。证法二:(逻辑法)对任何x,y(x,y)(AB)(CD)xAByCD(xAxB)(yCyD)(xAyC)(xByD) (的结合律、互换律)(x,y)AC(x,y)BD(x,y)(AC)(BD)由x,y的任意性,可得:(AB)(CD)= (AC)(BD) 。5下列各式中哪些成立,哪些不成立?对成立的式子给出证明,对不成立的式子给出反例。 1)(AB)(CD)=(AC)(BD) 2)(AB)(CD)=(AC)(BD) 3)(AB)(CD)=(AC)(BD) 4)(AB)C=(AC)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2023 离散数学 西安 交大 习题 第一 部分 集合论
限制150内