第九章欧几里得空间.pptVIP

性质 1)定义中条件1)表明: 欧氏空间的内积是对称的. 2)条件2), 3) 说明欧氏空间内积是双线性的, 即固定一个变量,则对另一个变量来说是线性的. * * 定义 2 单位向量: 具有单位长度的向量称为单位向量. 设? ? 0 , 则?/|?| 就是一个单位向量, 这个过程称为向量的单位化. * Cauchy-Schwartz 不等式 ? ?, ? ? V, 有 |(? , ? )| ? |?|·|? | 等号成立, 当且仅当 ?, ? 线性相关. 定义3 非零向量 ?, ? 的夹角 ?, ? 规定为 * 三角不等式 | ? +? | ? |?| + |? | 定义 4 ?, ? ?V, 若(?, ? ) = 0, 则称?, ? 正交, 记为???. * 投影 内积作为投影可以给出一个几何解释. 设?, ? 为平面上的向量 (如图). k? 作为? 在 ? 上的投影 (? ? 0, ? ?0 ), 有k? ? ? ?k? , 即(k?, ? ?k? ) = 0 由此有 从而 * , 当| ? | =1时, 就是(? , ? )?, 投影向量是以内积乘以?. 一般, 设V 为欧氏空间, 对于? , ? ?V, 定义 即?在?上的投影为 为?在 ?上的投影. 其中? ? 0. 以下所讨论的空间限于有限维欧氏空间. * 度量矩阵 * 说明 1)不同基的度量矩阵之间是合同的(209页定义2). 3)欧氏空间的子空间在所定义的内积下也构成欧氏空间. * §2 标准正交基 定义 5 按定义, 单个非零向量所成向量组也是正交向量组. 性质 正交向量组线性无关. * 定义 6 通常, 由 n个正交向量可作为一组正交基, 将其单位化后就得标准正交基. * 北京大学工学院 北京大学工学院 * * 第九章 欧几里得空间 §1定义和性质 (The Definition and The Properties) 基本想法： 1)向量空间(线性空间)的基本运算: 加法, 数乘,统称为线性运算 2)几何向量空间(特殊的向量空间)中除定义线性运算外, 还有向量长度, 夹角等几何度量,向量的长度及夹角是通过引入内积运算而得到的. 将内积的概念引入一般的向量空间, 就构成了欧几里得空间. * 由 * 易得如下性质: 现将上述内积概念加以推广, 给出如下定义. * 定义 1 设V是 R上的线性空间, 在 V上定义了一个二元实函数, ( ·, ·): V ?V ? R, 它具有如下性质: 1) (? ,? ) = (?, ?), ? ? , ? ?V; 2) (k? ,? ) = k (? ,? ); 3) (? +?, ? ) = (? ,? ) + (? ,?); 4) (?, ?)? 0, 等号成立? ? = 0, ? ? ?V . 称V 为欧几里得空间. * 北京大学工学院 北京大学工学院 * *