离散数学 6.特殊关系

等价关系（分类）

1. 设R是非空集合A上的关系，如果R是自反的，对称的，传递的，则称R为A上的等价关系。

2. 设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，传递

3. 设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}

4. 等价类性质
   

5. 由R确定一切等价类的集合，称为集合A上关于R的商集，记为A/R，即A/R = {[x]_R | x ∈A}

6. 同一个集合有多种不同的划分（π），不同的等价关系导出不同的划分，如以3为模和以4为模。

7. 给定集合A的一个划分π= {S1, S2,… , Sm},则由该划分确定的关系R=(S1 x S1)U(S2x S2)∪…U(SmX Sm) 是A上的等价关系。我们称该关系R为由划分π所导出的等价关系。

偏序关系（排序）

1. 设R是非空集合A上的关系，如果R是自反的，反对称的，传递的，则称R为A上的偏序关系。记为“≤”。偏序可以表示整除，恒等，包含，大于等于，小于等于。。。这些关系。

2. 如果x≤y 或y≤x , 则称x与y可比。

3. 如果x≤y 且不存在z∈A，使得x≤z≤y ，则称y覆盖x。

4. 字典排序：
   假设Σ是一个所有小写字母的集合，Σ*是包含空字的由所有字母构成的串。x = x1x2…xn , y = y1y2…yn
   <ab,bc>∈L , 即ab ≤ bc xLy
   <abc , abcd>∈L , 即abc ≤ abcd
   对字母串从左往右按照字母表的顺序比较字母的大小。

5. 哈斯图：
   取消每个结点的自环（自反性）
   取消所有由于传递性出现的边，即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的极小元.
   

6. 区别：最大元b表示在B中所有元素都比b小（所有元素都和b比较且都要小）；极大元b表示在B中没有比b大的元素。

7. 上界：对任意x ∈B,满足 x ≤ a , 则称a为B的上界。（下界相反）

8. 上确界：对于B的任何一个上界都有最小的a’≤ a ， a’称为B的上确界或最小上界。（下确界相反）
   例：在子集{6,12}中上界为{12,24,36}，上确界为{12}

9. 上界和上确界没有必然关系。

拟序关系

1. 设R是非空集合A上的关系，如果R是反自反的和传递的，则称R为A上的拟序关系。记为“<”
2. R是集合A上的偏序关系，则R - I_A是A上的拟序关系;
   S是集合A上的拟序关系，则S∪I_A是A上的偏序关系.
3. 设<A , ≤ >是一个偏序关系，若对任意x,y ∈A ， x与都是可比的都有关系，则称关系“≤”为全序关系（全序集）。
4. 全序关系的哈斯图将元素排列成一条线。
5. 设<A ,≤ >是全序集 ， 若A的任何一个非空子集都有最小元素，则称“≤”为良序关系。
6. 良序关系一定是全序关系， 有限全序集一定是良序集。
7. 函数和关系的差别：
   数量不同：从A到B的不同关系有2^|A|x|B|个，从A到B的不同函数却仅有|B|^|A|个。
   基数不同：每个关系基数可以从0到|A|x|B| , 每个函数的基数都为|A|个。
   第一元素存在差别：关系的第一个元素可以相同，函数的第一元素一定互不相同。
8. 设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| )
9. 复合函数：设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也是一样。
10. ** 逆函数**：设f:A→B是函数, f^-1 ={<y,x>|x∈A,y∈B,y= f(x)}是从B到A的函数，
    - 当且仅当f是双射，此时f^-1也是双射。
    - f o f^-1 = I_A； f^-1 o f = I_B