第3卷 第3章 伽利略的犹豫

学习目标

• 能用外延与内涵两种方式定义集合，区分成员关系、子集关系和嵌套层级
• 能把交并补翻译成逻辑与或非，并用受限分离解释罗素悖论为什么被阻断
• 能构造单射、满射和双射，证明自然数与平方数虽然有真子集却等势
• 能用四幅图与交互实验复盘“表示改变视角，不改变对象”的学习路径

从“美人的集合”开始

第3卷第3章从尤里的课堂疑问开始。老师举“美人的集合”为例，却又说这不是数学里要讲的集合。问题不在于“美人”不能组成集合，而在于成员资格能否明确判断：给定一个对象，必须有清楚标准决定它属于还是不属于。

先预测：为什么1与{1}完全不同；为什么无限集合不能只靠省略号表示；任意性质若都能生成集合会发生什么；自然数和只是其中一部分的平方数，为何竟能“一样多”？

外延表示：把成员逐个列出

自然数中2的倍数可以写成：

$$E=\{2,4,6,8,10,12,\ldots\}.$$

这叫外延表示法。成员关系写作：

$$10\in E,\qquad 3\notin E.$$

集合只由“哪些对象是成员”决定：

$$\{1,2,3\}=\{3,2,1\},$$ $$\{1,2,2,3\}=\{1,2,3\}.$$

元素顺序和重复次数都不改变集合，这叫集合的外延性。

空集、单元素集与层级

没有任何元素的集合是空集：

$$\varnothing=\{\}.$$

只有元素1的集合是单元素集：

$$\{1\}.$$

数字1和集合{1}不是同一个对象：

$$1\in\{1\},$$

但通常：

$$\{1\}\notin\{1\}.$$

集合也可以成为更大集合的元素：

$$\{1\}\in\bigl\{\{1\},\{2\},\{3\}\bigr\}.$$

大括号的嵌套深度记录对象层级。看见数字1出现在更深处，不能跳过中间集合直接声称它是外层集合的元素。

交集、并集和包含关系

对集合A,B，交集由同时属于两边的元素构成：

$$A\cap B=\{x:x\in A\land x\in B\}.$$

例如：

$$\{1,2,3,4,5\}\cap\{3,4,5,6,7\} =\{3,4,5\}.$$

2的倍数与3的倍数的交集，是6的倍数：

$$\{2,4,6,\ldots\}\cap\{3,6,9,\ldots\} =\{6,12,18,\ldots\}.$$

偶数与奇数的交集为空：

$$\{2,4,6,\ldots\}\cap\{1,3,5,\ldots\} =\varnothing.$$

并集由至少属于一边的元素构成：

$$A\cup B=\{x:x\in A\lor x\in B\}.$$

自然数中的偶数与奇数合起来给出全部自然数：

$$\{2,4,6,\ldots\}\cup\{1,3,5,\ldots\} =\mathbb N.$$

若A的每个元素都是B的元素，写：

$$A\subseteq B.$$

例如：

$$\{1,2\}\subseteq\{1,2,3\}.$$

每个集合都是自己的子集，空集是每个集合的子集：

$$A\subseteq A,\qquad \varnothing\subseteq A.$$

若还要求A\ne B，则称真子集，可写A\subsetneq B。原书提醒不同教材对\subset是否允许相等约定不一，因此定义比符号外形更重要。

为什么集合要与逻辑相遇

尤里问：这些交并规则似乎理所当然，数学家为什么还要研究集合？米尔嘉的回答是：“为了处理无限。”

外延表示适合有限集合，但省略号未必明确：

$$\{1,2,3,\ldots\}$$

究竟省略了什么，需要额外规则。无限集合无法真正逐个写完，于是使用：

$$E=\{n\in\mathbb N:2\mid n\}.$$

也可写成：

$$E=\{2k:k\in\mathbb N\}.$$

这叫内涵表示法。一个命题P(x)产生成员判定：

$$x\in A \Longleftrightarrow P(x).$$

集合以“属于或不属于”为基础，逻辑以“真或假”为基础。内涵表示正是两者的桥：满足命题的对象进入集合，不满足的对象留在外面。

罗素悖论：性质不能无条件制造集合

若大胆假设每个性质P(x)都能生成：

$$\{x:P(x)\},$$

取性质“x不属于自身”，便得到：

$$R=\{x:x\notin x\}.$$

现在问：

$$R\in R\ ?$$

若假设R\in R，按R的定义，凡属于R的对象都不属于自身，所以：

