5 向量和矩阵的范数2

《5 向量和矩阵的范数2》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、§5向量和矩阵的范数为了研究线性方程组近似解的误差估计和迭代法解线性方程组的收敛性，需要对向量和矩阵引进范数的概念。一、向量的范数1、向量范数的概念定义1如果向量空间上的某个非负实值函数满足条件：（1）正定性：，当且仅当时；42（2）齐次性：，为任意实数；（3）三角不等式：。则称为上的一个向量范数。由（3）可得。维向量空间上常用的三种范数：42；（—范数）；（1—范数）；（2—范数）进一步，可定义。（—范数）42例计算向量的各种范数。解，，。2、迭代法收敛的概念定义2设，，若，则称点列收敛于，并记作42。由定义可知：，，。3、向量范数的等价性定理设和是上向量的任意两种范数，

2、则存在常数，使得对一切，有42。特别，对于上述常用的三种范数，有。二、矩阵范数定义3如果矩阵空间上的某个非负实值函数满足以下条件：42（1）正定性：，且；（2）齐次性：，为任意实数；（3）三角不等式：；则称为上的一个矩阵范数。由（3）可得。在研究方程组解的误差时，常需要涉及到矩阵乘积的范数以及矩阵与向量乘积的42范数，为了研究的方便，我们要求它们之间满足，，其中前一个条件称为矩阵范数与向量范数的相容性，后一个条件称为矩阵范数的可乘性。下面用向量范数定义一类矩阵范数，这种矩阵范数满足上述两个条件。定理1设，给定一种向量范数，相应地定义一个矩阵的非负函数，42则是一个矩阵范数，

3、称之为向量范数的诱导范数（算子范数）。证明只要验证矩阵范数定义的三个条件即可。（1）对于任意的，，由于，故。进一步，（2）42（3）。42根据矩阵范数的定义，是一个矩阵范数。性质1设是由向量范数诱导的矩阵范数，则（1）；（2）；（3）时，。证明（1）由42当时，。进一步，当时，显然成立。（2）。（3）显然。42有的矩阵范数不是向量的诱导范数。例如：可以验证，它是一个矩阵范数（叫做Frobenius范数），但不是任何向量范数的诱导范数。定理2对于诱导矩阵范数，如果，则为非奇异矩阵，且。证明如果为奇异矩阵，则方程组有非零解，设为，于是42，从而，这是矛盾。又所以，两边取范数，得

4、，42移项，得，即有。定理3由向量范数诱导的矩阵范数分别为（1），行范数，（2），列范数，42（3），谱范数，其中表示的最大特征值。证明只要证明（1）和（3），（2）的证明与（1）类似。（1）设，不妨设，则，因此42下面证明存在，使。不妨设，在中，对，取，则，42因此。（3）对于一切，，从而的特征值都是非负实数，设为。由于为对称矩阵，故存在标准正交的特征向量组，使得42对于任意的非零向量，设，则取，则42因此，即有。定义设的特征值为，称为矩阵的谱半径。42定理（特征值的上界）设，为上的任意一种诱导范数，则。证明对于的一个特征值，设为其对应的特征向量，则因此。注意到，得。§6

5、误差分析42考虑线性方程组（6.1）其中为非奇异矩阵，。本节不考虑求解过程中的舍入误差，仅考虑当线性方程组的系数矩阵或右端项有舍入误差时，这些误差对方程组解的影响。一、输入数据的误差对解的影响设有误差，有误差。定理设，为非奇异矩阵，，且和分别有扰动和。若的扰动很小，使，则有42。证明扰动后的方程组为将代入上式，整理后有将上式两端取范数，应用向量范数的三角不等式及矩阵和向量范数的相容性，有，整理后，得。42由于足够小，使得，所以。利用，得。推论设，为非奇异矩阵，42，则有（1）当是精确的而有误差时，。（2）当是精确的而有误差，且时，。42上述推论中结论（1）表明：最坏的情况下

6、，的相对误差可能在解中被放大倍；结论（2）表明：虽然，但是，当较大时，可能出现接近1，此时就可能导致解的相对误差较大。总之，量可以刻划方程组的解对原始数据误差的敏感程度，通常用它来描述方程组是否病态。42二、矩阵的条件数与病态方程组1．矩阵的条件数定义设为非奇异矩阵，称为矩阵的范数下的条件数。当很大时：（1）即使不考虑计算过程的舍入误差，仅输入误差就使求解结果有较大的误差。（2）很多求解方程组的算法是数值不稳定的。42譬如，即使采用选主元的高斯消去法，也不能有效求解病态方程组。因此，当较大时，称方程组是病态的，并称相应的系数矩阵是病态矩阵。应该注意的是：所谓矩阵是病态的，是

7、针对解线性方程组（包括求逆矩阵）而言的。譬如对于矩阵的加法运算，的大小对结果的精确性就没有直接影响。通常使用的条件数有：42（1）（2）的谱条件数，这是因为最后一式成立是因为当为非奇异矩阵时，与相似，即存在可逆矩阵，而相似矩阵有相同的特征值。42特别，当为对称矩阵时，，其中分别为的绝对值最大和最小特征值。例如：Hilbert矩阵42，可见，越大，病态越严重。令一个典型的病态矩阵是Pascal矩阵：2．病态方程组的判断虽然矩阵的条件数可以定量反映矩阵是否病态，但逆矩阵的范数很难求得，导致求42条件数实际上难以实现。通