数值分析7线性空间中向量的极限和范数.doc

§5线性空间中向量的极限与范数 直接法的误差分析和迭代法的收敛性←线性空间中向量的极限←用范数来度量 一、向量的极限 设V是n维向量空间（线性空间），X（K）∈V 设，是x（k）在这组基底下的坐标，即 ………………（1） 【】() 对于V中的向量序列{x(K)}，由（1）式，若对于任何i（i=1,2,…,n）总成立 ………………（2） (K)}收敛到向量。 【】因此有 【】 注意到所以 （单位矩阵）。 二、范数 【】x∈V，都有一个实数‖x‖与之对应且满足 (1)非负性：对于x∈V，总有‖x‖≥0 ………………（3） x=0时，‖x‖=0； (2）齐次性：对于x∈V，λ∈C，C是复数域，总有 ‖λx‖=│λ│‖x‖ ………………（4） x，y∈V，总有 ‖x+y‖≤‖x‖+‖y‖ ………………（5）【】 (2)分配律:（α+β,γ）=(α，γ)+(β,γ) (3)非负性：(α,α)≥0,当且仅当α=0时（α,α）【】 ………………（6） x与y的内积。 2)[a，b]上连续函数的全体构成线性空间V=C[a，b]，对x，y∈V，规定 ………………（7）c[a，b]，恒存在，且对非负的。 【】V中两个向量x，y，其内积满足 （x，y）=0 ………………（8） n成立，则称此向量组为标准正交向量组。 下面讨论一些具体的范数。 四、Rn中的范数 ‖x‖1= ………………（9） x‖2= ………………（10） ………………（11） 3）三角不等式： 依范数定义，是范数。 注：1)Rn中的P范数：对于x∈Rn， ………………（12） 【】 ………………（13） ·‖b仍是Rn上的一种范数。 证明：验证‖·‖b符合范数定义。 1．对非零向量x∈Rn，则Ax≠0，从而‖x‖b=‖Ax‖a0; 2．k∈R时， ； 3．验证三角不等式，当x，y∈Rn，由‖·‖b定义，有 因此，‖·‖b是Rn上的范数。 一个向量的不同范数一般是不等的 例如，x=（1，1，…，1）T∈Rn时，则有。 问题：范数是用来度量逼近程度的尺度，而范数的取法又不唯一，那么哪一种范数才能反映出真正的逼近性态呢？反映不同范数之间的联系的定理 【】 的范数，则它是的n元连续函数。 【】 ………………（14） 说明：任何两种范数做为逼近度量的尺度，逼近性态是一样的。 五、方阵的范数 【】 （2） （3）； （4）。 则称‖A‖是Ｒｎ×ｎ上的一个方阵范数。 【】 ………………（15）【】 ………………（16）是相容的。 构造方阵的算子范数: 利用定义6，有 从而 令，则y是单位向量，在闭球：内是变量的连续函数（定理4），因此，它能达到最大值，即 【7】 Rn上的任一向量范数，则 ………………（17）Rnxn上的一个矩阵范数，称为矩阵的算子范数。 可以验证它符合方阵范数的定义 常用的算子范数是从属于向量P（P=1，2，+∞）范数的算子范数： （1）列范数 ………………（18） ………………（19） ………………（20）18）式：设=1，则 设j=k时时， 证（19）式：因为 但是 而ATA显然是对称、正定的。设 为ATA的特征值，而为对应的标准正交向量组。x0:单位向量，则有 且 由于 当x0=μ1时 所以 【】 求范数‖A‖1，‖A‖2，‖A‖∞及‖A‖F。 解 显然‖A‖1=6，‖A‖∞=7，由于 所以，因此 MATLAB中向量和矩阵的范数： a=[1,-2;-3,4] norm(a) norm(a,1) norm(a,inf) norm(a,fro)