Cartesian Product · 笛卡儿积

数学小主题读本 · 其一　｜　抽象，统一与直观——从关系出发的代数基本语言　｜　九章格数学 PhiloMath

本册定位。「映射」「序」「等价」「运算」这四样东西，在教材里散落各章、各自定义，初学者容易把它们当成四套互不相干的语言。其实它们是同一件事的四个侧面：都是某个笛卡儿积的子集，也就是关系。本册用一根线把它们全部串起来——从有序对出发，把映射讲成「单值全定义的关系」，把可逆讲成「逆关系仍是映射」，把偏序与等价讲成「两种最规整的内部关系」，把「等价关系＝分类」的双向定理讲透，给出商集合，最后以域上向量空间与欧氏空间为例，说清二元运算与代数运算的差异。全册不假设任何超出高中的知识；每节末配思考题（不附详解，提示仅供自查）。读懂本册，往后在任何代数课程里重逢这些「显然」的定义，都会看出它们本来的深意。

§1有序对与笛卡儿积：把两个信息并成一个

许多数学对象天生带着两段信息：平面上的点带着横坐标与纵坐标，复数 a+bi 带着实部与虚部，一次考试记录着学号与分数。把它们打包成一个对象，集合论里用有序对（ordered pair，序偶）(a,b) 来实现。它与集合 {a,b} 的根本差别只在一句话上：

有序对的灵魂　(a,b) = (c,d) 当且仅当 a=c 且 b=d。次序算数，重复也照记：这与无序集 {a,b}={b,a} 恰成对照。

旁注（有序对能只用集合造出来吗？）能。Kuratowski（1921）的定义：(a,b) := {{a},{a,b}}。第一个槽里的元素 a 在两种集合中都出现，第二个槽里的 b 只出现一次——「先来后到」被编码进了集合的层次里，次序信息由此凭空生有。本册不追问这条底层构造，只记住它的功效：有了它，数学的一切对象都可以建造在集合这唯一的地基上。

定义 1.1（笛卡儿积）　设 A, B 为集合。称

A × B = { (a,b) : a ∈ A, b ∈ B }

为 A 与 B 的笛卡儿积（Cartesian product），得名于笛卡儿（R. Descartes）——他发明的坐标系正是它最著名的化身：ℝ×ℝ = ℝ²，每一点由一个序偶 (横, 纵) 标定。若把 A、B 想成两条横线上各自铺开的点，笛卡儿积就是把一条线上的每个点与另一条线上的每个点各配一对。

图 1-1　笛卡儿积作为格点：轴上各取一点，配成平面上一格。A×B 的元素不必「画」成什么，格点已是最忠实的画像。

例 1.2（四则直观）　① ℝ×ℝ 是整个坐标平面；ℝ×ℤ 是一列竖直的「栅栏」，ℤ×ℝ 是一排水平的「百叶窗」——二者风马牛不相及，可见交换因子次序会换掉整个集合。② {0,1}×{0,1} 恰含四点 (0,0),(0,1),(1,0),(1,1)——二值逻辑的全部真值组合。③ 若用序偶 (实部, 虚部) 认领复数，则 ℂ 的载体集合就是 ℝ×ℝ：同一个集合，可以穿上不同的代数外衣（复数的乘法与平面上的乘法是后来加上的结构，集合本身只是 ℝ²）。

命题 1.3　对集合 A, B：A×B = B×A 当且仅当 A=B，或 A=∅，或 B=∅。

证.　⟸ 三种情形皆显然（空积与任何积为空；因子相同则两积相同）。⟹ 设 A×B = B×A 且 A、B 皆非空。取 a∈A, b∈B。任取 a′∈A，则 (a′,b)∈A×B=B×A，由序偶相等的判据必有第一槽 ∈B，故 a′∈B；于是 A⊆B。同理 B⊆A。□

命题 1.4（计数）　若 A, B 为有限集，则 |A×B| = |A|·|B|。这正是算术乘法「计数原理」的集合论本相：乘法就是给积集合数点。

命题 1.5（对并、交分配）　对任意集合 A, B, C：A×(B∪C) = (A×B)∪(A×C)；对 ∩ 与差 − 也有同样的双分配式。

证.　(x,y)∈A×(B∪C) ⟺ x∈A 且 (y∈B 或 y∈C) ⟺ ((x,y)∈A×B 或 (x,y)∈A×C)。逐字用「且」「或」的分配律翻译即可。□

多个因子。三个集合的积 A×B×C 约定直接取三元组 (a,b,c) 全体。严格说来 ((a,b),c) 与 (a,(b,c)) 是不同的对象，但 ↦ 自然对应把双方一一配对——「结合律」在这里以同构而非相等的方式成立，这是我们第一次尝到「数学结构不怕括号搬家」的味道。同因子连乘记作幂：Aⁿ = A×⋯×A（n 个），约定 A¹=A，A⁰={()}（恰一个空组）。

延伸　解析几何把平面读作 ℝ²、空间读作 ℝ³——「把数对当作一个点」，正是笛卡儿积思想最古老的兑现。往后学习线性代数时会重逢同一件事：n 元数组 (a₁,…,a_n) 全体构成的数域 K 上的向量空间 Kⁿ，其载体（元素的集合）正是 Kⁿ = K×⋯×K——先有积，后有空间；加法与数乘（§8）才是后来在这片格点场上立起的结构。

旁注（与无穷的第一次照面）　ℕ×ℕ 里有「多少」点？画成平面格点阵，沿对角线蛇形游走（(0,0)→(0,1)→(1,0)→(2,0)→(1,1)→(0,2)→⋯）能把全部格点无遗漏不重复地编号——ℕ×ℕ 与 ℕ 一样多。有限积「乘法把大小炸开」的直觉，在无穷世界悄然失效；这正是 §3 例中「无限集可与真子集等势」的又一例证。康托尔的天才之处在于：把「一样多」严格定义为「存在双射」——本册 §4 的双射判据由此成为无限世界的唯一量尺。

同因子连乘的计数也是一味常用药：|A|=k 时 |Aⁿ|=kⁿ——n 位二进制串恰是 {0,1}ⁿ 的成员，共 2ⁿ 个；n 个位置的字母密码共 26ⁿ 种。「幂」在集合论里的第一身份，是同因子笛卡儿积的大小（它与「子集全体」的幂集 2^X 遥相呼应——后者恰是 {0,1}^X：每个子集由其特征函数认领，这条暗道通向测度论与 computer science 的位向量）。

旁注（指数记号的来历）　从 A 到 B 的全体映射组成的集合记作 B^A。为什么配得上指数记号？数一数：每个源点独立选靶，|B| 种选择连乘 |A| 次——|B^A| = |B|^|A|。于是积、幂、指数在集合世界里一字不差地重演了算术：
|A×B| = |A|·|B|，　|B^A| = |B|^|A|，　且 (B^A)^C ≅ B^C×A（「柯里化」：两次选靶 = 一次选靶对）。
函数式编程把函数类型字面上写成 B^A——集合论的记号，早已潜入程序员的日常。

1.2　无穷笛卡儿积：一个点就是一张点名册

有限个因子的积可以两两打包，无穷多个因子怎么办？对一族集合 {A_i}_i∈I（I 可以无穷），把「两两打包」逐层套娃既笨拙又不统一——「关系的语言」给出了一个一刀切的干净定义：

定义 1.6（无穷笛卡儿积）　族 {A_i}_i∈I 的笛卡儿积是 ∏_i∈I A_i = { x : I → ⋃_i A_i　且对每个 i 都有 x(i)∈A_i }，其成员称选择函数：在每个因子处各挑一名代表，全程不越界。I 有限时它与打包式定义「差一个同构」（§4 的双射）；I 无穷时，它是唯一既自然又统一的口径。

图 1-2　无穷积的一个点 = 选择函数：每站必点一名，全程不越界。「数列」正是 I=ℕ 的特例——x(0), x(1), x(2), … 逐位点名。

