提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本集目录
◎学习目标
- 理解为何不能直接把实内积的定义搬到复线性空间：双线性函数 + 正定性在复数域上会产生矛盾；
- 掌握Hermitian 对称性的引入动机与形式：\(f(\alpha,\beta) = \overline{f(\beta,\alpha)}\)；
- 熟记复内积的四个公理：Hermitian 对称性、对第一个变量的线性性、对第二个变量的半线性性（共轭线性）、正定性；
- 理解酉空间（Unitary Space）即为配备了复内积的线性空间，是实内积空间（欧几里得空间）在复数域上的自然推广；
- 明确半线性（sesquilinear）一词的含义：一半线性、一半共轭线性。
1从实内积到复内积：动机与困境 ⏱ 00:04
本章此前已系统研究了实内积空间（欧几里得空间）的结构：内积是正定对称双线性函数，由此引出长度、角度、距离、正交、标准正交基、Schmidt 正交化等一整套几何语言。⏱ 06:45
现在自然地问：对于复数域上的线性空间（比如 \(\mathbb{C}^n\)），能否同样引进"内积"，从而获得类似的几何结构？
直接搬运会遇到什么麻烦？
假设我们照搬实内积，定义 \(f(i\alpha,\, i\beta)\)，利用双线性把两个 \(i\) 都提出来：
\[ f(i\alpha,\, i\beta) = i \cdot i \cdot f(\alpha,\beta) = -f(\alpha,\beta). \]
如果我们还希望 \(f(\alpha,\alpha)\) 是非负实数（正定性），那么当 \(f(\alpha,\alpha) > 0\) 时，\(f(i\alpha,i\alpha) = -f(\alpha,\alpha) < 0\)，与正定性矛盾！⏱ 03:20
老师的课堂表述丘老师指出："如果假定 \(f\) 在同一组向量组成的双线性函数值是实数，左边是实数，右边也是实数，但右边是左边的相反数，因此如果 \(f(\alpha,\alpha) > 0\)，那么 \(f(i\alpha,i\alpha) < 0\)，这就与正定性矛盾了。"⏱ 03:40
2Hermitian 对称性的推导 ⏱ 04:40
为了保留正定性，我们必须放弃"双线性"中的某一个。丘老师保留了对第一个变量的线性性，而对第二个变量作如下修改：
关键修改
将第二个变量的系数提出时，改成提出其共轭复数：
\[ f(\alpha,\, k\beta) = \overline{k} \cdot f(\alpha,\beta), \qquad k \in \mathbb{C}. \]
此时验证：\(f(i\alpha,\, i\beta) = \overline{i} \cdot i \cdot f(\alpha,\beta) = (-i)\cdot i \cdot f(\alpha,\beta) = f(\alpha,\beta)\)，正定性得以保留。⏱ 05:48
进一步，由 Hermitian 对称条件（见下节公理 1）：
\[ f(\beta,\alpha) = \overline{f(\alpha,\beta)}. \]
将两变量对调后取共轭，即得原来的值——这就是Hermitian 对称性（又称共轭对称性）。
3复内积的四个公理定义 ⏱ 08:20
定义 · 复内积
设 \(V\) 是复数域 \(\mathbb{C}\) 上的线性空间，\(f: V \times V \to \mathbb{C}\) 是一个二元函数。若满足以下四条，则称 \(f\) 为 \(V\) 上的一个复内积：
（I）Hermitian 对称性：\[ f(\alpha,\beta) = \overline{f(\beta,\alpha)}, \quad \forall\,\alpha,\beta \in V. \]
（II）对第一个变量线性：\[ f(\alpha+\gamma,\,\beta) = f(\alpha,\beta) + f(\gamma,\beta), \]
\[ f(k\alpha,\,\beta) = k\cdot f(\alpha,\beta), \quad \forall\,k \in \mathbb{C}. \]
（III）对第二个变量半线性（共轭线性）：\[ f(\alpha,\,\beta+\delta) = f(\alpha,\beta) + f(\alpha,\delta), \]
\[ f(\alpha,\,k\beta) = \overline{k}\cdot f(\alpha,\beta), \quad \forall\,k \in \mathbb{C}. \]
（IV）正定性：\[ f(\alpha,\alpha) \geq 0 \;\;(\text{非负实数}), \quad f(\alpha,\alpha)=0 \iff \alpha = \mathbf{0}. \]
为何称为"半线性"（Sesquilinear）？
"Sesqui-" 源自拉丁语，意为"一个半"。即：对第一个变量是线性的（完整），对第二个变量是"一半线性"——提出系数时要取共轭。⏱ 09:50
丘老师在课堂上幽默地说："这个听起来会有误解——一个半、一个再半个……我会写在书里说得简略一点，意思是把双线性换成 Hermitian 对称、正定保留、双线性换成半线性，就这么换了。"⏱ 10:40
4酉空间（Unitary Space）的概念 ⏱ 12:20
定义 · 酉空间
配备了复内积的复线性空间 \(V\)，称为复内积空间，也称为酉空间（Unitary Space）。
与实内积空间（欧几里得空间）的对照：⏱ 13:30
| 性质 | 实内积空间（欧氏空间） | 复内积空间（酉空间） |
|---|---|---|
| 数域 | \(\mathbb{R}\) | \(\mathbb{C}\) |
| 内积类型 | 正定对称双线性函数 | 正定 Hermitian 半双线性函数 |
| 对称性 | \(f(\alpha,\beta)=f(\beta,\alpha)\) | \(f(\alpha,\beta)=\overline{f(\beta,\alpha)}\) |
| 长度 | \(\|\alpha\|=\sqrt{f(\alpha,\alpha)}\) | 同左（因 \(f(\alpha,\alpha)\in\mathbb{R}_{\geq 0}\)） |
| 英文名 | Euclidean Space | Unitary Space / Hermitian Space |
重要说明在实内积空间中，我们称有限维的情形为"欧几里得空间"；而在复内积空间中，并不限定于有限维——可以是有限维，也可以是无限维（如 Hilbert 空间）。丘老师特别强调了这一点。⏱ 13:05
5实内积空间 vs 复内积空间：核心差异 ⏱ 14:00
核心差异一览
- 对称性 → Hermitian 对称性：交换两变量后取共轭。
- 双线性 → 半双线性：对第二个变量系数提出时须取共轭。
- 正定性依旧保留：这是引入"内积"几何结构的根本原因（长度需为非负实数方可开方）。
为何正定性不可放弃？
内积的核心目的是在向量空间上建立度量几何：长度、角度、距离、正交性。其中"长度"定义为 \(\|\alpha\| = \sqrt{f(\alpha,\alpha)}\)，若 \(f(\alpha,\alpha)\) 不是非负实数，则开方无意义（或在复数域中失去几何直观）。因此正定性必须保留，只能通过调整对称性和线性性来适应复数域。⏱ 09:00
★重点回顾
1
动机：直接套用实内积的"双线性 + 正定"在复数域上会导致 \(f(i\alpha,i\alpha)=-f(\alpha,\alpha)\)，与正定性矛盾。
2
Hermitian 对称性：\(f(\alpha,\beta)=\overline{f(\beta,\alpha)}\)，这是复内积区别于实内积的核心性质。
3
半线性性：对第二个变量，系数提出时需取共轭：\(f(\alpha,k\beta)=\overline{k}\,f(\alpha,\beta)\)；对第一个变量保持线性。
4
酉空间：配备复内积的复线性空间，是实内积空间在复数域上的自然推广；不限定有限维。
5
术语："半双线性"（sesquilinear）意为"一线一半线"，即对一个变量线性、对另一个变量共轭线性。
⚠易错点提醒
常见错误
- 忘记对第二个变量取共轭：计算 \(f(\alpha,k\beta)\) 时误写成 \(k\,f(\alpha,\beta)\)，正确应为 \(\overline{k}\,f(\alpha,\beta)\)。
- 混淆 Hermitian 对称与对称：复内积不满足 \(f(\alpha,\beta)=f(\beta,\alpha)\)，而是 \(f(\alpha,\beta)=\overline{f(\beta,\alpha)}\)。
- 忽视有限维假设：复内积空间可以是无限维的（如平方可和序列空间 \(\ell^2\)、L² 空间），只有有限维时才叫"酉空间"的一种特例；而实内积空间有限维才叫"欧几里得空间"。
- 正定性中的等号条件：\(f(\alpha,\alpha)=0 \iff \alpha=\mathbf{0}\)，不要漏掉"当且仅当"。
✎自测与作业
- 验证：在 \(\mathbb{C}\) 上定义 \(f(z,w)=z\overline{w}\)，证明它满足复内积的四条公理。
- 设 \(V=\mathbb{C}^2\)，定义 \(f((z_1,z_2),(w_1,w_2))=z_1\overline{w_1}+2z_2\overline{w_2}\)。验证这是复内积，并计算 \(\|(1+i,\,1)\|\)。
- 证明：对任意 \(\alpha,\beta\in V\)，有 \(f(\beta,\alpha)=\overline{f(\alpha,\beta)}\)（即公理 I 与公理 II+III 联合推出对第二个变量的半线性）。
- （思考）为什么在复内积空间中，不能同时要求"对两个变量都线性"且"正定"？请给出严格证明。
- （预习）阅读教材中关于 \(\mathbb{C}^n\) 标准内积的内容，明天我们将讨论酉空间的标准内积和酉矩阵。
下一集预告
第 P140 集 · 十五：酉空间的性质（Cauchy-Bunyakovsky-Schwarz 不等式、长度与角度定义）、酉空间的标准正交基与 Gram-Schmidt 正交化。