$$R\notin R,$$

矛盾。

若假设R\notin R，那么R恰好满足入选条件“对象不属于自身”，所以：

$$R\in R,$$

仍然矛盾。两分支合并为：

$$R\in R \Longleftrightarrow R\notin R.$$

这就是罗素悖论。问题不是二值逻辑失效，而是起初的“任何性质都能无条件形成集合”过强。

从无限制内涵到受限分离

原章给出的修复直觉是先固定一个已有集合U，只从中筛选：

$$\{x\in U:P(x)\}.$$

这叫受限分离。现代Zermelo–Fraenkel集合论不承认一个包含所有对象的全集，而以分离、公理化并集、幂集、替换等规则控制新集合的形成。

因此，集合构造要回答两个问题：

1. 元素性质是什么？
2. 从哪个已经获准的论域或集合中筛选？

集合运算就是成员命题的运算

设：

$$A=\{x\in U:P(x)\}, \qquad B=\{x\in U:Q(x)\}.$$

则有逐项对应：

集合	逻辑
A\cap B	P(x)\land Q(x)
A\cup B	P(x)\lor Q(x)
U\setminus A	\neg P(x)
U	恒真
\varnothing	恒假

例如，x属于交集当且仅当两个命题都真：

$$x\in A\cap B \Longleftrightarrow \bigl(P(x)\land Q(x)\bigr).$$

补集必须相对于论域U定义：

$$A^c=U\setminus A.$$

De Morgan律在两边具有同一骨架：

$$U\setminus(A\cap B) =(U\setminus A)\cup(U\setminus B),$$ $$\neg(P\land Q) \Longleftrightarrow \neg P\lor\neg Q.$$

以及：

$$U\setminus(A\cup B) =(U\setminus A)\cap(U\setminus B),$$ $$\neg(P\lor Q) \Longleftrightarrow \neg P\land\neg Q.$$

说明集合与逻辑同一骨架：集合恒等式可以转译为逻辑等价式，反之亦然。

双射鸟笼：不先数完也能比较

面对无限集合，泰朵拉说“数不清”。米尔嘉把左右手指尖逐一相对：即使不知道每只手有几根手指，只要能不重不漏地配对，就知道两边一样多。

从集合A到B的映射f，给每个A中元素指定唯一的B中元素。若它同时不重不漏，就是双射。

• 单射：没有重复命中。
• 满射：没有遗漏目标。
• 双射：既不重复，也不遗漏。

用双射比较集合大小。若存在双射：

$$f:A\longrightarrow B,$$

就称A与B等势，记作：

$$|A|=|B|.$$

双射还拥有逆映射：

$$f^{-1}:B\longrightarrow A.$$

有限集合中，这与普通计数完全一致；关键是同一标准也能用于无限集合。

伽利略的犹豫

所有平方数构成自然数的真子集：

$$Q=\{1,4,9,16,25,\ldots\} \subsetneq\mathbb N.$$

但函数：

$$f:\mathbb N\longrightarrow Q, \qquad f(n)=n^2$$

是双射。它是单射，因为正自然数平方相等会推出原数相等；它是满射，因为每个平方数按定义都等于某个自然数的平方。因此：

$$|\mathbb N|=|Q|.$$

17世纪的Galileo看见“整体与真子集一样多”，认为无限情形不应再谈数量相等，于此折返。19世纪的Dedekind与Cantor却把反直觉当成入口：有限集合不可能与真子集双射，而无限集合恰能如此。

定义为：

$$\exists B\subsetneq A,\qquad |A|=|B|.$$

在通常采用选择公理的数学环境中，这与熟悉的无限集合概念一致；在不含选择公理的一般ZF中，可能存在无限但Dedekind有限的集合，这一细节提醒我们“无限”的等价刻画也依赖公理背景。

Cantor把集合的“多少”抽象为基数。概念扩张的关键不是压掉矛盾感，而是判断旧直觉属于定义、定理还是只对有限对象成立的经验。

表示、学习与最后的沉默

原章在“表示”一节把数学与学习放在一起。外延表示试图写出对象，内涵表示写出对象共同满足的性质；同一个集合可以有多种表示，但每种表示都必须让成员标准明确。

泰朵拉买参考书时也面对表示差异。真正的起点不是搜罗最多的书，而是问：

我从哪里开始不明白？

找到“最初的不明白”，才能比较哪种表述适合自己。数学对象不会因更换表示而改变，但一种恰当表示可能把结构显露出来。