熟悉的陌生例子。实数列 (a₀, a₁, a₂, …) 本就是 ℝ^ℕ（ℕ 重笛卡儿积）的成员——「无穷维空间里的一个点」在集合论里早已严格就位，不等解析学开场。欧氏空间 ℝ³ 的点 (x, y, z) 是三元组，希尔伯特空间 l² 的点是「平方可和的实数列」——载体都是这里定义的无穷积（再叠上额外的收敛条件）。定义 1.6 一句话同时管住了 n 元组、序列、乃至后面课程里「参数空间的参数点」——这正是本册标题里「统一」二字的一次预演。

延伸　选择函数与「逐点立项」的思想在后续课程中两次登台：① 泛函分析里的乘积空间与「函数列逐点收敛」——收敛就是对每个坐标 i 各收敛一次；② 集合论深处的选择公理：当每个 A_i 都非空时，∏A_i 是否也非空？有限个因子 trivially 成立（归纳即可），无穷个因子时这条「人人皆可用」的保证竟需要一条独立公理背书（§5 末尾再闻其水声）。

旁注（大小的新台阶）　有限世界 |A×B|=|A|·|B| 顺手把无穷积的「大小」也推上台阶：全体实数列 [0,1]^ℕ 与 [0,1] 本尊恰好一样多——连续统的又一化身（「一样多」的判据是双射，不是直觉）；而全体实函数 ℝ^ℝ 的基数则真正再上一级。康托尔的墓志铭「Hilf nicht！（不可自欺！）」——积、幂在无穷世界的计数规则，正是超穷数论的入场券；本册只立路标，风景留给后续。

思考 1　① A×B = ∅ 当且仅当什么？② 给出 A×B 与 B×A 之间的一个具体双射（不看 §4 也会做）。③ 平面 ℤ×ℤ 的「关系」R = {(平,纵) : 平 ≤ 纵} 里数出前四条对角带各有几对？④ A⊆B 时 A×C 与 B×C 谁含谁？

§2关系：笛卡儿积的子集，数学里最普适的名词

有了笛卡儿积，便有了一个包罗万象的句式：把 A 中元素与 B 中元素「配对后挑一部分」。挑出来的那个子集，就叫关系。小于、整除、同余、相似、平行、同乡、亲子——所有带「比较」「配对」「关联」味道的词，集合论一律收编进同一句定义：

定义 2.1（关系）　设 A, B 为集合。A×B 的任一子集 R 称为从 A 到 B 的一个（二元）关系。若 (a,b)∈R，记作 a R b，读「a 与 b 有关系 R」。当 A=B 时简称 A 上的关系。

例 2.2（关系满目皆是）　① ≤ 是 ℝ×ℝ 的子集：(3, 5)∈≤，(5, 3)∉≤。② 整除 ∣ 是 ℤ₊×ℤ₊ 的子集：(3, 12)∈∣。③ 同余模 4 是 ℤ×ℤ 的子集：(1, 9)∈≡₄，(1, 8)∉≡₄。④ 「同班」是一班学生上的关系；「〈〈字典序」是单词集上的关系。⑤ 两个极端：空关系 ∅（谁与谁都不沾）与全关系（人人有份，即整个 A×B）。子集有多少种挑法，关系就有多少个：n 元集上的关系共 2^n² 个。

旁注（最古老词汇的现代身份）　数据库的每张二维表恰是一个 n 元关系（每行一个 n 元组）——关系数据库因此得名。SQL 的 JOIN 操作就是定义 2.5 的合成：订单表联用户表，正是「经由用户编号作中间站」的两步接力箭头。本册的一句抽象定义，正运行在每一次网购与刷码的后台里——「关系」这个数学里最古老的词汇之一，在最现代的基础设施里守着本名。

给定关系 R⊆A×B，有三件随身的衍生品：定义域 dom R = {a : 存在 b, a R b}（真被配过对的左方元素），值域 ran R（真被配到过的右方元素），以及把所有箭头掉头得到的逆关系 R⁻¹ ⊆ B×A：

b R⁻¹ a ⟺ a R b；　且 (R⁻¹)⁻¹ = R。

图 2-1　关系即箭头袋：dom R = {a₁, a₃}，ran R = {b₁, b₂}。逆关系 R⁻¹ 的箭头（虚线）只是把同一批序偶换个方向读——a₂、b₃ 依然与箭头无缘。

定义 2.5（关系的合成）　设 R ⊆ A×B，S ⊆ B×C。合成关系 S∘R ⊆ A×C 定义为 a (S∘R) c ⟺ 存在 b∈B 使 a R b 且 b S c ——两步接力的箭头：经由中间站 B，从 A 走到 C。

命题 2.6（合成的两条基本律）　① 结合律：( T∘S )∘R = T∘( S∘R )（中间站可以换而结果不变——接力接力再接力）。② 逆的「穿袜法则」：(S∘R)⁻¹ = R⁻¹∘S⁻¹——回程要先脱后穿的袜子：先按原路退回 B（R⁻¹），再退回起点（S⁻¹）。

证.　① 两端都等价于「存在中间站 b∈B、c∈C 使三箭连走」。② c (S∘R)⁻¹ a ⟺ a(S∘R)c ⟺ ∃b: aRb, bSc ⟺ ∃b: cS⁻¹b, bR⁻¹a ⟺ c(R⁻¹∘S⁻¹)a。□

2.1　内部关系的四种品行

集合 A 上的关系，箭头两端都在自家院内，于是有资格谈「品行」。以下四条性质是全部序结构、等价结构、代数结构的入场券：

定义 2.3（品行四件套）　设 R 是 A 上的关系。 ① 自反：∀a∈A, a R a（人人自环）； ② 对称：a R b ⟹ b R a（箭头必成双）； ③ 反对称：a R b 且 b R a ⟹ a=b（双向箭头只许原地打转）； ④ 传递：a R b 且 b R c ⟹ a R c（可接力的箭头）。

例 2.4（各占几条，一目了然）　① (ℝ, ≤)：自反、反对称、传递——三条全占，是偏序的标本（§5）。② (ℤ₊, ∣)：自反（a∣a）、反对称（互整除即相等）、传递（a∣b, b∣c ⟹ a∣c）——也是偏序。③ 「同余模 4」：自反、对称、传递——三条全占但方向感全无，是等价的标本（§6）。④ 「垂直」（平面直线间）：对称，但不自反、不传递。⑤ 「<」：传递、也反对称（前件「a<b 且 b<a」永假，蕴含式自动为真），但不自反——反对称与「不允许双向箭头」并不等价，它允许自环、只禁「异点双向」。

常见误区　「反对称 = 不对称」是初学最常见的误读。二者并不互补：(ℝ, ≤) 既对称又反对称？不——它反对称而不对称（3≤5 成立 5≤3 不成立）。而集合 A=∅ 上的空关系同时是对称、反对称、传递、不自反的，唯一缺席的是自反。判据永远回到箭头语言：对称要求「有去必有回」，反对称只要求「异点之间不许双向」，互环 (a,a) 两边都管不着。

旁注（关系的代数化，先埋一根线）　关系可以写成 n×n 的 0-1 矩阵 M(R)（有箭记 1），「品行四件套」于是翻译成矩阵语言：自反 ⟺ 对角线全 1；对称 ⟺ 矩阵对称。更妙的是，用布尔乘法（1×1=1，其余为 0）做矩阵幂，M(R)² 的 (i,j) 位置恰记录「可否两步接力」——传递性的矩阵判据由此而来。§8 将看到，矩阵本身也是一种关系的数值化；关系与矩阵的对译是离散数学与线性代数的一处暗道。

M(R)	a₁	a₂	a₃
a₁	1	0	1
a₂	0	0	0
a₃	0	1	1

表 2-1　图 2-1 中关系 R 的矩阵：行读「出箭」，列读「入箭」。第 a₂ 行全 0——a₂ 是「无人问津」的点；对称化一眼可查（此例不对称）。

思考 2　① 对 ℤ 上「a R b ⟺ a+b 为偶数」，验证三条品行并描述全部箭头的分布。② 举一个对称且传递但不自反的关系。③ {1,2,3} 上的关系共 512 个，其中「既是等价又是偏序」的只有对角线关系一个——试着说明理由。④ dom R 与 A 何时相等？（§3 将把这件事升格为「全定义」。）

