1、 9.19.1 定义与基本性质定义与基本性质 一、一、欧氏空间的定义欧氏空间的定义 9.1 9.1 定义与基本性质定义与基本性质 二、欧氏空间中向量的长度二、欧氏空间中向量的长度 三、欧氏空间中向量的夹角三、欧氏空间中向量的夹角 四、四、n n维欧氏空间中内积的矩阵表示维欧氏空间中内积的矩阵表示 五、欧氏子空间五、欧氏子空间 1 9.19.1 定义与基本性质定义与基本性质 问题的引入：问题的引入： 性质(如长度、夹角)等在一般线性空间中没有涉及. 其具体模型为几何空间 、 1、线性空间中，向量之间的基本运算为线性运算， 但几何空间的度量 长度： 都可以通过内积反映出来： 夹角 ： 2、在解析几
2、何中，向量的长度，夹角等度量性质 3、几何空间中向量的内积具有比较明显的代数性质. 2 9.19.1 定义与基本性质定义与基本性质 满足性质： 当且仅当 时 一、一、欧氏空间的定义欧氏空间的定义 1. 定义 设V是实数域 R上的线性空间，对V中任意两个向量 、 定义一个二元实函数，记作 ，若 （对称性） （数乘） （可加性） （正定性） 3 9.19.1 定义与基本性质定义与基本性质 V为实数域 R上的线性空间; V除向量的线性运算外，还有“内积”运算; 欧氏空间 V是特殊的线性空间 则称 为 和 的内积，并称这种定义了内积的 实数域 R上的线性空间V为欧氏空间. 注注： 4 9.19.1 定
3、义与基本性质定义与基本性质 例1在 中，对于向量 当 时，1）即为几何空间 中内积在直角 坐标系下的表达式 . 即 这样 对于内积 就成为一个欧氏空间. 易证 满足定义中的性质 . 1）定义 （1） 所以, 为内积. 5 9.19.1 定义与基本性质定义与基本性质 2）定义 从而 对于内积 也构成一个欧氏空间. 由于对 未必有注意： 所以1），2）是两种不同的内积. 从而 对于这两种内积就构成了不同的欧氏空间. 易证 满足定义中的性质 . 所以 也为内积. 6 9.19.1 定义与基本性质定义与基本性质 例2 为闭区间 上的所有实连续函数 所成线性空间，对于函数 ，定义 （2） 则 对于（2）
4、作成一个欧氏空间. 证： 7 9.19.1 定义与基本性质定义与基本性质 且若则从而 故 因此， 为内积， 为欧氏空间. 8 9.19.1 定义与基本性质定义与基本性质 推广： 2. 内积的简单性质 V为欧氏空间， 9 9.19.1 定义与基本性质定义与基本性质 2) 欧氏空间V中， 使得 有意义. 二、二、欧氏空间中向量的长度欧氏空间中向量的长度 1. 引入长度概念的可能性 1）在 向量 的长度（模） 2. 向量长度的定义 称为向量 的长度. 特别地，当 时，称 为单位向量. 10 9.19.1 定义与基本性质定义与基本性质 3. 向量长度的简单性质 3）非零向量 的单位化： （3） 11
5、9.19.1 定义与基本性质定义与基本性质 1）在 中向量 与 的夹角 2）在一般欧氏空间中推广（4）的形式，首先 三、三、欧氏空间中向量的夹角欧氏空间中向量的夹角 1. 引入夹角概念的可能性与困难 应证明不等式： 此即, （4） 12 9.19.1 定义与基本性质定义与基本性质 对欧氏空间V中任意两个向量 ，有 （5） 2. 柯西布涅柯夫斯基不等式 当且仅当 线性相关时等号成立. 证：当 时， 结论成立. 当 时，作向量 13 9.19.1 定义与基本性质定义与基本性质 由内积的正定性，对 ，皆有 （6） 取 代入（6）式，得 即 两边开方，即得 14 9.19.1 定义与基本性质定义与基本
6、性质 当 线性相关时，不妨设 于是， (5)式等号成立. 反之，若（5）式等号成立，由以上证明过程知 或者 ，或者 也即 线性相关. 15 9.19.1 定义与基本性质定义与基本性质 3. 柯西布涅柯夫斯基不等式的应用 柯西 不等式 （7） 1） 16 9.19.1 定义与基本性质定义与基本性质 施瓦兹 不等式 由柯西布涅柯夫斯基不等式有 从而得证. 证：在 中， 与 的内积定义为 2） 17 9.19.1 定义与基本性质定义与基本性质 （7） 证： 两边开方，即得（7）成立. 对欧氏空间中的任意两个向量 有 3） 三角 不等式 18 9.19.1 定义与基本性质定义与基本性质 设V为欧氏空间
7、， 为V中任意两非零 向量， 的夹角定义为 4. 欧氏空间中两非零向量的夹角 定义1： 19 9.19.1 定义与基本性质定义与基本性质 零向量与任意向量正交. 注： 即 . 设 为欧氏空间中两个向量，若内积 则称 与 正交或互相垂直，记作 定义2： 20 9.19.1 定义与基本性质定义与基本性质 5. 勾股定理 设V为欧氏空间， 证： 21 9.19.1 定义与基本性质定义与基本性质 若欧氏空间V中向量 两两正交，推广： 则 证：若 则 即 22 9.19.1 定义与基本性质定义与基本性质 例3、已知 在通常的内积定义下，求 解： 又 通常称 为 与 的距离，记作 23 9.19.1 定义
8、与基本性质定义与基本性质 设V为欧氏空间， 为V的一组基，对V中 任意两个向量 四、四、n n 维维欧氏空间中内积的矩阵表示欧氏空间中内积的矩阵表示 令 （8） 24 9.19.1 定义与基本性质定义与基本性质 定义：矩阵 称为基 的度量矩阵. （9） 则 （10） 25 9.19.1 定义与基本性质定义与基本性质 度量矩阵A是实对称矩阵. 由内积的正定性，度量矩阵A还是正定矩阵. 注：注： 事实上，对 ，即 有 为正定矩阵. 由（10）知，在基 下，向量的内积 由度量矩阵A完全确定. 26 9.19.1 定义与基本性质定义与基本性质 对同一内积而言，不同基的度量矩阵是合同的. 证：设 为欧氏空间V的两组 基，它们的度量矩阵分别为A、B ，且 设 则 27 9.19.1 定义与基本性质定义与基本性质 于是 28 9.19.1 定义与基本性质定义与基本性质 欧氏空间V的子空间在所V中定义的内积之下也是 一个欧氏空间，称之为V的欧氏子空间. 五、五、欧氏空间的子空间欧氏空间的子空间 29
