离散数学 三 集合论基础

第三章 集合论基础

3-1 基本概念

• 集合、元素、$\in$
• 有限集合、无限集合、（可数集合、不可数集合）
• 列举法、描述法
• 特点：无序、去重、元素种类不限、可以集合套娃

3-2 集合间的关系

• 被包含关系（子集）$\subseteq$：自反性、传递性、反对称性（if A$\subseteq$B && B$\subseteq$A then A=B）
• 相等关系：A=B当且仅当A$\subseteq$B && B$\subseteq$A；自反性、传递性、对称性
• 真被包含关系（真子集）$\subset$：传递性

3-3 特殊集合

• 全集$\mathbb{E}$:全集不唯一，可以有多个，与全总个体域区分；$\forall$A,A$\subseteq$E
• 空集$\varnothing$：任意集合的子集，唯一性
• 幂集：P(A) || 2^A
  性质：
  • 给定有限集合A，如果|A|=n，则|P(A)|=2^n
• 幂集元素的编码：二进制下标
• 遇到套娃集合算幂集容易混淆时，可先代入成abc再回代

3-4 集合的运算

• 交运算$\cap$：幂等律、交换律、结合律、同一律、零律、A$\subseteq$<=>A$\cap$B=A
• 并运算$\cup$：幂等律、交换律、结合律、同一律、零律、分配律、吸收律、A$\subseteq$<=>A$\cup$B=B
• 差运算-（相对补集）：A-B称为A与B的差集或B对A的相对补集。8条性质，注意A-B=$\varnothing$不能推出A=B（可能A$\subseteq$B）；A-(B交C)=（A-B）并(A-C)；A-(B并C)=(A-B)交(A-C)
• 绝对补集~：10条性质（包括德摩根律）
• 对称差：交可分配，但并不可分配
• 容斥原理：+,-,+,-,+,-,+,-…

Author: Catigeart
GitHub: https://github.com/Catigeart?tab=repositories