§3映射：单值而且全定义的关系

初等数学里，「函数」靠公式或图像心领神会；到了抽象代数，必须一句话说死它是什么。在关系语言里，答案短得出奇：映射就是「不许三心二意、也不许漏掉任何一个」的关系。

定义 3.1（映射）　从 A 到 B 的映射（mapping / map）是一个关系 f ⊆ A×B，满足： ① 全定义：∀a∈A，存在 b∈B 使 (a,b)∈f——每个左方元素都至少射出一箭； ② 单值：若 (a,b)∈f 且 (a,b′)∈f，则 b=b′——每个左方元素至多射出一箭。记作 f : A → B，唯一的 b 写作 f(a)。A 称定义域，B 称陪域（codomain）。

注　两条合起来：映射是每点恰射一箭的关系。「每点」负责不漏（全定义），「恰一」负责不歧（单值）。初等讲法「f 是一个对应法则」被替换成一句纯集合论：给定序偶集合，映射的身份就完全确定——公式、表格、图像都只是这个箭头袋的不同画法。函数图像的严格身份也由此揭晓：中学的「y=f(x) 的图像」就是 f 自身——它是 ℝ×ℝ 的一个子集，而且恰好满足定义 3.1。「图像」从来不是映射的画像，它就是映射本人。

图 3-1　映射资格的三次面试：单值卡掉左图，全定义卡掉中图，右图放行。关系任其潇洒，映射必须守规矩。

3.1　单射、满射、双射：箭头的三种美德

定义 3.2　设 f : A → B。 ① 单射（injective / one-to-one）：f(a)=f(a′) ⟹ a=a′——不同的源不汇于同一点（箭头互不合并）； ② 满射（surjective / onto）：im f = B，其中 im f = f(A) = {f(a) : a∈A}——每个靶点都被射中； ③ 双射（bijective）：既单又满——全体箭头互不合并、且无靶漏网。

用关系语言重述：单射 = 关系 f⁻¹ 的箭头袋里没有两只箭指向同一个左方元素；满射 = 逆关系 f⁻¹ 对 B 的每个成员都有话说。「单」管不撞车，「满」管不漏网；§4 将看到，可逆性正是这两句的合体。

图 3-2　三种美德。注意「单」与「满」各自独立：可以只占其一，可以兼得（双射），也可以都缺。

命题 3.3（有限集的算术门槛）　设 A, B 有限。若存在单射 A → B，则 |A|≤|B|；若存在满射 A → B，则 |A|≥|B|。当 |A|=|B| 时：A → B 的映射单 ⟺ 满 ⟺ 双。

证.　单射把 |A| 个源射向互不相同的靶，故 |A|≤|B|；满射时每个靶至少接一箭，故 |A|≥|B|（鸽笼原理）。若两数相等：单射的像集已有 |A|=|B| 个成员，又被包含于 B，只能整个等于 B，故满；满射时若两箭合并，则像集至多 |A|−1<|B| 个成员，不够铺满 B，矛盾。□

注　「单 ⟺ 满」在有限世界里是鸬鹚喝水式的守恒：不合并与不漏网互为镜像。无限世界里此理失效——ℤ→ℤ, n↦2n 单而不满；ℕ→ℕ, n↦n² 单而不满。「无限集可以与自己的真子集一样多」正是戴德金对无限的定义，也是希尔伯特旅馆故事的数学内核。

例 3.4（一眼定性的常规操作）　① n↦2n（ℤ→ℤ）：单而不满（像集是偶数）。② x↦x²（ℝ→ℝ）：既不单（±1 同像）也不满（负数无份）。但缩一缩就翻盘：x↦x² 限制在 [0,∞)→[0,∞) 上是双射——单满与否不只看公式，更看「从哪到哪」。③ x↦x³（ℝ→ℝ）严格递增：双射。④ exp : ℝ → ℝ₊ = (0,∞)：双射；其逆即 ln。「同一条公式，换定义域或陪域，美德随之改变」——这是书写映射时必须连写 f : A → B 三件套的深层理由。

定义 3.7（限制与扩张）　映射 f : A → B 在子集 S⊆A 上的限制是 f|_S : S → B（同一批序偶，砍掉 S 之外的源点）；反之 F : A′→B′（A⊆A′）是 f 的扩张，若 F|_A=f。限制保单射（箭头变少不会新生撞车）；扩张慎行——单射一旦扩张即可能撞车。

命题 3.8（满射分解定理）　任何映射 f : A → B 都可分解为 f = i ∘ π，　其中 π : A → im f 是满射（π(a)=f(a)，靶缩小到像集），i : im f → B 是包含映射（单射）。且若 π′∘? 型分解要求 π′ 满、i′ 单且像集同为 im f，则分解本质唯一。

证.　π 的靶集取成 im f 后按定义即满；i 是子集包含，单；i∘π(a) = f(a) ✓。唯一性：靶集与两映射皆由 f 逐点决定。□

注　这是「每个映射 = 先压缩、再嵌入」的标准像：满射部分负责挤掉冗余，单射部分负责无损安放。它预告了 §7 的自然投影 π : X → X/∼（把「撞车的源」先商掉，剩下的天然是单的）——代数学「先商后嵌」的总路线在这里第一次整队亮相。

映射的合成。关系可以合成（先 f 后 g 的接力箭头），映射合成 g∘f : A → C 即其特例：(g∘f)(a) = g(f(a))。合成保持结合律 (h∘g)∘f = h∘(g∘f)（两边在每点上给出同一个值），且 g∘f 单 ⟹ f 单，g∘f 满 ⟹ g 满——两条一分钟的练习，却是 §4 定理的原料。

3.2　像与原像：映射的两只手

映射 f : A → B 不只搬运单个元素，还能整批搬运子集——伸出两只方向相反的手：

定义 3.5（像与原像）　对 S ⊆ A，像 f(S) = { f(s) : s∈S } ⊆ B（正向手：整队过河）。对 T ⊆ B，原像 f⁻¹(T) = { a∈A : f(a)∈T } ⊆ A（反向手：溯流寻源，不需要 f 可逆即可定义——它只是关系的逆在集合层面的应用）。

命题 3.6（两只手的脾气）　① 正向手保 ∪、保 ∩ 不保补：f(S₁∪S₂)=f(S₁)∪f(S₂)；f(S₁∩S₂)⊆f(S₁)∩f(S₂)，单射时取等。
② 反向手完美无缺：保 ∪、保 ∩、还保补——f⁻¹(T∪T′)=f⁻¹(T)∪f⁻¹(T′)，f⁻¹(B∖T)=A∖f⁻¹(T)。
③ 往返不等式：S ⊆ f⁻¹(f(S))（恒真，满时取等），f(f⁻¹(T)) ⊆ T（恒真，单时取等）——两个包含号翻转的方向，恰好编码了单射与满射。

证（③ 为例）.　a∈S ⟹ f(a)∈f(S) ⟹ a∈f⁻¹(f(S))。等号失效的反例：f=x²，S={1}，则 f⁻¹(f(S))={−1,1}⊃{1}——撞车者把别人的原像也捎了回来，这正是「单射 = 不撞车」的集合论回声。□

注　「反向手不需要可逆」是初学最大的惊讶点之一：sin 的原像 {0} 在 ℝ 上是 πℤ——无穷多点共一像，照样合法。原像不过是「把值域里的集合往回问：谁落在这里？」；而记号 f⁻¹(T) 对不可逆的 f 也照用不误——它借用的是逆关系（人人都有），不是逆映射（双射专属）。两处「⁻¹」同名不同义，语境自明，但要心里有数。

3.3　纤维：把满射读成一把切片刀

给定映射 f : A → B，每个靶点 b∈B 身后都拖着一队源点——原像 f⁻¹({b})。这队人马有一个体面的名字：

定义 3.9（纤维）　b∈B 处的纤维是 f⁻¹({b}) = {a∈A : f(a)=b}。全体纤维恰是原像族 { f⁻¹({b}) : b∈B } 的成员（空纤维也在册）。

