§2 正交基一、标准正交基定义5 欧氏空间的一组非零的向量,如果它们两两正交,就称为一个正交向量组.
按定义,由单个非零向量所成的向量组也是正交向量组,
正交向量组是线性无关的.这个结果说明,在维欧氏空间中,两两正交的非零向量不能超过个.
定义6 在维欧氏空间中,由个向量组成的正交向量组称为正交基;由单位向量组成的正交基称为标准正交基组.
对一组正交基进行单位化就得到一组标准正交基.
设是一组标准正交基,由定义,有
(1)
显然,(1)式完全刻画了标准正交基的性质.换句话说,一组基为标准正交基的充要条件是:它的度量矩阵为单位矩阵.因为度量矩阵是正定矩阵的,根据第五章关于正定二次型的结果,正定矩阵合同于单位矩阵.这说明在维欧氏空间中存在一组基,它的度量矩阵是单位矩阵.由此断言,在维欧氏空间中,标准正交基是存在的.
在标准正交基下,向量的坐标可以通过内积简单地表示出来,即
,(2)
在标准正交基下,内积有特别简单的表达式.设
那么
(3)
这个表达式正是几何中向量的内积在直角坐标系中坐标表达式的推广.
应该指出,内积的表达式(3),对于任一组标准正交基都是一样的.这说明了,所有的标准正交基,在欧氏空间中有相同的地位.
二、规范正交基的存在性及其正交化方法定理1 维欧氏空间中任一个正交向量组都能扩充成一组标准正交基.
应该注意,定理的证明实际上也就给出了一个具体的扩充正交向量组的方法.如果从任一个非零向量出发,按证明中的步骤逐个地扩充,最后就得到一组正交基.再单位化,就得到一组标准正交基.
定理2 对于维欧氏空间中任意一组基,都可以找到一组标准正交基,使
应该指出,定理中的要求
就相当于由基到基的过渡矩阵是上三角形的.
定理2 中把一组线性无关的向量变成一单位正交向量组的方法在一些书和文献中称为施密特(Schimidt)正交化过程.
例1
变成单位正交组.
三、正交矩阵上面讨论了标准正交基的求法.由于标准正交基在欧氏空间中占有特殊的地位,所以有必要来讨论从一组标准正交基到另一组标准正交基的基变换公式.
设与是欧氏空间中的两组标准正交基,它们之间的过渡矩阵是,即
因为是标准正交基,所以
(4)
矩阵的各列就是在标准正交基下的坐标.按公式(3),(4)式可以表示为
(5)
(5)式相当于一个矩阵的等式
(6)
或者
定义7 组实数矩阵称为正交矩阵,如果
由标准正交基到标准正交基的过渡矩阵是正交矩阵;反过来,如果第一组基是标准正交基,同时过渡矩阵是正交矩阵,那么第二组基一定也是标准正交基.
最后指出,根据逆矩阵的性质,由
即得
写出来就是
(7)
(5)式是矩阵列与列之间的关系,(7)式是矩阵行与行之间的关系.这两组关系是等价的.
例2 考虑定义在闭区间上一切连续函数所作成的欧氏空间.函数组
构成的一个正交组.
把上面的每一向量除以它的长度,就得到的一个标准正交组:
例3 欧氏空间的基
,
是的一个标准正交基.
按定义,由单个非零向量所成的向量组也是正交向量组,
正交向量组是线性无关的.这个结果说明,在维欧氏空间中,两两正交的非零向量不能超过个.
定义6 在维欧氏空间中,由个向量组成的正交向量组称为正交基;由单位向量组成的正交基称为标准正交基组.
对一组正交基进行单位化就得到一组标准正交基.
设是一组标准正交基,由定义,有
(1)
显然,(1)式完全刻画了标准正交基的性质.换句话说,一组基为标准正交基的充要条件是:它的度量矩阵为单位矩阵.因为度量矩阵是正定矩阵的,根据第五章关于正定二次型的结果,正定矩阵合同于单位矩阵.这说明在维欧氏空间中存在一组基,它的度量矩阵是单位矩阵.由此断言,在维欧氏空间中,标准正交基是存在的.
在标准正交基下,向量的坐标可以通过内积简单地表示出来,即
,(2)
在标准正交基下,内积有特别简单的表达式.设
那么
(3)
这个表达式正是几何中向量的内积在直角坐标系中坐标表达式的推广.
应该指出,内积的表达式(3),对于任一组标准正交基都是一样的.这说明了,所有的标准正交基,在欧氏空间中有相同的地位.
二、规范正交基的存在性及其正交化方法定理1 维欧氏空间中任一个正交向量组都能扩充成一组标准正交基.
应该注意,定理的证明实际上也就给出了一个具体的扩充正交向量组的方法.如果从任一个非零向量出发,按证明中的步骤逐个地扩充,最后就得到一组正交基.再单位化,就得到一组标准正交基.
定理2 对于维欧氏空间中任意一组基,都可以找到一组标准正交基,使
应该指出,定理中的要求
就相当于由基到基的过渡矩阵是上三角形的.
定理2 中把一组线性无关的向量变成一单位正交向量组的方法在一些书和文献中称为施密特(Schimidt)正交化过程.
例1
变成单位正交组.
三、正交矩阵上面讨论了标准正交基的求法.由于标准正交基在欧氏空间中占有特殊的地位,所以有必要来讨论从一组标准正交基到另一组标准正交基的基变换公式.
设与是欧氏空间中的两组标准正交基,它们之间的过渡矩阵是,即
因为是标准正交基,所以
(4)
矩阵的各列就是在标准正交基下的坐标.按公式(3),(4)式可以表示为
(5)
(5)式相当于一个矩阵的等式
(6)
或者
定义7 组实数矩阵称为正交矩阵,如果
由标准正交基到标准正交基的过渡矩阵是正交矩阵;反过来,如果第一组基是标准正交基,同时过渡矩阵是正交矩阵,那么第二组基一定也是标准正交基.
最后指出,根据逆矩阵的性质,由
即得
写出来就是
(7)
(5)式是矩阵列与列之间的关系,(7)式是矩阵行与行之间的关系.这两组关系是等价的.
例2 考虑定义在闭区间上一切连续函数所作成的欧氏空间.函数组
构成的一个正交组.
把上面的每一向量除以它的长度,就得到的一个标准正交组:
例3 欧氏空间的基
,
是的一个标准正交基.