定义5
欧氏空间V中一组非零的向量,如果它们两两正交,就称为一正交向量组。
1.由单个非零向量所成的向量组也是正交向量组。
2.正交向量组是线性无关的。
3.在n维欧氏空间中,两两正交的非零向量不能超过n个。
定义6
在n维欧氏空间中,由n个向量组成的正交向量组称为正交基;由单位向量组成的正交基称为标准正交基。
一组基为标准正交基的充要条件是:它的度量矩阵为单位矩阵。因为度量矩阵是正定的,正定矩阵合同于单位矩阵,这说明在n维欧氏空间中存在一组基,它的度量矩阵是单位矩阵。
在标准正交基下,向量的坐标可以通过内积简单地表示出来,即事实上,设用