离散数学-集合论基础

集合关系&运算

• 包含关系
  $$\varnothing \subseteq \mathbf{A}\subseteq \mathbf{U}$$
• 相等：每个元素均相等

证明方法：(反对称性)
$$\begin{array}{r}\mathbf{A}\subseteq \mathbf{B}\\ \mathbf{B}\subseteq \mathbf{A}\end{array}\}⟹\mathbf{A}=\mathbf{B}$$

• 交并补差

集合族

集合本身可作为另一个集合元素
若有集合B，$\forall \beta \in \mathbf{B}$ , $A_{\beta }$ 为集合，则称集合
{ A β   ∣ β ∈ B } \{A_\beta\space\vert \beta \in \mathbf{B}\} {Aβ​ ∣β∈B}
为以B为下标集，所有$A_{\beta }$ 为元素的集合族

幂集

设A为集合，A所有子集组成的集合称为A的幂集
P ( A ) = { X   ∣ X ⊆ A } \mathbf{P(A)} = \{X\space\vert X\subseteq\mathbf{A}\} P(A)={X ∣X⊆A}

n元组和笛卡尔积

有别于集合，n元组对象有顺序

从n个集合$D_1,D_2,\cdots ,D_n$ 中依次各选择一个元素构成n元组，所有这样的n元组构成的集合即$D_1,D_2,\cdots ,D_n$ 的笛卡尔积
例：
A = { 1 , 2 , 3 } , B = { a , b } \mathbf{A} = \{1,2,3\},\mathbf{B} = \{a,b\} A={1,2,3},B={a,b}
则
$$\mathbf{A}\times \mathbf{B}=\{(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)\}$$
一般地
$$\mathbf{A}\times \mathbf{B}=\{(a,b)|a\in \mathbf{A},b\in \mathbf{B}\}$$

广义交/并

设A为集合族
由A中元素的元素组成的集合称为集合族A的广义并，记为
$$\bigcup \mathbf{A}$$
若A非空由A中所有元素的公共元素组成的集合称为集合族A的广义交

集合恒等式

• 结合律
  $$\mathbf{A}\cup (\mathbf{B}\cup \mathbf{C})=(\mathbf{A}\cup \mathbf{B})\cup \mathbf{C}$$
• 分配律
  $$\mathbf{A}\cup (\mathbf{B}\cap \mathbf{C})=(\mathbf{A}\cup (\mathbf{B})\cap (\mathbf{A}\cup (\mathbf{C})$$
• 德摩根律
  $$\overline{\mathbf{A}\cup \mathbf{B}}=\overline{\mathbf{A}}\cap \overline{\mathbf{B}}$$
• 差集
  $$\mathbf{A}-\mathbf{B}=\mathbf{A}\cap \overline{\mathbf{B}}$$
  利用上述基本恒等式，可进行集合演算

对偶原理

将命题$P$ 中的交，并，全集，空集分别替换为并，交，空集，全集得到新命题$P^{\ast }$ ,两命题互为对偶命题

有限集计数

记|A|为有限集A中元素个数
**容斥原理

• $\mid \mathbf{A}\mid \cup \mathbf{B}\mid =\mid \mathbf{A}\mid +\mid \mathbf{B}\mid -\mid \mathbf{A}\cap \mathbf{B}\mid$
• $\mid \mathbf{A}\times \mathbf{B}\mid =\mid \mathbf{A}\mid \mid \mathbf{B}\mid$ 笛卡尔积
• $\mid P(\mathbf{A})\mid =2^{\mid \mathbf{A}\mid }$

罗素悖论

罗素将所有集合分为两类，其中一类集合自身是自己的一个元素，第二类集合其为自身不属于自己
定义
S = { x ∣ x ∉ x } S = \{ x\mid x\notin x\} S={x∣x∈/x}
命题$S\in S$ 即为罗素悖论