离散数学知识点

商集

定义： R 是 A 上等价关系，由 R 的所有等价类构成的集合称之为 A 关于 R 的商集。记作 A/R。
A / R = { [ a ] R ∣ a ∈ A } A/R=\{[a]_R |a∈A\} A/R={ [a]R​∣a∈A}
例如， A={1,2,3,4,5,6,7} , R是A上的模3同余关系，则$ A/R= {[1]_R ,[2]_R ,[3]_R } ={ {1,4,7},{2,5},{3,6}}$

由划分确定等价关系：

若 A = { A 1 , A 2 , … , A n } A=\{A_1 ,A_2 ,…,A_n\} A={ A1​,A2​,…,An​}是X的一个划分，则可以构造一个X上的等价关系R，使得X/R=A。

构造方法：$R=A_1^2\cup A_2^2\cup ,\dots ,\cup A_n^2$ 其中$A_i^2=A_i\times A_i$

也就是每个独立子图都构成等价关系（自反、对称、传递）

相容关系

定义：给定集合 X 上的关系 r , 若 r 是自反的、对称的，则 r 是A 上相容关系。

即，刨去传递性

相容关系关系矩阵的特点：

主对角线都是1（自反性决定的）；

沿主对角线对称的元素，要么全是0，要么全是1（对称性决定的）；

相容类：设 r 是集合X上的相容关系，$C\subseteq X$，如果对于 C 中任意元素x,y有$<x,y>\in r $，称 C 是 r 的一个相容类。

最大相容类：设 r 是集合X上的相容关系，C是 r 的一个相容类，如果C不 能被其它相容类所真包含，则称C是一个最大相容类。

完全覆盖：r是中的相容关系，由r的所有最大相容类为元素 构成的集合，称之为X的完全覆盖。记作Cr(X)。

次序关系

偏序关系(partial order relation)