离散数学学习笔记【第二篇】

本文所有内容来自上海科学技术文献出版社《离散数学》第二篇。

第二篇 集合论

第三章 集合与关系

3-1 集合的概念和表示法

一般来说，把具有共同性质的一些东西，汇集成一个整体，就形成一个集合。
通常用大写英文字母表示集合的名称；用小写英文字母表示组成集合的事物，即元素。
若元素 $a$ 属于集合 $A$ ，记作 $a\in A$ ，否则记作 $a\notin A$ 。
一个集合，若其元素个数是有限的，则称作有限集，否则称为无限集。

说明集合的方法有两种：
一种是将某集合的元素列举出来，称作列举法。
另一种是利用一项规则，以便决定某一物体是否属于该集合，称作叙述法。

外延性定理
两个集合是相等的，当且仅当它们有相同的成员。

定义 3 - 1.1
设 $A,B$ 是任意两个集合，假如 $A$ 的每一个元素是 $B$ 的成员，则称 $A$ 是 $B$ 的子集，或 $A$ 包含在 $B$ 内，或 $B$ 包含 $A$ 。记作 $A\subseteq B$ ，或 $B\supseteq A$ ，即有$$A\subseteq B\iff \forall x(x\in A\to x\in B)$$根据子集的定义，显然其具有自反性和传递性。

定理 3 - 1.1
集合 $A$ 和集合 $B$ 相等的充分必要条件是这两个集合互为子集。

定义 3 - 1.2
如果集合 $A$ 的每一个元素都属于 $B$ ，但集合 $B$ 中至少有一个元素不属于 $A$ ，则称 $A$ 为 $B$ 的真子集，记作 $A\subset B$ 。

定义 3 - 1.3
不包含任何元素的集合是空集，记作 $\varnothing$ 。

定理 3 - 1.2
对于任意一个集合 $A$ ， $\varnothing \subseteq A$ 。

定义 3 - 1.4
在一定范围内，如果所有集合均为某一集合的子集，则称该集合为全集，记作 $E$ 。全集的概念相当于论域。

定义 3 - 1.5
给定集合 $A$ ，由集合 $A$ 的所有子集为元素组成的集合，称为集合 $A$ 的幂集，记作 $\mathcal{P}(A)$ 。

定理 3 - 1.3
如果有限集合 $A$ 有 $n$ 个元素，则其幂集 $\mathcal{P}(A)$ 有 $2^n$ 个元素。

可以引进一种编码来唯一地表示有限集幂集的元素，一般地 P ( S ) = { S i ∣ i ∈ J } J = { i ( 2 ) ∣ 000 ⋯ 0 ⏞ n ⩽ i ⩽ 111 ⋯ 1 ⏞ n } \mathscr{P}(S)=\{S_i\vert i \in J\} \\ J=\{i_{(2)}\vert \overbrace{000\cdots0}^{n} \leqslant i \leqslant \overbrace{111\cdots1}^{n}\} P(S)={Si​∣i∈J}J={i(2)​∣000⋯0 n⩽i⩽111⋯1 n}

3-2 集合的运算

（1）集合的交

定义 3 - 2.1
设任意两个集合 $A$ 和 $B$ ，由集合 $A$ 和 $B$ 所有共同元素组成的集合 $S$ ，称为 $A$ 和 $B$ 的交集，记作 $A\cap B$ 。

（2）集合的并

定义 3 - 2.2
设任意两个集合 $A$ 和 $B$ ，所有属于 $A$ 或属于 $B$ 的元素组成的集合 $S$ ，称为 $A$ 和 $B$ 的并集，记作 $A\cup B$ 。

定理 3 - 2.1
设 $A,B,C$ 为任意三个集合，则下列分配律成立。
a) $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$ 。
b) $A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$ 。

定理 3 - 2.2
设 $A,B$ 为任意两个集合，则下列吸收律成立。
a) $A\cup (A\cap B)=A$ 。
b) $A\cap (A\cup B)=A$ 。

定理 3 - 2.3
$A\subseteq B$ ，当且仅当 $A\cup B=B$ 或 $A\cap B=A$ 。

（3）集合的补

定义 3 - 2.3
设任意两个集合 $A$ 和 $B$ ，所有属于 $A$ 而不属于 $B$ 的元素组成的集合 $S$ ，称为 $B$ 对于 $A$ 的补集，或相对补，记作 $A-B$ ，也称集合 $A$ 和 $B$ 的差。

定义 3 - 2.4
设 $E$ 为全集，对任一集合 $A$ 关于 $E$ 的补 $E-A$ ，称为集合 $A$ 的绝对补，记作 $\sim A$ 或 $\overline{A}$ 。

定理 3 - 2.4
设 $A,B$ 为任意两个集合，则下列关系式成立。
a) $\sim (A\cup B)=\sim A\cap \sim B$ 。
b) $\sim (A\cap B)=\sim A\cup \sim B$ 。

定理 3 - 2.5
设 $A,B$ 为任意两个集合，则下列关系式成立。
a) $A-B=A\cap \sim B$ 。
b) $A-B=A-(A\cap B)$ 。

定理 3 - 2.6
设 $A,B,C$ 为三个集合，则$$A\cap (B-C)=(A\cap B)-(A\cap C)$$

定理 3 - 2.7
设 $A,B$ 为任意两个集合，若 $A\subseteq B$，则
a) $\sim B\subseteq A$ 。
b) $(B-A)\cup A=B$ 。

