定义与基本性质.ppt

2 2 标准正交基标准正交基标准正交基标准正交基3 3 同构同构同构同构4 4 正交变换正交变换正交变换正交变换1 1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质6 6 对称矩阵的标准形对称矩阵的标准形对称矩阵的标准形对称矩阵的标准形88酉空间介绍酉空间介绍酉空间介绍酉空间介绍7 7 向量到子空间的向量到子空间的向量到子空间的向量到子空间的 距离距离距离距离 最小二乘法最小二乘法最小二乘法最小二乘法第九章第九章 欧几里得空间欧几里得空间5 5 子空间子空间子空间子空间 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质一、一、欧氏空间的定义欧氏空间的定义9.1 定义与基本性质定义与基本性质二、欧氏空间中向量的长度二、欧氏空间中向量的长度三、欧氏空间中向量的夹角三、欧氏空间中向量的夹角四、四、n维欧氏空间中内积的矩阵表示维欧氏空间中内积的矩阵表示五、欧氏子空间五、欧氏子空间 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质满足性质：满足性质：当且仅当当且仅当 时时一、一、欧氏空间的定义欧氏空间的定义1、定义、定义设设V是实数域是实数域 R上的线性空间，对上的线性空间，对V中任意两个向量中任意两个向量、定义一个二元实函数，记作、定义一个二元实函数，记作 ，若，若（对称性）（对称性）（数乘）（数乘）（可加性）（可加性）（正定性）（正定性）9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质1.1.V为实数域为实数域 R上的线性空间上的线性空间;2.2.V除向量的线性运算外，还有除向量的线性运算外，还有“内积内积”运算运算;3.3.欧氏空间欧氏空间 V是特殊的线性空间是特殊的线性空间则称则称 为为 和和 的的内积（内积（inner product），并称，并称这种定义了内积的实数域这种定义了内积的实数域 R上的线性空间上的线性空间V为为欧氏空欧氏空间（间（Euclidean space）.注意注意 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质例例1 1 在在 中，对于向量中，对于向量 这样这样 对于内积就成为一个欧氏空间对于内积就成为一个欧氏空间.易证易证 满足定义中的性质满足定义中的性质.（1）定义）定义 所以所以,为内积为内积.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质（2）定义）定义 从而从而 对于内积也构成一个欧氏空间对于内积也构成一个欧氏空间.易证易证 满足定义中的性质满足定义中的性质.所以所以 也为内积也为内积.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质由于对由于对注意注意所以（所以（1），（），（2）是两种不同的内积）是两种不同的内积.从而从而 对于这两种内积就构成了不同的欧氏空间对于这两种内积就构成了不同的欧氏空间.未必有未必有 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质例例2 2 为闭区间为闭区间 上的所有实连续函数上的所有实连续函数所成线性空间，对于函数所成线性空间，对于函数 ，定义，定义 则则 对于对于作成一个欧氏空间作成一个欧氏空间.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质证：证：9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质因此，因此，为内积，为内积，为欧氏空间为欧氏空间.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质推广：推广：2、内积的简单性质、内积的简单性质V为欧氏空间，为欧氏空间，9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质二、二、欧氏空间中向量的长度欧氏空间中向量的长度1 1、向量长度的定义、向量长度的定义称为向量称为向量 的的长度（长度（length）.特别地，当特别地，当 时，称时，称 为为单位向量单位向量.2、向量长度的简单性质、向量长度的简单性质(3)非零向量非零向量 的单位化：的单位化：9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质三、三、欧氏空间中向量的夹角欧氏空间中向量的夹角1 1、柯西布涅柯夫斯基不等式、柯西布涅柯夫斯基不等式对欧氏空间对欧氏空间V中任意两个向量中任意两个向量 ，有，有 当且仅当当且仅当 线性相关时等号成立线性相关时等号成立.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质证：当证：当 时，时，结论成立结论成立.当当 时，作向量时，作向量 由内积的正定性，对由内积的正定性，对 ，皆有，皆有 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质取取 代入代入式，得式，得即即 两边开方，即得两边开方，即得 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质当当 线性相关时，不妨设线性相关时，不妨设 于是，于是，式等号成立式等号成立.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质反之，若反之，若式等号成立，由以上证明过程知式等号成立，由以上证明过程知 或者或者 ，或者，或者 也即也即 线性相关线性相关.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质2 2、柯西布涅柯夫斯基不等式的应用、柯西布涅柯夫斯基不等式的应用柯西柯西不等式不等式（1）9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质施瓦兹施瓦兹不等式不等式由柯西布涅柯夫斯基不等式有由柯西布涅柯夫斯基不等式有证：在证：在 中，中，与与 的内积定义为的内积定义为（2）得证得证.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 证：证：两边开方，即得两边开方，即得成立成立.对欧氏空间中的任意两个向量对欧氏空间中的任意两个向量 有有（3）三角三角不等式不等式 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质设设V为欧氏空间，为欧氏空间，向量，向量，3 3、欧氏空间中两非零向量的夹角、欧氏空间中两非零向量的夹角定义定义1为为V中任意两非零中任意两非零的的夹角（夹角（included angle）定义为定义为 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 1.零向量与任意向量正交零向量与任意向量正交.注意注意 2.即即 .设设 为欧氏空间中两个向量，若内积为欧氏空间中两个向量，若内积 则称则称 与与 正交（正交（perpendicularity）或或互相垂直互相垂直，记作记作 定义定义2 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质4 4、勾股定理、勾股定理设设V为欧氏空间，为欧氏空间，证：证：9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质若欧氏空间若欧氏空间V中向量中向量 两两正交，两两正交，推广推广则则 证：若证：若 即即则则 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质例例3 3 已知已知 在通常的内积定义下，求在通常的内积定义下，求解：解：又又 通常称为与的距离，记作通常称为与的距离，记作 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质设设V为欧氏空间，为欧氏空间，为为V的一组基，对的一组基，对V中中任意两个向量任意两个向量四、四、n 维维欧氏空间中内积的矩阵表示欧氏空间中内积的矩阵表示令令 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质定义定义 矩阵矩阵 称为基称为基 的的度量矩阵度量矩阵.则则 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 1.度量矩阵度量矩阵A是实对称矩阵是实对称矩阵.2.由内积的正定性，度量矩阵由内积的正定性，度量矩阵A还是正定矩阵还是正定矩阵.注意注意事实上，对事实上，对 ，即，即 有有为正定矩阵为正定矩阵.3.由由知，在基知，在基 下，向量的内积下，向量的内积由度量矩阵由度量矩阵A完全确定完全确定.9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质 4.对同一内积而言，不同基的度量矩阵是合同的对同一内积而言，不同基的度量矩阵是合同的.证：设证：设 为欧氏空间为欧氏空间V的两组的两组基，它们的度量矩阵分别为基，它们的度量矩阵分别为A、B，且，且设设则则 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质于是于是 9.19.1 定义与基本性质定义与基本性质定义与基本性质定义与基本性质欧氏空间欧氏空间V的子空间在所的子空间在所V中定义的内积之下也是中定义的内积之下也是一个欧氏空间，称之为一个欧氏空间，称之为V的的欧氏子空间欧氏子空间.五、五、欧氏空间的子空间欧氏空间的子空间