第3卷第8章两份孤独所衍生的产物

从正自然数对的重叠关系构造整数，证明逐分量加法良定义，再把自反、对称、传递抽象成等价关系，以商集统一整数、有理数与模运算。

学习目标

能从正自然数对定义重叠关系，解释为什么只用交叉和而不能预用减法
能证明逐分量加法代表元无关，并把零元、交换坐标逆元和正自然数嵌入写成商集记号
能验证自反、对称、传递三条等价律，解释等价类、商集以及整数/有理数/模3的统一结构
能用格点图、关系图和 Pair No 实验检查“代表对”和“新对象”之间的层次转换

从一张没有问题的卡片开始

第3卷第8章的正式标题是“两份孤独所衍生的产物”。村木老师的卡片没有要求证明或求解，只给出一项定义：

由两个正自然数组成的组合称为。若a+d=b+c，就说(a,b)与(c,d)重叠。

先预测：为什么不用更直观的a-b=c-d？一组自然数对怎样生出负整数？若同一个整数有无数个代表对，运算会不会因代表选择而改变？“集合除以关系”究竟得到什么？

标题中的两份孤独既指两条旋律、两个人和一对翅膀，也指有序对里相互独立的两个自然数。加入关系后，分散的点才形成新的结构。

8.1 重叠的对

8.1.1 泰朵拉的发现

泰朵拉先按“示例是理解的试金石”列出：

(1,1),(1,2),(1,3),\ldots

以及：

(2,1),(2,2),(2,3),\ldots

原章以正自然数：

\mathbb N_+=\{1,2,3,\ldots\}

为坐标，所以不会出现(0,0)或(3,0)。她不仅发现条件，还发现“自己发现了条件”，称其为。理解抽象定义的第一步，是检查论域和被排除的边界对象。

定义集合：

S=\mathbb N_+\times\mathbb N_+.

在S上定义：

(a,b)\sim(c,d) \quad\Longleftrightarrow\quad a+d=b+c.

例如：

(1,2)\sim(2,3),

因为：

1+3=2+2.

同一条斜线上的点有相同差值；关系把许多代表对压缩成一个整数候选。

泰朵拉把它形容为“外项之和等于内项之和”，并注意到它与比例中“外项之积等于内项之积”形式相似。

8.1.2 我的发现

若整数已经存在，移项可得：

a+d=b+c \quad\Longleftrightarrow\quad a-b=c-d.

所以重叠的对具有相同差值：

(1,2),(2,3),(3,4),\ldots

都像整数-1；而：

(3,1),(4,2),(5,3),\ldots

都像整数+2。

但从自然数构造整数时，不能把a-b当定义，因为1-2在尚未扩张的自然数系统中未定义。交叉和：

a+d=b+c

只使用自然数内封闭的加法，因此没有循环定义。

8.1.3 谁都没发现的事实

毕业典礼前，米尔嘉与盈盈准备钢琴伴奏。泰朵拉看见“毕业证书颁发仪式”，把证书理解为“证明毕业的文件”，米尔嘉便玩笑说毕业生像定理。

这段没有新增公式，却提前摆出本章主题：一个对象的身份来自什么证明或关系？单个学生与“毕业生”这个分类，就像单个对与它所属的等价类，不能混成同一层对象。

8.2 家中：自己的数学

8.2.1 自己的数学

夜里，“我”完成学校作业后继续研究卡片。村木老师曾建议每天研究“自己的数学”：不是重复答案，而是在定义没有指定问题时，自己提出可验证的问题。

从具体例子压缩表示：

\{(1,1),(2,2),(3,3),\ldots\} = \{(a,b)\in S:a-b=0\},

\{(2,1),(3,2),(4,3),\ldots\} = \{(a,b)\in S:a-b=1\}.

让“同一差值的一堆对”显露为整数候选。

8.2.2 表现的压缩：由类得到整数

对(a,b)的记作：

[(a,b)] = \{(c,d)\in S:(c,d)\sim(a,b)\}.

定义：

\mathbb Z^\ast:=S/{\sim} = \{[(a,b)]:(a,b)\in S\}.

这里\mathbb Z^\ast先只是一个新集合，之后通过运算证明它与熟悉整数同构。对应关系为：

\Phi([(a,b)])=a-b.

它良定义，因为若(a,b)\sim(c,d)，则事后在整数中确有a-b=c-d；它也是双射。因此可把商集中的每一类认作一个整数。

8.2.3 加法运算的定义

从：

(a-b)+(c-d) =(a+c)-(b+d)

得到逐分量加法：

[(a,b)]+[(c,d)]: = [(a+c,b+d)].

例如：

[(3,2)]+[(3,1)] =[(6,3)],

对应：

1+2=3.

真正难点不是公式看起来对，而是证明加法：结果不能随着代表元的更换而改变。

假设：

(a,b)\sim(a',b'), \qquad (c,d)\sim(c',d').

