等价关系(分类)
-
设R是非空集合A上的关系,如果R是自反的,对称的,传递的,则称R为A上的等价关系。
-
设n为正整数,整数集合Z上以n为模的同余关系 R={<x,y> | n|(x-y)},R是一个等价关系。
- 有n|(x-x),n能整除x-x, 所以<x,x>∈R,自反
- n|(x-y),因为x,y交换也能被整除,对称
- 若<x,y>∈R,<y,z>∈R,则n|(x-y),n|(y-z),可得n|(x-z),从而<x,y>∈R,传递 -
设R是非空集合A.上的等价关系,对任意x∈A,称集合[x]R= {yly∈A,<x,y>∈R}为x关于R的等价类,x为[x]R的生成元。
- 例:在集合A = {0,1,2,4,5,8,9}上定义为以4为模的同余关系中:[0]R=[4]R=[8]R = {0,4,8} -
等价类性质
-
由R确定一切等价类的集合,称为集合A上关于R的商集,记为A/R,即A/R = {[x]R | x ∈A}
-
同一个集合有多种不同的划分(π),不同的等价关系导出不同的划分,如以3为模和以4为模。
-
给定集合A的一个划分π= {S1, S2,… , Sm},则由该划分确定的关系R=(S1 x S1)U(S2x S2)∪…U(SmX Sm) 是A上的等价关系。我们称该关系R为由划分π所导出的等价关系。
偏序关系(排序)
-
设R是非空集合A上的关系,如果R是自反的,反对称的,传递的,则称R为A上的偏序关系。记为“≤”。偏序可以表示整除,恒等,包含,大于等于,小于等于。。。这些关系。
-
如果x≤y 或y≤x , 则称x与y可比。
-
如果x≤y 且不存在z∈A,使得x≤z≤y ,则称y覆盖x。
-
字典排序:
假设Σ是一个所有小写字母的集合,Σ*是包含空字的由所有字母构成的串。x = x1x2…xn , y = y1y2…yn
<ab,bc>∈L , 即ab ≤ bc xLy
<abc , abcd>∈L , 即abc ≤ abcd
对字母串从左往右按照字母表的顺序比较字母的大小。 -
哈斯图:
取消每个结点的自环(自反性)
取消所有由于传递性出现的边,即x→y , y→z则去掉x→z
重新排列每条边,使得边的箭头方向全部向上,然后去掉这些箭头,只剩下边。以上步骤得到的图称为偏序关系R的哈斯图。存在最大元和最小元。
两个元素之间没有边代表没有关系,所以会出现最大元最小元为无。
设< A,≤>是偏序集,B是A的任何一个子集,若存在元素b∈B,使得
。对任意x∈B,满足b≤x→x=b,则称b为B的极大元;。对任意x∈B,满足x≤b→x=b,则称b为B的极小元.
-
区别:最大元b表示在B中所有元素都比b小(所有元素都和b比较且都要小);极大元b表示在B中没有比b大的元素。
-
上界:对任意x ∈B,满足 x ≤ a , 则称a为B的上界。(下界相反)
-
上确界:对于B的任何一个上界都有最小的a’≤ a , a’称为B的上确界或最小上界。(下确界相反)
例:在子集{6,12}中上界为{12,24,36},上确界为{12} -
上界和上确界没有必然关系。
拟序关系
- 设R是非空集合A上的关系,如果R是反自反的和传递的,则称R为A上的拟序关系。记为“<”
- R是集合A上的偏序关系,则R - IA是A上的拟序关系;
S是集合A上的拟序关系,则S∪IA是A上的偏序关系. - 设<A , ≤ >是一个偏序关系,若对任意x,y ∈A , x与都是可比的都有关系,则称关系“≤”为全序关系(全序集)。
- 全序关系的哈斯图将元素排列成一条线。
- 设<A ,≤ >是全序集 , 若A的任何一个非空子集都有最小元素,则称“≤”为良序关系。
- 良序关系一定是全序关系, 有限全序集一定是良序集。
- 函数和关系的差别:
数量不同:从A到B的不同关系有2|A|x|B|个,从A到B的不同函数却仅有|B||A|个。
基数不同:每个关系基数可以从0到|A|x|B| , 每个函数的基数都为|A|个。
第一元素存在差别:关系的第一个元素可以相同,函数的第一元素一定互不相同。 - 设f是从集合A到B的函数
对任意x1,x2 ∈A,如果x1 ≠ x2 都有 f(x1) ≠ f(x2),则f 为从A到B的单射。(|A|≤ |B|)
如果值域中包含所有B中的元素,则称f为从A到B的满射;当且仅当 ∀y∈B,一定存在x∈A,使得f(x) =y(B中元素不能超过A即|A|≥|B|)
如果f即是单射有是满射,则称f为从A到B的双射。( |A|= |B| ) - 复合函数:设f:A→B,g: B→C是两个函数,则f与g的复合关系f o g= {<x,z>|x∈A,z∈C,∃ y∈B,使得y= f(x)且z= g(y)}是从A到C的函数,称为函数f与g的复合函数 , 记为f o g:A→C.(和关系复合区别在于f o g 是f在前,有方向,不满足交换律,且f o g(x) = g(f(x)) )
- 如果f,g都是满射或单射或双射,则f o g也是一样。 - ** 逆函数**:设f:A→B是函数, f-1 ={<y,x>|x∈A,y∈B,y= f(x)}是从B到A的函数,
- 当且仅当f是双射,此时f-1也是双射。
- f o f-1 = IA; f-1 o f = IB