离散数学课件 chap2 关系.pptVIP

*离散数学*定理2.4.1的证明证明:(必要性)设A,≦为良序集.ⅰ)任取x,y∈A，则{x,y}有最小元x或y，于是x≦y或y≦x，故A,≦是全序集。ⅱ)任取A的非空子集B，由良序集定义知B有最小元a，显然a也是B的极小元。(充分性)设A,≦满足⑴,⑵，对A的任意非空子集B，由⑵知B有极小元a，对任意x∈B，由⑴有x≦a或a≦x，∵a是B的极小元，由x的任意性,故必有a≦x，∴a是B的最小元，因而A,≦是良序集。*离散数学*(接上页)定理2.2.6的证明(c)设S是A上一个传递关系，且R?S,下证R*?S.任取x,y∈R*,则必有正整数n,使得x,y∈Rn,若n=1，则x,y∈R?S,即x,y∈S；若n1，则有z1,???,zn-1，使xRz1,z1Rz2,???,zn-2Rzn-1,zn-1Ry，由于S具有传递性，且R?S,所以,x,z2∈S，x,z3∈S，???，x,y∈S，故R*?S。综上证得（3）成立。*离散数学*A为有限集时,求关系的传递闭包定理2.2.7设A为n个元素的集合，R是定义在A上的