则：

a+b'=b+a', \qquad c+d'=d+c'.

两式相加并重排：

(a+c)+(b'+d') =(b+d)+(a'+c').

所以：

(a+c,b+d) \sim (a'+c',b'+d').

无论从哪组代表元计算，结果都落在同一等价类，加法才真正定义在商集上。

(1,2) 与 (2,3) 代表同一类；两条计算路径最后仍落在同一个结果类。

零元是任意[(n,n)]，例如：

0_{\mathbb Z^\ast}=[(1,1)].

加法逆元通过交换坐标：

-[(a,b)]=[(b,a)].

正自然数n嵌入为：

\iota(n)=[(n+1,1)].

这套结构拥有整数加法的同构骨架。

8.2.4 教师的存在

凌晨两点，“我”继续定义对的符号变换、减法和大小关系，把这套由对出发的自创运算称作“Pair No 算术”，第一次真正体验“构建数字世界”。村木老师没有给答案，只给了一个不太难又不太简单的入口，并追问“换成你，会怎么挑战？”

教师的价值不只在解释已有结论，也在设计能让学生自己发现结构的问题。定义提供制约，制约并不消灭自由，反而让可检验的创造成为可能。

8.3 等价关系

8.3.1 毕业典礼与8.3.2 对衍生的产物

典礼上，盈盈和米尔嘉把《萤之光》与校歌重混。这场“两首歌重混”让两条旋律都没有消失，却在共同和声中产生第三种体验。“对衍生的产物”既是音乐重混，也是两个自然数被关系组织后产生整数。

数学超越时间保留结构，学校生活却持续流动。典礼之后，三人仍回到图书室，把夜里的发现变成可复查定义。

8.3.3 从自然数到整数

米尔嘉指出a+d=b+c的真正优势：若装作不知道整数，a-b可能未定义，而自然数加法始终封闭。新对象必须用旧系统已许可的材料构造。

这给出扩张数系的一般方法：

选择旧对象组成的表示；
定义哪些表示应视为同一个新对象；
证明该关系稳定分组；
在分组上定义运算；
证明运算良定义；
验证新结构满足目标公理。

8.3.4 图：整数是二维格点的影子

把(a,b)画成第一象限格点。条件：

a-b=k

给出斜率为1的平行格点线，每条线是一整个等价类。沿方向(1,1)投影到横轴，影子落在整数k上。

对的加法：

(a,b)\oplus(c,d) =(a+c,b+d)

就是二维向量加法；投影满足：

\Phi(u\oplus v) =\Phi(u)+\Phi(v).

整数加法因此可看作二维向量加法的影子。图不是装饰，它让等价类、商映射和运算保持性同时可见。

8.3.5 自反、对称、传递

集合 S 上的关系若满足三条等价律，就称为。

自反律：

\forall x\in S,\quad x\sim x.

对重叠关系，因为：

a+b=b+a.

对称律：

x\sim y \Longrightarrow y\sim x.

若a+d=b+c，由交换律得c+b=d+a。

传递律：

x\sim y \land y\sim z \Longrightarrow x\sim z.

设：

(a,b)\sim(c,d), \qquad (c,d)\sim(e,f).

则：

a+d=b+c, \qquad c+f=d+e.

相加并消去自然数和中共同的c+d，得到：

a+f=b+e,

所以(a,b)\sim(e,f)。

三条性质共同保证关系把集合稳定地分成互不相交的等价类。

小于关系只有传递，不等关系只有对称，等号与重叠关系三条都满足。每条性质都是全称命题；成功例子不能证明全称性，一个反例却足以否定。

8.3.6 商集：用关系去除集合

等价关系把S划分成互不相交且并集为S的等价类。由所有等价类组成的记作：

S/{\sim}.

商集的元素不是原来的单个对，而是“彼此重叠的对组成的集合”。从每个类选出的一个原元素叫。

商集不是删掉信息，而是把关系认为相同的代表统一为一个新对象。

商集方法还统一了：

有理数

在：

\mathbb Z\times(\mathbb Z\setminus\{0\})

上定义：

(a,b)\approx(c,d) \quad\Longleftrightarrow\quad ad=bc.

每个等价类就是同一比值的所有分子分母表示，约分只更换代表元。

模3整数

定义：

a\equiv b\pmod3 \quad\Longleftrightarrow\quad 3\mid(a-b).

商集：

\mathbb Z/3\mathbb Z

有余0、余1、余2三个等价类。

同年级学生

全校学生按“同年级”关系分成高一、高二、高三三个类。原集合的许多学生被压缩成商集中的三个元素。

8.4 餐厅：一对翅膀与无力考试

8.4.1 两个人的晚饭

“我”与母亲去意大利餐厅吃晚饭。即将升高三和面对高考，让未来像逐渐消失的地面：时间是一维的，许多可能性不能同时实现。