命题 3.10（纤维三分法）　f : A → B：① f 满 ⟺ 每条纤维非空；② f 单 ⟺ 每条纤维至多一个成员；③ f 双射 ⟺ 每条纤维恰含一个成员。且非空纤维彼此不交、并起来是整个 A——纤维自动构成 A 的一张分类。

证.　①② 直接翻译定义。非空纤维不交：若 a 同时落在 f⁻¹(b) 与 f⁻¹(b′)，则 b=f(a)=b′，两片原是同一片。并拢覆盖：a∈A 落在 f(a) 处的纤维里。□

图 3-3　投影 π₁ 把 A×B 切成与 B 等势的竖片（纤维）：「竖片叠成横轴」——满射的世界观。纤维里的「密度」就是撞车的次数：单射 = 每片至多一人。

注（切片语言的深远回声）　投影 π₁ 的每条纤维都是 {a}×B——与 B 等势的「竖直副本」；一般满射的纤维则肥瘦不均（例 3.4 的 x²：纤维 {4}={−2,2} 双人，{0} 独处）。几何里的「柱面叠底座」、代数里的「轨道分解」（群作用把集合切成等长的轨道）、分析里的「水平集」（f(x,y)=c 的等高线），全是同一句话：先切片，再叠放——满射的纤维分解 = 源集合的一张分类图，它正是 §7 商集合（把每片缩成一珠）的原料。

思考 3　① 证明：g∘f 单 ⟹ f 单；g∘f 满 ⟹ g 满。并举出「g∘f 双射但 f 不满、g 不单」的反例。② 试证 f 单 ⟺ 对一切 g,h : C → A，f∘g=f∘h ⟹ g=h（单射的「可消去」面孔）。③ 全体 ℝ→ℝ 的映射中，既是单射又是奇函数的有哪些类型？

§4可逆映射：逆关系何时仍有资格当映射

每个关系都能把箭头掉头，得到逆关系。但掉头之后，它还配称「映射」吗？——这一问，就是可逆性的全部秘密。

定义 4.1（可逆）　映射 f : A → B 称为可逆，若存在映射 g : B → A 使 g∘f = id_A 且 f∘g = id_B（id 表示恒等映射）。此时称 g 为 f 的逆映射，记作 f⁻¹。

引理 4.2（逆若存在，则唯一）　若 g, g′ 都是 f 的逆，则 g = g′。

证.　g = g∘id_B = g∘(f∘g′) = (g∘f)∘g′ = id_A∘g′ = g′。三次代入定义，一次用结合律。□

定理 4.3（可逆的充要条件）　映射 f : A → B 可逆 ⟺ f 是双射。

证.　（⟹）设 g 为 f 之逆。单：f(a)=f(a′) 时两侧同作用 g，得 a=g(f(a))=g(f(a′))=a′。满：任取 b∈B，则 b = f(g(b))，即 b 是源点 g(b)∈A 的像，B 无漏网。 （⟸）设 f 双射。取 f 的逆关系 f⁻¹ ⊆ B×A（把每支箭掉头），证明它居然还是映射——即对定义 3.1 逐条验收：单值：若 (b,a)∈f⁻¹ 且 (b,a′)∈f⁻¹，即 f(a)=b=f(a′)，由单射 a=a′ ✓；全定义：任取 b∈B，由满射存在 a 使 f(a)=b，即 (b,a)∈f⁻¹ ✓。故 f⁻¹ 是映射 B → A，且由构造直接验得 f⁻¹∘f=id_A、f∘f⁻¹=id_B。□

一句话记住定理 4.3　逆关系无非把箭头掉头。掉头后要仍守住「每点恰一箭」，需要两件事：原映射不撞车（单射）——否则掉头后一源多箭，单值破碎；原映射不漏网（满射）——否则原像空缺的靶点掉头后无箭可出，全定义破碎。可逆 = 不偏不倚 = 双射。关系语言把这个定理从「要背的判据」变成「看得见的因果」。

图 4-1　双射的来回：f 把 a 送到 b，f⁻¹ 精确地把 b 送回 a。两支复合各为恒等映射——「原地踏步」正是「互逆」的直观。

例 4.4　① x↦x³（ℝ→ℝ）可逆，逆为 x↦∛x：合成两种顺序皆恒等。② x↦x²（ℝ→ℝ）不可逆：3 与 −3 同像，逆关系把 9 同时送回 ±3，单值破碎。但限制到 [0,∞) 后可逆，逆为 √ x——「先缩域，再求逆」是处理非单射的标准手筋。③ exp : ℝ → (0,∞) 可逆，逆为 ln；若陪域误写作 ℝ，exp 就不满、不可逆——陪域写错，可逆性随之蒸发，再次呼应例 3.4②。④ (a,b)↦(b,a) 是 A×B → B×A 的双射：笛卡儿积交换因子「差一个同构」的严格说法（对照命题 1.3——集合相等要求苛刻，双射存在已然够用）。

推论 4.5（对合：自带回程票的映射）　若 f∘f = id（f 是对合 involution），则 f 自动双射，且 f⁻¹ = f 自己。

证.　f∘f=id 单 ⟹ f 单（思考 3①），f∘f=id 满 ⟹ f 满；定义 4.1 中取 g=f 即验毕。□

例 4.6（对合巡礼）　① x↦−x（ℝ 上）；② x↦1/x（ℝ∖{0} 上）；③ 复共轭 z↦z；④ 幂集上取补 S↦X∖S；⑤ 转置 A↦A^T。对合是「一来一回自己完成」的优雅结构——矩阵对角化理论里对合的影子（如Householder 反射）随处可见。

加深一步（单边逆）　把定理 4.3 拆开看：f 单 ⟺ 存在 g 使 g∘f=id（有左逆）；f 满 ⟺ 存在 h 使 f∘h=id（有右逆）。证明思路与定理 4.3 同型（构造时在「漏网靶点」处自由安放箭头）。无限集合的情形里，右逆的存在对一般满射需借助选择公理——这是集合论深处的水声，本册点到为止。（矩阵世界里有同型的回声：方阵何时有左逆、右逆与逆——学到线性代数时自会认出。）

命题 4.7（有限性的护城河）　A 有限时，自映射 f : A → A 三条等价：单 ⟺ 满 ⟺ 双射。无限集上三条互不蕴含。

例 4.8　① ℕ 上 n↦n+1：单而不满（0 永远缺席——「 Shift 一步」把全体挪进真子集）。② ℕ 上 n↦⌊n/2⌋：满而不单（0 与 1 同落 0——「挤车」）。③ 有限集 {1,…,n} 上：单射的表无重列故必有全列，满亦然——鸽笼一锁，三态合一。「有限」是一种极其奢侈的福利；进入无限世界（分析学、动力系统），一切判据都必须亲手重验。

把定理 4.3 画出来。定理 4.3 的两条恒等式 g∘f=id_A 与 f∘g=id_B 有一个更省纸的写法——交换图（commutative diagram）：把对象画成点、映射画成箭头，「交换」的意思是：任何两条同起点、同终点的路线，逐点合成后相等。

图 4-2　可逆性的交换三角：实线上行 f、虚线回程 g，「来回都等于原地不动」被画成两条回路恒等。图比公式省纸，且一眼看出「路」的全体。

注（一种新的读定义方式）　交换图不只是记号美学。它悄悄示范了一种后来统治现代数学的思路——只谈箭头、不问内部：定理 4.3 的「可逆」从头到尾没有动用 A、B 内部长什么样，只用「f 与 g 合成是否还原为恒等箭头」来立论。「恒等箭头」「合成」「交换性」三件套齐备之时，就到了范畴论的门口：在那里，单射与满射被重新定义为「对一切第三方箭头可左消去 / 可右消去」（思考 3② 已提前演练了单射一侧）——本册的关系语言，正是那门课程的预习教材。

思考 4　① 证明单边逆的两条判据（brmk 框前半）。② (ℝ,+) 到自身的映射 x↦2x+1 可逆吗？求出逆。③ 举一个「有左逆而无右逆」的 ℝ→ℝ 映射。④ 双射 f 与其逆 f⁻¹ 的像集关系如何？

§5偏序关系：给集合立规矩的「品」字诀