（4）集合的对称差

定义 3 - 2.5
设 $A,B$ 为任意两个集合， $A$ 和 $B$ 的对称差为集合 $S$ ，其元素或属于 $A$ ，或属于 $B$ ，但不能既属于 $A$ 又属于 $B$ ，记作 $A\oplus B$ 。

对称差满足以下性质：
a) $A\oplus B=B\oplus A$ 。
b) $A\oplus \varnothing =A$ 。
c) $A\oplus A=\varnothing$ 。
d) $A\oplus B=(A\cap \sim B)\cup (\sim A\cap B)$ 。
e) $(A\oplus B)\oplus C=A\oplus (B\oplus C)$ 。

3-3 包含排斥原理

设 $A_1,A_2$ 为有限集合，其元素个数分别记为 $|A_1|$ ， $|A_2|$ ，根据集合运算的定义，显然以下各式成立。
$$\begin{gathered} |A_1\cup A_2|⩽|A_1|+|A_2| \\ |A_1\cap A_2|⩽\min (|A_1|,|A_2|) \\ |A_1-A_2|⩾|A_1|-|A_2| \\ |A_1\oplus A_2|=|A_1|+|A_2|-2|A_1\cap A_2| \end{gathered}$$

定理 3 - 3.1
设 $A_1,A_2$ 为有限集合，其元素个数分别为 $|A_1|,|A_2|$ ，则 $|A_1\cup A_2|=|A_1|+|A_2|-|A_1\cap A_2|$ 。

定理 3 - 3.2
设 $A_1,A_2,\cdots ,A_n$ 为有限集合，其元素个数分别为 $|A_1|,|A_2|,\cdots ,|A_n|$ ， 则 $$\begin{array}{rl}|A_1\cup A_2\cup \cdots \cup A_n|& =\sum _{i=1}^n|A_i|-\sum _{1⩽i<j⩽n}|A_i\cap A_j|\\ & +\sum _{1⩽i<j<k⩽n}|A_i\cap A_j\cap A_k|\\ & +\cdots +(-1{)}^{n-1}|A_1\cap A_2\cap \cdots \cap A_n|\end{array}$$

3-4 序偶与笛卡尔积

序偶可以看作是具有两个元素的集合。但它与一般集合不同的是序偶具有确定的次序。

定义 3 - 4.1
两个序偶相等， $⟨x,y⟩=⟨u,v⟩$ ， $\text{iff }x=u,y=v$ 。

序偶的概念可以推广到三元组的情况。三元组也是一个序偶，其第一元素本身也是序偶，可形式化表示为 $⟨⟨x,y⟩,z⟩$ 。今后约定，三元组可记作 $⟨x,y,z⟩$ 。

由此可定义 $n$ 元组，简写为 $⟨x_1,x_2,\cdots ,x_n⟩$ ，第 $i$ 个元素 $x_i$ 称作 $n$ 元素组的第 $i$ 个坐标。

定义 3 - 4.2
令 $A$ 和 $B$ 是任意两个集合，若序偶的第一个成员是 $A$ 的元素，第二个成员是 $B$ 的元素，所有这样的序偶集合，称为集合 $A$ 和 $B$ 的笛卡尔乘积或直积，记作 $A\times B$ 。 A × B = { ⟨ x , y ⟩ ∣ ( x ∈ A ) ∧ ( y ∈ B ) } A \times B = \{\langle x,y \rangle \vert (x \in A)\wedge(y \in B)\} A×B={⟨x,y⟩∣(x∈A)∧(y∈B)}

定理 3 - 4.1
设 $A,B,C$ 为任意三个集合，则以下分配律成立：
a) $A\times (B\cup C)=(A\times B)\cup (A\times C)$
b) $A\times (B\cap C)=(A\times B)\cap (A\times C)$
c) $(A\cup B)\times C=(A\times C)\cup (B\times C)$
d) $(A\cap B)\times C=(A\times C)\cap (B\times C)$

定理 3 - 4.2
若 $C̸=\varnothing$ ，则 $$A\subseteq B\iff (A\times C\subseteq B\times C)\iff (C\times A\subseteq C\times B)$$

定理 3 - 4.3
设 $A,B,C,D$ 为四个非空集合，则 $$A\times B\subseteq C\times D$$ 的充要条件为 $A\subseteq C,B\subseteq D$ 。

特别地， $A\times A$ 可以写成 $A^2$ ，同样地， $\stackrel{n}{\overbrace{A\times A\times \cdots \times A}}=A^n$ 。

3-5 关系及其表示

定义 3 - 5.1
任意序偶的集合确定了一个二元关系 $R$ ， $R$ 中任一序偶 $⟨x,y⟩$ 可记作 $⟨x,y⟩\in R$ 或 $xRy$ 。不在 $R$ 中的任一序偶 $⟨x,y⟩$ 可记作 $⟨x,y⟩\notin R$ 或 $x\text{}Ry$ 。

