§9-2标准正交基.docVIP

§9-2 标准正交基 复习欧氏空间的概念、两向量正交的定义、度量矩阵的定义及性质。 一、概念 定义5: 欧氏空间中一组非零的向量，如果它们两两正交，则称为一个正交向量组。 例1: 向量，构成的一个正交组。 事实上，很容易验证 例2: 在上，函数组 1，cosx, sinx, … cos nx, sin nx … 构成上的一个正交组。事实上，我们有 ； ； ； 所以 ； ， 当时 一般情况下，正交向量组是对两个或两个以上的向量而言，对于特殊情况我们规定： 单个非零向量所成的向量组是正交向量组。 由正交向量组的定义很容易得出以下结论： 1、正交向量组一定是线性无关的。 证明：设正交，欲证其无关 设有关系式 用与等式两边做内积，由于 当时 所以可得 而﹥0 所以 注①：此定理的逆不成立，即无关的向量组不一定是正交的。 如，无关（不成比例），但 注②：相关的向量组一定是不正交的。于是可得 2、在n维欧氏空间中，两两正交的非零向量不超过n个。 事实上，在n维空间中，任何n+1个向量都是相关的。 在解析几何中，我们一般是在直角坐标系下讨论问题，感到很方便，而在其他坐标系下讨论问题则较麻烦，在欧氏空间中，我们也希望它的基能是正交的。 定义6: 在n维欧氏空间中，由n个正交向量组成的正交向量组称为正交基，由单位向量组成的正交基称为标准正交基。 如在例题1中的三个向量不全是单位向量，所以不是单位正交基，但若，则构成的一个一组标准正交基。 设是一组标准正交基，则有，反之亦然。故有 一组基是标准正交基它的度量矩阵是单位矩阵。 在标准正交基下，向量的坐标以及两向量的内积都有很简洁的表示方法。 ⑴向量的坐标：设是V中任一向量，用与等式两边做内积， 有 于是，向量可表示为： 即向量的坐标为： ⑵两向量的内积：设， 则 ⑵说明在标准正交基下，两向量的内积计算可以看作是几何中向量内积的推广。 标准正交基的求法 在欧氏空间中，标准正交基是否一定存在呢？上节课讲了，度量矩阵都是正定的，而正定矩阵必合同于单位矩阵，这就是说在在欧氏空间中一定存在一组基，它的度量矩阵是单位矩阵，因而可以断言，在n维欧氏空间中，标准正交基一定存在。下述定理不仅给出了存在性，而且给出了求标准正交基的方法 定理1: n维欧氏空间中任一个正交向量组都能扩充成一组正交基。 证明：设是一正交向量组，对做数学归纳法 1o 当时，就是一组标准正交基； 2o 设当时定理成立，即可以找到个向量使 ，成为一组标准正交基； 3o 当时， ∵ ∴ 一定有向量不能被线性表出 做向量 用对等式两边做内积，得： 取 则有 即：，是正交向量组，根据归纳假设知可扩充为一组正交基。 由于单个非零向量是正交的，所以定理1的证明实际上给出了求一组正交基的方法： Ⅰ、设为已知，则可找到另一向量与线性无关，若令 则与正交。 Ⅱ、特别当已知一组线性无关的向量，要把它们正交化，可按上述方法： ， 这时必有是正交基。 定理2：对于n维欧氏空间中任一组基，都可找到一组标准正交基，使 ， 例：把，化为标准正交向量组。 解：第一步：正交化 第二步：单位化