集合是什么——把一堆东西说清楚

一个看似多余的概念

"集合"这个词，初中就听过。高中数学第一章又讲它，很多人以为是复习。

不是。高中数学讲集合，重点不在"什么叫集合"，在用集合的语言重新说一遍你已经会的东西。初中你说"大于 3 的数"，高中你说 $\{x \mid x > 3\}$；初中你说"这两个三角形全等"，高中你说"它们作为集合相等"。

为什么要多这一道手续？因为自然语言有歧义，集合语言没有。

"我们班喜欢数学的人"——这是集合吗？边界模糊，有人觉得"还算喜欢"，有人说"不喜欢"。这不是集合，因为没法判断某个具体的人在不在里面。

"我们班数学成绩在 90 分以上的人"——这是集合。拿任何一个人来，查分数，进或不进，一句话定案。

集合的定义：三句话

教科书上是这么写的：

一般地，我们把研究对象统称为元素，把一些元素组成的总体叫做集合。

短短两句，但要细品三个字："确定的"、"互异的"、"无序的"。这三个词是集合的宪法，也是高考陷阱的三大源头。

一、确定性

任何一个对象，必须能明确判断它在不在这个集合里。"高个子"不是集合，"身高超过 175 cm 的人"是集合——后者拿卷尺一量就知道。

高考最经典的考法就是拿这个设陷阱：

下列对象能否构成集合？① 很大的数；② 接近于 0 的数；③ 班级里跑步快的同学。

答案：都不能。"很大""接近""快"都没法定界。而如果把②改成"绝对值小于 0.01 的数"，立刻就是集合。

二、互异性

同一个元素在集合里只能出现一次。

$\{1, 1, 2\}$ 不是合法的集合写法，应该写成 $\{1, 2\}$。

这条看似废话，但它是高考代数题的暗礁：

已知集合 $A = \{1, a, a^2\}$，若 $1 \in A$，求 $a$ 的值。

有人答 $a = 1$——错。若 $a = 1$，则 $A = \{1\}$，只有 1 个元素，违背了 $A$ 有三个元素的隐含要求（写法上列了三项，就默认是三个不同元素）。

更狠的版本：

集合 $A = \{a, 1\}$，$B = \{1, a^2\}$，若 $A = B$，求 $a$。

若按"两个集合相等就是元素相同"，有人列 $a = a^2$，得 $a = 0$ 或 $a = 1$。$a = 1$ 时 $A = \{1\}$、$B = \{1\}$，看似成立——但此时 $A$ 的写法 $\{a, 1\}$ 就写重复了，违背互异性。所以 $a = 1$ 要舍，答案只有 $a = 0$。

"算出两个解，其中一个让集合退化"——这是互异性陷阱的标准形态。

三、无序性

$\{1, 2, 3\}$ 和 $\{3, 1, 2\}$ 是同一个集合。集合不关心你按什么顺序数出来。

这条主要影响的是列举法的书写和两个集合相等的判断：判断 $A = B$ 时，把两边的元素各自摊平，看是不是同一堆，顺序不重要。

两种表示法：列举与描述

列举法：把元素一个个列出来

$A = \{1, 2, 3, 4\}$

适用于元素个数少、能数得清的情况。优点是直观，缺点是列不完就要换描述法。

描述法：一句话划出边界

$B = \{x \mid x > 3\}$

竖线左边是"元素长什么样"（$x$），右边是"准入条件"（大于 3）。竖线是分水岭，左边管形态，右边管资格。

这里有个易错点：描述法必须写清楚"在哪个范围内讨论"。$\{x \mid x > 3\}$ 里的 $x$ 默认是实数。如果改成 $\{x \in \mathbb{Z} \mid x > 3\}$，那就是 $\{4, 5, 6, \cdots\}$，整数集合。省略范围 = 默认实数，这在高中是约定，也是考点。

还有一种画图法——韦恩图（Venn 图），用圈表示集合，看包含关系、交集、并集。它在考试里不能得分（阅卷不认图），但它是思考的工具：遇到抽象集合题，先在草稿纸上画两个圈，关系立刻就清楚了。

一组必须立刻分清的关系

这是本讲最重要的一节。元素与集合、集合与集合，是两套不同的符号，混用直接判错。

元素与集合之间，只有"属于"和"不属于"：

$a \in A \quad \text{或} \quad a \notin A$

读作"$a$ 属于 $A$" / "$a$ 不属于 $A$"。箭头从小指向大——元素是点，集合是圈。

集合与集合之间，是"包含"和"真包含"：

$A \subseteq B \quad (\text{或} \ A \subsetneqq B)$

读作"$A$ 包含于 $B$" / "$A$ 真包含于 $B$"。符号是大头朝左还是朝右，方向必看准。

最容易混的一组对照：

说法	符号	含义
$0$ 是 $A$ 的元素	$0 \in A$	点与圈
$\{0\}$ 是 $A$ 的子集	$\{0\} \subseteq A$	小圈与大圈
$\varnothing$ 是 $A$ 的子集	$\varnothing \subseteq A$	永远成立

第三行是必考点：空集是任何集合的子集。 所以题目说"$A \subseteq B$"，你必须把 $A = \varnothing$ 这种情况单独讨论——漏了它，一整道大题的分就没了。

"$\varnothing$ 与 $\{\varnothing\}$ 不是一回事"：前者是空集，没有一个元素；后者是"含有一个元素的集合"，那个元素恰好是空集本身。就像空盒子和装着空盒子的盒子。

在高中数学体系里的位置

集合这一讲看似只是入门，但它建立了后面所有内容的表达规范：

• 函数的定义域必须用集合语言写：$\{x \mid x \ge 1\}$，不能写"$x$ 大于等于 1"。
• 充分必要条件（下一讲）本质是两个集合的包含关系。
• 概率里的事件就是样本空间的子集，"互斥事件"就是交集为空。
• 不等式的解集，全部用集合表示。

第一讲的意义：不是学会几个符号，是从此改用一种不说含糊话的语言。

思考与拓展

1. 下列对象能否构成集合？① 我们班的高个子；② 我们班身高超过 170 cm 的同学；③ 所有很接近 0 的数。
2. 已知 $A = \{2, 4, x^3 - 2x^2 - x + 7\}$，若 $7 \in A$，求 $x$。（提示：注意互异性）
3. 用描述法表示"大于 5 的偶数"的集合。
4. 若 $A \subseteq B$，$A$ 有可能是空集吗？$\varnothing$ 与 $\{\varnothing\}$ 有什么区别？

一句话总结

集合三宪法——确定、互异、无序；元素用 $\in$ 和 $\notin$，集合用 $\subseteq$ 和 $\subsetneqq$；空集是任何集合的子集，遇到 $A \subseteq B$ 先想 $A = \varnothing$。