定义 3 - 5.2
令 $R$ 为二元关系，由 $⟨x,y⟩\in R$ 的所有 $x$ 组成的集合 $\text{dom }R$ 称为 $R$ 的前域，即 dom  R = { x ∣ ( ∃ y ) ( ⟨ x , y ⟩ ∈ R ) } \text{dom }R=\{x\vert(\exist y)(\langle x,y \rangle \in R)\} dom R={x∣(∃y)(⟨x,y⟩∈R)} 使 $⟨x,y⟩\in R$ 的所有 $y$ 组成的集合 $\text{ran }R$ 称作 $R$ 的值域，即 ran  R = { y ∣ ( ∃ x ) ( ⟨ x , y ⟩ ∈ R ) } \text{ran }R=\{y\vert(\exist x)(\langle x,y \rangle \in R)\} ran R={y∣(∃x)(⟨x,y⟩∈R)} $R$ 的前域和值域一起称作 $R$ 的域，记作 $\text{FLD }R$ ，即 $$\text{FLD }R=\text{dom }R\cup \text{ran }R$$

定义 3 - 5.3
令 $X$ 和 $Y$ 是任意两个集合，直积 $X\times Y$ 的子集 $R$ 称作 $X$ 和 $Y$ 的关系。

我们今后把 $X\times Y$ 的两个平凡子集 $X\times Y$ 和 $\varnothing$ ，分别称为 $X$ 到 $Y$ 的全域关系和空关系。

当 $X=Y$ 时，关系 $R$ 是 $X\times X$ 的子集，这时称 $R$ 为在 $X$ 上的二元关系。

定义 3 - 5.4
设 $I_X$ 是 $X$ 上的二元关系且满足 I X = { ⟨ x , x ⟩ ∣ x ∈ X } I_X=\{\langle x,x \rangle \vert x \in X \} IX​={⟨x,x⟩∣x∈X} ，则称 $I_X$ 是 $X$ 上的恒等关系。

定理 3 - 5.1
设 $Z$ 和 $S$ 是从集合 $X$ 到集合 $Y$ 的两个关系，则 $Z,S$ 的并、交、补、差仍是 $X$ 到 $Y$ 的关系。

有限集的二元关系亦可用图形来表示，设集合 X = { x 1 , x 2 , ⋯ &ThinSpace; , x m } X=\{x_1,x_2,\cdots,x_m\} X={x1​,x2​,⋯,xm​} 到 Y = { y 1 , y 2 , ⋯ &ThinSpace; , y n } Y=\{y_1,y_2,\cdots,y_n\} Y={y1​,y2​,⋯,yn​} 上的一个二元关系为 $R$ ，首先我们在平面上作出 $m$ 个结点分别记作 $x_1,x_2,\cdots ,x_m$ ，然后另外作 $n$ 个结点分别记作 $y_1,y_2,\cdots ,y_n$ 。如果 $x_{i}R{y}_j$ ，则可自结点 $x_i$ 至结点 $y_j$ 处作一有向弧，其箭头指向 $y_j$ ，否则， $x_i$ 与 $y_j$ 间没有线段联结。这种方法联结起来的图就称为 $R$ 的关系图。

3-6 关系的性质

定义 3 - 6.1
设 $R$ 为定义在集合 $X$ 上的二元关系，如果对于每个 $x\in X$ ，有 $xRx$ ，则称二元关系 $R$ 是自反的。

定义 3 - 6.2
设 $R$ 为定义在集合 $X$ 上的二元关系，如果对于每个 $x,y\in X$ ，每当 $xRy$ ，就有 $yRx$ ，则称集合 $X$ 上关系 $R$ 是对称的。

定义 3 - 6.3
设 $R$ 为定义在集合 $X$ 上的二元关系，如果对于每个 $x,y,z\in X$ ，每当 $xRy,yRz$ ，就有 $xRz$ ，则称集合 $X$ 上关系 $R$ 是传递的。

定义 3 - 6.4
设 $R$ 为定义在集合 $X$ 上的二元关系，如果对于每个 $x\in X$ ，都有 $⟨x,x⟩\notin R$ ，则 $R$ 称作反自反的。

应该注意，一个不是自反的关系，不一定就是反自反的。

定义 3 - 6.5
设 $R$ 为定义在集合 $X$ 上的二元关系，如果对于每个 $x,y\in X$ ，每当 $xRy$ 和 $yRx$ 必有 $x=y$ ，则称 $R$ 在 $X$ 上是反对称的。

注意，可能有某种关系，既是对称的，又是反对称的。

（这里还介绍了关系矩阵的相关性质）

3-7 复合关系和逆关系

定义 3 - 7.1
设 $R$ 为 $X$ 到 $Y$ 的关系， $S$ 为从 $Y$ 到 $Z$ 的关系，则 $R\circ S$ 称为 $R$ 和 $S$ 的复合关系，表示为 R ∘ S = { ⟨ x , z ⟩ ∣ x ∈ X ∧ z ∈ Z ∧ ( ∃ y ) ( y ∈ Y ∧ ⟨ x , y ⟩ ∈ R ∧ ⟨ y , z ⟩ ∈ S ) } R \circ S = \{ \langle x,z \rangle \vert x \in X \wedge z \in Z \wedge (\exist y)(y \in Y \wedge \langle x,y \rangle \in R \wedge \langle y,z \rangle \in S) \} R∘S={⟨x,z⟩∣x∈X∧z∈Z∧(∃y)(y∈Y∧⟨x,y⟩∈R∧⟨y,z⟩∈S)} 通过 $R$ 和 $S$ 求 $R\circ S$ 称为关系的合成运算。

关系 $R$ 本身所组成的复合关系可以写成： $R\circ R,R\circ R\circ R,\cdots ,\stackrel{m}{\overbrace{R\circ R\circ \cdots \circ R}}$ ，分别记作 $R^{(2)},R^{(3)},\cdots ,R^{(m)}$ ，一般地， $R^{(m-1)}\circ R=R^{(m)}$ 。