章末，尤里把“美人的集合”重新抛给“我”，并把判断仪限定为哥哥、论域限定为身边女生。她实际上补上了谓词中的参数：

$$B(y;x) \colon x\text{ 判断 }y\text{ 是美人}.$$

“美”不再是假装客观的无参数性质，而是依赖判断者、论域和标准。面对“尤里是否属于这个集合”，叙述者沉默。本章从魔糊的美人集合出发，经过严格集合形成、逻辑和无限，又回到一个无法隐藏参数的谓词。

概念证据索引：把符号还原成对象

• 伽利略的犹豫 / 美人的集合 / 成员资格必须明确判断：美人的集合提醒我们，先给出论域与成员标准，再讨论对象是否属于集合。
• 外延表示法 / 2的倍数集合 / 元素属于集合 / 不属于符号：E={2,4,6,...} 是 2 的倍数集合；10∈E 与 3∉E 把成员资格写成可检查的命题。
• 集合元素顺序任意 / 集合忽略重复元素 / 集合外延性 / 1与集合1不同：集合只看成员，不看排列和重复；数字 1 与单元素集合 {1} 的类型和层级不同。
• 集合也能成为元素 / 嵌套集合 / 公共部分交集 / 2倍数与3倍数交集是6倍数：对象可以是集合的元素；交集保留共同成员，所以 2 与 3 的倍数交集正是 6 的倍数。
• 偶数奇数交集为空集 / 并集 / 偶数与奇数并集为自然数 / 包含关系 / 子集 / 空集是每个集合的子集：偶数与奇数没有共同成员而交集为空，并集覆盖自然数；子集关系比较的是整组成员。
• 集合是自身子集 / 真子集 / 成员关系与子集关系不同 / 成员关系连接对象与集合：A⊆A 总成立；A⊊B 还要求不相等，而成员关系连接对象与集合，不能和子集关系互换。
• 为什么研究集合为了处理无限 / 无限集合 / 外延表示对无限集合有局限 / 省略号可能不明确：逐个列举无法完成无限对象，省略号也需要规则，因此要用谓词给出成员判定。
• 内涵表示法 / 用命题表示集合 / 同一集合可有多种内涵表示：E={n∈N:2∣n} 是内涵表示；同一个集合可以用倍数、偶数等不同命题描述。
• 集合的属于不属于与逻辑真假 / 无限制内涵原则 / 罗素悖论：属于/不属于对应真假；若每个性质都能造集合，就会触发无限制内涵的自指问题。
• R等于不属于自身对象的集合 / 研究R是否属于自身 / 若R属于R则R不属于R / 若R不属于R则R属于R / 自成员矛盾：R={x:x∉x} 的两种假设分别推出相反结论，合成 R∈R↔R∉R。
• 限制集合形成规则 / 先固定全集U / 从已有集合按性质筛选 / ZF不存在全集：受限分离先给定已有集合 U，再筛选 {x∈U:P(x)}；ZF 不承认包含所有对象的全集。
• 集合运算和逻辑运算 / 交集对应逻辑与 / 并集对应逻辑或 / 补集对应逻辑否定：同一论域中，交、并、补分别翻译为与、或、非。
• 全集对应真 / 空集对应假 / De Morgan定律 / 逐项互译 / 用集合与逻辑研究数学：U 和 ∅ 对应恒真与恒假，De Morgan定律展示集合恒等式和逻辑等价式可以逐项互译。
• 双射鸟笼 / 映射 / 映射给每个源元素唯一目标 / 单射 / 满射 / 双射：映射给每个源元素唯一目标；单射不重、满射不漏、双射两者兼具。
• 双射存在逆映射 / 用双射比较集合大小 / 等势 / 基数 / 就称A与B等势：双射可以反向配对，用它定义等势；基数是把“有多少”从逐个计数提升后的结构。
• 自然数到平方数n映到n平方 / 自然数与平方数双射 / 平方数是自然数真子集：f(n)=n² 把每个自然数送到唯一平方数，并且每个平方数都有原像；平方数仍是自然数的真子集。
• 整体与真子集一样多 / Galileo认为无限不能谈数量相等 / Dedekind把整体部分双射作为无限定义 / Dedekind无限 / Cantor研究无限集合浓度：平方数例子让 Galileo 犹豫，Dedekind 用整体与真子集双射刻画无限，Cantor 则把这种比较发展为浓度与基数研究。
• 飞跃前的停滞 / 负数无理数虚数概念扩张 / 选择公理与Dedekind无限细节：概念扩张会先制造停滞；负数、无理数、虚数的历史和选择公理的细节都说明定义依赖背景。
• 表示的本质 / 找到最初的不明白 / 用自己的脑子选择参考书 / 美人谓词依赖判断者 / 把哥哥作为美人测定仪 / 沉默就是答案：表示应暴露结构；从最初的不明白出发选择解释，并在谓词中保留判断者、论域和标准，最后的沉默也是参数被看见后的答案。

