高等代数 · 第 P52 集 · 三十四：划分推出等价关系、有限维线性空间结构

提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。

☰本集目录

◎学习目标

✅ 理解划分与等价关系的双向对应：划分可诱导出等价关系，反之等价关系也可给出划分。
✅ 掌握商集（quotient set）的概念：集合 \(S\) 的一个划分也称为 \(S\) 的一个商集。
✅ 证明线性空间同构关系是等价关系（自反性、对称性、传递性）。
✅ 理解有限维线性空间的同构分类定理：两个有限维线性空间同构当且仅当它们的维数相等。
✅ 掌握用维数对全部有限维线性空间进行分类的方法——同构类由维数唯一决定。
✅ 认识研究线性空间结构的第三条途径：通过同构关系与商集来研究。
✅ 体会商集思想在后续（陪集、商空间）中的应用前景。

1划分推出等价关系 ⏱ 00:01

上一集（P51）证明了：等价关系 \(\Rightarrow\) 划分。本集首先证明反向命题：

定理 · 划分推出等价关系设 \(\mathcal{P}\) 是集合 \(S\) 的一个划分（即 \(\mathcal{P}\) 由 \(S\) 的一族两两不交的非空子集组成，且其并集为 \(S\)）。则存在 \(S\) 上的一个等价关系 \(\mathcal{R}\)，使得 \(\mathcal{P}\) 恰好是所有等价类组成的集合。⏱ 00:32

定理的构造性证明

构造等价关系 \(\mathcal{R}\)：对任意 \(x, y \in S\)，定义

x\ \mathcal{R}\ y \quad \Longleftrightarrow \quad \exists\, H \in \mathcal{P},\ \text{使得 } x \in H \text{ 且 } y \in H.

即用语言说：\(x\) 与 \(y\) 有关系，当且仅当它们属于划分 \(\mathcal{P}\) 中的同一个块（子集）。⏱ 01:10

验证三条性质：

（1）自反性：对任意 \(x \in S\)，由于 \(\bigcup \mathcal{P} = S\)，存在 \(H \in \mathcal{P}\) 使得 \(x \in H\)，故 \(x\ \mathcal{R}\ x\)。

（2）对称性：若 \(x\ \mathcal{R}\ y\)，则存在 \(H \in \mathcal{P}\) 使 \(x \in H\) 且 \(y \in H\)，显然 \(y \in H\) 且 \(x \in H\)，故 \(y\ \mathcal{R}\ x\)。

（3）传递性：若 \(x\ \mathcal{R}\ y\) 且 \(y\ \mathcal{R}\ z\)，则存在 \(H_1, H_2 \in \mathcal{P}\) 使 \(x, y \in H_1\)，\(y, z \in H_2\)。因 \(y \in H_1 \cap H_2\)，而 \(\mathcal{P}\) 中不同块交集为空，故 \(H_1 = H_2\)。从而 \(x, z\) 同属 \(H_1\)，即 \(x\ \mathcal{R}\ z\)。⏱ 02:26

验证等价类即为划分块：对任意 \(x \in S\)，\(\mathcal{R}\)-等价类 \(\overline{x} = \{\, y \in S \mid y\ \mathcal{R}\ x \,\}\) 恰好就是包含 \(x\) 的那个划分块 \(H\)（由划分的互不相交性保证唯一性）。因此 \(\mathcal{P}\) 正是所有等价类组成的集合。⏱ 03:21

老师提示教材中有完整证明，课堂暂略细节，读者可结合课后习题自行验证。⏱ 01:39

双向对应（核心结论）

\text{等价关系}\ \longleftrightarrow\ \text{集合的划分}

任意等价关系给出一个划分，任意划分也给出一个等价关系，两者是一一对应的。这是本集最重要的概念性成果，贯穿后续所有商结构理论。⏱ 02:23

2商集的概念 ⏱ 06:31

由双向对应，划分与等价类集合本质上是同一回事。为此引入专门术语：

定义 · 商集集合 \(S\) 的任何一个划分也称为 \(S\) 的一个商集（quotient set）。
换言之，\(S\) 上等价关系的所有等价类组成的集合，既是划分，也是一个商集。⏱ 06:44

典型例子：整数集模 \(7\) 的商集。

\mathbb{Z}/7\mathbb{Z} \quad \text{（或简记 } \mathbb{Z}_7\text{）}

它是 \(\mathbb{Z}\) 模 \(7\) 同余关系的所有等价类（剩余类）\(\overline{0}, \overline{1}, \ldots, \overline{6}\) 组成的集合。通俗地说，就是将无穷多个整数的集合"压缩"成只有七个元素的集合：⏱ 07:29