设 $M_{R\circ S}$ 为表示复合关系 $R\circ S$ 的矩阵。则有 $$M_{R\circ S}=M_R\circ M_S=[w_{ik}]$$ 其中 $$w_{ik}=\underset{j=1}{\overset{n}{\bigvee }}(u_{ij}\wedge v_{jk})$$ 式中 $\vee$ 代表逻辑加， $\wedge$ 代表逻辑乘。

定义 3 - 7.2
设 $R$ 为 $X$ 到 $Y$ 的二元关系，如将 $R$ 中每一序偶的元素顺序互换，所得到的集合称为 $R$ 的逆关系。记作 $R_c$ ，即 R c = { ⟨ y , x ⟩ ∣ ⟨ x , y ⟩ ∈ R } R_c=\{\langle y,x \rangle\vert\langle x,y \rangle\in R\} Rc​={⟨y,x⟩∣⟨x,y⟩∈R}显然逆关系具有自反性。

定理 3 - 7.1
设 $R,R_1$ 和 $R_2$ 都是从 $A$ 到 $B$ 的二元关系，则下列各式成立。
a) $(R_1\cup R_2{)}^c=R_1^c\cup R_2^c$ 。
b) $(R_1\cap R_2{)}^c=R_1^c\cap R_2^c$ 。
c) $(A\times B{)}^c=B\times A$ 。
d) $(\overline{R}{)}^c=\overline{R^c}$ ，这里 $\overline{R}=A\times B-R$ 。
e) $(R_1-R_2{)}^c=R_1^c-R_2^c$ 。

定理 3 - 7.2
设 $T$ 为从 $X$ 到 $Y$ 的关系， $S$ 为从 $X$ 到 $Y$ 的关系，则 $(T\circ S{)}^c=S^c\circ T^c$ 。

定理 3 - 7.3
设 $R$ 为 $X$ 上的二元关系，则
a) $R$ 是对称的，当且仅当 $R=R^c$ 。
b) $R$ 是反对称的，当且仅当 $R\cap R^c\subseteq I_X$ 。

3-8 关系的闭包运算

定义 3 - 8.1
设 $R$ 是 $X$ 上的二元关系，如果有另一个关系 $R^{\prime }$ 满足：
a) $R^{\prime }$ 是自反的（对称的，可传递的）。
b) $R^{\prime }\supseteq R$ 。
c) 对于任何自反的（对称的，可传递的）关系 $R^{\prime \prime }$ ，如果有 $R^{\prime \prime }\supseteq R$ ，就有 $R^{\prime \prime }\supseteq R^{\prime }$ 。则称关系 $R^{\prime }$ 为 $R$ 的自反（对称、传递）闭包。记作 $r(R)$ （ $s(R)$ ， $t(R)$ ）。

（笔者按：这里的三个字母分别是reverse、symmetric和transmit的首字母。）

定理 3 - 8.1
设 $R$ 是 $X$ 上的二元关系，那么
a) $R$ 是自反的，当且仅当 $r(R)=R$ 。
b) $R$ 是对称的，当且仅当 $s(R)=R$ 。
c) $R$ 是传递的，当且仅当 $t(R)=R$ 。

定理 3 - 8.2
设 $R$ 是集合 $X$ 上的二元关系，则 $r(R)=R\cup I_X$ 。

定理 3 - 8.3
设 $R$ 是 $X$ 上的二元关系，则 $s(R)=R\cup R^c$ 。

定理 3 - 8.4
设 $R$ 是 $X$ 上的二元关系，则 $t(R)=\bigcup _{i=1}^{\infty }{R}^i=R^{+}$ 。

定理 3 - 8.5
设 $X$ 是含有 $n$ 个元素的集合， $R$ 是 $X$ 上的二元关系，则存在一个正整数 $k⩽n$ ，使得 $t(R)=\bigcup _{i=1}^k{R}^i$ 。

定理 3 - 8.6
设 $X$ 是集合， $R$ 是 $X$ 上的二元关系，则
a) $rs(R)=sr(R)$ 。
b) $rt(R)=tr(R)$ 。
c) $ts(R)\supseteq st(R)$ 。

3-9 集合的划分和覆盖

定义 3 - 9.1
令 $A$ 为给定非空集合， S = { S 1 , S 2 , ⋯ &ThinSpace; , S m } S=\{S_1,S_2,\cdots,S_m\} S={S1​,S2​,⋯,Sm​} ，其中 $S_i\subseteq A,S_i̸=\varnothing (i=1,2,\cdots ,m)$ 且 $\bigcup _{i=1}^m{S}_i=A$ ，集合 $S$ 称作集合 $A$ 的覆盖。如果除以上条件外，还另有 $S_i\cap S_j=\varnothing (i̸=j)$ ，则称 $S$ 是 $A$ 的划分。

定义 3 - 9.2
若 { A 1 , A 2 , ⋯ &ThinSpace; , A r } \{A_1,A_2,\cdots,A_r\} {A1​,A2​,⋯,Ar​} 与 { B 1 , B 2 , ⋯ &ThinSpace; , B s } \{B_1,B_2,\cdots,B_s\} {B1​,B2​,⋯,Bs​} 是同一集合 $A$ 的两种划分，则其中所有 $A_i\cap B_j̸=\varnothing$ 组成的集合，称为是原来两种划分的交叉划分。

