离散数学 集合论

1 集合代数

1.1 集合的基本概念

1.1.1 定义

集合是不能精确定义的基本概念。直观地说，把一些事物汇集到一起组成一个整体就称作集合

而这些事物就是这个集合的元素或成员

1.1.2 表示集合的方法

1.1.2.1 列元素法

1.1.2.2 谓词表示法

1.1.3 集合的性质

1.1.3.1 元素的互异性

集合的元素是彼此不同的

1.1.3.2 元素的无序性

集合的元素是无序的

1.1.4 元素和集合之间的关系

元素和集合之间的关系是隶属关系，即属于或不属于，属于记做$\in$，不属于记做$\notin$

1.1.5 集合之间的关系

1.1.5.1 隶属关系

隶属关系可以看做处在不同层次上的集合之间的关系

1.1.5.2 包含关系

设$A, B$为集合，如果$B$中的每个元素都是$A$中的元素，则称$B$是$A$的子集合，简称子集。这是也成$B$被$A$包含，或 $A$包含$B$，记做$B \subseteq A$

如果$B$不被$A$包含，则记做$B \nsubseteq A$

包含的符号化表示为

$$B \subseteq A \Leftrightarrow \forall x (x \in B \to x \in A)$$

1.1.5.3 相等关系

设$A, B$为集合，如果$A \subseteq B$ 且 $B \subseteq A$，则称$A$与$B$相等，记做$A = B$

如果$A, B$不相等，记作$A \neq B$

相等的符号化表示为

$$A = B \Leftrightarrow A \subseteq B \wedge B \subseteq A$$

1.1.5.4 真子集

设$A, B$为集合，如果$B \subseteq A$ 且 $B \neq A$ 则称$B$是$A$的真子集，记作$B \subset A$

如果$B$不是$A$的真子集，则记做$B \nsubseteq A$

真子集的符号化表示为

$$B \subset A \Leftrightarrow B \subseteq A \wedge B \neq A$$

1.1.6 空集

不含任何元素的集合称作空集，记作$\varPhi$

空集可以符号化表示为

$$\varPhi = \{ x | x \neq x\}$$

1.1.6.1 性质即推论

空集是一切集合的子集

空集是唯一的

1.1.7 n元集

含有$n$个元素的集合简称为$n$元集，它的含有$m(m \le n)$个元素的子集称作它的m元子集

$n$元集的子集个数为$2 ^ n$

1.1.8 幂集

设$A$为集合，把$A$的全体子集构成的集合称作$A$的幂集，称作$P(A)$（或$2 ^ A$）

幂集的符号化表示为

$$P(A) = \{ x | x \subseteq A \}$$

如果$|A| = n$，则 $| P(A) | = 2 ^ n$

1.1.9 全集

在一个问题中，如果所涉及的集合都是某个集合的子集，则称这个集合为全集，记作$E$

全集具有相对性

1.2 集合的运算

1.2.1 集合的初级运算

1.2.1.1 交运算

$\cap$

1.2.1.2 并运算

$\cup$

1.2.1.3 相对补运算

$$A - B = \{x | x \in A \wedge x \notin B \}$$

1.2.1.4 对称差运算

$$A \oplus B = (A - B) \cup (B - A)$$

1.2.2 集合的广义运算

1.2.2.1 广义并

设$A$为集合，$A$的元素的元素构成的集合称作 $A$ 的广义并，记作$\cup A$，符号化表示为

$$\cup A = \{ x | \exists z (z \in A \wedge x \in z) \}$$

1.2.2.2 广义交

设$A$为集合，$A$的所有元素的公共元素构成的集合称作 $A$ 的广义交，记作$\cap A$，符号化表示为

$$\cap A = \{ x | \forall z (z \in A \wedge x \in z) \}$$

1.2.2.3 绝对补运算

在给定全集$E$后

$$\sim A = E - A = \{ x | x \in E \wedge x \notin A \}$$

1.2.3 运算顺序

1.2.3.1 一类运算

广义并，广义交，绝对补运算

1.2.3.2 二类运算

并，交，相对补，对称差运算为二类运算

1.2.3.3 运算顺序

• 一类运算优于二类运算
• 一类运算之间由右向左顺序进行
• 二类运算之间由括号决定先后顺序

1.3 有穷集的计数

1.3.1 计数方法

1.3.1.1 文氏图（venn diagram）

1.3.1.2 包含排斥原理（容斥原理）

1.3.1.2.1 定理描述

设$S$为有穷集，$P_1, P_2, \cdots , P _ n$ 是 $n$ 个性质。$S$中的任何元素$x$或者具有性质$P_ i$ 或者 不具有性质 $P _ i$, 两种情况必居其一。令$A _ i$表示 $S$ 中具有性质 $P _ i$的元素构成的子集，则$S$中不具有性质$P_1, P_2, \cdots , P _ n$ 的元素数为

$$|\bar{A _ 1} \cap \bar{A _ 2} \cap \cdots \cap \bar{A _ n}| = |S| - \sum _ {i = 1} ^ n |A _ i| + \sum _ {1 \le i < j \le n} |A _ i \cap A _ j| + \cdots +(-1) ^ n |A _1 \cap A _ 2 \cap \cdots \cap A _ n|$$

1.3.1.2.2 求欧拉函数

欧拉函数$\varPhi (n) 表示 \{0, 1, \cdots, n - 1\}$中与 $n$ 互素的数的个数。

认为 $\varPhi (1) = 1$

$$\varPhi (n) = |\bar{A _ 1} \cap \bar{A _ 2} \cap \cdots \cap \bar{A _ n}| = n(1 - \frac{1}{p_1})(1 - \frac{1}{p_2}) \cdots (1 - \frac{1}{p_n})$$

1.3.1.2.3 错位排列数

Dn=n![1−11!+12!−⋯+(−1)n1