\mathbb{Z}_7 = \{\, \overline{0},\ \overline{1},\ \overline{2},\ \overline{3},\ \overline{4},\ \overline{5},\ \overline{6} \,\}.

命名说明教材中商集定义为"所有等价类组成的集合"，本课采用此记号 \(\mathbb{Z}/7\mathbb{Z}\)。这个集合本身还有进一步的结构（加法运算），将在下一集（P53）发展为商空间的概念。

3线性空间同构是等价关系 ⏱ 03:16

现在将以上理论应用于线性空间。设 \(K\) 为数域，记 \(\Omega\) 为 \(K\) 上所有线性空间组成的集合。

定义 · 同构关系对任意 \(V, V' \in \Omega\)，定义二元关系：\(V\) 与 \(V'\) 同构（记作 \(V \cong V'\)），当且仅当存在从 \(V\) 到 \(V'\) 的同构映射（双射线性变换）。\(同构是保持加法和数量乘法运算的映射。⏱ 03:38

验证同构是 \(\Omega\) 上的等价关系

（1）自反性：对任意 \(V \in \Omega\)，恒等映射 \(I_V : V \to V\)，\(I_V(\alpha) = \alpha\)，显然是同构映射，故 \(V \cong V\)。⏱ 04:17

（2）对称性：若 \(V \cong V'\)，则存在同构映射 \(\mathscr{A}: V \to V'\)。由同构映射的性质（C₈定理第 4 题），\(\mathscr{A}^{-1} : V' \to V\) 也是同构映射，故 \(V' \cong V\)。

（3）传递性：若 \(V \cong V'\)（同构映射 \(\mathscr{A}: V \to V'\)）且 \(V' \cong V''\)（同构映射 \(\mathscr{B}: V' \to V''\)），则复合映射 \(\mathscr{B} \circ \mathscr{A} : V \to V''\) 是同构映射（C₈定理第 5 题），故 \(V \cong V''\)。⏱ 05:05

结论：同构关系是 \(\Omega\) 上的等价关系。⏱ 05:37

4有限维线性空间的同构分类 ⏱ 09:12

考虑 \(\Omega_1 \subset \Omega\)，即所有有限维线性空间组成的子集。同构关系在 \(\Omega_1\) 上同样是等价关系。

定理 · 有限维线性空间同构的充要条件设 \(V, W\) 是数域 \(K\) 上的有限维线性空间，则

V \cong W \quad \Longleftrightarrow \quad \dim_K V = \dim_K W.

即：两个有限维线性空间同构，当且仅当它们的维数相等。⏱ 11:16

由此，同构等价类（同构类）完全由维数决定：

同构类	维数	代表元	等价类描述
\(\overline{0}\)	\(0\)	\(\{0\}\)（零空间）	仅含零空间的同构类
\(\overline{K}\)	\(1\)	\(K\)（数域自身作为 1 维空间）	所有 1 维线性空间
\(\overline{K^2}\)	\(2\)	\(K^2\)（二维数组空间）	所有 2 维线性空间
\(\vdots\)	\(n\)	\(K^n\)	所有 \(n\) 维线性空间

惊人结论所有有限维线性空间，按同构关系分类，完全由维数这一个自然数决定。维数相同的线性空间必然同构，维数不同的必然不同构。⏱ 13:14

同构类与自然数的一一对应

定义映射 \(\Phi: \mathbb{N}_0 \to \Omega_1/\!\cong\)（从非负自然数到同构类集合）：

\Phi(n) = \overline{K^n},

即把自然数 \(n\) 映到 \(n\) 维线性空间的同构类。⏱ 13:50

单射性：若 \(\Phi(m) = \Phi(n)\)，则 \(K^m \cong K^n\)，由定理知 \(m = n\)。

满射性：对任意有限维线性空间 \(V\)，设 \(\dim V = n\)，则 \(V \cong K^n\)，即 \(V\) 所属同构类就是 \(\Phi(n)\)。

结论：\(\Phi\) 是双射，自然数集与非负整数组成的集合 \(\mathbb{N}_0 = \{0, 1, 2, \ldots\}\) 与有限维线性空间的同构类集合一一对应。⏱ 14:01

线性空间结构的简洁性丘老师感叹："线性空间的结构是如此之简单，完全被自然数决定。你给个数字 3，3 维线性空间都在一个同构类里面；给个数字 10，10 维线性空间也都在一个同构类里面。"⏱ 14:33

5线性空间结构的第三条研究途径 ⏱ 15:11

本课此前已介绍过研究线性空间结构的两种途径：

第一种：研究线性变换（将线性空间自身结构转化为变换的代数结构）；
第二种：研究基与坐标（将向量表示为坐标数组，化为 \(K^n\) 上的计算）；
第三种（本课）：同构分类 + 商集思想。

第三种途径的内涵既然同构类完全由维数决定，那么研究 \(n\) 维线性空间的结构，只需研究一个代表——通常取 \(K^n\)——即可。所有 \(n\) 维线性空间都同构于 \(K^n\)，同构映射保持一切线性结构。⏱ 15:33

但这也引出了更深的问题：如果在一个线性空间 \(V\) 内部进行"切割"（即用子空间做划分），会得到什么样的商结构？这正是下一集（P53）要讨论的陪集与商空间，也就是研究线性空间结构的第四条途径。⏱ 16:00

课堂趣谈：刀削面丘老师用"剪刀削面"比喻划分的思想：一团面剪成一片一片，每片互不重叠，合起来是一整团面。这一团面的结构（筋道程度）反映在面片的性质上。同样，线性空间的结构也可以通过它的"商集"（划分）来研究。⏱ 07:32

★重点回顾

双向对应定理：集合 \(S\) 上的等价关系与 \(S\) 的划分一一对应。等价关系推出划分（P51），划分推出等价关系（本集）。

商集：集合 \(S\) 的划分也称为 \(S\) 的一个商集，记作 \(S/\mathcal{R}\)，其元素是等价类（划分块）。

同构是等价关系：线性空间同构关系满足自反性（恒等映射）、对称性（逆映射）、传递性（复合映射），是 \(\Omega\) 上的等价关系。

有限维线性空间分类定理：\(V \cong W \iff \dim V = \dim W\)。同构类完全由维数决定。

自然数与同构类一一对应：映射 \(n \mapsto \overline{K^n}\) 是从 \(\mathbb{N}_0\) 到有限维线性空间同构类集合的双射。

第三条研究途径：通过同构关系（等价关系）和商集来研究线性空间结构，本质上是"只研究一个代表 \(K^n\)"。

⚠易错点提醒

常见错误

混淆"同构"与"相等"：\(V \cong W\) 不等于 \(V = W\)。同构是结构相同，相等是集合完全相同。例如 \(\mathbb{R}^2\) 与所有二维欧氏平面同构，但不相等。
忽视无限维情形：本集结论仅对有限维线性空间成立。无限维线性空间的同构类不能用单个自然数刻画，结构远比有限维复杂。
商集的记号混淆：\(\mathbb{Z}_7\) 与 \(\mathbb{Z}/7\mathbb{Z}\) 记号等价，但要注意在不同上下文（如商空间）中含义可能不同。
同构类的代表元选取：虽然任何同构类中所有元素地位平等，但习惯上取 \(K^n\) 作为 \(n\) 维同构类的标准代表，因为其元素是数组，运算最直观。

✎自测与作业

（基础）设 \(S = \{1, 2, 3, 4, 5\}\)，划分 \(\mathcal{P} = \{\{1,3,5\},\{2,4\}\}\)。按照本集定理的构造方法，写出由 \(\mathcal{P}\) 诱发的等价关系 \(\mathcal{R}\)（列出所有有序对），并验证它满足自反、对称、传递三性。
（证明）证明：数域 \(K\) 上任意两个 \(n\) 维线性空间必同构。（提示：分别取基，建立到 \(K^n\) 的坐标同构映射。）
（计算）设 \(V = \{(a,b,c) \in \mathbb{R}^3 \mid a+b+c=0\}\)，\(W = \{(x,y) \in \mathbb{R}^2\}\)。判断 \(V\) 与 \(W\) 是否同构，并说明理由。
（思考）设 \(S\) 是所有三角形的集合。定义关系：两个三角形相似当且仅当它们的对应角相等。验证这是等价关系，并描述其等价类。这个划分有什么几何意义？
（拓展）证明：\(n\) 次实系数多项式空间 \(\mathbb{R}[x]_n\)（维数为 \(n+1\)）同构于 \(\mathbb{R}^{n+1}\)。（提示：取基 \(1, x, x^2, \ldots, x^n\)，建立坐标映射。）
（预习）阅读本集结尾关于"刀削面"的比喻，思考：如果在一团面中随机剪一刀，得到的两个面片能看作什么数学对象？这与我们即将学习的"陪集"有什么联系？

下一集预告第 P53 集 · 三十五：陪集、商集、商空间——从平行平面实例出发，定义子空间的陪集，建立商空间的加法与数乘运算，证明商空间本身也是一个线性空间。