欧氏空间的定义与基本性质

《欧氏空间的定义与基本性质》由会员分享，可在线阅读，更多相关《欧氏空间的定义与基本性质（30页珍藏版）》请在金锄头文库上搜索。

1、 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质一、一、欧氏空间的定义欧氏空间的定义9.1 定义与基本性质定义与基本性质二、欧氏空间中向量的长度二、欧氏空间中向量的长度三、欧氏空间中向量的夹角三、欧氏空间中向量的夹角四、四、n维欧氏空间中内积的矩阵表示维欧氏空间中内积的矩阵表示五、欧氏子空间五、欧氏子空间1 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质问题的引入：问题的引入：性质性质(如长度、夹角如长度、夹角)等在一般线性空间中没有涉及等在一般线性空间中没有涉及.其具体模型为几何空间其具体模型为几何空间 、 1、线性空间中，向量之间的基本运算为

2、线性运算，、线性空间中，向量之间的基本运算为线性运算，但几何空间的度量但几何空间的度量长度：长度：都可以通过内积反映出来：都可以通过内积反映出来：夹角夹角 ：2、在解析几何中，向量的长度，夹角等度量性质、在解析几何中，向量的长度，夹角等度量性质3、几何空间中向量的内积具有比较明显的代数性质、几何空间中向量的内积具有比较明显的代数性质.2 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质满足性质：满足性质：当且仅当当且仅当 时时一、一、欧氏空间的定义欧氏空间的定义1. 定义定义设设V是实数域是实数域 R上的线性空间，对上的线性空间，对V中任意两个向量中任意两个向量、定义一个

3、二元实函数，记作、定义一个二元实函数，记作 ，若，若（对称性）（对称性）（数乘）（数乘）（可加性）（可加性）（正定性）（正定性）3 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 V为实数域为实数域 R上的线性空间上的线性空间; V除向量的线性运算外，还有除向量的线性运算外，还有“内积内积”运算运算; 欧氏空间欧氏空间 V是特殊的线性空间是特殊的线性空间则称则称 为为 和和 的的内积内积，并称这种定义了内积的，并称这种定义了内积的实数域实数域 R上的线性空间上的线性空间V为为欧氏空间欧氏空间.注注：4 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性

4、质例例1在在 中，对于向量中，对于向量 当当 时，时，1）即为几何空间）即为几何空间 中内积在直角中内积在直角坐标系下的表达式坐标系下的表达式 . 即即这样这样 对于内积就成为一个欧氏空间对于内积就成为一个欧氏空间.易证易证 满足定义中的性质满足定义中的性质.1）定义）定义 （1） 所以所以, 为内积为内积.5 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质2）定义）定义 从而从而 对于内积也构成一个欧氏空间对于内积也构成一个欧氏空间.由于对由于对 未必有未必有注意：注意：所以所以1），），2）是两种不同的内积）是两种不同的内积.从而从而 对于这两种内积就构成了不同的欧

5、氏空间对于这两种内积就构成了不同的欧氏空间.易证易证 满足定义中的性质满足定义中的性质.所以所以 也为内积也为内积.6 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质例例2 为闭区间为闭区间 上的所有实连续函数上的所有实连续函数所成线性空间，对于函数所成线性空间，对于函数 ，定义，定义（2） 则则 对于（对于（2）作成一个欧氏空间）作成一个欧氏空间.证：证： 7 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质且若且若则则从而从而 故故 因此，因此， 为内积，为内积， 为欧氏空间为欧氏空间.8 9.19.1 定义与基本性质定义与基本性质定义与基本性

6、质定义与基本性质推广：推广： 2. 内积的简单性质内积的简单性质V为欧氏空间，为欧氏空间，9 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质2) 欧氏空间欧氏空间V中，中，使得使得 有意义有意义.二、二、欧氏空间中向量的长度欧氏空间中向量的长度1. 1. 引入长度概念的可能性引入长度概念的可能性1）在）在 向量的长度（模）向量的长度（模） 2. 2. 向量长度的定义向量长度的定义称为向量称为向量 的的长度长度.特别地，当特别地，当 时，称时，称 为为单位向量单位向量. 10 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质3. 向量长度的简单性质向