互动实验与四步复盘

先猜：如果把“整体更大”这条有限直觉带进无限集合，会在哪一步失效？用按钮切换成员关系、集合逻辑和双射配对，再用分步图复核每一次类型转换。

Set Relation Lab

切换同一章的三种证据视角。

重置实验

成员关系集合逻辑双射配对

结论：∈ 连接对象与集合，⊆ 连接集合与集合。

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 类型：先分清成员与子集

观察 1∈{1}、{1}⊆{1,2} 和嵌套集合的层级；符号两侧的对象类型决定关系。

上一步播放下一步

本章回顾：把反直觉变成定义

1. 集合由成员完全决定，元素顺序与重复不影响集合。
2. 数字1、单元素集{1}和嵌套集合{{1}}是不同层级的对象。
3. x\in A表示成员关系，A\subseteq B表示子集关系。
4. 交集对应“同时属于”，并集对应“至少属于一方”，补集依赖全集。
5. 外延表示逐个列成员，内涵表示用谓词规定成员资格。
6. 集合的属于/不属于与逻辑的真/假通过内涵表示相连。
7. 无限制内涵产生R\in R当且仅当R\notin R的罗素悖论。
8. 受限分离只从已有集合筛选元素，公理化集合论进一步控制集合存在。
9. 交、并、补集分别对应合取、析取、否定，De Morgan律在两边同构。
10. 单射不重复，满射不遗漏，双射把两个集合逐一配对。
11. n\mapsto n^2给出自然数与平方数的双射，尽管后者是真子集。
12. Galileo因整体与部分等势而犹豫，Dedekind与Cantor把它发展成无限和基数理论。
13. 恰当表示不仅定义对象，也决定学习者能否看见结构与自己的疑问起点。

练习与答案

练习

1. 问题 1：成员还是子集？ 判断 1∈{1}、{1}⊆{1,2}、1⊆{1,2} 中哪些成立，并解释原因。

查看答案

前两个成立，第三个不成立。1∈{1} 是对象与集合的成员关系；{1}⊆{1,2} 比较两个集合的成员。数字 1 不是集合，不能直接作为子集关系左侧。

2. 问题 2：从无限制内涵到受限分离。 为什么 R={x:x∉x} 会矛盾？写出一个安全的受限版本。

查看答案

假设 R∈R 会推出 R∉R，假设 R∉R 又会推出 R∈R，所以得到自指矛盾。安全版本先固定已有集合 U，再写 {x∈U:x∉x}；筛选范围被 U 限定，不再假设存在包含所有对象的全集。

3. 问题 3：集合与逻辑。 在固定全集 U 中，把 U\setminus(A∩B) 翻译成逻辑式，并说明它使用了哪条定律。

查看答案

对任意 x∈U，它等价于 ¬(P(x)∧Q(x))，再由 De Morgan 定律得到 ¬P(x)∨¬Q(x)，对应集合式 (U\setminus A)∪(U\setminus B)。

4. 问题 4：无限集合的大小。 说明 f(n)=n² 为什么同时证明自然数与平方数等势，以及为什么这不与平方数是真子集冲突。

查看答案

f 是单射，因为不同自然数的平方不同；它是满射，因为每个平方数都形如某个 n²。因此它是双射，两个集合等势。无限集合可以和自己的真子集双射，“真子集更小”的有限直觉在这里不适用。

名词解释

本章出现的专业名词，用大白话再讲一遍。

集合

由明确成员资格组成的对象；给定对象时，要能判断它属于还是不属于。

外延表示法

直接列出集合成员的表示方式，适合有限集合或有清楚规律的短列表。

内涵表示法

用一个命题或性质规定哪些对象进入集合，例如 {n∈N:2∣n}。

罗素悖论

无限制集合形成规则导致的自指矛盾：R∈R 当且仅当 R∉R。

受限分离

先固定已有集合，再按性质从其中筛选元素的集合构造规则。

双射

同时满足单射和满射的映射，能把两个集合的元素不重不漏地配对。