定理 3 - 9.1
设 { A 1 , A 2 , ⋯ &ThinSpace; , A r } \{A_1,A_2,\cdots,A_r\} {A1​,A2​,⋯,Ar​} 与 { B 1 , B 2 , ⋯ &ThinSpace; , B s } \{B_1,B_2,\cdots,B_s\} {B1​,B2​,⋯,Bs​} 是同一集合 $X$ 的两种划分，则其交叉划分亦是原集合的一种划分。

定义 3 - 9.3
给定 $X$ 的任意两个划分 { A 1 , A 2 , ⋯ &ThinSpace; , A r } \{A_1,A_2,\cdots,A_r\} {A1​,A2​,⋯,Ar​} 和 { B 1 , B 2 , ⋯ &ThinSpace; , B s } \{B_1,B_2,\cdots,B_s\} {B1​,B2​,⋯,Bs​} ，若对于每一个 $A_j$ 均有 $B_k$ 使 $A_j\subseteq B_k$ ，则 { A 1 , A 2 , ⋯ &ThinSpace; , A r } \{A_1,A_2,\cdots,A_r\} {A1​,A2​,⋯,Ar​} 称为是 { B 1 , B 2 , ⋯ &ThinSpace; , B s } \{B_1,B_2,\cdots,B_s\} {B1​,B2​,⋯,Bs​} 的加细。

定理 3 - 9.2
任意两种划分的交叉划分，都是原来各划分的一种加细。

3-10 等价关系与等价类

定义 3 - 10.1
设 $R$ 为定义在集合 $A$ 上的一个关系，若 $R$ 是自反的，对称的和传递的，则称 $R$ 是等价关系。

定义 3 - 10.2
设 $R$ 为定义在集合 $A$ 上的等价关系，对任何 $a\in A$ ，集合 [ a ] R = { x ∣ x ∈ A , a R x } [a]_R = \{ x \vert x \in A , aRx \} [a]R​={x∣x∈A,aRx} 称为元素 $a$ 形成的 $R$ 等价类。

定理 3 - 10.1
设给定集合 $A$ 上的等价关系 $R$ ，对于 $a,b\in A$ ，有 $aRb$ 当且仅当 $[a{]}_R=[b{]}_R$ 。

定义 3 - 10.3
集合 $A$ 上的等价关系 $R$ ，其等价类集合 { [ a ] R ∣ a ∈ A } \{ [a]_R \vert a \in A \} {[a]R​∣a∈A} 称作 $A$ 关于 $R$ 的商集，记作 $A/R$ 。

定理 3 - 10.2
集合 $A$ 上的等价关系 $R$ ，决定了 $A$ 的一个划分，该划分就是商集 $A/R$ 。

定理 3 - 10.3
集合 $A$ 的一个划分确定 $A$ 的元素间的一个等价关系。

定理 3 - 10.4
设 $R_1$ 和 $R_2$ 为非空集合 $A$ 上的等价关系，则 $R_1=R_2$ ，当且仅当 $A/R_1=A/R_2$ 。

3-11 相容关系

定义 3 - 11.1
给定集合 $A$ 上的关系 $r$ ，若 $r$ 是自反的，对称的，则称 $r$ 是相容关系。

定义 3 - 11.2
设 $r$ 是集合 $A$ 上的相容关系，若 $C\subseteq A$ ，如果对于 $C$ 中的任意两个元素 $a_1,a_2$ 有 $a_{1}r{a}_2$ ，称 $C$ 是由相容关系 $r$ 产生的相容类。

定义 3 - 11.3
设 $r$ 是集合 $A$ 上的相容关系，不能真包含在任何其他相容类中的相容类，称作最大相容类。记作 $C_r$ 。

定理 3 - 11.1
设 $r$ 是有限集 $A$ 上的相容关系， $C$ 是一个相容类，那么必存在一个最大相容类 $C_r$ ，使得 $C\subseteq C_r$ 。

定义 3 - 11.4
在集合 $A$ 上给定相容关系 $r$ ，其最大相容类的集合称为集合 $A$ 的完全覆盖，记作 $C_r(A)$ 。

定理 3 - 11.2
给定集合 $A$ 的覆盖 { A 1 , A 2 , ⋯ &ThinSpace; , A n } \{A_1,A_2,\cdots,A_n\} {A1​,A2​,⋯,An​} ，由它确定的关系 $R=A_1\times A_1\cup A_2\times A_2\cup \cdots \cup A_n\times A_n$ 是相容关系。

定理 3 - 11.3
集合 $A$ 上相容关系 $r$ 与完全覆盖 $C_r(A)$ 存在一一对应。

3-12 序关系

定义 3 - 12.1
设 $A$ 是一个集合，如果 $A$ 上的一个关系 $R$ ，满足自反性，反对称性和传递性，则称 $R$ 是 $A$ 上的一个偏序关系，并把它记为“ $\preccurlyeq$ ”。序偶 $⟨A,\preccurlyeq ⟩$ 称作偏序集。

定义 3 - 12.2
在偏序集合 $⟨A,\preccurlyeq ⟩$ 中，如果 $x,y\in A,x\preccurlyeq y,x̸=y$ 且没有其他元素 $z$ 满足 $x\preccurlyeq z,z\preccurlyeq y$ ，则称元素 $y$ 盖住元素 $x$ 。并且记集合 { ⟨ x , y ⟩ ∣ x , y ∈ A ; y 盖 住 x } \{ \langle x,y \rangle \vert x,y \in A;y盖住x\} {⟨x,y⟩∣x,y∈A;y盖住x} 为 $\text{COV }A$ 。

