《集合论总复习、习题(精品).ppt》由会员分享，可在线阅读，更多相关《集合论总复习、习题(精品).ppt（93页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、集合论总复习集合论总复习习题习题第二十一讲第二十一讲1作业讲评P863-1.(9)设某集合有101个元素，试问：a)可构成多少个子集？b)其中有多少个子集元素为奇数？c)是否有102个元素的子集？解：a)可构成2101个子集b)有2100个子集元素为奇数c)不能有102个元素的子集2 (10)设设S=a1,a2,.,a8,由由B17 和和B31所表示的所表示的S的的子集各是什么子集各是什么?应如何表示子集应如何表示子集a1,a8,a2,a6,a7和和 a3,a8,a7?B17=B00010001=a4,a8B31=B00011111=a4,a5,a6,a7,a8a1,a8=B10000001=
2、B129a3,a7,a8=B00100011=B35 a2,a6,a7=B01000110=B70作业讲评P863-1.(10)解：解：S有有28=256个不同的子集个不同的子集,可表示为可表示为B0,B1,B2,B3,B255,二进制二进制下标有下标有8位位.3a)证明证明(1)A(B C)=(AB)(AC)证明证明:(AB)(AC)=(AB)(AC)(AC)(AB)=(AB)(AC)(AC)(AB)=(AB)C)(AC)B)=A(BC)(CB)=A(B C)作业讲评P953-2.(11)4作业讲评P953-2.(11)a)证明证明(1)A(B C)=(AB)(AC)证明证明:(AB)(AC
3、)=(AB)(AC)(AC)(AB)=(A(B C)(A(C B)=A(B C)(C B)=A(B C)注意：注意：A(BC)(AB)(AC)5(2)A(B C)=(AB)(AC)不一定成立。不一定成立。证明证明:设设 A=2,3,B=1,4,7,C=3,5,则则 B C=1,3,4,5,7 所以所以 A(B C)=1,2,3,4,5,7 但但 AB=1,2,3,4,7 AC=2,3,5 故故(AB)(AC)=1,4,5,7 因此因此A(B C)=(AB)(AC)不一定成立。不一定成立。作业讲评6作业讲评P1053-4.(3)c)(A B)(C D)=(A C)(B D)解解:不成立。不成立。
4、设设A=B，C和和D 则左边则左边=，右边右边 7作业讲评P1053-4.(3)e)证明证明(1)(A B)C=(A C)(B C)证明证明:对于任意的对于任意的 (A B)C x (A B)y C(x A x B)(x A x B)y C(x Ax B)y C)(x Ax B)y C)(A C)(B C)(A C)(B C)(A C)(B C)8作业讲评P1053-4.(3)e)证明证明(1)(A B)C=(A C)(B C)证明证明:(A B)C=(A-B)(B-A)C=(A-B)C)(B-A)C)=(A C)-(B C)(B C)-(A C)=(A C)(B C)注意：注意：A (B*C
5、)=(A B)*(A C)(B*C)A=(B A)*(C A)*代表代表,或或运算运算9作业讲评P1053-4.(5)(5)证明证明 若若X Y=X Z，且，且X 则则Y=Z证明：证明：1)Y=,则则X Y=,故故 X Z=Z=，Y=Z y Z YZ 同理同理YZ Y=Z 2)Y,任意任意y Y，令令x X，由已知有由已知有 X Y=X Z10作业讲评(5)证明证明 若若X Y=X Z，且，且X 则则Y=Z证明：证明：X Y=X Z且且X X Y X Z 且且X Z X Y YZ且且YZ Y=Z(1)A B的充分必要条件是的充分必要条件是A C B C;(2)A B的充分必要条件是的充分必要条
6、件是C A C BC是是非空非空集合集合。11作业讲评补充题90名学生，55人参加数学小组，44人参加语文小组，33人参加体育小组。36人参加数学和语文小组，29人参加数学和体育小组，25人参加语文和体育小组。问多少人3个小组都没有参加？1.|AB|A|+|B|2.|AB|min(|A|,|B|)3.|A B|A|B|4.|A B|=|A|+|B|2|AB|12作业讲评P1133-6.(3)举出A=1,2,3上的关系R的例子，使它有以下性质：a)既是对称又是反对称的b)既不是对称又不是反对称的c)R是可传递的解:a)RIA，如R=b)部分对称,如R=,c)R=,13作业讲评P1133-6.(6
7、)(6)设R是X上的自反关系。证明R是对称和传递的,当且仅当a,b和在R中时，则有在R之中。任意元素a,b,c,若aRb,由自反性得有aRa,于是有bRa,故R是对称的；若有aRb且bRc,由对称性得到bRa,于是有bRa且bRc,故有aRc,故R传递14作业讲评P1133-6.(6)(6)设R是X上的自反关系。证明R是对称和传递的,当且仅当a,b和在R中时，则有在R之中。必要性：因为R为X上的等价关系，所以具有自反性、对称性和传递性。对于集合X上的任意元素a,b,c，若aRb且aRc,由对称性得：bRa，再由传递性得bRc。15作业讲评P1193-7.(3)令令SS，存在y使S且SS是传递的
8、SSSS设S为X上的关系，证明S是自反的和传递的，则，其逆为真吗？令令S，由自反性知SSSSSS其逆不真。例如X=1，2，3，S=，,SS=S,但S不是自反的。16作业讲评ArelationRonasetAiscalledcircularifaRbandbRcimplycRa.ShowthatRisreflexiveandcircularifandonlyifitisanequivalencerelation.必要性：R是自反和循环的R是等价关系令RR是循环的 RR对称令,R，R是对称的 RR传递R是自反的RR是循环的R集合A上的关系R，如果aRb且bRc蕴含cRa，那么就称R是循环的。证明：
9、R是自反和循环的当且仅当R是等价关系17作业讲评ArelationRonasetAiscalledcircularifaRbandbRcimplycRa.ShowthatRisreflexiveandcircularifandonlyifitisanequivalencerelation.充分性令,R，R是对称的 RR循环R是等价关系R是自反,传递,对称的R是传递的RR是等价关系R是自反和循环的18作业讲评LetS=1,2,3,4andletA=SS.DefinethefollowingrelationRonA:Rifandonlyifa+d=b+c.(1)ShowthatRisanequiv
10、alencerelation.(2)ComputeA/R即证：R是自反，对称，传递的a,bS，则Aa+b=b+aR自反令R，即a+d=b+ca+f=b+eRR传递c+b=d+aR对称R令R，R即a+d=b+c，c+f=d+eR19作业讲评LetS=1,2,3,4andletA=SS.DefinethefollowingrelationRonA:Rifandonlyifa+d=b+c.(1)ShowthatRisanequivalencerelation.(2)ComputeA/R,A=,R=,，,20作业讲评LetS=1,2,3,4andletA=SS.Definethefollowingre
11、lationRonA:Rifandonlyifa+d=b+c.(1)ShowthatRisanequivalencerelation.(2)ComputeA/RA/R=,A=,21作业讲评P1463-12(6)(6)设集合P=x1,x2,x3,x4,x5,上的偏序关系如图所示。找出P的最大(小)元素，极大(小)元素。找出子集x2,x3,x4x3,x4,x5,x1,x2,x3的上(下)(确)界最大元素x1,无最小元素x5x1x2x3x4极大元素x1,极小元素x4,x5集合上界 下界上确界下确界x2,x3,x4x1x4x1x4x3,x4,x5,x1,x3无x3无x1,x2,x3x1x4x1x422
12、作业讲评P1463-12(7)(7)下图给出了集合1,2,3,4上的四个偏序关系图,画出它们的哈斯图，并说明哪个是全序关系，哪个是良序关系。1243(a)先去环再去掉传递最后调整位置1234(a)23作业讲评P1463-12(7)(7)下图给出了集合1,2,3,4上的四个偏序关系图,画出它们的哈斯图，并说明哪个是全序关系，哪个是良序关系。1234(c)先去环再去掉传递最后调整位置421324作业讲评补充题设f,g,h是实数集R上的函数，f(x)=x+2,g(x)=x-2,h(x)=3x，求fg、ff、gf、gg、fh、hg、hfgfg(x)=xff(x)=x+4gf(x)=xgg(x)=x-4
13、fh(x)=3x+2hg(x)=3x-6hfg(x)=h(x)=3x25作业讲评P1514-2.(6)(6)设A和B是有穷集合，有多少不同入射函数和多少不同的双射函数。入射:X中没有两个元素有相同的象(1)f:AB为入射,必须有|A|B|,即mn设|A|=m，|B|=nB中任意选出m个元素的任一全排列即为所求.满射:Y中每一个元素是X中的一个或多个元素的象点。(2)f:AB为双射,必须有|A|=|B|,即m=n所以，共有m!个。26集合是什么集合是不能精确定义的基本概念集合是不能精确定义的基本概念。如何理解理解集合：由共同性质的一些对象汇集而成的整体。集合可以是有限集有限集，也可以是无限集无限
14、集集合的表示方法：枚举法枚举法叙述法叙述法（列判别条件）一般用大写字母大写字母表示集合，用小写字母小写字母表示元素见课本P8227集合与元素的关系集合与元素的关系：x A 或x A集合元素可以是离离散散型型数据（如整型、逻辑型、枚举型等），也可以是非非离离散散型型数据（如实型）。有有限限集集一一定定是是离离散散型型数数据据，无限集可能是离散型，也可能是非离散型的数据。本书中默认：自然数集从自然数集从0开始开始（见P94，习题(3)中对自然数N的子集C的定义）28集合的概念子集子集：(x)(xx)（B包含A）真子集真子集：(x)(xx)(x)(xBxA)空集空集：不包含任何元素的集合=x|p(x
15、)p(x)，p(x)为任何谓词全集全集：E=x|p(x)p(x)，p(x)为任何谓词29集合的相等集合集合A、B相等相等：A=BA,B的元素完全相同AB且BA(x,若xA，则xB)且(x,若xB，则xA)集合集合A、B不等不等：AB A,B的元素不完全相同（不是完全不同不是完全不同！)not(AB)或not(BA)(x,xA且xB)或(x,xB且xA)30幂集幂集幂集的概念：给定集合A，由集合A的所有子集的所有子集为元素组成的集合，称为集合集合A的幂集的幂集，记为P(A)。若|A|=n，则|P(A)|=2n如何证明如何证明?注意注意P()=区别：,但,。A=B P(A)=P(B)A B P(A
16、)P(B)31证明证明 A B当且仅当当且仅当P(A)P(B)充分性充分性:对对任意任意x A x P(A)x P(B)x B所以所以A B必要性必要性:对对任意任意x P(A)x A x B x P(B)所以所以P(A)P(B)32集合之间的关系子集子集：A包含BB包含于A真子集真子集：相等相等：A、B的元素完全相同不等不等：A、B的元素不完全相同从属从属：（一个集合是另外一个集合的元素）33空集的性质空集是一切集合的子集。空集是一切集合的子集。空集是惟一的。空集是惟一的。空集是任何集合的幂集的元素。空集是任何集合的幂集的元素。空集的幂集不是空集。空集的幂集不是空集。34空集例题例例 判断下
17、列命题的真假判断下列命题的真假:(1)(2)(3)(4)(2)为假为假;其余均为真。其余均为真。35集合运算的性质交换律交换律 AB=BAAB=BAAB=BA结合律结合律(AB)C=A(BC)(AB)C=A(BC)(AB)C=A(BC)注意：注意：ABBA(AB)CA(BC)36集合运算的性质分配律分配律 （注意证明方法是典型的，见P89，P91）A(BC)=(AB)(AC)A(BC)=(AB)(AC)A(BC)=(AB)(AC)P91定理但：A(BC)(AB)(AC)例：B=A,C=时A(BC)=(AB)(AC)但：A(BC)(AB)(AC)例：B=C,A时37集合运算的性质摩根律摩根律(A
18、B)=AB(AB)=ABA(BC)=(AB)(AC)A(BC)=(AB)(AC)吸收律吸收律A(AB)=A=A(AB)其他其他ABAABABBAB38证明集合相等的方法往证往证A=B方法一方法一：证明：AB且BA（P91定理3-2.5的证明方法）方法二方法二：证明满足A元素的条件逻辑等价于满足B元素的条件（P91定理3-2.4的证明方法）方法三方法三：使用集合运算的性质（P91定理3-2.6的证明方法）39证明集合不等的方法往证A B：方法一方法一：举反例AB(x,xA且xB)或(x,xB且xA)方法二方法二：说明（或证明）一个是空集（或全集），另一个不是方法三方法三：画文氏图示意40证明集合
19、是空集的方法方法一方法一：其逻辑判断条件是永假方法二方法二：用反证法：设aA，引出矛盾的结果（见P95习题(10)a)的证明）方法三方法三：利用等式，例如：AA=41包含排斥原理AB=A+B-ABABC=A+B+C -AB-AC-BC +ABC 见P96-99例题1、2、342定义序偶序偶：有序的偶对序偶与集合的区别：有序/无序若若xy，则则，但但x,y=y,x序偶与集合的统一：=x,x,y序偶相等的定义：=x=u 且且 y=v43集合的笛卡儿乘积集合A、B的笛卡儿乘积AB=(xA)(yB)见课本P102例题144笛卡儿乘积的性质ABBAABC=(AB)CA(BC)An=AAA(n个A)ABA
20、BAnAnAA45笛卡儿乘积的定理以下定理均可从序偶、集合相等的定义证明：A(BC)(AB)(AC)(BC)A(BA)(CA)A(BC)(AB)(AC)(BC)A(BA)(CA)若C，则AB(AC)(BC)(CACB)非空集合A,B,C,D,ABCDAC且BD46关系的定义关系关系是两个集合的笛卡儿乘积的子集。本质上关系关系R是序偶的集合是序偶的集合：若R则记为xRy若R则记为xRy集合集合A到到集合集合B的关系的关系：AB的子集集合集合A上上的关系的关系：AA的子集见课本P106例题1、2、347特殊的关系恒等关系恒等关系IAx,xxA是A上的关系全域关系全域关系：RAB空关系空关系：R定理
21、定理：A到B的两个关系的交、并、差、补仍是A到B的关系48关系的表示集合法集合法：列举集合的所有元素（序偶）或判别条件叙述法叙述法：叙述关系定义的判别条件；P107例4矩阵法矩阵法：A到B的关系用|A|行|B|列的0、1矩阵表示图图：A到到B的的关关系系：用有向偶图表示（点表示集合元素，弧表示序偶）A上上的的关关系系：用有向图表示（点表示集合元素，弧表示序偶）49关系的性质讨论非空集合A上上的关系R（即RAA）自反性自反性：aA,a,aR 关系图关系图中每个点都有环关系矩阵关系矩阵是对角线元素全部为1反自反性反自反性：aA,a,aR 关系图关系图中每个点都没环关系矩阵关系矩阵是对角线元素全部为
22、050关系的性质对对称称性性：a,b A,若a,bR，则b,aR 关关系系图图中任意两个不同的点之间要么没有边，要么有双向边；关系矩阵关系矩阵是对称矩阵反对称性反对称性：若ab，则a,bR或b,aR；或者：a,bA,若a,bR且b,aR,则a=b；关关系系图图任意两个不同的点之间要么没有边，要么只有单向边。关系矩阵关系矩阵呢？51关系的性质传递性传递性：a,b,cA,若a,bR且b,cR，则a,cR关关系系图图中任意两个点之间若经过第三点有路接通，则必有直达边;关系矩阵关系矩阵较复杂52定义复合关系设R是A到B的关系，S是B到C的关系，则R S称为R和S的复合关系复合关系，表示为RS=|xAz
23、C(y)(yBRS)R表示关系时，表示关系时，Rn表示表示n个关系个关系R的复合的复合复合关系是不可交换的不可交换的（没有公共域）复合关系是可结合的可结合的。53定义逆关系设R是A到B的关系，将R中每一序偶元素顺序互换，得到的集合称为关系R的逆关系逆关系，(inverserelation)表示为Rc=|R可见，Rc是B到A的关系。逆关系保持了关系的性质逆关系保持了关系的性质：即保持了原关系的自反性、反自反性、对称性、反对称性、传递性（若原关系有这些性质的话）。见课本P119习题（5）54有关定理证明两个关系相等，实质上是证明两个集合（元素是序偶）相等(R1R2)c=R1cR2c(R1R2)c=
24、R1cR2c(R1-R2)c=R1c-R2c(AB)c=BA(R1R2)c=R2cR1c(R1R2)R3=R1(R2R3)R是对称的R=RcR是反对称的RRcIx55逆关系的性质逆关系的矩阵逆关系的矩阵：原关系矩阵转置之后得到逆关系的矩阵逆关系的图逆关系的图：把弧的方向反转，得到逆关系的图逆关系逆关系保留了原来关系的自反、反自反、对称、反对称、传递等性质。56关系运算后性质的保持关系运算后性质的保持运算运算性性质质自反性自反性 反自反性反自反性 对称性对称性反对称性反对称性传递性传递性RS RS R S Rc R S 57关系的闭包关系R的自反（对称、传递）闭包：是指包含R的、而且是自反的、最
25、小的自反（对称、传递）关系严格的定义：见课本P119如果R本身是自反的（对称的、传递的），则其自反的（对称的、传递的）闭包就是R自反闭包：reflexiveclosure对称闭包：symmetricclosure传递闭包：transitiveclosure58闭包的讨论自反闭包rRRIx（R是集合X上的关系）对称闭包sRRRc传递闭包t(R)=RR2Rn若|X|=n，则只需前m个（mn）关系的并rsRsr(R)rtRtr(R)tsRst(R)Warshall算法的实质：简化矩阵运算，此处不要求，“数据结构”课程再讲。59定义集合的划分与覆盖A为非空集合，S=S1,S2,Sm，其中（1）SiA，
26、Si(i=1,2,m)（2）S1S2Sm=A（3）当ij时，SiSj=S是是A的覆盖的覆盖S是是A的划分的划分定义的另一种描述：若把集合A分成若干个叫做分块的非空非空子集，使得A中每一个元素至少属于至少属于一个分块，则这些分块的全体叫A的一个覆盖覆盖；若A中每一个元素属于且只属属于且只属于一个分块，则这些分块的全体叫A的一个划分划分（或分划）。60习题解答P130习题(5)(1)(AiB)=(A1A2Ak)B=ABi=1k(2)(AiB)(AjB)=AiAjB=61定义等价关系R是集合A上上的关系，满足自反、对称、传递，则R是A上的等价关系。见课本P131例题1、例题2注意：注意：许多这类题目
27、：给出某些性质，判别许多这类题目：给出某些性质，判别是否等价关系是否等价关系 62定义等价类R是A上的等价关系，则等价类aRxxA且aRx等价类的性质：a,bA1）aR且aRA2）a,bRaRbR3）a,bRaRbR=4）aRaA是的一个划分，记为（商集）63划分和等价关系1）等价关系-划分（P133定理3-10.2，3-10.3）2）R1=R2A/R1=A/R2（P134定理3-10.4）决定64定义偏序关系非空集合A上的关系R，满足自自反反、反反对对称称、传传递递的性质，称R是A上的一个偏序关系偏序关系，记为：序偶A,称作偏序集偏序集。见课本P140例题1、例题265定义“盖住”在偏序集中
28、的两个元素x和y满足以下条件：xy xyx,y之间没有z，使xz且zy则称y盖住盖住x 见课本P140例题3对于给定的偏序集A,，其盖住关系是确定的、唯一的。66哈斯图Hassediagram回顾：偏序关系的关系图的特点？哈斯图哈斯图：关系图的简化（省略了自反性、传递性）使用了“盖住”的性质，作图规则如下：1）每个元素用一个小圆点表示；2）若元素y盖盖住住元素x，则y画在x上方，并用直线连接直线连接；3）若xy且xy，则y画在x之上；若无关系，则两个点可画在同一水平，也可一上一下。67作业讲评P1463-12(7)(7)下图给出了集合1,2,3,4上的四个偏序关系图,画出它们的哈斯图，并说明哪
29、个是全序关系，哪个是良序关系。1234(c)先去环再去掉传递最后调整位置421368定义链、反链的子集子集称为：链链：偏序集的每两个元素都有关系；(哈斯图中某条链上的点集)反链反链：偏序集的每两个元素都没有关系(哈斯图中若干个没关系的点的集合)单个元素的子集，既是链，又是反链（注意：这是约定，不能证明）问：是否存在非链、非反链的关系？答：是。如集合2,3,4上的整除关系69线序关系在偏序集A,中，如果A是一个链，则称A,为全序集合全序集合或线序集合线序集合，二元关系称为全序关系全序关系或线序关系线序关系。全全序序关关系系 线线序序关关系系 哈哈斯斯图图是是一一条条“链链”全序关系A,中，x,y
30、A，xy和yx至少有一个成立。A上的线序关系A上的偏序关系A上的偏序关系A上的关系A上的关系AA70AAA上的关系A上的偏序关系A上的等价关系线序关系恒等关系的子集单个元素各概念的相互关系71极大元最大元A,是偏序集合，且B是A的子集，对于B中的某个元素b，若B中没有其他元素没有其他元素x，满足bx，则称b是B的极大元极大元。A,是偏序集合，且B是A的子集，对于B中的某个元素b，若对于B中每个元素每个元素x，满足xb，则称b是B的最大元最大元。72上界、上确界A,是偏序集合，且B是A的子集，对于A中的某个元素a，若对于B中每个元素每个元素x，满足xa，则称a是B的上界上界。注意：上界不一定不一
31、定是集合内的点；A,是偏序集合，且B是A的子集，a是B的某一上界，对于B中所有上界所有上界y，满足ay，则称a是B的最小上界，最小上界，或上确界上确界。注意：上确界不一定不一定是集合内的点；73良序偏序集合的每个非空子集存在最小元素，则称为良序集良序集。良序集合一定是全序集合（P145定理12.1)良序良序 线序线序 偏序偏序 关系关系 笛卡尔乘积笛卡尔乘积 有限的全序集合一定是良序集合(P145定理12.2)无限的全序集合不一定是良序集合（例如正实数集合上的小于关系，开区间子集没最小元素）74定义函数函函数数（也叫映映射射mapping）的定义：f是集合X到集合Y的一个关系，对于每每一一个个
32、xX，有惟惟一一的yY，使得f，称关系f为函数，记为：f:XY或XYy记为f(x)f函数与关系的区别函数与关系的区别:定义域是整个集合X；一个aX只能对应于惟一的一个yY，使f(x)=y；可见:函数函数 关系关系 笛卡尔乘积笛卡尔乘积75解解(1)R1不是函数不是函数,因为元素因为元素a有有两个不同的像两个不同的像(2)R2不是函数不是函数,因为因为A中元素中元素c没有像没有像。(3)R3是函数是函数,函数的定义允许函数的定义允许多个元素共有一多个元素共有一个像个像例题设设A=a,b,c,B=0,1,判别下列二元关判别下列二元关系中哪个是函数？系中哪个是函数？(1)R1=a,0,a,1,b,0
33、,c,1。(2)R2=a,0,b,1。(3)R 3=a,0,b,1,c,1。76例题证明证明 因为任一函数因为任一函数f 是由是由A中中n 个元素的个元素的取值所取值所唯一确定唯一确定的的,A中的任一元素中的任一元素a,f 在在a处的取值都有处的取值都有m种可能种可能,所以所以A到到B可可以定义以定义 mmm=mn=|B|A|个不同的函个不同的函数数。设设|A|=n,|B|=m，X到到Y有有多多少少个个不不同同的函数？的函数？77习题解答P1514-1(2)令f:AB，已知CA，证明：f(A)-f(C)f(A-C)证明：任意任意y f(A)-f(C),xA,f(x)=y对于zC，yf(z)，即
34、xz因此xA-C故y=f(x)f(A-C)于是有：f(A)-f(C)f(A-C)78习题解答P1514-1(3)假设f和g是函数，且有fg和domgdomf，证明f=g。证明：g ，有adomgdomf故adomf，有fg，即g由于g是函数，因此a有惟一像点，于是有：=f 因此g f 已知fg，得到f=g79习题解答P1514-1(3)假设f和g是函数，且有fg和domgdomf，证明f=g。证明：用反证法：用反证法：设设fg，由已知fg得 g，但但 f由由 g，得adomgdomf故adomf，有fg，即g，由于g是函数，因此a有惟一像点，于是有：=f 与题设矛盾。与题设矛盾。因此f=g80
35、满射、入射(单射)、双射函数f:XY满射满射：yY，xX，使得f(x)=y；入射入射：x1,x2X，x1x2f(x1)f(x2)；双射双射：既是入射又是满射，也叫一一对应一一对应81入射入射入射入射入射入射入射入射82逆函数inversefunction问：函数的逆关系一定是函数吗？答：只有双射才有逆函数只有双射才有逆函数双射函数f:XY逆函数f1:YX(f 1)1=f 反函数反函数即逆函数83复合函数compositefunction函数f:XY，g:WZ若f(X)W，则：g f=|xXzZ(y)(yYy=f(x)z=g(y)称函数函数g在函数在函数f 的左边可复合的左边可复合。设R是A到B
36、的关系，S是B到C的关系，则R S称为R和S的复合关系复合关系，表示为RS=|xAzC(y)(yBRS)比较复合关系：841.证明:任意集合A、B,P(A)P(B)=(AB)2.证明:任意集合A、B,P(A)P(B)P(AB)3.任意集合A、B,P(A-B)是否等于P(A)-P(B)？4.对任意集合A、B、C,已知ACBC,A-CB-C证明:AB（提示：参考课本P89例题2结论）补充习题85补充习题5.R1、R2是非空集合A上的等价关系。问：R1R2、R1R2还是A上的等价关系吗？6.画出54因子集合上整除关系的哈斯图；画出1,2,3,4,6,9,12,18,36上整除关系的哈斯图7.下列关系
37、中哪些能够构成函数？1)、f=|x,yR且x=y22)、g=|x,yN且y为小于x的素数个数3)、f=|x,yN且x+y104)、g=|x,yR且y=x286补充习题证明：对任意集合A、B，P(A)P(B)=P(AB)证明：对任意集合A、B，P(A)P(B)P(AB)对任意集合A、B，P(A-B)是否等于P(A)-P(B)？87 证明证明 P(AB)=P(A)P(B)证明：证明：对对任意任意x P(AB)x ABx A x B x P(A)x P(B)x P(A)P(B)所以所以 P(AB)=P(A)P(B)88证明证明 对任意对任意x P(A)P(B)x P(A)x P(B)x Ax B x
38、 AB x P(AB)所以所以P(A)P(B)P(AB)；当当A B时时,P(A)P(B)；AB=B,P(A)P(B)=P(AB)证明证明 P(A)P(B)P(AB)89补充习题对任意集合A、B、C，已知ACBC，A-CB-C证明：AB提示：参考课本P89例题2结论90补充习题R1、R2是非空集合A上的等价关系，问：R1R2、R1R2还是A上的等价关系吗？R1R2还是A上的等价关系，因为交运算依然保持了其自反,对称,传递性。R1R2不是A上的等价关系，不一定传递91补充习题画出54因子集合上整除关系的哈斯图；画出1,2,3,4,6,9,12,18,36上整除关系的哈斯图12186142933692补充习题下列关系中哪些能够构成函数？1、f=|x,yR且x=y22、g=|x,yN且y为小于x的素数个数3、f=|x,yN且x+y104、g=|x,yR且y=x2解解1.f不能构成函数不能构成函数,存在存在x在在Y上有两个元素与之对应上有两个元素与之对应 2.g构成函数构成函数 3.由于由于f 仅涉及仅涉及N中的元素中的元素0,1,2,9，而，而其它元素没其它元素没有像有像,所以所以f 不是不是N上的函数。上的函数。4.g构成函数构成函数93