第五章 特殊关系
5.1 等价关系 Equivalence Relations
公平性
归类分析的思想
-
定义: R : A → A R:A\rightarrow A R:A→A, R R R 同时具有自反性,对称性和传递性时,称 R R R 是 A A A 上的等价关系。
例 \color{White}\colorbox{Fuchsia}{例} 例:非等价关系有——朋友关系(无传递性),直线平行关系(无自反性)
-
同余关系:经典等价关系
- 同余式: x ≡ y ( m o d m ) x\equiv y\pmod{m} x≡y(modm),将 Z Z Z 分成 m m m 个子集。
- x , y x,y x,y 互为等价关系: R = { ( x , y ) ∣ ( x , y ∈ Z ) ∧ ( m ∣ ( x − y ) ) } R=\{(x,y)|(x,y\in Z)\land (m|(x-y))\} R={(x,y)∣(x,y∈Z)∧(m∣(x−y))}
-
等价类 Equivalence Classes:集合 A A A 满足 ∀ a ∈ A , [ a ] R = { x ∣ ( x ∈ A ) ∧ ( ( x , a ) ∈ R ) } \forall a\in A, [a]_R=\{x|(x\in A)\land ((x,a)\in R)\} ∀a∈A,[a]R={x∣(x∈A)∧((x,a)∈R)} 的子集合 [ a ] R [a]_R [a]R,简记为 [ a ] [a] [a],称作由 a a a 生成的一个 R R R 等价类。其中 R R R 为等价关系, a a a 称为代表元/生成元/典型元。
- 性质:决定了集合分割集合的聚类方式。
- 等价类不存在部分相交: ∀ a , b ∈ A , \forall a,b\in A, ∀a,b∈A, 或 [ a ] = [ b ] [a]=[b] [a]=[b],或 [ a ] ⋂ [ b ] = ∅ [a]\bigcap [b]= \emptyset [a]⋂[b]=∅.
- ⋃ a ∈ A [ a ] = A \bigcup\limits_{a\in A}[a]=A a∈A⋃[a]=A.
- 性质:决定了集合分割集合的聚类方式。
-
集合的划分:
-
定义: ∀ i , j ( i ≠ j ) \forall i,j(i\ne j) ∀i,j(i=j),有 A i ⋂ A j = ∅ , ⋂ i = 1 m A i = A A_i\bigcap A_j=\emptyset,\bigcap\limits_{i=1}^m A_i=A Ai⋂Aj=∅,i=1⋂mAi=A,称集合 S = { A 1 , A 2 , . . } S=\{A_1,A_2,..\} S={A1,A2,..} 为一个分划,其中 A i A_i Ai 为划分的块。
-
定理:非空集合上的每一个等价关系都对应一个分划,反之亦然。
证明:从等价关系定义中的自反性、对称性、传递性入手
-
5.2 偏序关系 Partical order
秩序性
比较集合的工具
-
定义: R : A → A R:A\rightarrow A R:A→A, R R R 同时具有自反性,反对称性,传递性时,称 R R R 是 A A A 上的偏序关系。记为 ⪯ \preceq ⪯(“小于等于”),序偶 < A , R > <A,R> <A,R> 称为偏序集 partially ordered set。
例 \color{White}\colorbox{Fuchsia}{例} 例:典型偏序关系 < 2 A , ⊆ > , < N + , ∣ > <2^A,\subseteq>,<N^+,|> <2A,⊆>,<N+,∣>
-
哈斯图 Hasse diagram:简化的关系图,去掉自环(自反性),箭头和有向边。若 x ⪯ y x\preceq y x⪯y,则 x x x 画在 y y y 下方(反对称性)。若 ( i , j ) (i,j) (i,j) 和 ( j , k ) (j,k) (j,k) 有边时,去掉 ( i , k ) (i,k) (i,k) (传递性)。
- 盖住关系 cover®:构成
R
R
R 的哈斯图的一个真子集。
c o v e r ( R ) = { ( X , y ) ∈ R ∣ ( ∀ t ∈ A ) [ ( t ≠ x ∧ t ≠ y ) ⟶ ( ( x , t ) ∉ R ∧ ( t , y ) ∉ R ) ] } cover(R)=\{(X,y)\in R|(\forall t\in A)[(t\ne x \land t\ne y)\longrightarrow ((x,t)\notin R\land (t,y)\notin R)] \} cover(R)={(X,y)∈R∣(∀t∈A)[(t=x∧t=y)⟶((x,t)∈/R∧(t,y)∈/R)]}
例题 \color{White}\colorbox{Fuchsia}{例题} 例题:画图,集合 A = { 2 , 3 , 6 , 12 , 24 , 36 } A=\{2,3,6,12,24,36\} A={2,3,6,12,24,36}, “ ∣ ” “|” “∣” 是 A A A 上的整除关系。
解:
- 盖住关系 cover®:构成
R
R
R 的哈斯图的一个真子集。
- 可比较的:
- 定义:设偏序集 < A , ⪯ > <A,\preceq> <A,⪯>,对 ∀ x , y ∈ A \forall x,y\in A ∀x,y∈A,若 x ⪯ y x\preceq y x⪯y 或 x ⪰ y x\succeq y x⪰y 之一成立,则称 x , y x,y x,y 是可比较的。
-
例
\color{White}\colorbox{Fuchsia}{例}
例:
- 集合
A
=
{
a
,
b
,
c
}
A=\{a,b,c\}
A={a,b,c},偏序集
<
2
A
,
⪯
>
<2^A,\preceq>
<2A,⪯> 中
则, { a } \{a\} {a}与 { a , b } \{a,b\} {a,b}是可比较的, { a } \{a\} {a}与 { b , c } \{b,c\} {b,c}是不可比较的。
- 集合
A
=
{
a
,
b
,
c
}
A=\{a,b,c\}
A={a,b,c},偏序集
<
2
A
,
⪯
>
<2^A,\preceq>
<2A,⪯> 中
5.3 全序关系
-
全序关系:偏序集 < A , ⪯ > <A,\preceq> <A,⪯> 中任意两个元素都可比较,则称 < A , ⪯ > <A,\preceq> <A,⪯> 是全序集, ⪯ \preceq ⪯ 是全序关系。
-
链:偏序集 < A , ⪯ > <A,\preceq> <A,⪯> 中的一个子集 B ⊆ A B\subseteq A B⊆A,若 < B , ⪯ > <B,\preceq> <B,⪯> 是全序子集,则称 B B B 为 A A A 中的一条链,链长度 = 链元素 - 1。
-
特殊元素:偏序集 < A , ⪯ > <A,\preceq> <A,⪯>, a a a 是 A A A 中一个元素,则称 a a a 为 A A A 中的
- 最大元 Greatest element: ∀ b ∈ A , b ⪯ a \forall b\in A,b\preceq a ∀b∈A,b⪯a
- 最小元 Least element: ∀ b ∈ A , a ⪯ b \forall b\in A,a\preceq b ∀b∈A,a⪯b
- 极大元 Maximal:不存在 b ∈ A , a ≺ b b\in A,a\prec b b∈A,a≺b( ∀ b ∈ A , b ⪯ a \forall b\in A,b\preceq a ∀b∈A,b⪯a 或 b b b与 a a a不可比较)
- 极小元 Minimal:不存在
b
∈
A
,
b
≺
a
b\in A,b\prec a
b∈A,b≺a(
∀
b
∈
A
,
a
⪯
b
\forall b\in A,a\preceq b
∀b∈A,a⪯b 或
b
b
b与
a
a
a不可比较)
有限偏序集一定存在极大元和极小元
-
子集中的概念:设 B ⊆ A , a ∈ A B\subseteq A,a\in A B⊆A,a∈A,则称 a a a 为 B B B 的
- 上界 Upper bound: ∀ b ∈ B , b ⪯ a \forall b\in B,b\preceq a ∀b∈B,b⪯a
- 下界 Lower bound: ∀ b ∈ B , a ⪯ b \forall b\in B,a\preceq b ∀b∈B,a⪯b
- 最小上界 Least upper bound: B B B 的所有上界元素 c ∈ A c\in A c∈A中,均有 a ∈ c a\in c a∈c
- 最大下界 Greatest lower bound:
B
B
B 的所有下界元素
c
∈
A
c\in A
c∈A中,均有
c
∈
a
c\in a
c∈a
(上下界均针对于子集)
例题 \color{White}\colorbox{Fuchsia}{例题} 例题: A = { x 1 , x 2 , x 3 , x 4 , x 5 } A=\{x_1,x_2,x_3,x_4,x_5\} A={x1,x2,x3,x4,x5} 上元素偏序集如图,求 B = { x 3 , x 4 , x 5 } B=\{x_3,x_4,x_5\} B={x3,x4,x5} 的八个概念。
解:
最大元 | 最小元 | 极大元 | 极小元 | 上界 | 下界 | 最小上界 | 最大下界 |
---|---|---|---|---|---|---|---|
/ | x 5 x_5 x5 | x 3 , x 4 x_3,x_4 x3,x4 | x 5 x_5 x5 | x 1 , x 2 x_1,x_2 x1,x2 | x 5 x_5 x5 | / | x 5 x_5 x5 |
- 字典次序(全序关系):根据 A S C I I ASCII ASCII 码比较字符串的字典序。
5.4 良序关系
- 良序关系:偏序集
<
A
,
⪯
>
<A,\preceq>
<A,⪯> 中任意非空子集都有最小元,则称
<
A
,
⪯
>
<A,\preceq>
<A,⪯> 是良序集,
⪯
\preceq
⪯ 是良序关系。
良序关系属于全序关系,全序关系属于偏序关系
有限全序集属于良序集
最 大 ( 小 ) 元 ⊆ “ ⪯ ” 最大(小)元\subseteq\;“\preceq” 最大(小)元⊆“⪯” 是偏序关系。 - 有限偏序集到全序集(即良序集)的转化:设
⪯
,
⪯
′
\preceq,\preceq'
⪯,⪯′ 是集合
A
A
A 上的两个偏序关系
- 关系可比较的:若
∀
a
,
b
∈
A
\forall a,b\in A
∀a,b∈A,当
a
⪯
b
a\preceq b
a⪯b 时有
a
⪯
′
b
a \preceq' b
a⪯′b,则称关系
⪯
,
⪯
′
\preceq,\preceq'
⪯,⪯′ 是可比较的。
例题 \color{White}\colorbox{Fuchsia}{例题} 例题:“整除”和“小于等于”是自然数集上两个偏序关系,且 “ ∣ ” “|” “∣” 和 “ ≤ ” “\le” “≤” 是可比较的。发现 “ ∣ ” “|” “∣” 是偏序而非全序,而 “ ≤ ” “\le” “≤” 是全序 - 拓扑排序:若关系 ⪯ , ⪯ ′ \preceq,\preceq' ⪯,⪯′ 是可比较的,且 ⪯ ′ \preceq' ⪯′ 是全序关系,则称关系 ⪯ ′ \preceq' ⪯′ 是关系 ⪯ \preceq ⪯ 的一个拓扑排序。
- 算法步骤:不断定义极小元之间的排序
- ⨀ \color{red}\bigodot ⨀ 1. 任选 < A , ⪯ > <A,\preceq> <A,⪯> 中一个极小元 x x x
- ⨀ \color{red}\bigodot ⨀ 2. 令 A = A − { x } A=A-\{x\} A=A−{x}
-
⨀
\color{red}\bigodot
⨀ 3.
w
h
i
l
e
(
A
≠
∅
)
{
while(A \ne \emptyset)\{
while(A=∅){
- 任选 A A A 中一个极小元 y y y
- 定义序关系 x ⪯ ′ y x\preceq' y x⪯′y
-
A
=
A
−
{
y
}
,
x
:
=
y
A=A-\{y\},x:=y
A=A−{y},x:=y
} \} }
- 定理:任何有限偏序集都和转变成全序集。
- 关系可比较的:若
∀
a
,
b
∈
A
\forall a,b\in A
∀a,b∈A,当
a
⪯
b
a\preceq b
a⪯b 时有
a
⪯
′
b
a \preceq' b
a⪯′b,则称关系
⪯
,
⪯
′
\preceq,\preceq'
⪯,⪯′ 是可比较的。
- 良序公理(关于整数):设 X X X 是 Z Z Z 的一个非空子集合,若存在 a ∈ Z a\in Z a∈Z,使得对所有的 b ∈ X b\in X b∈X,都有 a ≤ b a\le b a≤b,则 X X X 中必有一个最小整数。