把「品行四件套」（定义 2.3）里最沉着的三条——自反、反对称、传递——合并到同一个关系上，就得到给集合「排座次」的语言：

定义 5.1（偏序）　集合 A 上的关系 ≼ 称为偏序关系（partial order），若它自反、反对称、传递；配了偏序的 A 称偏序集（poset），记 (A, ≼)。若再有「任意两点可比」（∀a,b：≤ 两向至少一向成立），称全序（linear order）。

例 5.2（偏序集图鉴）　① (ℝ, ≤)：全序的样板。② (℘(X), ⊆)：幂集按包含——「子集之家」的座次；两个子集可互不包含（{1,2} 与 {2,3}），故一般只是偏序。③ (ℤ₊, ∣)：整除序；3 与 5 互不整除，不可比。④ 字典序（ℝ×ℝ）：(a,b) ≼ (a′,b′) ⟺ a<a′，或 a=a′ 且 b≤b′——用笛卡儿积和旧序造新序，且它是全序：词典里任意两词总能分出先后。⑤ 线性空间 V 的全体子空间按包含：偏序（§5.2 Hasse 图将见到它的庐山面目）。

两种「序」，一字之差　≤ 型（自反）与 < 型（反自反：a<a 永假）是两套并行口径，别混着验。严格序 < 的判据是「反自反 + 传递 + 反对称（自动成立）」。本册一律用自反版 ≼。另注意反对称的正确读法（例 2.4⑤ 的辨析）：反对称不排斥自环，只禁异点双向。

5.1　Hasse 图：偏序的一笔画肖像

偏序集有限时可以画像。画法三板斧：① 每个元素一个点，小的在下、大的在上；② 自反环不画（人人有份的显而易见）；③ 传递可推出的边不画——只画「盖住」关系（a≺b 且中间无第三者），剩下的「长程关系」靠目光沿图上传。删繁就简之后，剩下的骨架就是 Hasse 图。

图 5-1　两幅 Hasse 图。左：12 的因子格——「最小上界」恰是逐点取 lcm（如 lub{2,3}=6）；右：三元集幂集格——lub 恰是并集，glb 恰是交集。偏序把「大小」的直觉从数推广到了任意集合。

定义 5.3（界与极）　(A,≼) 中 S⊆A。u∈A 是 S 的上界，若 ∀s∈S, s≼u；上确界 lub S 是最小上界（若存在）。下界、下确界 glb 对称。m∈S 是极大元，若 S 中再无严格更大者；最大元还须高于一切（最大必极大，反之不然）。

延伸　偏序不只是数学内部的摆设：机构的层级、生物的分类学、任务的先后依赖图，处处是偏序。本册给出的 Hasse 图与「界与极」的语言，正是为一切「层次结构」准备的通用画布——拿您身边的任何一张层级图来试画，都会发现盖住、极大、上确界各就各位。

旁注（字典序：用积造全序的机器）　例 5.2④ 的词典序不只管词典：复数域虽无大小，但 ℝ² 的字典序给平面装上了「全序」；多人排序（先按姓氏、再按名）、时间戳排序（先按日期、再按时刻）全是它的化身。积 × 与旧序 ⟹ 新序，又一次「笛卡儿积是万能脚手架」。
另一句更深的回声：分析学说「ℝ 中每个有上界的非空集必有上确界」（完备性），翻译成偏序语言就是「(ℝ,≤) 是完备格的雏形」——ℚ 同样满足阿基米德性却在 √2 处漏了上确界——「完备」与否，用界与极一验便知。

定义 5.6（预序）与命题 5.7（预序 → 商 → 偏序的流水线）　只保留「自反＋传递」两条的关系 ≲ 称预序（preorder；并列者互相 ≲ 也在所不惜）。在预序集 (X,≲) 上定义 a ∼ b ⟺ a≲b 且 b≲a，则 ∼ 是等价关系，且商集 X/∼ 上 [a]≼[b] ⟺ a≲b 良定义地成为偏序。

证（良定义这一步）.　取代表元 a′∼a：则 a′≲a≲b≲b′（传递两次），故 a′≲b′——换代表元不改答案。反对称与自反在商集上直接由定义给出。□

例 5.8　「按综合分录取」：分数可以并列（自反＋传递但非反对称），把「并列」商掉——同分者缩成一珠——剩下的就是严格的名次偏序。预序流水线 = 先用等价关系收拢并列，再在商集上立规矩：本册两大主角（等价与偏序）在 §7 定理 7.2 之后再次合璧，这是它们合演的第一场对手戏。

命题 5.9（有限偏序集的极值原理）　非空有限偏序集必有极大元与极小元；若还是全序，则更有最大元与最小元。

证.　从任一元出发，只要不是极大元就换成一个严格更大的；有限集上「严格增大」的链至多 |X| 步必停——停下之处即极大元。极小元对偶可得。全序时极大元自动最大（无人与它不可比）。□

加深一步（无限世界的水声：良序与选择公理）　「往上爬总会到头」的有限直觉，在无限世界处处碰壁：(ℕ, ≤) 无极大元；(ℝ, ≤) 连极小元都没有。想让无限偏序集也保证「有极值」，需要更强的公理：Zorn 引理说——若每个全序子链都有上界，则存在极大元；良序原理说——任何集合都能被排成「每个非空子集都有最小元」的全序（ℕ 的天然秩序正是样本）。二十世纪初的逻辑学查明：Zorn 引理、良序原理、选择公理（§1 无穷积处已闻其名：族族非空则积非空）三者在公理集合论 ZFC 中互相等价——是同一枚硬币的三种铸法。有限与无限的分野在 §4（命题 4.7）与这里两度现身：归纳法与「有限必达」是天然盟友；跨入无限，每一张通行证都要单独签发。本册点到为止，证明论与集合论课程再入深水。

思考 5　① 在 (ℤ₊,∣) 中求 lub{4,6} 与 glb{4,6}，并指出它们的一般名字。② 画 ℘({a,b}) 的 Hasse 图（四点），并说明它与「数轴上的 0≤x≤1 中加入两个中点」同构。③ 全序集的 Hasse 图必是「一条链」——说明理由。④ 偏序集的极大元可以有很多个：找 (ℤ₊,∣) 限制在 {2,3,5,7,9,15,21,35} 中的全部极大元。

§6等价关系：「视为同一」的严格立法

品行四件套的另一种三连装——自反、对称、传递——塑造出数学里最常用的「类内一家亲」结构：

定义 6.1（等价关系）　集合 X 上的关系 ∼ 称为等价关系（equivalence relation），若它自反、对称、传递。x ∼ y 读「x 等价于 y」。

