高等代数 · 课程学习笔记

第 P142 集 · 十七：酉空间正交补、正交投影、Hilbert空间、同构、酉变换

Orthogonal Complement, Orthogonal Projection, Hilbert Space, Isomorphism, Unitary Transformations
北大丘维声教授 · 清华大学 2011 级 进度 P142 / 151 集 核心概念：正交补 · 正交投影 · Hilbert空间 · 酉变换 · 最佳逼近元
提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。

☰本集目录

◎学习目标

  1. 理解酉空间子空间的正交补概念，掌握正交投影的向量定义及其几何意义；
  2. 掌握最佳逼近元的概念，理解有限维酉空间中任意向量在子空间上均存在最佳逼近元；
  3. 理解Hilbert空间（完备的内积空间）的概念，掌握定理5（闭子空间上的最佳逼近元存在性）；
  4. 理解酉空间同构的概念，掌握两个有限维酉空间同构的充要条件是维数相同；
  5. 掌握酉变换的定义与基本性质：保持内积的满射线性变换，等价于到自身的保距同构。

1正交补与正交投影 ⏱ 00:03

本集紧接P141引入的酉空间标准内积概念。设 \(W\) 是酉空间 \(V\) 的子空间，则 \(W\) 的正交补定义为：

定义 · 正交补 设 \(W\) 是酉空间 \(V\) 的子空间，称集合
\[ W^{\perp} = \{ \alpha \in V \mid \langle \alpha, \beta \rangle = 0,\ \forall \beta \in W \} \]
为 \(W\) 的正交补。\((^{\perp})\) 表示正交，与实内积空间的定义完全一致，证明一字不改。⏱ 00:19

有了正交补，就可以定义正交投影。因为有限维酉空间有直和分解：

定理 · 直和分解 若 \(W\) 是有限维酉空间 \(V\) 的子空间，则
\[ V = W \oplus W^{\perp}. \]

对任意 \(\alpha \in V\)，有唯一的直和分解 \(\alpha = \alpha_1 + \alpha_2\)，其中 \(\alpha_1 \in W,\ \alpha_2 \in W^{\perp}\)。⏱ 00:31

定义 · 正交投影 \(\alpha_1\) 称为 \(\alpha\) 在 \(W\) 上的正交投影，记为 \(P_W(\alpha)\) 或简记为 \(\alpha_1\)。映射 \(P_W: V \to W\) 是线性变换。⏱ 01:03
正交投影的刻画条件

\(\alpha_1\) 是 \(\alpha\) 在 \(W\) 上的正交投影的充分必要条件是：\(\alpha - \alpha_1 \in W^{\perp}\)。几何上，\(\alpha - \alpha_1\) 垂直于 \(W\)，即从 \(\alpha\) 到 \(W\) 作垂线。⏱ 03:12

定理 · 最佳逼近性质 \(\alpha_1\) 是 \(\alpha\) 在 \(W\) 上的正交投影，当且仅当
\[ \|\alpha - \alpha_1\| \leq \|\alpha - \gamma\|, \quad \forall \gamma \in W. \]
即正交投影使距离最短。证明与实内积空间完全相同，一字不改。⏱ 03:22

2最佳逼近元与Hilbert空间 ⏱ 04:07

定义 · 最佳逼近元 设 \(V\) 是酉空间，\(W\) 是 \(V\) 的子空间。对 \(\alpha \in V\)，若存在 \(\delta \in W\) 使得
\[ \|\alpha - \delta\| \leq \|\alpha - \gamma\|, \quad \forall \gamma \in W, \]
则称 \(\delta\) 是 \(\alpha\) 在 \(W\) 上的最佳逼近元。⏱ 04:28

在有限维情形，由直和分解 \(V = W \oplus W^{\perp}\)，正交投影就是最佳逼近元。但很多函数空间是无限维的，需要更强大的工具。⏱ 06:45

