矩阵A的
条件数等于A的
范数与A的逆的范数的
乘积,即cond(A)=‖A‖·‖A^(-1)‖,是判断矩阵病态与否的一种度量,条件数越大矩阵越病态。对应矩阵的3种范数,相应地可以定义3种条件数: 函数 cond(A)1、cond(A)2以及cond(A)∞。
条件数事实上表示了矩阵计算对于误差的敏感性。对于
线性方程组Ax=b,如果A的条件数大,b的微小改变就能引起解x较大的改变,数值稳定性差。如果A的条件数小,b有微小的改变,x的改变也很微小,数值稳定性好。它也可以表示b不变,而A有微小改变时,x的变化情况。
一个极端的例子,当A奇异时,
条件数为无穷,这时即使不改变b,x也可以改变。奇异的本质原因在于矩阵有0
特征值,x在对应
特征向量的方向上运动不改变Ax的值。如果一个特征值比其它特征值在
数量级上小很多,x在对应特征向量方向上很大的移动才能产生b微小的变化,这就解释了为什么这个矩阵为什么会有大的条件数,事实上,正规阵在
二范数下的条件数就可以表示成 abs(最大特征值/最小特征值)。