埃尔米特矢量空间（酉空间）

贡献者：零穹

本文存在未完成的内容。

预备知识　欧几里得矢量空间

　　 $R$ 上的欧几里得矢量空间的度量关系完全可由内积来刻画，这成为在复数域 $C$ 上的矢量空间中引入内积的刺激因素。然而，在复矢量空间的情形，使用标准双线性型 $s (x, y) = \sum_{i} x_{i} y_{i} x_{i}, y_{i} \in C$ 作为内积并不能胜任此任务，因为对 $‖ x ‖ \geq 0$ ，模

\begin{matrix} (1) & ‖ i x ‖ = \sqrt{s (i x, i x)} = - ‖ x ‖ \leq 0 \end{matrix}

要是想利用直观的矢量长度的概念，上面的内积定义显然是不能接受的。但是，使用正定的埃米尔特型（定义 4 ）作为内积的定义却是适合的。

1. 埃尔米特矢量空间（酉空间）

定义 1　

　　域 $C$ 上一个有限维矢量空间 $V$ 配备一个正定埃尔米特型 $(x | y) := f (x | y)$ ，则称为埃尔米特矢量空间（或酉空间）。复数 $(x | y)$ 称为是矢量 $x, y \in V$ 的内积（或纯量积）。

　　列出内积的性质（*表示共轭复数）：

$(x | y) = (x | y)^{*}$ ；
$(α x + β y | z) = α^{*} (x | z) + β (y | z)$ ；
$(x | x) \geq 0$ ，仅当 $x = 0$ 时等式成立。

　　这里，仍用 $(* | *)$ 表示内积，是因为将矢量空间限制在实数域上以上性质仍成立，并不会发生任何矛盾。

　　有了内积的定义以后，和欧几里得矢量空间情形完全类似的，在埃尔米特空间，有

定义 2　模

　　称 $‖ v ‖ = \sqrt{(v | v)}$ 为矢量 $v$ 的模。模为 1 的埃尔米特矢量空间的矢量 $v$ 记作 $\hat{v}$ 。

定理 1　施瓦茨不等式

\begin{matrix} (2) & | (x | y) | \leq ‖ x ‖ \cdot ‖ y ‖ . \end{matrix}

仅当

y = λ x, λ \in C

时，等式成立。

　　 证明：将复数记为指数形式，即 $(x | y) = | (x | y) | e^{i φ}$ 。那么由内积的正定性，对 $\forall t \in R$

\begin{matrix} (3) & \begin{aligned} (x t + y e^{- i φ} | x t + y e^{- i φ}) \\ = {‖ x ‖}^{2} t^{2} + ((x | y) e^{- i φ} + (x | y)^{*} e^{i φ}) t + {‖ y ‖}^{2} \\ = {‖ x ‖}^{2} t^{2} + 2 | (x | y) | t + {‖ y ‖}^{2} \geq 0 . \end{aligned} \end{matrix}

由判别式即得式 2 。

　　 证毕！

推论 1　三角不等式

\begin{matrix} (4) & ‖ x \pm y ‖ \leq ‖ x ‖ + ‖ y ‖ . \end{matrix}

　　证明完全和欧氏矢量空间一样（推论 1 ）。

例 1　

　　在 $C$ 上的矢量空间 $C_{2} (a, b)$ (例 1 ) 和 $P_{n}$ 上附加内积

\begin{matrix} (5) & (f | g) = \int_{a}^{b} f (x) g^{*} (x) d x . \end{matrix}

显然是个埃尔米特空间。利用式 4 ，即得

\begin{matrix} (6) & \sqrt{\int_{a}^{b} {| f (x) \pm g (x) |}^{2} d x} \leq \sqrt{\int_{a}^{b} {| f (x) |}^{2} d x} + \sqrt{\int_{a}^{b} {| g (x) |}^{2} d x} . \end{matrix}

　　由式 2 ，存在唯一角 $φ, 0 \leq φ \leq \frac{π}{2}$ 使得

\begin{matrix} (7) & \cos φ = \frac{| (x | y) |}{‖ x ‖ \cdot ‖ y ‖} . \end{matrix}

2. 正交性

定义 3　正交

　　若 $(x | y) = 0$ ，则称 $x, y$ 是正交的，记作 $x ⊥ y$ 。此外若还成立 $(x | x) = (y | y) = 1$ ，则称 $x$ 和 $y$ 标准正交。

　　在正交性方面，也完全类似于欧几里得矢量空间情形，定理 1 、定理 2 仍成立，只需将域 $R$ 上的欧氏矢量空间替换为域 $C$ 上的埃尔米特矢量空间。

