线性代数｜施密特正交化及其证明

前置知识：

• 向量内积的性质及施瓦茨不等式的证明
• 向量与向量组

---

1 施密特正交化过程

设 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 是向量空间 $V$ 的一个基，要求 $V$ 的一个标准正交基。这也就是要找一组两两正交的单位向量 ${\mathbf{e}}_1,\cdots ,{\mathbf{e}}_r$，使 ${\mathbf{e}}_1,\cdots ,{\mathbf{e}}_r$ 与 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 等价。这样一个问题，称为把基 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 标准正交化。

我们可以用以下方法把 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 标准正交化：取
$$\begin{array}{rl}& {\mathbf{b}}_1={\mathbf{a}}_1\\ & {\mathbf{b}}_2={\mathbf{a}}_2-\frac{[{\mathbf{b}}_1,{\mathbf{a}}_2]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}{\mathbf{b}}_1\\ & \cdots \cdots \cdots \cdots \\ & {\mathbf{b}}_r={\mathbf{a}}_r-\frac{[{\mathbf{b}}_1,{\mathbf{a}}_r]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}{\mathbf{b}}_1-\frac{[{\mathbf{b}}_2,{\mathbf{a}}_r]}{[{\mathbf{b}}_2,{\mathbf{b}}_2]}{\mathbf{b}}_2-\cdots -\frac{[{\mathbf{b}}_{r-1},{\mathbf{a}}_r]}{[{\mathbf{b}}_{r-1},{\mathbf{b}}_{r-1}]}{\mathbf{b}}_{r-1}\end{array}\text{\hspace{1em}(1)}$$

然后把它们单位化，即取
$${\mathbf{e}}_1=\frac{1}{||{\mathbf{b}}_1||}{\mathbf{b}}_1,{\mathbf{e}}_2=\frac{1}{||{\mathbf{b}}_2||}{\mathbf{b}}_2,\cdots ,{\mathbf{e}}_r=\frac{1}{||{\mathbf{b}}_r||}{\mathbf{b}}_r,$$
就是 $V$ 的一个标准正交基。

上述从线性无关向量组 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 导出正交向量组 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 的过程称为施密特正交化。它不仅满足 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 与 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 等价，还满足：对任何 $k(1\le k\le r)$，向量组 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 与 ${\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 等价。

2 施密特正交化证明

证明：向量组 $B:{\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 是正交向量组。

证明　使用数学归纳法。

1：当 $n=1$ 时，根据 $(1)$ 式，有 $[{\mathbf{b}}_1,{\mathbf{b}}_2]=[{\mathbf{b}}_1,{\mathbf{a}}_2]-\frac{[{\mathbf{b}}_1,{\mathbf{a}}_2]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}[{\mathbf{b}}_1,{\mathbf{b}}_1]=0$，即 ${\mathbf{b}}_1$ 与 ${\mathbf{b}}_2$ 正交。

2：假设当 $n=k$（$1<k\le r-1$）时，向量组 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_k$ 两两正交。根据 $(1)$ 式有（其中第 2 行到第 3 行利用了向量组 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_k$ 两两正交）
$$\begin{array}{rl}[{\mathbf{b}}_k,{\mathbf{b}}_{k+1}]& =\left[{\mathbf{b}}_k,\left({\mathbf{a}}_{k+1}-\frac{[{\mathbf{b}}_1,{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}{\mathbf{b}}_1-\cdots -\frac{[{\mathbf{b}}_{k-1},{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_{k-1},{\mathbf{b}}_{k-1}]}{\mathbf{b}}_{k-1}-\frac{[{\mathbf{b}}_k,{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_k,{\mathbf{b}}_k]}{\mathbf{b}}_k\right)\right]\\ & =[{\mathbf{b}}_k,{\mathbf{a}}_{k+1}]-\frac{[{\mathbf{b}}_1,{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}[{\mathbf{b}}_k,{\mathbf{b}}_1]-\cdots -\frac{[{\mathbf{b}}_{k-1},{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_{k-1},{\mathbf{b}}_{k-1}]}[{\mathbf{b}}_k,{\mathbf{b}}_{k-1}]-\frac{[{\mathbf{b}}_k,{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_k,{\mathbf{b}}_k]}[{\mathbf{b}}_k,{\mathbf{b}}_k]\\ & =[{\mathbf{b}}_k,{\mathbf{a}}_{k+1}]-\frac{[{\mathbf{b}}_k,{\mathbf{a}}_{k+1}]}{[{\mathbf{b}}_k,{\mathbf{b}}_k]}[{\mathbf{b}}_k,{\mathbf{b}}_k]=0\end{array}$$
即 ${\mathbf{b}}_k$ 与 ${\mathbf{b}}_{k+1}$ 正交。

综上所述，由 1 和 2 可知，当 $1\le n\le r-1$ 时，${\mathbf{b}}_n$ 与 ${\mathbf{b}}_{n+1}$ 正交。因此 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 两两正交，即向量组 ${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 是正交向量组。

证明：向量组 $B:{\mathbf{b}}_1,\cdots ,{\mathbf{b}}_r$ 与向量组 $A:{\mathbf{a}}_1,\cdots ,{\mathbf{a}}_r$ 等价。

证明　根据 $(1)$ 式，有：
$$\begin{array}{rl}& {\mathbf{a}}_1={\mathbf{b}}_1\\ & {\mathbf{a}}_2=\frac{[{\mathbf{b}}_1,{\mathbf{a}}_2]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}{\mathbf{b}}_1-{\mathbf{b}}_2\\ & \cdots \cdots \cdots \cdots \\ & {\mathbf{a}}_r=\frac{[{\mathbf{b}}_1,{\mathbf{a}}_r]}{[{\mathbf{b}}_1,{\mathbf{b}}_1]}{\mathbf{b}}_1+\frac{[{\mathbf{b}}_2,{\mathbf{a}}_r]}{[{\mathbf{b}}_2,{\mathbf{b}}_2]}{\mathbf{b}}_2+\cdots +\frac{[{\mathbf{b}}_{r-1},{\mathbf{a}}_r]}{[{\mathbf{b}}_{r-1},{\mathbf{b}}_{r-1}]}{\mathbf{b}}_{r-1}-{\mathbf{b}}_r\end{array}$$
因为向量组 $A$ 中的每个向量都可以由向量组 $B$ 线性表示，所以向量组 $A$ 可以由向量组 $B$ 线性表示。

根据 $(1)$ 式，通过数学归纳法容易验证向量组 $B$ 中的每个向量都可以由向量组 $A$ 线性表示，所以向量组 $B$ 可以由向量组 $A$ 线性表示。

综上所述，因为向量组 $A$ 可以由向量组 $B$ 线性表示且向量组 $B$ 可以由向量组 $A$ 线性表示，于是向量组 $A$ 与向量组 $B$ 等价。