定义 · Cauchy列与完备性 酉空间 \(V\) 中的序列 \(\{\beta_n\}\) 称为Cauchy列，如果
\[ \forall \varepsilon > 0,\ \exists N,\ \forall m,n > N:\ \|\beta_m - \beta_n\| < \varepsilon. \]
若 \(V\) 中每个Cauchy列都在 \(V\) 中有极限，则称 \(V\) 是完备的，此时 \(V\) 称为Hilbert空间。⏱ 08:16
丘老师的比喻 有理数不完备（如 \(\sqrt{2}\) 的逼近列极限不在有理数中），实数完备化了有理数。Hilbert空间就是"完备化的酉空间"——让Cauchy列畅通无阻，没有红灯。⏱ 09:12
定理5 · 闭子空间上的最佳逼近元 设 \(V\) 是Hilbert空间（实或复内积空间的完备化），\(U\) 是 \(V\) 的闭子空间（即 \(U\) 中的Cauchy列极限仍在 \(U\) 中），则
\[ \forall \alpha \in V,\ \exists! \delta \in U,\ \|\alpha-\delta\| = \min_{\gamma \in U}\|\alpha-\gamma\|. \]
即：任意向量在闭子空间上都有最佳逼近元，且唯一。⏱ 10:17

这个定理的条件（闭子空间）正是Baire纲定理的核心，实际验证时只需检查"极限不跑出 \(U\)"即可。⏱ 11:08

3酉空间的同构 ⏱ 14:29

定义 · 酉空间同构 两个酉空间 \(V_1, V_2\) 之间的同构映射（双射）\(\sigma: V_1 \to V_2\) 满足：
\[ \sigma(\alpha+\beta) = \sigma(\alpha)+\sigma(\beta),\quad \sigma(c\alpha) = c\,\sigma(\alpha),\quad \langle\sigma(\alpha),\sigma(\beta)\rangle = \langle\alpha,\beta\rangle. \]
即保持加法、数量乘法和内积。⏱ 14:59
定理6 · 酉空间同构的判定 两个有限维酉空间同构的充要条件是它们的维数相同。⏱ 15:37
证明思路

与实内积空间完全相同：取 \(V_1\) 的标准正交基 \(\varepsilon_1,\dots,\varepsilon_n\) 和 \(V_2\) 的标准正交基 \(\eta_1,\dots,\eta_n\)，令 \(\sigma(\varepsilon_i)=\eta_i\) 并线性延拓。保持内积由标准正交基的性质保证。⏱ 16:02

从而任意 \(n\) 维酉空间都跟 \(\mathbb{C}^n\)（标准内积）同构，同构映射把一个向量对应到它在标准正交基下的坐标 \(n\) 元组。

4酉变换的定义与基本性质 ⏱ 16:30

定义 · 酉变换 酉空间 \(V\) 上的酉变换是一个满射变换 \(A: V \to V\)，满足
\[ \langle A\alpha, A\beta\rangle = \langle\alpha, \beta\rangle, \quad \forall \alpha,\beta \in V. \]
即保持内积的满射变换。⏱ 16:53
酉变换的基本性质（全部与实内积空间的正交变换完全相同）

性质①：酉变换一定是线性变换（保持加法与数量乘法）。证明一字不改，抄自实内积空间的正交变换证明。⏱ 18:29

性质②：酉变换一定是单射（由 \(\|A\alpha\|=\|\alpha\|\)，\(\|A\alpha\|=0\Rightarrow\alpha=0\)）。⏱ 18:41

性质③：酉变换保持长度、保持角度、保持正交性。

性质④：有限维情形，保持内积的线性变换自动满射（单射+有限维 ⇒ 满射），故只需验证"保持内积"即可认定是酉变换。⏱ 22:18

性质⑤：酉变换就是 \(V\) 到自身的保距同构，其逆也是酉变换；两个酉变换的复合仍是酉变换。