COV是cover的缩写。

对于给定偏序集 $⟨A,\preccurlyeq ⟩$ ，它的盖住关系是唯一的，所以可用盖住的性质画出偏序集合图，或称哈斯图，其作图规则为：
（1）用小圆圈代表元素。
（2）如果 $x\preccurlyeq y$ 且 $x̸=y$ ，则将代表 $y$ 的小圆圈画在代表 $x$ 的小圆圈上方。
（3）如果 $⟨x,y⟩\in \text{COV }A$ ，则在 $x$ 与 $y$ 之间用直线连接。

（笔者按：哈斯图很像图论中的有向图，边的方向决定顶点的上下关系）

定义 3 - 12.3
设 $⟨A,\preccurlyeq ⟩$ 是一个偏序集合，在 $A$ 的一个子集中，如果每两个元素都是有关系的，则称这个子集为链。在 $A$ 的一个子集中，如果每两个元素都是无关的，则称这个子集为反链。

定义 3 - 12.4
在偏序集合 $⟨A,\preccurlyeq ⟩$ 中，如果 $A$ 是一个链，则称 $⟨A,\preccurlyeq ⟩$ 为全序集合或称线序集合，在这种情况下，二元关系 $\preccurlyeq$ 称为全序关系或称线序关系。

定义 3 - 12.5
设 $⟨A,\preccurlyeq ⟩$ 是一个偏序集合，且 $B$ 是 $A$ 的子集，对于 $B$ 中的一个元素 $b$ ，如果 $B$ 中没有任何元素 $x$ 满足 $b̸=x$ 且 $b\preccurlyeq x$ ，则称 $b$ 为 $B$ 的极大元。同理，对于 $b\in B$ ，如果 $B$ 中没有任何元素 $x$ ，满足 $b̸=x$ 且 $x\preccurlyeq b$ ，则称 $b$ 为 $B$ 的极小元。

定义 3 - 12.6
令 $⟨A,\preccurlyeq ⟩$ 是一个偏序集，且 $B$ 是 $A$ 的子集，若有某个元素 $b\in B$ ，对于 $B$ 中每一个元素 $x$ 有 $x\preccurlyeq b$ ，则称 $b$ 为 $⟨B,\preccurlyeq ⟩$ 的最大元。同理，若有某个元素 $b\in B$ ，对每一个 $x\in B$ 有 $b\preccurlyeq x$ ，则称 $b$ 为 $⟨B,\preccurlyeq ⟩$ 的最小元。

定理 3 - 12.1
令 $⟨A,\preccurlyeq ⟩$ 为偏序集且 $B\subseteq A$ ，若 $B$ 有最大（小）元，则必是唯一的。

定义 3 - 12.7
设 $⟨A,\preccurlyeq ⟩$ 为一偏序集，对于 $B\subseteq A$ ，如有 $a\in A$ ，且对 $B$ 的任意元素 $x$ ，都满足 $x\preccurlyeq a$ ，则称 $a$ 为子集 $B$ 的上界。同样地，对于 $B$ 的任意元素 $x$ ，都满足 $a\preccurlyeq x$ ，则称 $a$ 为 $B$ 的下界。

定义 3 - 12.8
设 $⟨A,\preccurlyeq ⟩$ 为偏序集且 $B\subseteq A$ 为一子集， $a$ 为 $B$ 的任一上界，若对 $B$ 的所有上界 $y$ 均有 $a\preccurlyeq y$ ，则称 $a$ 为 $B$ 的最小上界（上确界），记作 $\text{LUB }B$ 。同样，若 $b$ 为 $B$ 的任一下界，若对 $B$ 的所有下界 $z$ ，均有 $z\preccurlyeq b$ ，则称 $b$ 为 $B$ 的最大下界（下确界），记作 $\text{GLB }B$ 。

（笔者按：LUB和GLB分别是least upper bound和greatest lower bound的缩写。）

定义 3 - 12.9
任一偏序集合，假如它的每一个非空子集存在最小元素，这种偏序集称为良序的。

定理 3 - 12.2
每一个良序集合，一定是全序集合。

定理 3 - 12.3
每一个有限的全序集合，一定是良序集合。

第四章 函数

4-1 函数的概念

定义 4 - 1.1
设 $X$ 和 $Y$ 是任意两个集合，而 $f$ 是 $X$ 到 $Y$ 的一个关系，如果对于每一个 $x\in X$ ，有唯一的 $y\in Y$ ，使得 $⟨x,y⟩\in f$ ，称关系 $f$ 为函数，记作 $$f:X\to Y\text{ 或 }X\stackrel{f}{\to }Y$$

定义 4 - 1.2
设函数 $f:A\to B,g:C\to D$ ，如果 $A=C,B=D$ ，且对于所有 $x\in A$ 和 $x\in C$ ，有 $f(x)=g(x)$ ，则称函数 $f$ 和 $g$ 相等，记作 $f=g$ 。

定义 4 - 1.3
对于 $X\stackrel{f}{\to }Y$ 的映射中，如果 $\text{ran }f=Y$ ，即 $Y$ 的每一个元素是 $X$ 中一个或多个元素的象点，则称这个映射为满射（或到上映射）。

