3.6欧氏空间详解.ppt

* §3.6 欧氏(Euclidean)空间 第三章 维向量空间 n §3.6 欧氏(Euclidean)空间 一、基本概念 二、正交向量组 三、标准正交基 四、施密特(Schmidt)正交化方法 前面主要介绍了向量的线性运算，向量组的线性相关 与线性无关性，并讨论了向量空间中的基、维数以及向量 的坐标等概念。 但在向量空间中还没有涉及度量性质，即还没有考虑 向量空间中的向量的大小、向量间的夹角等问题。 本节将在向量空间中引入内积的概念，并赋予相应的 度量性质。 一、基本概念 其中 是向量 a, b 的长度， 一、基本概念 1. 内积与欧氏空间 在几何空间中两个向量 a, b 的内积 (数量积)定义为： 相应地，内积的计算公式为 是向量 a, b 的夹角。 在建立空间直角坐标系后，有了向量的坐标表示， 下面仿照该计算公式，在空间 引入中的内积概念。 即 称实数 为向量 a 与 b 定义 (1) 设 n 维实向量 的内积， 记作 内积是向量的一种运算，利用矩阵运算则有 注 一、基本概念 1. 内积与欧氏空间 (2) 称定义了内积的向量空间 R n 为欧几里德(Euclidean) 空间，简称欧氏空间 R n . P98 定义 3.12 1. 内积与欧氏空间 (2) 线性性 (1) 对称性 由正定性可以引出向量长度的概念。 性质 (3) 正定性 当且仅当 时，有 一、基本概念 P99 定义 称 为 a 的 对于 n 维实向量 记为 |a | . 长度 (或模)， 1. 内积与欧氏空间 2. 向量的长度(或模) 非零向量的单位化或标准化 对于任何非零向量 a ， 令 即 是单位向量。 则有 若 称 a 为单位向量 . 一、基本概念 P99 定义 3.13 (1) 1. 内积与欧氏空间 2. 向量的长度(或模) (2) 齐次性 (3) 三角不等式 性质 (1) 正定性 当且仅当 时，有 (4) 柯西-许瓦兹(Cauchy-Schwarz)不等式 即 证明 仅证 Cauchy-Schwarz 不等式。 一、基本概念 P99 对于任何实数 x， 由内积的性质有 因此其判别式满足 即 由 Cauchy-Schwarz 不等式可以引出向量夹角的概念。 证明 仅证 Cauchy-Schwarz 不等式。 即 注意 涉及到长度的(不)等式证明时，常用 代替 称为 a 与 b 的夹角。 定义 设 若 此时有 1. 内积与欧氏空间 2. 向量的长度(或模) 3. 向量的夹角 由向量的夹角可以引出向量正交(或垂直)的概念。 则 一、基本概念 P99 定义 3.13 (2) 定义 则称 a 与 b 正交 (或垂直)， 记作 若 例 (勾股定理) 1. 内积与欧氏空间 2. 向量的长度(或模) 3. 向量的夹角 4. 向量的正交 若 则有 一、基本概念 P100 定义3.14 结论 (1) 若 则 a 与任何向量都正交； (3) 对于非零向量 a 和 b ， a 与 b 的夹角为 (2) 1. 内积与欧氏空间 2. 向量的长度(或模) 3. 向量的夹角 4. 向量的正交 一、基本概念 补 解 (1) 由 有 (2) 由 有 由 线性无关， 有 从而可以解出 令 即 有 解 附：内积的一般定义及其在函数空间中的推广 (内积的一般定义) 几何意义： ▲ 一组两两正交的向量称为正交向量组。 定义 由单位向量组成的正交向量组称为标准正交向量组。 说明 (1) 是正交向量组 (2) 是标准正交向量组 二、正交向量组 P100 则 线性无关。 对其两端与 作内积可得 定理 若 是一组两两正交的非零向量， 证明 令 这表明 线性无关。 由 两两正交， 有 所以 又由 为非零向量， 有 二、正交向量组 P101 定理 3.10 定义 (1) 设 是向量空间