高等代数第9章欧几里得空间习题 [1]....ppt

第9章 欧几里得空间习题课 §1 定义与基本性质 §2 标准正交基的定义及求法 §3 正交变换，对称变换 §4 子空间的正交补 §5 实对称矩阵的标准形 §6 向量到子空间的距离 §1 定义与基本性质 定义 设V是实数域R上的线性空间,在V上 定义了一个二元实函数, 即对于V中任意两个 向量?, ?, 都有惟一确定的实数与之对应, 该实数记作(?, ?), 它满足如下性质: (1)(?, ?)=(?, ? ); (2)(?+?, ?)= (?, ?) + (?, ?); (3) (k?, ?)= k(?, ? ); (4) (?, ?)?0, (?, ?)=0当且仅当?=0. 例1 在线性空间Rn中，对于向量 ? =(a1, a2, …, an)， ? = (b1, b2, …, bn) 定义 (?, ? ) = a1b1+a2b2+…+anbn 则 Rn是一个欧几里得空间, 仍用Rn来表示． 内积的性质 (1) (?, k?)=(k?, ? )= k(? ,?)= k(?, ? ); (2) (?, ? + ?)= (? + ? ,?)= (? , ? ) + (? ,?); = (?, ? ) + (? ,?); (3) (?, 0)=0. 二. 长度与夹角 由于(?, ?)?0, 在欧氏空间可引进向量?的 长度的概念． 定义 在欧氏空间中,非负实数 称为向量?的长度, 记作???． 由于(?, ?)?0,所以向量的长度一般 是非负数, 有且仅有零向量的长度才是零． 长度为１的向量称为单位向量. 如果? ? 0, 则 是一个单位向量. 通常称此过程为把? 单位化． 定义 在欧氏空间V中, 任意两个非零向量 ?, ?之间的夹角定义为 注(1) 显然有0? ?, ? ??． (2)由C-S不等式,上述定义有意义. 定义 设V是欧氏空间, 对?, ??V, 如果 (?, ?) = 0 则称?与? 正交, 记作???. 零向量0与任何向量正交. 定理 在欧氏空间中，下述式子成立： (1) 三角形不等式: ??+?? ? ???+??? ; (2) 勾股定理: 当?⊥? 时, ??+??2=???2+???2. 定理 在欧氏空间中勾股定理成立： 设?1,?2,…,?s两两正交， 则 ? ?1+?2+…+?s ?2 =? ?1?2+? ?2?2 +… + ? ?s ?2 三. 度量矩阵 定义 设?1,?2,…,?n是n维欧氏空间V 的一组基, 作矩阵 称A为基?1, ?2, …, ?n的度量矩阵． 度量矩阵性质 （1）度量矩阵是对称矩阵 （3）度量矩阵是正定矩阵. 因为 关于?X?0, (?,?)= XTAX0. （4）不同基的度量矩阵是合同的。 （5）每一个n阶正定矩阵都可作为Rn中 某个基的度量矩阵（见习题1）。 §2 标准正交基的定义与求法 一. 正交向量组 定义 设?1,?2,…,?s是一组非零实向量, 如果它们两两正交,则称为正交向量组; 如果其中每个向量的长度都是1,则称 为正交单位向量组(或标准正交向量组). 事实 向量组?1, ?2, …, ?s是一个 标准正交向量组, 当且仅当 定理 正交向量组是线性无关的． 推论 n维欧氏空间V中, 两两正交的非零 向量的个数不会超过n． 一组基是标准正交基当且仅当它的度 量矩阵是单位矩阵. 定理 设?1, ?2,…, ?n是n维欧氏空间V的 一组标准正交基, 对?, ? ?V,设向量? ,?的 坐标分别是X=(x1,x2,…,xn)T, Y=(y1,y2,…,yn)T 则 (1) xi = (?, ?i ) i=1,2,…,n (2) (?, ? )=XTY=x1y1+x2y2+…+xnyn.。 三. 求标准正交基的办法： Schmidt正交化方法 定理 n维欧氏空间中任一个正交向量 组都能扩充成一组正交基. 定理 设?1, ?2, ?, ?m是欧氏空间 V中一组线性无关的向量,则一定存在 一个正交单位向量组?1, ?2, ?, ?m, 使得 ?1, ?2, ?, ?i 与 ?1,