高等代数 · 第 P140 集 · 十五：酉空间性质、酉空间标准正交基

☰本集目录

◎学习目标

掌握柯西-布涅科夫斯基（Cauchy-Bunyakovsky-Schwarz）不等式在酉空间中的形式及证明思路；
理解长度、角度、距离在复内积空间中的定义，特别注意角度定义中需取内积的模；
理解两两正交的非零向量组必线性无关这一基本性质；
掌握Gram-Schmidt 正交化过程在酉空间中完全适用，从而得出任意 N 维酉空间必有标准正交基；
区分"正交基"与"标准正交基"：前者要求两两正交且非零，后者额外要求每个向量长度为 1。

1柯西-布涅科夫斯基不等式 ⏱ 01:45

定理 · C-B-S 不等式在酉空间 \(V\) 中，对任意 \(\alpha,\beta\in V\)，有

|f(\alpha,\beta)| \leq \|\alpha\|\cdot\|\beta\|.

等号成立当且仅当 \(\alpha\) 与 \(\beta\) 线性相关。

证明思路（线性无关情形的关键技巧）

情形一：线性相关。若 \(\beta = k\alpha\)，直接代入验证等号成立；\(\alpha,\beta\) 线性相关时等号显然成立。⏱ 03:40

情形二：线性无关。构造向量 \(\alpha + t\beta\)（\(t\in\mathbb{C}\) 待定），由正定性：

f(\alpha+t\beta,\;\alpha+t\beta) \geq 0.

展开得：

\|\alpha\|^2 + \overline{t}\,f(\alpha,\beta) + t\,\overline{f(\alpha,\beta)} + |t|^2\|\beta\|^2 \geq 0.

关键技巧：取 \(t = -\dfrac{f(\alpha,\beta)}{\|\beta\|^2}\)（与实内积空间的取法不同！），代入后中间两项合并为 \(-2\dfrac{|f(\alpha,\beta)|^2}{\|\beta\|^2}\)，整理得

\|\alpha\|^2\|\beta\|^2 - |f(\alpha,\beta)|^2 \geq 0,

即 \(\|f(\alpha,\beta)\|^2 \leq \|\alpha\|^2\|\beta\|^2\)，开方即得证。⏱ 04:50–11:20

丘老师提示取 \(t = -\dfrac{f(\alpha,\beta)}{\|\beta\|^2}\) 这一选择是为了让展开式中的交叉项恰好合并，这是复数域上证明的核心技巧，与实内积空间不同。

2长度、角度与距离的定义 ⏱ 11:30

定义 · 长度（范数） \[ \|\alpha\| = \sqrt{f(\alpha,\alpha)} \quad (\geq 0 \text{ 的实数}). \]

定义 · 角度对非零向量 \(\alpha,\beta\)，定义其夹角 \(\theta\) 满足：

\cos\theta = \frac{|f(\alpha,\beta)|}{\|\alpha\|\cdot\|\beta\|}, \qquad 0 \leq \theta \leq \frac{\pi}{2}.

注意：分子取的是 \(|f(\alpha,\beta)|\)（内积的模），而非 \(f(\alpha,\beta)\) 本身——因为内积是复数，无法直接与实数比较大小。⏱ 12:10

重要区别在实内积空间中，\(\cos\theta = \dfrac{f(\alpha,\beta)}{\|\alpha\|\|\beta\|}\) 可直接定义；在酉空间中，由于内积为复数，必须取模后定义角度，因此夹角取值范围为 \([0,\pi/2]\)，没有钝角。

定义 · 距离 \[ d(\alpha,\beta) = \|\alpha - \beta\|. \] 距离满足：正定性、对称性、三角不等式，与实内积空间完全一致。⏱ 15:30

物理意义（丘老师补充）丘老师指出，酉空间的角度概念在量子力学中有重要应用——波函数的内积模平方代表概率幅，角度（更准确说是内积模）表征状态之间的"重叠概率"。⏱ 13:30

3两两正交的非零向量组必线性无关 ⏱ 16:40

命题在酉空间 \(V\) 中，任意由两两正交的非零向量组成的集合 \(\{\alpha_1,\dots,\alpha_m\}\) 必线性无关。

证明（与实内积空间完全相同）

设 \(\sum_{i=1}^{m}k_i\alpha_i=\mathbf{0}\)。对任意 \(j\)，与 \(\alpha_j\) 作内积：

f\!\left(\sum_{i=1}^{m}k_i\alpha_i,\;\alpha_j\right) = f(\mathbf{0},\alpha_j) = 0.

由对第一个变量的线性性：

\sum_{i=1}^{m}k_i\,f(\alpha_i,\alpha_j) = 0.

由正交性，\(f(\alpha_i,\alpha_j)=0\)（\(i\neq j\)），只剩 \(k_j\,f(\alpha_j,\alpha_j)=k_j\|\alpha_j\|^2=0\)。因 \(\alpha_j\neq\mathbf{0}\)，故 \(\|\alpha_j\|^2>0\)，从而 \(k_j=0\)。对所有 \(j\) 成立，证毕。⏱ 17:20

4标准正交基与 Gram-Schmidt 正交化 ⏱ 18:00

定义 · 正交基 / 标准正交基

