集合的基本关系

从“部分与整体”谈起

在前一节中，我们掌握了集合的定义与列举法、描述法等表示方式。在进一步研究多个集合时，我们常常关注它们之间的相对关系。

观察以下两个集合：

• 集合 $A = \{ \text{某校高中部全体女生} \}$
• 集合 $B = \{ \text{某校高中部全体学生} \}$

直观感受：集合 $A$ 中的每一位成员，必然也是集合 $B$ 中的成员。这种“部分与整体”的关系，在数学语言中应当如何精确表达？

---

子集的精准定义

设 $A, B$ 是两个集合，若集合 $A$ 中的任意一个元素都是集合 $B$ 中的元素，我们就称集合 $A$ 为集合 $B$ 的子集（Subset）。

• 符号记法：$A \subseteq B$（读作“$A$ 包含于 $B$”）或 $B \supseteq A$（读作“$B$ 包含 $A$”）。
• 逻辑语言：若对任意 $x \in A$，都有 $x \in B$，则 $A \subseteq B$。
• 否定形式：若 $A$ 中存在至少一个元素不属于 $B$，则称 $A$ 不包含于 $B$，记作 $A \nsubseteq B$。

---

图形化表达：Venn 图

为了直观地展现集合及其关系，数学上常用封闭曲线的内部来表示集合，这种图形称为 Venn 图（维恩图）。

当 $A \subseteq B$ 时，集合 $A$ 的区域完全落在集合 $B$ 的区域内部：

例如：若 $A = \{1, 2\}$， $B = \{1, 2, 3, 4\}$，显然 $A \subseteq B$。

---

子集的两条基础性质

基于子集的定义，我们可以导出两条非常重要且特殊的性质：

1. 自反性：任何一个集合都是它本身的子集。
   $\text{对任意集合 } A \text{，都有 } A \subseteq A$

2. 空集的特殊地位：规定空集是任何集合的子集。
   $\text{对任意集合 } A \text{，都有 } \varnothing \subseteq A$

逻辑解释：为什么规定 $\varnothing \subseteq A$？因为找不到任何属于 $\varnothing$ 却不属于 $A$ 的元素，因此“$\varnothing \subseteq A$”在逻辑上永远成立。

---

例题精讲：判断集合之间的包含关系

【例题】 已知三个集合：

• $A = \{x \mid x = 2k, k \in \mathbb{Z}\}$ （偶数集）
• $B = \{x \mid x = 4k, k \in \mathbb{Z}\}$ （4的倍数集）
• $C = \{2, 4\}$

请判断 $A, B, C$ 之间的包含关系，并画出 Venn 图。

---

例题精讲：分步求解与归纳

解题步骤：

1. 分析 $B$ 与 $A$：任取 $x \in B$，则 $x = 4k = 2(2k)$ ($k \in \mathbb{Z}$)。因为 $2k \in \mathbb{Z}$，所以 $x \in A$，故 $B \subseteq A$。
2. 分析 $C$ 与 $A, B$：因为 $2, 4 \in A$，所以 $C \subseteq A$；但元素 $2 \in C$ 却 $2 \notin B$（2 不是 4 的倍数），故 $C \nsubseteq B$。

易错提醒：用描述法表示集合时，代表元素的限制条件越严格，集合所覆盖的范围通常越小。例如“4的倍数”比“2的倍数”条件更窄，因此 $B \subseteq A$。