离散数学期末复习-等价关系和偏序关系

等价关系的定义

设 R 为非空集合上的关系. 如果 R 是自反的、对称的和传递的, 则称 R 为 A 上的等价关系. 设 R 是一个等价关系, 若<x,y>∈R, 称 x 等价于y, 记做 x～y.

等价类

定义

设R为非空集合A上的等价关系, $\forall$x∈A，令
[x]R = { y | y∈A∧xRy }
称 [x]R 为 x 关于R 的等价类, 简称为 x 的等价类, 简记为[x].

性质

设R是非空集合A上的等价关系, 则

1. $\forall$x∈A, [x] 是A的非空子集.
2. $\forall$x, y∈A, 如果 x R y, 则 [x]=[y].
3. $\forall$x, y∈A, 如果 x\Ry, 则 [x]与[y]不交.
4. ∪{ [x] | x∈A}=A，即所有等价类的并集就是A.

商集

定义：设R为非空集合A上的等价关系, 以R的所有等价类作为元素的集合称为A关于R的商集, 记做A/R, A/R = { [x]R | x∈A }

集合的划分

设A为非空集合, 若A的子集族π(π$\subseteq$P(A)) 满足下面条件：

1. $\varnothing$$\notin$π
2. $\forall$x$\forall$y(x,y∈π∧x≠y→x∩y=$\varnothing$)
3. ∪π=A

则称π是A的一个划分, 称π中的元素为A的划分块.

偏序关系

定义

非空集合A上的自反、反对称和传递的关系，称为A上的偏序关系，记作≼. 设≼为偏序关系, 如果<x, y>∈≼, 则记作 x≼y, 读作 x“小于或等于”y.

x与 y 可比：

设R为非空集合A上的偏序关系, x,y$\in$A, x与y可比 <=> x≼y ∨ y≼x.

结论：

任取两个元素x和y, 可能有下述情况：x≺y (或y≺x), x＝y, x与y不是可比的.

全序关系：

R为非空集合A上的偏序, $\forall$x,y$\in$A, x与 y 都是可比的，则称 R 为全序（或线序）

覆盖

设R为非空集合A上的偏序关系, x, y∈A, 如果 x ≺ y且不存在 z$\in$A 使得 x ≺ z ≺ y, 则称 y 覆盖x.

偏序集的特定元素

定义

设<A,≼>为偏序集, B$\subseteq$A, y∈B.

1. 若$\forall$x(x∈B→y≼x) 成立, 则称 y 为 B 的最小元.
2. 若$\forall$x(x∈B→x≼y) 成立, 则称 y 为 B 的最大元.
3. 若$\neg$$\exists$x (x∈B∧x ≺ y) 成立, 则称 y 为B的极小元.
4. 若$\neg$$\exists$x (x∈B∧y ≺ x) 成立, 则称 y 为B的极大元.

性质

• n对于有穷集，极小元和极大元必存在，可能存在多个
• n 最小元和最大元不一定存在，如果存在一定惟一
• n 最小元一定是极小元；最大元一定是极大元
• n 孤立结点既是极小元，也是极大元

定义

设<A, ≼>为偏序集, B$\subseteq$A, y$\in$A.

1. 若$\forall$x(x∈B→x≼y) 成立, 则称 y 为B的上界.
2. 若$\forall$x(x∈B→y≼x) 成立, 则称 y 为B的下界.
3. 令C＝{y | y为B的上界}, 则称C的最小元为B的最小上界 或 上确界.
4. 令D＝{y | y为B的下界}, 则称D的最大元为B的最大下界 或 下确界.

性质

n下界、上界、下确界、上确界不一定存在
n下界、上界存在不一定惟一
n下确界、上确界如果存在，则惟一
n集合的最小元就是它的下确界，最大元就是它的上确界；反之不对.