定义 4 - 1.4
从 $X$ 到 $Y$ 的映射中， $X$ 中没有两个元素有相同的象，则称这个映射为入射（或一对一映射）。设 $f:X\to Y$ 是入射，即是对于任意 $x_1,x_2\in X$ ，如果 $$x_1̸=x_2\Rightarrow f(x_1)̸=f(x_2)$$或者 $$f(x_1)=f(x_2)\Rightarrow x_1=x_2$$

定义 4 - 1.5
从 $X$ 到 $Y$ 的一个映射，若既是满射又是入射的，则称这个映射是双射的。

定理 4 - 1.1
令 $X$ 和 $Y$ 为有限集，若 $X$ 和 $Y$ 的元素个数相同，即 $|X|=|Y|$ ，则 $f:X\to Y$ 是入射的，当且仅当它是一个满射。

4-2 逆函数和复合函数

定理 4 - 2.1
设 $f:X\to Y$ 是一双射函数，那么 $f_c$ 是 $Y\to X$ 的双射函数。

定义 4 - 2.1
设 $f:X\to Y$ 是一双射函数，称 $Y\to X$ 的双射函数 $f_c$ 为 $f$ 的逆函数，记作 $f^{-1}$ 。

定义 4 - 2.2
设函数 $f:X\to Y,g:W\to Z$ ，若 $f(X)\subseteq W$ ，则 g ∘ f = { ⟨ x , z ⟩ ∣ x ∈ X ∧ z ∈ Z ∧ ( ∃ y ) ( y ∈ Y ∧ y = f ( x ) ∧ z = g ( y ) ) } g\circ f=\{\langle x,z \rangle \vert x \in X \wedge z \in Z \wedge (\exist y)(y \in Y \wedge y=f(x) \wedge z = g(y))\} g∘f={⟨x,z⟩∣x∈X∧z∈Z∧(∃y)(y∈Y∧y=f(x)∧z=g(y))} ，称 $g$ 在函数 $f$ 的左边可复合。

定理 4 - 2.2
两个函数的复合是一个函数。

定理 4 - 2.3
令 $g\circ f$ 是一个复合函数，
a) 若 $g$ 和 $f$ 是满射的，则 $g\circ f$ 是满射的。
b) 若 $g$ 和 $f$ 是入射的，则 $g\circ f$ 是入射的。
c) 若 $g$ 和 $f$ 是双射的，则 $g\circ f$ 是双射的。

定义 4 - 2.3
函数 $f:X\to Y$ 叫做常函数，如果存在某个 $y_0\in Y$ ，对于每个 $x\in X$ 都有 $f(x)=y_0$ ，即 f ( X ) = { y 0 } f(X)=\{y_0\} f(X)={y0​} 。

定义 4 - 2.4
如果 I X = { ⟨ x , x ⟩ ∣ x ∈ X } I_X=\{\langle x,x \rangle \vert x \in X\} IX​={⟨x,x⟩∣x∈X} 则称函数 $I_X:X\to X$ 为恒等函数。

定理 4 - 2.4
设函数 $f:X\to Y$ ，则 $f=f\circ I_X=I_Y\circ f$ 。

定理 4 - 2.5
如果函数 $f:X\to Y$ 有逆函数 $f^{-1}:Y\to X$ ，则 $f^{-1}\circ f=I_X$ 且 $f\circ f^{-1}=I_Y$ 。

定理 4 - 2.6
若 $f:X\to Y$ 是一一对应的函数，则 $(f^{-1}{)}^{-1}=f$ 。

定理 4 - 2.7
若 $f:X\to Y,g:Y\to Z$ 均为一一对应函数，则 $(g\circ f{)}^{-1}=f^{-1}\circ g^{-1}$ 。

4-3 特征函数与模糊子集

