第二章 等价关系.pptVIP

第2章 关系 定义2.15：字典次序关系：?是字母表,?上的偏序关系?是线性次序关系,建立??上的字典次序关系： 设x=x1, x2 ,…xn , y= y1,y2,…ym,它是?上的两个字,即x,y???,而x1, x2 ,…xn , y1,y2,…ym??。对x与y可以建立字典次序关系“?”： (1)x1?y1且x1≤y1,则说x≤y,如y1≤x1则说y≤x； (2)如存在一个最大的k,有k＜min(n,m),使得x1＝y1,x2＝y2,…,xk＝yk,而xk＋1?yk+1如xk＋1≤yk＋1则说x≤y,如yk＋1≤xk＋1 则说y≤x； (3)如存在一个最大k,有k＝min (n,m),使得x1＝y1,x2＝y2,…,xk＝yk,此时如n≤m则说x≤y；如m≤n则说y≤x。 第2章 关系 例：在英语字典中可建立字典次序关系。首先建 立英语字母表?={a,b,c,……,x,y,z},在?中建立 线性次序“?”,即a≤b,b≤c,…,y≤z。而所有英语 单字都在??中。在英语中的任两个单词均可以建 立一个线性次序称字典次序,如 be≤bed,bed≤belong 等等。 例：在计算机的二进制数表示中可以建立字典次序关系。首先建立?={0,1},?上的偏序关系为：0?1。而所有二进制数都在??中。这样,二进制数可以按线性次序排列之,如有：0≤1,100≤101,001≤011,等等。 第2章 关系 4.拟序关系 拟序关系是一种次序关系。它是一种满足反自反、反对称与传递的关系。 定义2.16：拟序关系：集合S上的关系R如是反自反的、反对称的及传递的,则称R是S上的拟序的或称R是S上的拟序关系。 一般可用符号“?”表示拟序。 例：实数上的“?”关系是拟序关系。 例：集合S所组成的?(S)上的关系“?“是拟序关系。 第2章 关系 偏序关系与拟序关系间存在着一定的关联,它们可 用下面的定理表示之。 定理2.5：设有集合S上的关系R,则有： (1)如R是拟序关系则r(R)=R?IS是偏序关系； (2)如R是偏序关系则R—IS是拟序关系。 2.5.2 等价关系 定义2.17：等价关系：集合S上的关系R如果是自反 的、对称的及传递的,则称R为等价关系。 例：中国人的姓氏集合上的“同姓”关系是等价关 系。 例：三角形集合上的“相似”关系是等价关系。 例：整数集Z上的“模3同余”关系是等价关系,推而广 之,Z上的“模m同余”关系是等价关系。 第2章 关系 例：集合S={1,2,3,4,5,6,7,8,9}上的模3同余关系R 是等价关系。这个关系可以表示如下： R={(x,y)|x=y(mod3),x,y?s} R={(1,1),(1,4),(1,7),(2,2),(2,5),(2,8),(3,3),(3,6),(3,9),(4,1),(4,4),(4,7),(5,2),(5,5),(5,8),(6,3),(6,6),(6,9), (7,1),(7,4),(7,7),(8,2),(8,5),(8,8),(9,3),(9,6),(9,9)} 第2章 关系 例：上例中S上的模3同余关系R是等价关系,它可用下面的图示法表示之。 集合S上的同姓关系构成等价关系。 S={王五，王宁章，王广益，徐飞，徐味青， 李益中} 第2章 关系 定义2.18：等价类：设有集合S上的等价关系R,对任一个x?S可以构作一个S的子集 如下： 可称为x对于R的等价类简称类,也可简记为[x]。 例：[1]={1,4,7},[2]={2,5,8}, [3]={3,6,9} 分别为S={1,2,3,4,5,6,7,8,9}上的三个类,它们具有相同等价特性,即分别为余数=1,2,0的模3同余关系。即R有三个等价类： [1]=[4]=[7]={1,4,7} [2]=[5]=[8]={2,5,8} [3]=[6]=[9]={3,6,9} 第2章 关系 划分与块：集合S及它的子集S1,S2,…,Sn如果满足下 列条件： (1)所有Si间均是相离的。即对所有i,j如i?j则： Si?Sj=?； (2)S1∪S2∪…∪Sn=S。 则称A={ S1,S2,…,Sn}为S的一个划分,而Si (i=1,2,…,n)则称为这个划分的块。 定理2.6：集合S上的等价关系R所构成的类产生一个S的划分,它们是S中的块。这个划分叫S关于R的商集,它可记