正交基：N 维酉空间 \(V\) 中由 \(N\) 个两两正交的非零向量组成的基。
标准正交基：正交基中每个向量都是单位向量（长度为 1）。

定理 · N 维酉空间必有标准正交基任何 \(N\) 维酉空间 \(V\) 都存在标准正交基。

证明：Gram-Schmidt 正交化过程

第一步：任取 \(V\) 的一个基 \(\alpha_1,\dots,\alpha_N\)（有限维线性空间必有基）。⏱ 18:30

第二步：对 \(\alpha_1,\dots,\alpha_N\) 施行 Gram-Schmidt 正交化：

\beta_1 = \alpha_1, \] \[ \beta_k = \alpha_k - \sum_{j=1}^{k-1}\frac{f(\alpha_k,\,\beta_j)}{f(\beta_j,\,\beta_j)}\,\beta_j, \quad k=2,\dots,N.

关键点：正交化公式只用到内积的运算律（线性性、Hermitian 对称性），不依赖系数是实数还是复数，因此该过程在酉空间中完全适用。⏱ 19:20

第三步：将 \(\beta_1,\dots,\beta_N\) 单位化：\(e_i = \dfrac{\beta_i}{\|\beta_i\|}\)，即得标准正交基 \(\{e_1,\dots,e_N\}\)。⏱ 20:10

课堂强调 "这个标准正交基一定存在，你作业题里会有这样的题：给你一个基，求酉空间的一个标准正交基——无非就是正交化、单位化，跟实内积空间一模一样，按公式做就行。"⏱ 20:40

5酉空间的结构研究概述 ⏱ 21:30

酉空间的结构研究与实内积空间（欧几里得空间）的研究方法完全一致，结论也几乎逐字迁移：

标准正交基的存在性与 Schmidt 正交化 → 已证。
子空间的正交补、正交投影 → 下一节内容。
酉变换、等距同构 → 下一节内容。
有限维酉空间的分类（同构于 \(\mathbb{C}^n\) 配标准内积）→ 与实情形完全一致。

丘老师提醒丘老师特别指出：实内积空间中，"欧几里得空间"特指有限维的实内积空间；而"酉空间"不限定有限维——可以是无限维的（如后来的 Hilbert 空间）。因此讲到 N 维酉空间时要明确说明"N 维"。⏱ 17:00

★重点回顾

1

C-B-S 不等式：\(|f(\alpha,\beta)|\leq\|\alpha\|\|\beta\|\)，等号当且仅当线性相关。证明关键：取 \(t=-\dfrac{f(\alpha,\beta)}{\|\beta\|^2}\) 代入 \(f(\alpha+t\beta,\alpha+t\beta)\geq 0\)。

2

角度定义：\(\cos\theta=\dfrac{|f(\alpha,\beta)|}{\|\alpha\|\|\beta\|}\in[0,1]\)，故 \(\theta\in[0,\pi/2]\)，无钝角。

3

正交向量组线性无关：两两正交的非零向量必线性无关，证明与实情形完全相同。

4

Gram-Schmidt 正交化在酉空间完全适用：公式不依赖数域是实数还是复数，只要按内积定义计算即可。

5

N 维酉空间必有标准正交基：取任意基 → Schmidt 正交化 → 单位化。

⚠易错点提醒

常见错误

角度公式忘记取模：误写 \(\cos\theta=\dfrac{f(\alpha,\beta)}{\|\alpha\|\|\beta\|}\)。必须取模 \(|f(\alpha,\beta)|\)，否则结果可能是复数。
Schmidt 正交化时分母写成 \(f(\beta_j,\beta_j)\) 却忘记它是实数：\(f(\beta_j,\beta_j)=\|\beta_j\|^2\) 是非负实数，可放心做除法。
混淆正交基与标准正交基：正交基只需两两正交且非零，不必长度为 1；标准正交基额外要求单位长度。
忽视"两两正交的非零向量"前提：命题"两两正交的非零向量组线性无关"中，"非零"不可省略（零向量与任何向量正交，会破坏线性无关性）。

✎自测与作业

在 \(\mathbb{C}^2\)（标准内积）中，验证向量 \(\alpha=(1,i)\)、\(\beta=(1,-i)\) 正交，并计算 \(\|\alpha\|,\|\beta\|\) 及夹角 \(\theta\)。
对 \(\mathbb{C}^3\) 中的向量组 \(\alpha_1=(1,0,0),\;\alpha_2=(1,i,0),\;\alpha_3=(1,i,1)\)，用 Gram-Schmidt 正交化求出一组标准正交基。
证明：若 \(\alpha\perp\beta\)，则 \(\|\alpha+\beta\|^2=\|\alpha\|^2+\|\beta\|^2\)（勾股定理在酉空间中成立）。
验证 C-B-S 不等式在 \(\mathbb{C}^2\) 中取 \(\alpha=(1+i,2),\;\beta=(1,-i)\) 时等号是否成立，并说明理由。
（思考）为何酉空间角度取值范围是 \([0,\pi/2]\) 而非 \([0,\pi]\)？这与实内积空间有何本质区别？

下一集预告第 P141 集 · 十六：酉空间的标准内积（\(\mathbb{C}^n\) 上的标准内积公式）、酉矩阵（\(A^*A=E\)）及其性质、标准正交基之间的过渡矩阵必为酉矩阵。