第九章欧几里得空间.doc.docVIP

第九章 欧几里得空间 1 本章的学目标及基本要求 （1）会验证欧几里得空间 （2）会求向量的长度及两向量的夹角，能写出具体的欧氏空间的柯西不等式 （3）会将一组性无的向量标准正交化 （4）掌握正交矩阵及正交矩阵的证明 （5）会求正交矩阵T及对角矩阵D，使，其中A为实对称矩阵 （6）掌握标准正交基的求法及证明 （7）掌握子空间的证明及正交补的性质 2 本章学内容及学时安排 §1 定义与基本性质 2学时 §2 标准正交基 2学时 §3 同构 1学时 §4 正交变换 2学时 §5 子空间 2学时 §6 对称矩阵的标准形 3学时 §7 向量到子空间的距离，最小乘法 2学时 §8 酉空间介绍 2学时 本章2次习题本章共计20学时 3 本章学内容的重点及难点 本章的重点是欧氏空间的标准正交基，正交矩阵，正交变换及用正交的线性替换将实二次型化成平方和。 在理解方面比较困难的是正交变换及最小二乘法的推导。 4 本章的主要参考书目： [1]张禾瑞，郝新编，高等代数（第四版），高等教育出版社，2001 [2]叶明训等编，线性空间引论（第二版），武汉大学出版社，2002 [3]蓝以中编，高等代数简明教程，北京大学出版社，1994 [4]姚慕生编，高等代数，复旦大学出版社，2002 第九章 欧几里得空间 在线性空间中，几何空间作为它的具体模型，但是几何空间的度量性质，如向量的长变、夹角、两个向量之间的距离，在向量空间中没有反映，有必要引入度量的概念，回忆几何空间中向量的内积（数乘） ，也就是说向量的长度，两个向量的夹角都可以用向量的内积来表示，于是我们可以用公理化的方式（应当是合理的）定义内积，然后用内积来定义长度、夹角。 §1 定义与基本性质 与欧几里得空间def1 内积与欧几里得空间 P359，它具有以下四个性质： 1）对称性；2）线性性；3）可加性；4）正定性。 注：1、在Vn(R)上定义不同的内积可得不同的欧空间。 2、只有在实数域线性空间上才能定义内积 3、内积实质上是V×V到R的映射 例1：在线性空间Rn中，，，,定义内积，容易证明满足内积定义的4条，于是Rn对这样定义的内积构成一个欧氏空间。 另外，在Rn上，我们也可以定义，容易证明满足内积定义的4条，则得到与以上不同的欧氏空间，不过以后如不特别声明，欧氏空间Rn是指书上定义的欧氏空间。 例2 闭区间[a,b]上所有连续实函数所成的线性空间C（a,b）中定义，易证构成欧氏空间。 例3 在实数域4维向量空间R4内定义向量内积如下：若，，令 证明：对此内积R4构成一个欧氏空间 证：令 则 1） 2） 3） 4）因为A的4个顺序主子式全大于0，所以A正定，，，且是R4的一个内积，则R4对如定义的内积构成一个欧氏空间。性质：1） 2） 3），反之，若则 4） 用归纳法易证 def2 非负实数称为向量的长度记为 5） 长度为1的向量称为单位向量，，则就是一个单位向量，通常称为将单位化，在解析几何中 如果要用上式来定义夹角，则必须证明不等式 这就是所谓的柯石——布涅柯夫斯基不等式（Cauchy-буияkоlckuй）不等式 或 当且仅当线性相关时，等号才成立 证：[分析：只要证明线性无关时，线性相关时，] 若线性相关，或，不妨令，，，因此等号成立。 当线性无关时，，于是 左边是关于t的二次三项式 于是 对每一个具体的欧氏空间，都有相应的不等式，对前面的例1， 这就是所谓的Cauchy不等式。 对例2，，有 这就是所谓的буияkоlckuй不等式，对我们补充的例3，也有相应的不等式。 有 ，请学生写出具体的不等式。 def3 非零向量的夹角规定为 例4 ，定义内积 （1）证明R2对给定的内积构成一个欧氏空间 （2）求的长度 （3）求 （4）写出此欧氏空间的Cauchy-буияkоlckuй）不等式 解：（1）让学生自己证明 （2） （3） （4），即 三角形不等式 证： def4 若，称正交或互相垂直记为。 两个非零向量正交 显然只有向量与自己正交，当，则，于是 ，这就是勾股定理，在欧氏空间中，我们可以将勾股定理推广到多个向量的情形，如果向量两两相交，则 设V是n维欧氏空间，是V的一组基 ， ，令 则，于是，， 、分别是关于基的坐标，称为基的度量矩阵，如果度量矩阵已知，容易求出。 下面讨论不同基的度量矩阵之间的关系 若也是V的一组基，令它的度量矩阵 令于是 分别是在基下的坐标，那么 因为是任意的，令，则 所以即，这就是说