定义 4 - 3.1
令 $E$ 是全集， $A$ 是 $E$ 的子集， $A\subseteq E$ ，由 $${\psi }_A(x)=\{\begin{array}{rl}& 1,x\in A\\ & 0,\text{其他}\end{array}$$定义的函数 ψ A : E → { 0 , 1 } \psi_A:E\rightarrow\{0,1\} ψA​:E→{0,1} ，称为集合 $A$ 的特征函数。

设 $A$ 和 $B$ 是全集 $E$ 的任何两个子集，对于所有 $x\in E$ ，特征函数有如下一些性质：$$\begin{gathered} {\psi }_A(x)=0\iff A=\varnothing \\ {\psi }_A(x)=1\iff A=E \\ {\psi }_A(x)⩽{\psi }_B(x)\iff A\subseteq B \\ {\psi }_A(x)={\psi }_B(x)\iff A=B \\ {\psi }_{A\cap B}(x)={\psi }_A(x)\ast {\psi }_B(x) \\ {\psi }_{A\cup B}(x)={\psi }_A(x)+{\psi }_B(x)-{\psi }_{A\cap B}(x) \\ {\psi }_{\sim A}(x)=1-{\psi }_A(x) \\ {\psi }_{A-B}(x)={\psi }_{A\cap \sim B}(x)={\psi }_A(x)-{\psi }_{A\cap B}(x) \end{gathered}$$

定义 4 - 3.2
给定论域 $E$ ，指定 $E$ 上的一个模糊子集 $A$ 是指对任意 $x\in E$ 都有一个隶属程度 $\mu ={\psi }_A(x)(0⩽\mu ⩽1)$ 与它对应，称 ${\psi }_{A}x$ 为 $A$ 的隶属函数。

4-4 基数的概念

定义 4 - 4.1
给定集合 $A$ 的后继集定义为集合 A + : A ∪ { A } A^+:A\cup\{A\} A+:A∪{A} 。

令 $A=\varnothing$ ，并命名集合 $\varnothing$ 为 $0$ ，那么， A + = ∅ + = 0 + = { ∅ } = 1 1 + = { ∅ , { ∅ } } = 2 2 + = { ∅ , { ∅ } , { ∅ , { ∅ } } } = 3 ⋯ A^+=\varnothing^+=0^+=\{\varnothing\}=1\\1^+=\{\varnothing,\{\varnothing\}\}=2\\2^+=\{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\}=3\\\cdots A+=∅+=0+={∅}=11+={∅,{∅}}=22+={∅,{∅},{∅,{∅}}}=3⋯ 这样就得到了自然数集合，这个集合亦能概括为如下公理形式（皮亚诺公理）：
1） $0\in N$ （其中 $0=\varnothing$）
2） 如果 $n\in N$ ，那么 $n^{+}\in N$ （其中 n + = n ∪ { n } n^+=n\cup\{n\} n+=n∪{n}）
3） 如果一个子集 $S\subseteq U$ 具有以下性质：
a） $0\in S$
b） 如果 $n\in S$ ，有 $n^{+}\in S$ ，则 $S=N$ 。

公理3）称极小性质，它指明了自然数系统的最小性，即自然数系统是满足公理1）和2）的最小集合。

定义 4 - 4.2
给定两个集合 $P$ 与 $Q$ ，如果我们对 $P$ 中每个不同元素，与 $Q$ 中每个不同元素，可以分别两两成对，那么我们说 $P$ 的元素与 $Q$ 的元素存在着一一对应。

定义 4 - 4.3
当且仅当集合 $A$ 的元素与集合 $B$ 的元素之间存在着一一对应，集合 $A$ 与集合 $B$ 称为是等势的（或称等浓的）。记作 $A\sim B$ 。

定理 4 - 4.1
在集合族上等势关系是一个等价关系。

定义 4 - 4.4
如果有一个从集合 { 0 , 1 , ⋯ &ThinSpace; , n − 1 } \{0,1,\cdots,n-1\} {0,1,⋯,n−1} 到 $A$ 的双射函数，那么称集合 $A$ 是有限的；否则是无限的。

定理 4 - 4.2
自然数集合 $N$ 是无限的。

定义 4 - 4.5
所有与集合 $A$ 等势的集合所形成的集合，叫做集合 $A$ 的基数，记为 $K[A]$ （或 $\overline{\overline{A}}$） 。

4-5 可数集与不可数集

定义 4 - 5.1
与自然数集合等势的任意集合称为可数的，可数集合的基数用 ${\mathbf{\aleph }}_0$ 表示。

定理 4 - 5.1
$A$ 为可数集的充分必要条件是可以排列成 A = { a 1 , a 2 , ⋯ &ThinSpace; , a n , ⋯ &ThinSpace; } A=\{a_1,a_2,\cdots,a_n,\cdots\} A={a1​,a2​,⋯,an​,⋯} 的形式。

定理 4 - 5.2
任一无限集，必含有可数子集。

定理 4 - 5.3
任一无限集合必与其某一真子集等势。

定理 4 - 5.4
可数集的任何无限子集是可数的。

定理 4 - 5.5
可数个两两不相交的可数集合的并集，仍然是一可数集。

定理 4 - 5.6
设自然数集合 $N$ ，则 $N\times N$ 是可数集。

定理 4 - 5.7
有理数的全体组成的集合是可数集。

定理 4 - 5.8
全体实数构成的集合 $R$ 是不可数的。

我们把集合 $(0,1)$ 的基数记为 $\mathbf{\aleph }$ ，因为 $(0,1)\sim R$ ，故 $K[R]=\mathbf{\aleph }$ 。 $\mathbf{\aleph }$ 也称作连续统的势。

4-6 基数的比较

定义 4 - 6.1
若从集合 $A$ 到集合 $B$ 存在一个入射，则称 $A$ 的基数不大于 $B$ 的基数，记作 $K[A]⩽K[B]$ 。若从 $A$ 到 $B$ 存在一个入射，但不存在双射，则称 $A$ 的基数小于 $B$ 的基数，记作 $K[A]<K[B]$ 。

定理 4 - 6.1（Zermelo 定理）
令 $A$ 和 $B$ 是任意集合，则以下三条中恰有一条成立。
a) $K[A]<K[B]$ 。
b) $K[B]<K[A]$ 。
c) $K[A]=K[B]$ 。

定理 4 - 6.2（CSB 定理）
设 $A$ 和 $B$ 是集合，如果 $K[A]⩽K[B],K[B]⩽K[A]$ ，则 $K[A]=K[B]$ 。

定理 4 - 6.3
设 $A$ 是有限集合，则 $K[A]<{\mathbf{\aleph }}_0<\mathbf{\aleph }$ 。

定理 4 - 6.4
如果 $A$ 是无限集，那么 ${\mathbf{\aleph }}_0⩽K[A]$ 。

定理 4 - 6.5（Cantor 定理）
设 $M$ 是一个集合， $T=\mathcal{P}(M)$ ，则 $K[M]<K[T]$ 。

这个定理指出了没有最大的基数和最大的集合。