8.4.2 一对翅膀

母亲用并不严密却有效的比喻回答：没有地面时，就用左右一对翅膀飞。学走路时也曾跌倒无数次，行动能力不是等准备完美才出现，而是在尝试中形成。

这与数学构造互相照应。单个自然数无法独自表示任意整数，一对自然数却能在关系约束下获得正负方向；两份独立的材料不必相互吞没，也能共同产生更大的空间。

8.4.3 无力考试

母亲建议与“实力考试”相反的“无力考试”：不要一个人持续绷紧，也要练习放松和接受支持。形式证明要求每一步有根据，人生选择却不可能先得到完整公理和最终定理。

本章把两个尺度并列：数学中要严格证明代表元无关；生活中则承认人的力量会来自关系、教师、同伴和家人。Poincare所说数学给不同事物赋予同一名字，等价关系正把分散对象组织成一个可共享的名字。

概念回收：把关系、类与人物线重新接上

两份孤独所衍生的产物既是音乐和人物关系的隐喻，也是自然数对经过关系组织后生成整数的数学事实。
重叠的对是本章的入口；泰朵拉的发现从例子中读出关系，注意正自然数对不含0，也就是坐标不含0。
发现条件又发现自己发现了条件，就是元发现；正式关系写作 a+d=b+c，也称交叉和或外项之和等于内项之和。
我的发现把关系改写成 a-b=c-d；这是差值相等的规律，用来解释代表对，不用来预先定义整数。
谁都没发现的事实回到人物线：毕业生就是定理，在本章叙述里也说成毕业生像定理。
家中的自己的数学要求主动提出可检查的问题；表现的压缩把同一差值的一堆对看作差值类对应整数。
加法运算的定义是商集上的逐分量加法；代表元无关必须通过证明才能得到良定义。
零元可由 [(1,1)] 表示，即[1,1]表示零；交换坐标为负元，也就是交换坐标给出加法逆元。
教师的存在不等于代替学生完成证明；教师的价值在于设计能让学生自行发现结构的问题。
等价关系把对象分组；毕业典礼中的两首歌重混，即萤之光与校歌重混，呼应对衍生的产物。
从自然数到整数要坚持不能预用减法，也就是避免预用待构造的负数；先用自然数加法定义关系。
图让整数是二维格点的影子可见；每条格点斜线都是一条斜率1的平行格点线。
对的运算是向量加法射影，因此整数可看成二维向量加法的影子，而不是凭图像猜出的新规则。
自反律、对称律、传递律共同构成等价关系；这是把“等号一般化”为可取商关系的检查表。
商集就是用关系去除集合后得到的新集合；整数商集具体是正自然数对关于重叠关系的商集。
代表元素与代表元只是同一角色的两种叫法：单个原集合元素代表一个等价类，但不等于整个类。
有理数商集用分子分母对按交叉乘积关系组织分数表示；Z/3Z则来自模3同余，留下三个余数类。
同年级商集按同年级关系把学生压缩成班级层次，说明商集思想不只用于数。
餐厅里的两个人的晚饭与一对翅膀把支持和共同构造带回生活；无力考试提醒人不必独自维持全部力量。
Pair No算术就是“我”尝试建立的对的算术；Poincare的命名观点把不同对象放进可共享的结构语言。

本章回顾：从对到类，从类到新数

原章的自然数从1开始，因此对的坐标不含0。
重叠关系a+d=b+c只使用自然数加法，避免预用待构造的负数。
若整数已知，重叠等价于差值相等；这个等价用于发现而非原始定义。
第一象限格点按斜率1的平行线分组，每条线对应一个整数。
整数可定义为正自然数对关于重叠关系的商集。
商集元素是等价类，不是单个代表对。
逐分量加法[a,b]+[c,d]=[a+c,b+d]保持整数加法。
商集运算必须证明良定义，结果不能依赖代表元选择。
[1,1]表示零，交换坐标给出加法逆元，[n+1,1]嵌入正自然数。
自反、对称、传递三条性质共同定义等价关系。
重叠关系的三条性质都能只用自然数加法证明。
等价关系把集合划分成互不相交且覆盖全集的等价类。
有理数可由分子分母对按交叉乘积关系构成商集。
模3同余把整数分成三个余数类，同年级关系把学生分成年级类。
图像、具体例子和表示压缩共同揭示抽象定义背后的结构。
教师设计问题、同伴重混旋律和母亲的一对翅膀，共同呼应“两份孤独”的标题。

Pair No Lab

选择一个代表对，观察差值、零元和交换坐标逆元。

当前代表：(1,2)

差值映射：1−2 = −1

交换坐标：(2,1)（加法逆元）

换一个同类代表，商集中的整数名字不变。

分步1 / 4

1. 格点：从对读出差值类

把 (a,b) 放在第一象限，沿 a−b=k 的斜线观察哪些代表对应同一整数。