线性代数4-2.ppt.ppt

我们已定义了向量的加法与数乘运算，讨论了向量空间的基本性质；但是，与几何空间相比，似乎缺少了某些东西... § 4.3 欧几里德(Euclid)空间 例如：向量的长度、向量间的夹角、内积 . . . 能否把这些重要概念推广到线性空间？ 欧几里德(Euclid) 空间 ——长度、夹角、内积等概念是几何空间的 特征，是以欧氏几何为基础的， 故称该空间为欧氏空间. 大家开始从低维几何学走向高维几何学... 欧几里德（约公元前330年—前275年），古希腊数学家， “几何之父”，著《几何原本》. 欧氏空间是2维、3维几何空间的一般化，把长度、夹角、内积等概念扩展到任意维数. 一、欧几里德空间的定义及基本性质 在几何空间中，设非零向量 ? = (a1, a2, a3), ? = (b1, b2, b3) 如果两向量之间的夹角为? , 则它们的内积 ? ?? = ||?||?||?||cos? = a1b1 + a2b2 + a3b3. ? ? ? ? ? = ?/2 ? ? ?? = 0 ? cos? = 0 x y z 内积是关键！ cos? = ? ?? /(||?||?||?||) 不妨将内积的概念推广到线性空间. 定义 4.7: 设 V 是实数域 R 上的一个线性空间，如果对于 V 中任意两个向量 α与β， 都有唯一的确定的实数 (不妨用(α,β)表示)与它对应， 且它具有下列性质： (1) (α,β) = (β,α)； (2) (kα,β) = k(α,β)； (3) (α+β,γ) = (α,γ) + (β,γ)； (4) (α,α)≥0 ，当且仅当α=0 时(α,α)= 0 . 这里α,β,γ∈V，k∈R, 则称(α,β)为α与β的内积，称引入内积后的线性空间 V 是欧几里德空间，简称欧氏空间. 对称性 (2、3)线性性 恒正性 注： 欧氏空间是特殊的线性空间—具备线性空间的所有性质. 简单地说，引入内积 (inner/dot/scalar product)后的有限维实线性空间就是欧氏空间. 但是欧氏空间除了线性运算外还有内积运算. 欧氏空间是实数域上的；线性空间可在任何数域定义. 复数域上有复内积空间的定义—酉空间. 所以欧氏空间∈内积空间. 例： 在 几何空间中，规定内积为 其中α,β为几何空间向量， ||?||，||?|| 表示向量的长度，θ为向量间的夹角 这样规定的内积满足定义4.7 中的四个条件， 因此它是一个欧氏空间. 在线性空间 R n 中，对于向量 常定义内积 (inner/dot/scalar product) 如下 向量的内积 这样规定的内积满足定义4.7 中的四个条件， 因此R n构成一个欧氏空间. 实数 n3以上维内积是三维向量内积的推广， 但是，没有直观的几何意义. 例：在线性空间C[a,b]中，对于任意两个实连续函数 f(x)， g(x) ∈ C[a,b] ，定义内积 显然，(f, g) 是实数，且满足4条性质： 所以，f, g 对于给定的内积定义构成欧氏空间. 则C[a,b]构成一个欧氏空间. (1) (f,g) = (g,f)； (2) (kf,g) = k(f,g)； (3) (f+g,h) = (f,h) + (g,h)； (4) (f,f)≥0 ，当且仅当f=0 时(f,f)= 0 . 欧氏空间的基本性质： (1) (α,0) = 0； (2) (α, kβ)= (kβ，α)= (kα,β) = k(α,β)； (α+β,γ) = (α,γ) + (β,γ)； (3) (α,α)≥0 ，当且仅当α=0 时(α,α)= 0 . 二、向量的长度与夹角 对于任一向量 ? ， 总有 (? , ? ) ≥ 0， 因此 √ (? , ? ) 是有意义的，由此引入欧氏空间中 长度的概念. 有了内积的定义，我们就可以进一步给出 欧氏空间内 向量的长度 与 向量间夹角的定义. 定义 4.8: 设α是欧氏空间 V 的一个向量，称非负实数 为向量α的长度(length) 或模或范数(norm，2范数) ，记为: ? 长度的基本性质： (3) 三角不等式: ||? +? || ? ||?|| + ||?||. (1) 正定性: ||?|| ? 0; 且||?|| = 0 ?? = ? ; (2) 齐次性: ||k?|| = |k|·||?|| (k?R); 单位向量(unit vector) 长度为 1 的向量称为单位向量. 对于非零向量?