陈维新《线性代数简明教程》第五章_向量空间.pptVIP

. 定义 欧氏空间 的一组两两正交的非零向量称为 的一个正交向量组. 性质 设 是欧氏空间 的一个正交向量组，则 线性无关. 证 设有一组数 使得 用 与等式两边的向量作内积，利用 时有 可得： 因为 故 从而 这就证明了 线性无关. 注意 本性质的逆命题不成立，即线性无关的向量组未必是 中的 就是线性无关但是非正交的向量组。这同时说明正交向量组 正交向量组. 的概念比线性无关向量组更强. 如 . 定义 在 中，由n个向量组成的正交向量组称为正交基， 由单位向量组成的正交基，称为标准正交基（或规范正交基）. 容易看出如有了正交基，则对其单位化即可得到标准正交基. 就是一组标准正交基. 而常用基 据定义有 为一组标准正交基 据此，在欧氏空间 中检验一组基 是否标准正交基 可如下进行： 记 利用 有 为 的一组标准正交基 . 对具有这样性质的矩阵我们专门下个定义 定义 n阶实矩阵A称为正交矩阵，若 据此定义有下述性质 性质 在欧氏空间 中， 为标准正交基 为正交矩阵. 欧氏空间中标准正交基的作用可从下述性质略见一二. * * §5.1 定义及其背景 §5.2 基和维数 §5.3 子空间 §5.4 向量空间的内积和标准正交基 §5.5 概要及小结 §5.1、定义及其背景 这一章是上一章的续篇。上一章主要讨论的是一组（有限个）n元向量间的线性关系，本章将在