与正交变换的对比 实内积空间 → 正交变换（保持标准内积）；复酉空间 → 酉变换（保持Hermite内积）。性质完全平行，区别仅在于内积的共轭对称性。对于无限维情形，用同构关系的对称性与传递性来论证更为简洁。⏱ 21:29
定理 · 有限维酉变换的简化判定 设 \(V\) 是 \(n\) 维酉空间，\(A:V\to V\) 是线性变换。若
\[ \langle A\alpha, A\beta\rangle = \langle\alpha, \beta\rangle, \quad \forall \alpha,\beta \in V, \]
则 \(A\) 自动是单射，进而在有限维下是满射，故 \(A\) 是酉变换。⏱ 22:38

★重点回顾

1
正交补与正交投影：有限维酉空间 \(V=W\oplus W^{\perp}\)，任意向量可唯一分解，其在 \(W\) 上的正交投影 \(\alpha_1\) 满足 \(\alpha-\alpha_1\in W^{\perp}\)。
2
最佳逼近元：正交投影就是距离最短的"最佳逼近元"。\(\|\alpha-\alpha_1\|\leq\|\alpha-\gamma\|\)，\(\forall\gamma\in W\)。
3
Hilbert空间：完备的（实或复）内积空间，每个Cauchy列都有极限在空间内。定理5保证闭子空间上最佳逼近元总存在。
4
酉空间同构：两个有限维酉空间同构 ⇔ 维数相同。任意 \(n\) 维酉空间同构于标准 \(\mathbb{C}^n\)。
5
酉变换：保持内积的满射变换（有限维下只需验证"保持内积"的线性变换）。酉变换=保距同构，其集合构成群。

⚠易错点提醒

常见错误
  1. 混淆"内积"与"标准内积"：酉空间的内积是 Hermite 内积 \(\langle\alpha,\beta\rangle=\sum a_i\overline{b_i}\)，与共轭有关，不能当作实内积处理。
  2. 忽略"满射"条件：酉变换定义要求满射；但在有限维情形，由"保持内积的线性变换自动单射+有限维⇒满射"，所以只需验证"保持内积"即可。
  3. Hilbert空间要求"闭子空间"：定理5对一般子空间不成立，必须要求 \(U\) 是闭的（Cauchy列极限仍在 \(U\) 内），这是完备性的核心应用。
  4. 正交补只在有限维保证直和分解：无限维酉空间中，并非每个子空间都有 \(V=W\oplus W^{\perp}\)，需要额外条件（如 \(W\) 是闭子空间）。

✎自测与作业

  1. 设 \(W=\{(z_1,z_2,z_3)\in\mathbb{C}^3\mid z_1+z_2+z_3=0\}\)，求 \(W\) 的正交补 \(W^{\perp}\)。
  2. 验证：\(\alpha=(1,i,0)\) 在 \(W\) 上的正交投影，并计算 \(\|\alpha-P_W\alpha\|\) 与 \(\|\alpha-\gamma\|\)（取 \(\gamma=(1,0,0)\in W\)），验证投影使距离最短。
  3. 证明：酉变换保持内积则必保持正交性——若 \(\langle\alpha,\beta\rangle=0\)，则 \(\langle A\alpha,A\beta\rangle=0\)。
  4. 设 \(A\) 是 \(\mathbb{C}^2\) 上的变换 \(A(z_1,z_2)=(z_2,z_1)\)。判断 \(A\) 是否为酉变换，并说明理由。
  5. （思考）为什么希尔伯特空间理论在量子力学中如此重要？从"态矢量的最佳逼近"角度给出直观解释。
  6. （选做）证明：有限维酉空间上，酉变换在任意标准正交基下的矩阵是酉矩阵（即 \(U^*U=I\)）。
下一集预告 第 P143 集 · 十八：酉变换的特征值与特征向量、酉变换与对角矩阵——证明酉变换的特征值模为1，且任意酉变换均可对角化。