第九章 欧式空间(第二讲).pptVIP

* * 线性代数 机动 目录 上页 下页 返回 结束 § 度量矩阵与标准正交基 2.1 欧氏空间的度量矩阵 设V是n维欧氏空间. ε1，ε2 ，··· ，ε n是V的一个基.对于V中两个向量 由内积性质1，知 令 显然aij=aji.于是矩阵 为一个实对称矩阵.向量α, β的内积可表为 （1） 这里x,y分别是α, β的坐标.我们称A为在基ε1，ε2 ，··· ，ε n下的度量矩阵.上述结果表明，当知道了某组基下的度量矩阵A时，任意两向量的内积可以通过这两个向量的坐标按（1）式来计算.可见，度量矩阵完全确定了内积. 例2.1 已知三维欧氏空间V在基ε1，ε2 ，··· ，ε n下的度量矩阵为 试判明中向量α=ε1- ε2与β= ε1+2 ε3是否正交？ 解 在基ε1，ε2，ε3下，向量α, β的坐标分别为（1,-1,0）T, （1,0,2）T.于是 便知α, β正交. 定理2.1 欧氏空间在任一基下的度量矩阵都是正定矩阵. 证明 设V是n维欧氏空间. ε1，ε2 ，··· ，ε n是V的一个基, A是该基下的度量矩阵.为证明实对称矩阵A正定,只须证明实二次型x T A x正定.设 x =（ x1， x 2，···， x n）T 为任一非零实n元数组.令 则α是V中非零向量.于是 x T A x=（ α , α ）＞0 可见x T A x为正定二次型,从而知A为正定矩阵. 2.2 欧氏空间的标准正交基 在第五章第四节中,我们在通常实向量内积下给出了正交向量组、单位正交组的概念,得到了一些相关结果.还给出了从一个线性无关向量组经过逐步正交化和单位化过程求得一个与原向量组等价的单位正交组的Schmidt方法.这些概念和结果都可以平行地在有限欧氏空间中得到. 定义2.1 在欧氏空间中,由两两正交的一些非零向量组称为一个正交向量组,简称正交组. 容易证明正交向量组是线性无关的. 定义2.2 每个向量都是单位向量的正交组称为一个标准正交组或单位正交组. 定义2.3 在欧氏空间中，由正交向量组形成的基称为正交基；由标准正交组形成的基称为标准正交基或单位正交基. n维欧氏空间的n个向量ε1，ε2 ，··· ，ε n构成标准正交基的充要条件是 当i=j时 当i≠j时 i,j=1,2, ···n. 在欧氏空间中， Schmidt单位正交化方法从过程到计算公式都和通常实向量组时一样.读者可参见第五章第四节相应的部分.这里就不再重述了.但是应该注意，公式中涉及内积时要按欧氏空间中相应的内积定义来计算. 例2.2 设V是线性空间R[x]3对于内积 构成的欧氏空间中， Schmidt单位正交化方法求与V中向量组f1(x)=1, f2(x)=1+x, f3(x)=-x2等价的标准正交组. 解 先正交化. 其中 即有 再计算 于是 在将g1(x) ，g2(x) ，g3(x)单位化.由前面计算已得 再计算出 便可得标准正交组 h1(x) ， h2(x) ， h3(x)即为所求. 在上例中， f1(x), f2(x), f3(x)是三维欧氏空间V的一个基，而经过正交化、单位化后便得到的标准正交基h1(x) ，h2(x) ，h3(x) .与此类似， n维欧氏空间的任一基均可单位正交化得到标准正交基.由此可知下述定理为真. 定理2.2 n维欧氏空间必有标准正交基.（ n＞0） 我们之所以关心标准正交基，是因为它比一般基具有明显的优越性.首先我们可以看到，它具有解析几何中采用直角坐标系所带来的那种方便.设ε1，ε2 ，··· ，ε n为一个标准正交基.若向量α在该基下的坐标为（ x1， x 2，···， x n ）T ，则 这表明在标准正交基下，向量α的第i个坐标分量正是α与基中第i个向量的内积（这一结果在一般基下通常是不具有的）.它可以视为“在直角坐标系下，向量坐标的第i个向量是该向量向第i个坐标轴垂直投影”的一种拓广. 还有一点，就是在标准正交基下，度量矩阵最为简明. 定理2.3 n维欧氏空间的一个基为标准正交基的充分必要条件是在该基下的度量矩阵为单位矩阵. 定理的成立是明显的. 根据定理2.3，如果欧氏空间V中向量α, β在标准正交基ε1，ε2 ，··· ，ε n下的坐标为x,y ，则 这说明，在标准正交基下，两向量的内积体现为它们坐标（作为数组向量）的通常内积.这当然是很方便的. 定理2