离散数学之集合代数

集合概念

把一些元素汇集成一个整体称之为集合

集合与元素间的关系是隶属关系。属于，记 $\in$； 不属于，记 $\notin$

集合与集合间的关系是包含关系。包含，记 $\subseteq$ ；不包含，记 $⊈$

如果 $A\subseteq B$ 且 $B\subseteq A$，则称 $A$ 与 $B$ 相等，记 $A=B$

如果 $A\subseteq B$ 且 $A\ne B$，则称 $A$ 是 $B$ 的真子集，记 $A\subset B$

不含任何元素的集合称作空集，记 $\varnothing$。空集是一切集合的子集（包括空集自己）

含有 $n$ 个元素的集合称作 $n$ 元集，含有 $m$（$m⩽n$）个元素的子集，称作它的 $m$ 元子集

$A$ 集合的全体子集构成的集合称为幂集，记 $P(A)$

若 $A$ 是 $n$ 元集，则他的幂集有 $2^n$ 个元素

在具体问题中，所涉及的集合是某个集合的子集，则称这个集合为全集，记 $E$

集合运算

$A\cup B=A+B-(A\cap B)$

$\sim A=E-A$

$A⨁B=(A\cup B)-(A\cap B)=(A-B)\cup (B-A)$

注：集合运算直接画文氏图

集合恒等式与命题逻辑的等值式一样，联合记忆

有序对与笛卡尔积

有序对：两个元素按照顺序排列而成的二元组 $<x,y>$。$x$ 是第一元素，$y$ 是第二元素

笛卡尔积：集合 $A$ 中的元素作为第一元素，集合 $B$ 中的元素作为第二元素，所构成的有序对。记 $A\times B$

注：任何集合与空集的笛卡尔积仍为空集。笛卡尔积一般不满足交换律和集合律