第四部分二元关系和函数学习课件.pptVIP

3.商集 定义:设R为非空集合A上的等价关系,以R的不交的等价类为元素的集合叫做A在R下的商集,记作A/R. 即A/R={[x]R|x∈A} 如:例4.11中,A在R下的商集为A/R={{1,4,7},{2,5,8},{3,6}} 4.划分 定义:设A是非空集合,如果存在一个A的子集族π(π?P(A)) 满足以下条件 (1) φ π (2) π中任意两个元素不交, (3) π中所有元素的并集等于A, 则称π为A的一个划分,且称π中的元素为划分块. 例4.14考虑集合A={a,b,c,d}的下列子集族 (1){{a},{b,c},{d}} (2){{a,b,c,d}} (3){{a,b},{c},{a,d}} (4){φ,{a,b},{c,d}} (5){{a},{b,c}} 则有(1)(2)都是A的划分,(3)(4)(5)不是A的划分. 注)所有等价类的集合,即商集A/R,就是A的一个划分,称为由R所诱导的划分. 例4.15 设A={1,2,3},求出A上所有的等价关系 解:A的所有划分 π1={{1,2,3}} π2={{1},{2,3}} π3={{2},{1,3}} π4={{3},{1,2}} π5={{1},{2},{3}} 对应划分πi的等价关系为Ri (i=1,2,3,4,5); IA={1,1,2,2,3,3} R1=IA∪{1,2,2,1,1,3,3,1,2,3,3,2} R2=IA∪{2,3,3,2} R3=IA∪{1,3,3,1} R4=IA∪{1,2,2,1} R5=IA 二.偏序关系 1.偏序关系:设R为非空集合A上的关系, 如果R是自反的,反对称的和传递的, 则称R为A上的偏序关系,简称偏序,记作≤ 例如:任何集合A上的恒等关系,集合的幂集P(A)上的包含关系, 实数集上的小于等于关系,正整数集上的整除关系, 都是偏序关系. 例:集合A={1,2,3}上的大于等于关系,是A的偏序关系 即 ≤={3,3,3,2,3,1,2,2,2,1,1,1} 所以有3≤2.2≤2.3≤1表示3,2,2,2,3,1属于偏序≤; 2.偏序集 一个集合A与A上的偏序关系R一起叫做偏序集;记作A,R. 例如:Z,R≤ 其中R≤表示通常数小于等于关系, P(A),R? 其中R?表示集合的包含关系 都是偏序集. 3.可比与盖住 设A,≤为偏序集,?x,y∈A,如果x≤y或y≤x成立, 则称x与y是可比的. 如果x＜y(即x≤y∧x≠y),且不存在z∈A,使xzy,则称y盖住x. 例如:A,≤是偏序集,其中A={1,2,3,4,5},≤是整除关系, 有1与1,2,3,4,5是可比的,2,3,5盖住1,4盖住2. 4不能盖住1。 4.全序关系和全序集 设A,≤ 为偏序集,若 ?x,y∈A,x和y都可比, 则称≤为A上的全序关系,且称A,≤为全序集. 例如:A={1,2,3,4,5}上的小于等于关系是全序关系, 而整除关系不是全序关系. 5.哈斯图 例4.16画出{1,2,…,12},R整除和P({a,b,c},R?哈斯图. 例4.17设偏序集A,≤的哈斯图如图所示, 求出集合A的偏序≤. 解:A={a,b,c,d,e,f,g,h} ≤={a,c,a,d,a,e,b,c,b,d,b,e,c,e,d,e, f,g}∪IA * * 第4章 二元关系和函数 4.2 关系的运算 4.1 集合的笛卡儿积与二元关系 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数 4.1 集合的笛卡儿积与二元关系 一.集合的笛卡儿积 1.定义:设A,B为集合,则A和B的笛卡儿积为 A×B={x,y|x∈A∧y∈B} 其中x,y叫做有序对或序偶; 例如:A={a,b},B={0,1,2},则 A×B={a,0,a,1,a,2,b,0,b,1,b,2} B×A={0,a,0,b,1,a,1,b,2,a,2,b} 说明:①如果A中有m个元素,B中有n个元素,则A×B和B×A中都有m*n个元素; ②若x,y∈A×B,则有 x∈A且y∈B 若x,y A×B,则有 x A或y B 2.性质:① φ×B=A×φ=φ ②若 A≠B且A≠φ,B≠φ,则A×B≠B×A ③若A≠φ,B≠φ,C≠φ,则(A×B)×C≠A×(B×C)