第三章 集合代数（集合与关系）

第三章 集合代数

• 特点：
  1. 研究问题的广泛性
  2. 分析思考问题的抽象性
  3. 处理问题的统一性

3.1 基本概念

• 集合 (SET)：在一定范围内的讨论的对象组成的整体。

• 表示方法：

  1. 枚举法

  2. 隐式法(叙述法)：用共同特征划分， P = { x ∣ P ( x ) } P=\{x|P(x) \} P={x∣P(x)}

  3. 归纳法：基础 + 归纳(确定下限) + 极小性(确定上限)

     $例题$：定义集合$M$，

     1. 每一个英文字母都是$M$中的元素
     2. 如果$P,Q$是$M$中的元素，则$PQ,QP$也是$M$中的元素
     3. 有限次使用$(1),(2)$后所得到的字符串都是$M$中的元素。

  4. 递归指定：通过计算规则定义集合中的元素

  5. 巴科斯范式BNF(Backus Normal Form)表示法：

  6. 文氏图

  7. 特征函数表示法：$X_A=\{\begin{array}{l}\begin{array}{rlr}& 1,& x\in A\\ & 0,& x\notin A\end{array}\end{array}$

  罗素悖论（理发师悖论）：说明集合不能被精确定义

• 关系与子集：

  • 子集：$B\subseteq A⟺\forall x,x\in B⟶x\in A$

  • 相等：$A=B⟺A\supseteq B\wedge B\subseteq A$

  • 基数 Cardinality：$|A|$

    • $A$ 为有限集合：$|A|$ 有限
    • $A$ 为无限集合：$|A|$ 无限

  • 空集： ∅ = { x ∣ x ≠ x } \emptyset=\{x|x\ne x \} ∅={x∣x​=x}

    ∅ = { } , ∅ ≠ { ∅ } \emptyset=\{\},\emptyset\ne\{\emptyset\} ∅={},∅​={∅}

  • 全集 U or E：在某个固定范围内的所有对象的全体

• 性质：

  1. 全集相对唯一，而非绝对唯一
  2. 空集绝对唯一
  3. 对于 $\forall A$，有 $\varnothing \subseteq A,A\subseteq A$. 若$A\subseteq B,B\subseteq C$，则$A\subseteq C$

• 外延性原理：集合中元素都是不同且无序的。

3.2 集合运算

• 特殊子集：

  • 并集 Union： A ⋃ B = { x ∈ U ∣ x ∈ A ∨ x ∈ B } A\bigcup B=\{x\in U|x\in A\lor x\in B \} A⋃B={x∈U∣x∈A∨x∈B}

  • 交集 Intersection： A ⋂ B = { x ∈ U ∣ x ∈ A ∧ x ∈ B } A\bigcap B=\{x\in U|x\in A\land x\in B \} A⋂B={x∈U∣x∈A∧x∈B}

    不相交 Disjoint：$A\bigcap B=\varnothing$

  • 差集 Subtraction： A − B = { x ∈ U ∣ x ∈ A ∧ x ∉ B } A-B=\{x\in U|x\in A\land x\notin B \} A−B={x∈U∣x∈A∧x∈/​B}

  • 补集 Complement： A ‾ = U − A = { x ∣ x ∈ U ∧ x ∉ A } \overline{A}=U-A=\{x|x\in U\land x\notin A \} A=U−A={x∣x∈U∧x∈/​A}

  • 对称查集： A ⊕ B = { x ∣ ( x ∈ A ∧ x ∉ B ) ∨ ( x ∈ B ∧ x ∉ A ) } = ( A − B ) ⋃ ( B − A ) A\oplus B=\{x|(x\in A\land x\notin B)\lor(x\in B\land x\notin A)\}=(A-B)\bigcup(B-A) A⊕B={x∣(x∈A∧x∈/​B)∨(x∈B∧x∈/​A)}=(A−B)⋃(B−A)

• 性质：幂等律，交换律，结合律，零一律，分配律 ，吸收律（$A\bigcap (A\bigcup B)=A,A\bigcup (A\bigcap B)=A$），否定律，德摩根定律，矛盾律

3.3 幂集和笛卡尔集

• 幂集 power set：由集合 $A$ 的子集组成的集合，记为$\rho (A)$ 或 $2^A$
  2 A = ρ ( A ) = { x ∣ ∀ X ⊆ A } 2^A=\rho(A)=\{x|\forall X\subseteq A\} 2A=ρ(A)={x∣∀X⊆A}

  集族 Family of Set：以集合为元素构成的集合。

  $例题$： 2 ∅ = { ∅ } , 2 { ∅ } = { ∅ , { ∅ } } 2^\emptyset=\{\emptyset\},2^{\{\emptyset\}}=\{\emptyset,\{\emptyset\}\} 2∅={∅},2{∅}={∅,{∅}}

  • 性质：
    1. 若 $B\subseteq A$，则 $2^B\subseteq 2^A$
    2. $|2^A|=2^{|A|}$

• 笛卡尔积(直积) Descartes：$A_1,A_2,...,A_n$ 的笛卡尔积为
  A 1 × A 2 × . . . × A n = { < a 1 , a 2 , . . . , a n > ∣ a i ∈ A i , 1 ≤ i ≤ n } A_1\times A_2\times ...\times A_n=\{<a_1,a_2,...,a_n>|a_i\in A_i,1\le i \le n\} A1​×A2​×...×An​={<a1​,a2​,...,an​>∣ai​∈Ai​,1≤i≤n}

  • 若 $\forall i,A_i=A$，则 $A_1\times A_2\times ...\times A_n=A^n$

  • 基数计算：$|(A_1\times A_2\times ...\times A_n)|=|A_1|\times |A_2|\times ...\times |A_n|$

  • 笛卡尔积不服从交换律和结合律，但对于交并运算可分配律

    $A\times (B\bigcup C)=(A\times B)\bigcup (A\times C)$	$A\times (B\bigcap C)=(A\times B)\bigcap (A\times C)$
    $(B\bigcup C)\times A=(B\times A)\bigcup (C\times A)$	$(B\bigcap C)\times A=(B\times A)\bigcap (C\times A)$

  • 存属关系

    $A\subseteq B⟺A\times C\subseteq B\times C$	$A\subseteq B⟺C\times A\subseteq C\times B$
    $A\times B\subseteq C\times D⟺A\subseteq C\wedge B\subseteq D$	/