酉空间

定义

对于任意一个复数域 $\mathbb C$ 上的线性空间 $V,$ 在 $V$ 上定义了一个二元复函数，称为内积，记作 $\langle \alpha, \beta \rangle,$ 它具有如下性质：
$\forall \alpha, \beta \in V, \forall k \in \mathbb C,$
1. $\langle \alpha, \beta \rangle = \overline { \langle \beta , \alpha\rangle }$
2. $\langle k \alpha, \beta \rangle = k \langle \alpha, \beta \rangle$
3. $\langle \alpha + \beta, \gamma \rangle = \langle \alpha, \gamma \rangle + \langle \beta, \gamma \rangle$
4. $\langle \alpha, \alpha\rangle \ge 0,$ 且 $\langle \alpha, \alpha\rangle = 0 \Leftrightarrow \alpha = \vec 0$
这样的线性空间 $V$ 称为酉空间。
定义 $\left \Vert \alpha \right \Vert = \sqrt {\langle \alpha, \alpha\rangle}$ 。

性质

1. $\langle \alpha, k \beta \rangle = \overline { k } \langle \alpha, \beta \rangle$
   证明
   $\langle \alpha, k \beta \rangle = \overline { \langle k \beta, \alpha \rangle } = \overline { k \langle \beta, \alpha \rangle } = \overline { k } \cdot \overline { \langle \beta, \alpha \rangle } = \overline { k } \langle \alpha, \beta \rangle$
2. $\langle \alpha , \beta + \gamma \rangle = \langle \alpha, \beta \rangle + \langle \alpha, \gamma \rangle$
   证明
   ⟨α,β+γ⟩=⟨β+γ,α⟩¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