高等代数(九)-欧几里得空间02：标准正交基

§ 2 标准正交基
定义 5 欧氏空间 $V$
中一组非零的向量,如果它们两两正交,就称为一正交向量组.
应该指出,按定义,由单个非零向量所成的向量组也是正交向量组. 当然,
以下讨论的正交向量组都是非空的.
不难证明,正交向量组是线性无关的. 事实上,设正交向量组
${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$ 有一线性关系
$$k_1{\mathbf{\alpha }}_1+k_2{\mathbf{\alpha }}_2+\cdots +k_m{\mathbf{\alpha }}_m=0.$$
用 ${\alpha }_i$ 与等式两边作内积,即得
$$k_i\left({\mathbf{\alpha }}_i,{\mathbf{\alpha }}_i\right)=0.$$
由 ${\alpha }_i\ne 0$, 有 $\left({\alpha }_i,{\alpha }_i\right)>0$, 从而
$k_i=0(i=1,2,\cdots ,m)$. 这就证明了
${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_m$ 是线性无关的.
这个结果说明,在 $n$ 维欧氏空间中,两两正交的非零向量不能超过 $n$ 个.
这个事实的几何意义是清楚的. 例如, 在平面上找不到 3 个两两垂直的非零向量;
在空间中, 找不到 4 个两两垂直的非零向量.
从解析几何中看到,直角坐标系在图形度量性质的讨论中有特殊的地位.
在欧氏空间中,情况是相仿的.
定义 6 在 $n$ 维欧氏空间中, 由 $n$ 个向量组成的正交向量组称为正交基;
由单位向量组成的正交基称为标准正交基.
对一组正交基进行单位化就得到一组标准正交基.
设 ${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_{\mathrm{n}}$
是一组标准正交基,由定义,有
$$\left({\mathbf{\epsilon }}_i,{\mathbf{\epsilon }}_j\right)=\{\begin{array}{ll}1,& i=j,\\ 0,& i\ne j.\end{array}$$
显然,(1)式完全刻画了标准正交基的性质.换句话说,一组基为标准正交基的充分必要条件是:
它的度量矩阵为单位矩阵. 因为度量矩阵是正定的,
根据第五章关于正定二次型的结果,正定矩阵合同于单位矩阵.这说明在 $n$
维欧氏空间中存在一组基,它的度量矩阵是单位矩阵. 由此可以断言, 在 $n$
维欧氏空间中, 标准正交基是存在的.
在标准正交基下,向量的坐标可以通过内积简单地表示出来,即
$$\mathbf{\alpha }=\left({\epsilon }_1,\mathbf{\alpha }\right){\epsilon }_1+\left({\epsilon }_2,\mathbf{\alpha }\right){\epsilon }_2+\cdots +\left({\epsilon }_n,\mathbf{\alpha }\right){\epsilon }_n.$$
事实上,设
$$\alpha =x_1{\epsilon }_1+x_2{\epsilon }_2+\cdots +x_n{\epsilon }_n.$$
用 ${\epsilon }_i$ 与等式两边作内积,即得
$$x_i=\left({\mathbf{\epsilon }}_i,\mathbf{\alpha }\right),i=1,2,\cdots ,n.$$
在标准正交基下, 内积有特别简单的表达式.设
$$\mathbf{\alpha }=x_1{\mathbf{\epsilon }}_1+x_2{\mathbf{\epsilon }}_2+\cdots +x_n{\mathbf{\epsilon }}_n,\mathbf{\beta }=y_1{\mathbf{\epsilon }}_1+y_2{\epsilon }_2+\cdots +y_n{\epsilon }_n.$$
那么
$$(\mathbf{\alpha },\mathbf{\beta })=x_1{y}_1+x_2{y}_2+\cdots +x_n{y}_n={\mathbf{X}}^{\mathrm{T}}\mathbf{Y}.$$
这个表达式正是几何中向量的内积在直角坐标系中坐标表达式的推广.
应该指出,内积的表达式 (3), 对于任一组标准正交基都是一样的.
这就说明了,所有的标准正交基, 在欧氏空间中有相同的地位. 在下一节,
这一点将得到进一步的说明.
下面我们将结合内积的特点来讨论标准正交基的求法.
定理 $1n$ 维欧氏空间中任一个正交向量组都能扩充成一组正交基.
证明 设
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_m$
是一正交向量组,我们对 $n-m$ 作数学归纳法.
当 $n-m=0$ 时,
${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_m$
就是一组正交基了.
假设 $n-m=k$ 时定理成立, 也就是说, 可以找到向量
${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,{\mathbf{\beta }}_k$,
使得
$${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,$$