　　注意：由于 $n$ 维的埃尔米特矢量空间必有 $n$ 个线性无关的基底，而定理 1 保证了其上必存在标准正交基底。

例 2　

　　试证明在埃尔米特空间，也有类似于 “毕达哥拉斯定理” 成立，即：对两两正交的矢量 $v_{1}, \dots, v_{n}$ ，成立

\begin{matrix} (8) & {| | v_{1} + \dots + v_{n} | |}^{2} = {| | v_{1} | |}^{2} + \dots + {| | v_{n} | |}^{2} . \end{matrix}

定理 2　

　　设 $({\hat{e}}_{1}, \dots, {\hat{e}}_{n})$ 是埃尔米特空间 $V$ 上的一个标准正交基底，那么

$\begin{matrix} (9) & \forall x \in V, x = \sum_{i} ({\hat{e}}_{i} | x) {\hat{e}}_{i} . \end{matrix}$
帕塞瓦尔等式
$\begin{matrix} (10) & \forall x, y \in V, (x | y) = \sum_{i} (x | {\hat{e}}_{i}) ({\hat{e}}_{i} | y) . \end{matrix}$
$\begin{matrix} (11) & x \in V, \Rightarrow {‖ x ‖}^{2} = \sum_{i} {| ({\hat{e}}_{i} | x) |}^{2} . \end{matrix}$

　　 证明：

设 $x = \sum_{i} x_{i} {\hat{e}}_{i}$ ，则
$\begin{matrix} (12) & ({\hat{e}}_{i} | x) = \sum_{j} x_{j} ({\hat{e}}_{i} | {\hat{e}}_{j}) = x_{i} . \end{matrix}$
由式 9
$\begin{matrix} (13) & (x | y) = (x | \sum_{i} ({\hat{e}}_{i} | y) {\hat{e}}_{i}) = \sum_{i} ({\hat{e}}_{i} | y) (x | {\hat{e}}_{i}) = \sum_{i} (x | {\hat{e}}_{i}) ({\hat{e}}_{i} | y) . \end{matrix}$
由式 9 直接证得！

　　 证毕！

3. 埃尔米特空间的同构

定理 3　

　　任意两个维数相同的埃尔米特矢量空间 $V, V^{'}$ 都是同构的。即存在矢量空间的同构映射 $f : V \to V^{'}$ ，它还保持内积：

\begin{matrix} (14) & (x | y) = (f (x) | f (y))^{'} . \end{matrix}

其中，

(* | *)^{'}

是

V^{'}

上的内积。

　　 证明：和欧几里得矢量空间一样，这样的同构映射是

\begin{matrix} (15) & f : x = \sum_{i} x_{i} {\hat{e}}_{i} \mapsto x^{'} = \sum_{i} x_{i} {\hat{e}}_{i}^{'} . \end{matrix}

其中，

{{\hat{e}}_{i}}

和

{{\hat{e}}_{i}^{'}}

分别是空间

V, V^{'}

的标准正交基底。这显然保持内积。

　　从上面可以看到，欧几里得矢量空间的很多性质都可以直接推广到埃尔米特矢量空间。然而，在欧几里得矢量空间的情形，可以把欧几里得矢量空间和其对偶空间等同起来；而在埃米尔特空间，并不存在这样的等同关系。这是因为，欧几里得矢量空间和其对偶空间存在着自然的同构映射（定理 4 ）；而对埃米尔特矢量空间，并没有这样的自然同构存在，究其原因，是因为欧氏情形内积是双线性的，而埃氏情形则是半双线性的，而矢量空间的同构必须是线性的。

4. 酉群

　　 $n$ 维欧氏情形里，从一个标准正交基底到另一个标准正交基底的转换矩阵称为正交矩阵，它们构成一个群——正交群，记作 $O (n)$ （子节 3 ）。同样的，在 $n$ 维埃氏情形，从一个标准正交基底到另一个标准正交基底的转换矩阵称为酉矩阵，它们构成的群称为酉群，记作 $U (n)$ 。关于酉群的具体介绍查看文章酉群。

埃尔米特矢量空间（酉空间）

1. 埃尔米特矢量空间（酉空间）

定义 1

定义 2 模

定理 1 施瓦茨不等式

推论 1 三角不等式

例 1

2. 正交性

定义 3 正交

例 2

定理 2

3. 埃尔米特空间的同构

定理 3

4. 酉群

定义 1　

定义 2　模

定理 1　施瓦茨不等式

推论 1　三角不等式

例 1　

定义 3　正交

例 2　

定理 2　

定理 3　