例 6.2（等价关系图鉴）　① 模 n 同余：a∼b ⟺ n ∣ (a−b)（ℤ 上）。自反（n∣0）、对称（差变号仍被整除）、传递（余数接力：(a−b=kn, b−c=mn ⟹ a−c=(k+m)n）。② 几何形：三角形全等、相似；多边形剖分相等。③ 矩阵三兄弟（矩阵世界的三种等价）：相抵（PAQ，P,Q 可逆）、相似（P⁻¹AP）、合同（C^TAC）——三者皆自反对称传递，各守一摊不变量（秩；若尔当标准形；正负惯性指数）。④ 「同岁」「同乡」：人群中天然生长的等价关系（自反：自己与自己同岁 ✓；对称 ✓；传递：三人两两同岁 ✓）。⑤ 反面教员：「相爱」对称但不传递；「≤」传递但不对称——「比较」与「同类」是两种不同的结构，偏序与等价各管一摊。

定义 6.5（最小等价关系：闭包）　给定 X 上任意关系 R，包含 R 的最小等价关系记作 ∼_R（R 的等价闭包）：全体含 R 的等价关系之交。直观：强迫症式补箭——先补自环，再给每条箭配上回箭，最后把一切可接力的链焊死成直达箭。

例 6.6（图论的还魂）　把 R 看成无向图的边集，则 ∼_R 恰是「同一连通分量」：两点等价 ⟺ 有路相通。「棋盘上按马步可达」的等价闭包把棋盘切成几大块；社交网络里「有直接好友」的闭包给出朋友圈（连通分量）。分类不需要天生完备——任何关系，闭包之后自然长成分类，这是定理 7.2 的可执行版。

定义 6.3（等价类）　设 ∼ 是 X 上的等价关系，a∈X。a 的等价类是 [a] = { x∈X : x ∼ a }，即与 a 团结在一致的全部成员；任一 x∈[a] 称为该类的代表元。

引理 6.4（类的两种判读）　① x ∼ y ⟺ [x] = [y]；② x ≁ y ⟺ [x] ∩ [y] = ∅。两类要么重合、要么不相交，没有第三种纠缠方式。

证.　①（⟹）设 z∈[x]，即 z∼x；与 x∼y 传递得 z∼y，故 [x]⊆[y]；对称地反向包含。（⟸）x∈[x]=[y] 给出 x∼y（自反性在此开花）。 ②（⟸ 逆否）若交非空，取公共元 z：z∼x 且 z∼y；对称＋传递得 x∼y。□

图 6-1　等价关系把集合「染色切块」：色块内部畅通无阻（自反＋对称＋传递合谋），色块之间高墙耸立。代表元换人，色块不换（引理 6.4①）。

注（矩阵世界的等价分类）　往后的矩阵理论里，「同解」的方程组归为一类（初等变换的合法性正来自「行等价」这一等价关系），二次型按合同分家，方阵按相似认亲——每类有每类的标准形与不变量清单。矩阵理论的很大一部分，就是在给等价类找代表元与不变量——本册的三条品行条款在那里全程在场。

例 6.7（分析学最伟大的铸造车间——实数集 ℝ 的构造）　有理数虽稠密却「千疮百孔」（√2 无处落脚）。十九世纪的分析学危机（极限的存在性悬而未决）逼出了本册框架的辉煌应用：先用等价关系，后铸造新数。取「基本列」（柯西列）——相邻项距离趋于 0 的有理数列——全体 𝒞，定义 (a_n) ∼ (b_n)　⟺　a_n − b_n → 0（「殊途同归」）。验证 ∼ 是等价关系（自反、对称显然；传递用三角不等式夹逼）后，定义 ℝ := 𝒞/∼：每个等价类是一个新数，√2 就是类 [(1, 1.4, 1.41, 1.414, …)] 的名字。加法、乘法逐项定义并验证良定义（换代表元不改结果——§7 命题 7.4 的语法），再证完备性。您天天在用的实数，本来就是一张商集合：等价关系不只是整理旧物的工具，更是铸造新物的熔炉。

旁注（等价关系管到几何的门口：同伦）　拓扑学里两条路径 γ₀, γ₁ : [0,1] → X（同起点同终点）称为同伦（homotopic），若可在 X 内连续地互相拖拽——形式上，存在连续映射 H : [0,1]×[0,1] → X，H(·,0)=γ₀、H(·,1)=γ₁（两端钉死，中间变形）。「可以连续拖到一起」是一条如假包换的等价关系：自反（原地不动）、对称（倒带重放）、传递（两段变形接龙）。路径按同伦分出的类，组成「基本群」π₁——圆周上「绕一圈」与「绕两圈」不同伦（拽不回来），故 π₁(S¹)≅ℤ：拓扑不变量的第一课，开考的就是本册的三条品行条款。

图 6-2　同伦 = 端点钉死的连续形变。红色上拱与绿色下弯路径在形变族 H 中互通（紫色为其半途），按「可拖拽」归为一类。等价关系的三条品行，在拓扑学门口原样生效。

思考 6　① 在 ℤ/4 同余中写出 [0]、[1] 的全部成员，并验证 [5]=[1]。② 整数上定义 a∼b ⟺ a²≡b²(mod 5)，它等价于「a≡±b(mod 5)」吗？共几个类？③ 证明：传递＋自反的对称关系必是等价关系——哪一步用到了自反？（对称给「回头」，传递给「接龙」，自反保证 x∈[x]。）

§7等价关系与分类：一体两面，以及商集合

现在兑现本册题目里的「统一」：等价关系与分类（partition，划分）不是两个碰巧相关的概念，而是同一件事的两种写法。先把「分类」本身说严格：

定义 7.1（分类）　非空集合 X 的一个分类是子集族 𝒫 ⊆ ℘(X)，满足： ① 不空：每块 𝑃∈𝒫 非空；② 两两不交：𝑃≠𝑄 ⟹ 𝑃∩𝑄=∅；③ 合拢：∪𝒫 = X。每块也称为一个部分。

定理 7.2（本册核心：等价关系 ⟺ 分类）　设 X≠∅。则 (A) X 上任一等价关系 ∼，其全体等价类 { [a] : a∈X } 构成 X 的一个分类；(B) 反之，任一分类 𝒫 由 a ∼_𝒫 b ⟺ 存在同块 𝑃 使 a, b∈𝑃 定义出 X 上的一个等价关系；(C) 这两个构造互逆：X/∼𝒫 = 𝒫，且 ∼_{[a]} = ∼。等价关系与分类，是同一件事在「箭头语言」与「积木语言」里的两次显影。

证 (A).　记 𝒫 = {[a] : a∈X}。①不空：a∈[a]（自反性）。②两两不交：即引理 6.4②——交非空则两类重合。③合拢：每个 a∈[a]⊆∪𝒫，故 ∪𝒫 ⊇ X；反向显然。
(B).　自反：a∈某块 𝑃（合拢），故 a∼𝒫a。对称：同块关系对调显然。传递：a,b∈𝑃 且 b,c∈𝑄——注意 b∈𝑃∩𝑄，两两不交迫使 𝑃=𝑄，于是 a,c∈𝑃 ✓。传递性的证明被分类的「不交性」接管——积木语言自动担保了箭头语言最娇贵的一条品行。
(C).　𝒫 的块恰是诸等价类（(A) 与 (B) 的构造互为逆操作）：从 ∼ 出发得到分类再回定义关系，a∼b ⟺ 同属某 [c] ⟺（引理 6.4①）a∼b，仍是原关系。□

定义 7.3（商集合）　等价关系 ∼ 下全体等价类组成的集合 X/∼ = { [a] : a∈X } 称为 X 对 ∼ 的商集合（quotient set）。映射 π : X → X/∼, π(a)=[a] 称为自然投影。

商集合的精神是「把每个色块缩成一颗珠子」：块内差异（内部还有谁）被故意抹去，只保留「有哪几块」这一层信息。X 可能无限，X/∼ 却可以很小——ℤ 按模 4 分块，商集合 ℤ/4 = {[0],[1],[2],[3]} 仅四颗珠；每颗珠背后拖着一条无限长的尾巴。

图 7-1　商集合 = 把分类「拍平重装」。π 是满射：每颗珠都被类内任一成员投射而成；π(a)=π(b) ⟺ a∼b——投影 fibers 与等价类逐块重合。

7.1　三种语言的对照词典

定理 7.2 还能再往下走一步。给定满射 f : X → Y，定义 x ∼_f x′ ⟺ f(x)=f(x′)，易验它是等价关系，其等价类恰是纤维 f⁻¹({y})（落进同一靶点的全体箭源）。于是「等价关系—分类—满射」三件套两两互译，三位一体：

语言	对象	「块」的化身	关键映射
箭头语言	∼ ⊆ X×X	等价类 [a]	自然投影 π : X → X/∼
积木语言	分类 𝒫	块 𝑃∈𝒫	成员关系 ∈
映射语言	满射 f : X → Y	纤维 f⁻¹({y})	f 本身

命题 7.4（商集第一基本定理的雏形）　设 f : X → Y 满射，∼_f 为其诱导的等价关系，则存在双射 X/∼_f → Y，　[x] ↦ f(x)。即：每个满射「本质上」都是自然投影——把靶集合看成商集合，只是一种视角切换。

证.　良定义：x′∈[x] 时 f(x′)=f(x)，输出与代表元无关。单：f(x)=f(x′) 即 x′∼_fx，两类重合。满：y∈Y 时由满射取 x 使 f(x)=y，珠 [x] 射中 y。□

延伸　「商」是代数学的核心动作，而它的第一句台词就写在本册：ℤ/n（模 n 同余的商集）日后升级为商环 ℤ/nℤ；向量空间 V 对子空间 W 的商空间 V/W（陪集 v+W 恰是加法群层面的等价类）；群论里的商群 G/N 要求 N 正规——「让等价关系与运算相容」正是下一关。定理 7.2 则是这一切的公共地基：凡言商，必先有一张分类图。

商集合不只是终点，更是新起点。珠子们既然组成一个新集合，就自然可以问：它上面能不能定义运算？——ℤ/4 的四颗珠 [a] 之间若定义「类的加法」[a]+[b] := [a+b]，需要先确认答案与代表元的选取无关（良定义；§8 运算表处验收）。这一问，正是从「分类」通往「商代数结构」（商群、商环、商空间）的第一步——代数学的高潮戏全部在商结构上开演。

例 7.6（橡皮泥上的商集——几何三连）　① 线段 [0,1] 按 0∼1 把两端粘合——得到圆周 S¹：钟表上的 12 点与 0 点本是一个类。② 正方形先按上∼下、左∼右同向粘合——得到环面（甜甜圈表面）：飞船游戏穿出屏幕从对侧回来，正是活在环面商集里。③ 只把一条边反向粘合——得到 Möbius 带：一只只有一个侧面的曲面。拓扑学把商集玩成了造型艺术：几何的商 = 橡皮泥的粘合。本册的商集合是代数商结构（商群、商环、商空间）的胚胎，而几何里的商流形是它远房的、更狂野的亲戚。

例 7.7（词的世界：商是造结构的熔炉，自由群的雏形）　取一个字母表 S={a, b, …}，有限串如 aba、a⁻¹b 都是「词」；拼接是词与词之间的二元运算（§8 的预告：(A×A → A，封闭）。这大杂烩离「群」只差一口气：a·a⁻¹ 明明「应等于」空串 e，却还是两个不同的词。于是立法一条等价关系：按「约去 a·a⁻¹ 与 a⁻¹·a、空串当单位」把「念起来一样」的词归为一类——商掉之后，自由群 F(S) 诞生：不附加任何多余关系的「最自由的群」。商集合在这里不是拆毁而是铸造：现代代数里「结构 = 自由对象按关系商掉」的总蓝图（群的表示、多项式环 𝔽[x]/(f)、乃至拓扑学把「洞」商出来），第一块砖都码在本册 §7。

思考 7　① 𝒫 = {{1,2,3},{4,5}} 是 {1,…,5} 的分类；写出 ∼𝒫 的全部序偶个数。② 把 ℝ 视作数轴，定义 x∼y ⟺ x−y∈ℤ；试描述 ℝ/∼ 的「形状」（答案藏在一个圆周上）。③ 证明：π : X → X/∼ 是满射，并求它的纤维分解。④ X={a,b,c,d}，𝒫={{a,b},{c,d}}；构造 ∼𝒫 并验证传递性中「不交性接管」的那一步。

§8从关系到运算：代数运算与二元运算的差异

行文至此，最后一位主角登场。运算——加、减、乘、数乘、内积——在关系语言里原来是资格最老的一位：它也是一个关系，一个恰好落在笛卡儿积上、并且通过了映射面试的关系。

定义 8.1（代数运算）　设 A, B, C 为集合。映射 ∘ : A × B → C 称为一个（广义）代数运算：把左集的一个成员与右集的一个成员按次序对应到值集的唯一成员，记作 a ∘ b 或 ∘(a,b)。特别地，当 A=B=C 时，称之为 A 上的二元运算（binary operation / 内部代数运算）。

注（三层套娃看清楚）　运算的关系身份要看三层：先是关系（∘ 是 A×B×C≅(A×B)×C 的子集——三元关系！）；再是映射（全定义、单值——每个有序对恰有一个像）；末是运算（因子与值集的排列组合给了它不同名分）。二元运算是代数运算的特例：三个集合缩成同一个。所谓「封闭性」——运算结果留在集合 A 内——不过是「C=A」这一定义性事实的口语说法。

例 8.2（封闭性试金石）　① ℤ 上的 +、−、×：(ℤ×ℤ→ℤ) 皆是二元运算。② ℤ 上的 ÷：a÷b 未必是整数（1÷2），作为 ℤ×ℤ→ℤ 的映射根本不满足全定义——连运算资格都没有；放宽到 ℚ 上才封口。③ ℕ₊ 上的 −：结果可为负，不封闭——须把值集扩大到 ℤ 才成为（广义）代数运算 ℕ₊×ℕ₊→ℤ。「整数减法是 ℤ 的二元运算，但不是 ℕ 的」——同一公式，载体一换，名分即变。④ n 元运算一句话：Aⁿ→A 的映射（如求平均、取重心）。

8.0　运算表：把运算写成一张收支表

有限集上的二元运算可以整个抄成运算表（Cayley 表）：行左列上填结果。封闭性=表内不许出现外来户；交换律=表沿对角线对称；单位元=表中它所在的行列恰是表头自身的复写。看模 4 同余类的加法表（§7 预告的良定义，此处验收）：

+	[0]	[1]	[2]	[3]
[0]	[0]	[1]	[2]	[3]
[1]	[1]	[2]	[3]	[0]
[2]	[2]	[3]	[0]	[1]
[3]	[3]	[0]	[1]	[2]

表内只有 [0]…[3]，封闭 ✓；沿对角线对称，交换 ✓；[0] 行列是复写，零元 ✓；[1] 与 [3] 互为负元，[2]+[2]=[0] 自负盈亏——一个 4 元加法群呼之欲出（良定义的验证：换代表元 1↦5，[1]+[2]=[5+2]=[7]=[3] 不变——余数语义接管了一切）。

8.1　样板剧场：向量空间与欧氏空间

设 𝔽 为域（本册读作 ℚ、ℝ 或 ℂ 即可），V 是 𝔽 上的向量空间；再给 V 配上内积 ⟨·,·⟩（如 ℝⁿ 上的点积），便得欧氏空间。舞台上共有三位演员，请逐一检查它们的「户口」：

运算	左集	右集	值集	V 上的二元运算？	（广义）代数运算？
加法 +	V	V	V	是	是
数乘 ·	𝔽	V	V	否（左集 ≠ V）	是
内积 ⟨ , ⟩	V	V	ℝ	否（值集 ≠ V）	是
减法 −	V	V	V	是	是

图 8-1　三位演员的「户口卡」。加法在 V 内部闭环（二元运算）；数乘的左集是域 𝔽——数与向量是两类公民，λ 只是伸进 V 的外部之手；内积干脆把输出送上 ℝ——越过了 V 的国界。后两者都是代数运算，但都不是 V 上的二元运算。

命题 8.3（差异的精确表述）　在域 𝔽 上向量空间 V 中： ① 加法与减法是 V 的二元运算（V×V → V，封闭）； ② 数乘 · : 𝔽×V → V 是代数运算而不是 V 的二元运算——除非 dim V 恰使 V≅𝔽（如 V=𝔽 本身，一维情形两个世界重合）； ③ 欧氏空间中内积 ⟨·,·⟩ : V×V→ℝ 是代数运算而不是 V 的二元运算（ℝ=V 的一维退化情形除外）。「不是二元运算」不是缺陷，而是不同运算各司其职的证明：加法撑起内部代数，数乘让域从外部施法，内积把度量信息「翻译」到实数轴上。

注（为什么这个差异值得专门一节）　初学最容易犯的「类型错误」是把 ⟨u,vw+⟨u,v⟩——左边的 w 是向量、右边是数，加法 ∘ : V×V → V 拒绝这种组合（全定义根本没覆盖它）。运算的「类型签名」（左集, 右集；值集）就是它的身份证：读定义先看签名，验性质才不串台。向量空间的八条公理，其实是一张「类型对账单」：四条管加法（V 内部的二元运算：结合、交换、零元、负元），四条管数乘与两种运算的往来（分配×2、结合、幺元 1v=v）——线性空间是「两种不同签名的运算」签署的合作协议；欧氏空间再添第三位（跨型内积）及其公理（对称、双线性、正定），结构层层加码。

例 8.4（一维退化与傅里叶彩蛋）　① V=ℝ 时「向量」即数：加法与数乘都成了 ℝ 上的二元运算，内积 ⟨x,y⟩=xy 也是——三个户口本合并成一册，这解释了为什么初等代数里从不见「类型差异」。② 复内积空间中内积取值 ℂ 且约定共轭对称 ⟨u,v⟩=⟨v,u⟩——签名依旧跨型。③ 函数空间（如 [0,1] 上连续函数）以内积 ∫f(x)g(x)dx 成欧氏/希尔伯特空间：内积把两个函数「压」成一个数——傅里叶系数正是函数与正弦波的逐对内积。签名视角从 ℝⁿ 一路照到无穷维。

8.2　运算的品行：一条线串回来

§2 的品行四件套在运算世界全线回归，只是换了行头：结合律（(a∘b)∘c=a∘(b∘c)）让括号可省；交换律（a∘b=b∘a）让序偶的次序退居二线；单位元 e（e∘a=a∘e=a）是恒等映射的化身；而「a∘x=b 有唯一解」——方程语言——正是 §4 可逆性判据的运算版（可逆 ⟺ 左右平移都是双射）。映射、序、等价、运算，四种关系，一副骨架：笛卡儿积提供舞台，子集关系定义角色，品行条款决定剧本。

结语（把题目读回来）　抽象——把映射、序、等价、运算统统还原为「笛卡儿积的子集」，四套语言从此共享一套定义、一套品行条款、一套证明语法；统一——定理 4.3（可逆⟺双射）、定理 7.2（等价⟺分类）、命题 8.3（两种运算的户口之辨）分别是「关系语言」在三处战场的胜利；直观——箭头图里看得见单值与撞车，Hasse 图里看得见盖住与确界，色块图里看得见分类与商集。此后读抽象代数：群是「带一条二元运算的集合」，同构是「保运算的双射」，同态的核是一张分类图——本册的这根线，会一直牵进更深的代数里。

本系列后续小主题（构思中）：其二《从等价关系到商结构——ℤ/n、商群与商空间》承接本册 §7–8；其三《记号的力量——求和、求积与指标法》；其四《三种等价，三种不变量——矩阵的相抵、相似与合同》。读者若有偏好次序，可向编者提出。

注（结合律为什么金贵）　运算表上读得出交换律（沿对角线照镜），却读不出结合律——它必须对所有三元组逐一验算（n 元集上 |A|³ 次核对）。结合律是「可以放心写幂 aⁿ、可以把 n 个因子的连乘不加括号」的许可证；没有它，a³ 的写法都成问题。非结合的运算在数学里是珍稀保护动物（八元数乘法、三维叉积）——遇见时才需要想起「结合」原来是一份要单独申请的权利。

延伸　定义 8.1 的口径承自近世代数的经典立宪，层层递进：「代数运算（A×B → C）→ 二元运算（特例）→ 结合律与交换律 → 单位元、逆元」；而向量空间的线性运算（§8.1 的样板剧场）同时动用广义（数乘）与内部（加法）两种。两套语境在「运算」这个词上会师——本册的任务，就是让您在会师现场认出双方其实是一家。

8.3　一瞥范畴论：积的应答方式

「积」A×B 配上两个投影 π₁, π₂，还能再压出最后一滴抽象。问：别的集合 Z 想同时「投影到」A 与 B（一对箭头 α, β），它什么时候做得成、做得有多省力？答案是惊人的：

定义 8.5（积的泛性质）　对任意 Z 与任意一对箭头 α : Z → A、β : Z → B，存在唯一的 h : Z → A×B 使 α = π₁∘h 且 β = π₂∘h。（h 就是「逐点打包」z ↦ (α(z), β(z))。）

图 8-2　积的泛性质：Z 的任何一对箭头 α, β 都唯一穿过 A×B（α=π₁∘h，β=π₂∘h）。积不是「碰巧装得下」，而是「对一切询问者给出唯一应答」。

注（定义即应答）　定义 8.5 全程没有出现「序偶」二字——不谈 A×B 的内部构造，只谈它对全体第三方的应答方式。这样的「只以箭头关系立定义」称为泛性质（universal property），是范畴论（约 1945 年，Eilenberg–Mac Lane）的招牌笔法：本册的积、§4 的交换图、§7 的商集第一基本定理，都已是泛性质口吻的练笔。后果深远：凡按泛性质定义的对象自动「本质唯一」（两个都满足者必差一个可逆箭头——§4 定理 4.3 的舞台重开）；积在集合、群、向量空间、拓扑空间里各有各的构造，却共享同一张应答图——「抽象」抽象到极处，反而把八个章节焊成了一块铁。

思考 8　① 判断并说明：ℝ 上的 max(x,y) 是二元运算吗？结合吗？② 数乘 λ(v+w)=λv+λw 这条公理在「类型签名」视角下为什么会显得自然？③ 在 ℤ/4（§7 商集）上加法 [a]+[b]:=[a+b] 是「类的加法」——它是商集上的二元运算吗？定义是否良定（不依赖代表元选取）？④ 找出 ℝ³ 中一个运算，其签名是 ℝ³×ℝ³→ℝ 且不陌生（提示：叉积为什么不合格？点积呢？）。

附录定义与定理速查

对象	一句话定义	关键事实
笛卡儿积	A×B = {(a,b)}	\|A×B\|=\|A\|\|B\|；对 ∪∩ 分配；A×B=B×A 的情形苛刻
关系	积的子集 R⊆A×B	n 元集上关系 2^(n²) 个；有逆关系 R⁻¹
映射	全定义＋单值的关系	图像即本人；单满双三美德
可逆	g∘f=id 且 f∘g=id	定理 4.3：可逆 ⟺ 双射；逆唯一
偏序	自反＋反对称＋传递	Hasse 图；子空间格 lub=U+W，glb=U∩W
等价	自反＋对称＋传递	类要么重合要么不交；矩阵相抵/相似/合同皆标本
分类	非空块、两两不交、合拢	定理 7.2：等价关系 ⟺ 分类，互逆构造
商集合	X/∼ = 全体等价类	π 满射；满射即商投影（命题 7.4）
代数运算	∘ : A×B → C	封闭性＝「三集同一」的口语
二元运算	∘ : A×A → A	V 上：加减是；数乘（F×V→V）与内积（V×V→ℝ）不是

English	中文	English	中文
ordered pair	有序对（序偶）	equivalence relation	等价关系
Cartesian product	笛卡儿积	equivalence class	等价类
(binary) relation	（二元）关系	partition	分类（划分）
domain / range	定义域 / 值域	quotient set	商集合
inverse relation	逆关系	canonical projection	自然投影
reflexive / symmetric	自反 / 对称	algebraic operation	代数运算
antisymmetric / transitive	反对称 / 传递	binary operation	二元运算
mapping	映射	closure / axiom	封闭性 / 公理
injective / surjective / bijective	单射 / 满射 / 双射	associativity / commutativity	结合律 / 交换律
partial order / total order	偏序 / 全序	identity element / inverse	单位元 / 逆元
Hasse diagram	Hasse 图	involution	对合

数学小主题读本 · 其一 · Cartesian Product · 笛卡儿积——抽象，统一与直观 · 供不同背景的读者独立研读

+	[0]	[1]	[2]	[3]
[0]	[0]	[1]	[2]	[3]
[1]	[1]	[2]	[3]	[0]
[2]	[2]	[3]	[0]	[1]
[3]	[3]	[0]	[1]	[2]

+	[0]	[1]	[2]	[3]
[0]	[0]	[1]	[2]	[3]
[1]	[1]	[2]	[3]	[0]
[2]	[2]	[3]	[0]	[1]
[3]	[3]	[0]	[1]	[2]

Cartesian Product · 笛卡儿积

§1有序对与笛卡儿积：把两个信息并成一个

1.2 无穷笛卡儿积：一个点就是一张点名册

§2关系：笛卡儿积的子集，数学里最普适的名词

2.1 内部关系的四种品行

§3映射：单值而且全定义的关系

3.1 单射、满射、双射：箭头的三种美德

3.2 像与原像：映射的两只手

3.3 纤维：把满射读成一把切片刀