7、量长度的简单性质3）非零向量）非零向量 的单位化：的单位化： （3） 11 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质1）在）在 中向量中向量 与与 的夹角的夹角 2）在一般欧氏空间中推广（）在一般欧氏空间中推广（4 4）的形式，首先）的形式，首先三、三、欧氏空间中向量的夹角欧氏空间中向量的夹角1. 1. 引入夹角概念的可能性与困难引入夹角概念的可能性与困难应证明不等式：应证明不等式： 此即此即,（4） 12 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质对欧氏空间对欧氏空间V中任意两个向量中任意两个向量 ，有，有 （5） 2. 2. 柯西布

8、涅柯夫斯基不等式柯西布涅柯夫斯基不等式当且仅当当且仅当 线性相关时等号成立线性相关时等号成立.证：当证：当 时，时， 结论成立结论成立.当当 时，作向量时，作向量 13 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质由内积的正定性，对由内积的正定性，对 ，皆有，皆有 （6） 取取 代入（代入（6）式，得）式，得即即 两边开方，即得两边开方，即得14 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质当当 线性相关时，不妨设线性相关时，不妨设 于是，于是， (5)式等号成立式等号成立. 反之，若（反之，若（5）式等号成立，由以上证明过程知）式等号成立，

9、由以上证明过程知 或者或者 ，或者，或者 也即也即 线性相关线性相关.15 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质3. 3. 柯西布涅柯夫斯基不等式的应用柯西布涅柯夫斯基不等式的应用柯西柯西不等式不等式（7）1）16 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质施瓦兹施瓦兹不等式不等式由柯西布涅柯夫斯基不等式有由柯西布涅柯夫斯基不等式有从而得证从而得证.证：在证：在 中，中， 与与 的内积定义为的内积定义为 2）17 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质（7） 证：证： 两边开方，即得（两边开方，即得（

10、7）成立）成立.对欧氏空间中的任意两个向量对欧氏空间中的任意两个向量 有有3）三角三角不等式不等式18 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质设设V为欧氏空间，为欧氏空间， 为为V中任意两非零中任意两非零向量，向量， 的的夹角夹角定义为定义为 4. 4. 欧氏空间中两非零向量的夹角欧氏空间中两非零向量的夹角定义定义1：19 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 零向量与任意向量正交零向量与任意向量正交.注：注： 即即 .设设 为欧氏空间中两个向量，若内积为欧氏空间中两个向量，若内积 则称则称 与与 正交正交或或互相垂直互相垂直，

11、记作，记作 定义定义2：20 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质5. 5. 勾股定理勾股定理设设V为欧氏空间，为欧氏空间，证：证： 21 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质若欧氏空间若欧氏空间V中向量中向量 两两正交，两两正交，推广：推广：则则 证：若证：若 则则 即即22 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质例例3、已知、已知 在通常的内积定义下，求在通常的内积定义下，求解：解： 又又 通常称为与的距离，记作通常称为与的距离，记作23 9.19.1 定义与基本性质定义与基本性质定义与基本

12、性质定义与基本性质设设V为欧氏空间，为欧氏空间， 为为V的一组基，对的一组基，对V中中任意两个向量任意两个向量四、四、n 维维欧氏空间中内积的矩阵表示欧氏空间中内积的矩阵表示令令（8）24 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质定义定义：矩阵：矩阵 称为基称为基 的的度量矩阵度量矩阵.（9）则则 （10）25 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 度量矩阵度量矩阵A是实对称矩阵是实对称矩阵. 由内积的正定性，度量矩阵由内积的正定性，度量矩阵A还是正定矩阵还是正定矩阵. 注：注：事实上，对事实上，对 ，即，即 有有为正定矩阵为正定

13、矩阵. 由（由（10）知，在基）知，在基 下，向量的内积下，向量的内积由度量矩阵由度量矩阵A完全确定完全确定.26 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 对同一内积而言，不同基的度量矩阵是合同的对同一内积而言，不同基的度量矩阵是合同的.证：设证：设 为欧氏空间为欧氏空间V的两组的两组基，它们的度量矩阵分别为基，它们的度量矩阵分别为A、B ，且，且设设则则27 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质于是于是 28 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质欧氏空间欧氏空间V的子空间在所的子空间在所V中定义的内积之下也是中定义的内积之下也是一个欧氏空间，称之为一个欧氏空间，称之为V的的欧氏子空间欧氏子空间.五、五、欧氏空间的子空间欧氏空间的子空间29 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 结束语结束语若有不当之处，请指正，谢谢！若有不当之处，请指正，谢谢！