矩阵论总结（一）

【本文基于线性代数知识，将线性代数的内容扩展到复数域，包含线性代数的内容均已省略】

矩阵的相似变换

$\mathrm{Jordan}$标准形

并不是所有矩阵都可以相似于对角阵，但所有矩阵都可相似于一个$\mathrm{Jordan}$矩阵。

设$A\in C^{n\times n}$，则$A$与一个$\mathrm{Jordan}$矩阵$J$相似，即存在$P\in C_n^{n\times n}$，使得$P^{-1}AP=J$。这个$\mathrm{Jordan}$矩阵$J$除$\mathrm{Jordan}$块的排列次序外由$A$唯一决定，称$J$为$A$的$\text{Jordan}$标准形。
$$J=\left[\begin{array}{cccc}{J}_1& & & \\ & J_2& & \\ & & \ddots & \\ & & & J_s\end{array}\right],J_i={\left[\begin{array}{cccc}{\lambda }_i& 1& & \\ & {\lambda }_i& \ddots & \\ & & \ddots & 1\\ & & & {\lambda }_i\end{array}\right]}_{r_i\times r_i}$$
$\mathrm{Jordan}$求解方法为：

• 特征向量法

  如果${\lambda }_i$是$A$的单特征值，则对应一阶$\mathrm{Jordan}$块$J_i=({\lambda }_i)$；如果${\lambda }_i$是$A$的$r_i$重特征值，则对应${\lambda }_i$有几个线性无关的特征向量，就有几个以${\lambda }_i$为对角元素的$\mathrm{Jordan}$块，这些$\mathrm{Jordan}$块的阶数之和等于$r_i$。

• 初等变换法

  化初等变换特征矩阵$\lambda I-A$为$\mathrm{Smith}$标准形，即
  $$S(\lambda )=\left[\begin{array}{ccccccc}{d}_1(\lambda )& & & & & & \\ & d_2(\lambda )& & & & & \\ & & \ddots & & & & \\ & & & d_r(\lambda )& & & \\ & & & & 0& & \\ & & & & & \ddots & \\ & & & & & & 0\end{array}\right]$$
  其中$r$为矩阵的秩，$d_i(\lambda )$被称为$A$的不变因子，$d_i(\lambda )$都是首一多项式，且
  $$d_i(\lambda )\mid d_{i+1}(\lambda )$$
  将$A$的每个次数大于零的不变因子$d_i(\lambda )$分解为互不相同的一次因式方幂的乘积，这些一次因式的方幂称为$A$的初等因子，设$A$的全部初等因子为
  $$(\lambda -{\lambda }_1{)}^{r_1},(\lambda -{\lambda }_2{)}^{r_2},\cdots ,(\lambda -{\lambda }_s{)}^{r_s}$$
  其中${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_s$可能是相同的，$r_1+r_2+\cdots +r_s=n$

  写出每个初等因子$(\lambda -{\lambda }_i{)}^{r_i}$对应的$\mathrm{Jordan}$块，其阶为$r_i$，对角元素为${\lambda }_i$

• 行列式因子法

  设$\lambda$矩阵$A(\lambda )$的秩为$r$，对于正整数$k$，$A(\lambda )$的全部$k$阶子式的首一最大公因式$D_k(\lambda )$称为$A(\lambda )$的$k$阶行列式因子。

  其中$D_k(\lambda )=d_1(\lambda )d_2(\lambda )\cdots d_k(\lambda )$，则
  $$d_1(\lambda )=D_1(\lambda ),d_2(\lambda )=\frac{D_2(\lambda )}{D_1(\lambda )},\cdots ,d_r(\lambda )=\frac{D_r(\lambda )}{D_{r-1}(\lambda )}$$
  根据$k$阶行列式因子，可求出初等因子，后面的过程与初等变换类似

求出$\mathrm{Jordan}$矩阵后，对应的相似变换矩阵$P=(p_1,p_2,\cdots ,p_n)$由$P^{-1}AP=J\to AP=PJ$得到（保证方程左边是$I-A$，与前面的特征矩阵对应，否则可能出错）。由于重特征值对应的特征向量并不都是线性不相关的，这里涉及到广义特征向量，求解时需要依赖于其他特征向量。

当依赖的特征向量对应的特征值的重数$\ge 3$时，为了避免无解的情况，一般要取依赖的特征向量为特征值对应的所有线性无关的特征向量的线性组合，分析$k$取何值方程有解，可以求出对应的广义特征向量。最后还需要修改依赖的特征向量的取值，再计算广义特征向量。

应用：$\mathrm{Jordan}$块的幂
$$J_i={\left[\begin{array}{cccc}{\lambda }_i& 1& & \\ & {\lambda }_i& \ddots & \\ & & \ddots & 1\\ & & & {\lambda }_i\end{array}\right]}_{r_i\times r_i}$$

$${\begin{array}{rl}{J}_i^k& ={\left[\begin{array}{ccccc}{\lambda }_i^k& C_k^1{\lambda }_i^{k-1}& C_k^2{\lambda }_i^{k-2}& \cdots & C_k^{r_i-1}{\lambda }_i^{k-r_i+1}\\ & {\lambda }_i^k& C_k^1{\lambda }_i^{k-1}& \cdots & C_k^{r_i-2}{\lambda }_i^{k-r_i+2}\\ & & & \ddots & ⋮\\ & & & \ddots & C_k^1{\lambda }_i^{k-1}\\ & & & & {\lambda }_i^k\end{array}\right]}_{r_i\times r_i}\\ & =\left[\begin{array}{ccccc}{\lambda }_i^k& \frac{1}{1!}({\lambda }^k{)}^{\prime }& \frac{1}{2!}({\lambda }^k{)}^{\prime \prime }& \cdots & \frac{1}{(r_i-1)!}({\lambda }^k{)}^{(r_i-1)}\\ & {\lambda }_i^k& \frac{1}{1!}({\lambda }^k{)}^{\prime }& \cdots & \frac{1}{(r_i-2)!}({\lambda }^k{)}^{(r_i-2)}\\ & & & \ddots & ⋮\\ & & & \ddots & \frac{1}{1!}({\lambda }^k{)}^{\prime }\\ & & & & {\lambda }^k\end{array}\right]\end{array}}_{\lambda ={\lambda }_i}$$

$\mathrm{Hamilton}-\mathrm{Cayley}$定理

• $\mathrm{Hamilton}-\mathrm{Cayley}$：设$A\in C^{n\times n},\psi (\lambda )=\det (\lambda I-A)$，则$\psi (A)=O$

• $f(\lambda )$是多项式，如果有$f(A)=O$，则称$f(\lambda )$为$A$的零化多项式

• 在$A$的零化多项式中，次数最低的首一多项式称为$A$的最小多项式，记为$m_A(\lambda )$

• $A$的最小多项式$m_A(\lambda )$整除$A$的任一零化多项式，且最小多项式是唯一的

• $\psi (\lambda )=\det (\lambda I-A)$，设$D_{n-1}(\lambda )$是$\lambda I-A$的$n-1$阶行列式因子，则
  $$m_A(\lambda )=\frac{\psi (\lambda )}{D_{n-1}(\lambda )}$$

• 相似矩阵有相同的最小多项式

• ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_t$是$A$的所有互不相同的特征值，则

  $$m_A(\lambda )=(\lambda -{\lambda }_1{)}^{m_1}(\lambda -{\lambda }_2{)}^{m_2}\cdots (\lambda -{\lambda }_t{)}^{m_t}$$
  其中$m_i$是$A$的$\mathrm{Jordan}$标准形$J$中含${\lambda }_i$的$\mathrm{Jordan}$块的最高阶数

向量的内积

设$x=({\xi }_1,{\xi }_2,\cdots ,{\xi }_n{)}^T\in C^n,y=({\eta }_1,{\eta }_2,\cdots ,{\eta }_n{)}^T\in C^n$，记向量$x$与$y$的内积为
$$(x,y)=\sum _{k=1}^n{\xi }_k{\bar{\eta }}_k=y^{H}x$$

• $(x,y)=\overline{(y,x)}$
• $(\lambda x,y)=\lambda (x,y),(x,\lambda y)=\overline{\lambda }(x,y)$
• $(x+y,z)=(x,z)+(y,z)$
• $(x,x)\ge 0$
• $\text{Cauchy-Schwarz}:(x,y)(y,x)\le (x,x)(y,y)$

对向量$x=({\xi }_1,{\xi }_2,\cdots ,{\xi }_n{)}^T\in C^n,y=({\eta }_1,{\eta }_2,\cdots ,{\eta }_n{)}^T\in C^n$应用$\mathrm{Cauchy}-\mathrm{Schwarz}$不等式，可得
$$(\sum _{k=1}^n\mid {\xi }_k\mid \mid {\eta }_k|{)}^2\le (\sum _{k=1}^n\mid {\xi }_k{\mid }^2)(\sum _{k=1}^n\mid {\eta }_k{\mid }^2)$$

向量的范数

设$x=({\xi }_1,{\xi }_2,\cdots ,{\xi }_n{)}^T\in C^n$，记向量$x$的长度或2范数为
$$\parallel x{\parallel }_2=\sqrt{(x,x)}=\sqrt{\sum _{k=1}^n\mid {\xi }_k{\mid }^2}$$

• 向量的长度具有以下性质：

  • 非负性：$x\ne 0\Rightarrow \parallel x{\parallel }_2>0,x=0\Rightarrow \parallel x{\parallel }_2=0$

  • 齐次性：$\parallel \lambda x{\parallel }_2=\mid \lambda \mid \parallel x{\parallel }_2$

  • 三角不等式：$\parallel x+y{\parallel }_2\le \parallel x{\parallel }_2+\parallel y{\parallel }_2$

• 当$\parallel x{\parallel }_2=1$时，称$x$为单位向量，当$x\ne 0$时，$\frac{x}{\parallel x{\parallel }_2}$是单位向量，称之为将向量$x$单位化或规范化，当$(x,y)=0$时，称向量$x$与$y$正交

• 设$x_1,x_2,\cdots ,x_s\in C^n$是一组两两正交的非零向量，则$x_1,x_2,\cdots ,x_s$线性无关

• $\mathrm{Schmidt}$正交化方法：$y_j=x_j-\frac{(x_j,y_1)}{(y_1,y_1)}{y}_1-\cdots -\frac{(x_j,y_{j-1})}{(y_{j-1},y_{j-1})}{y}_{j-1},(j=2,\cdots ,s)$

• 酉矩阵：$A^{H}A=I⟺A^{-1}=A^H$

  • $A$是酉矩阵$\Rightarrow A^{-1}$也是酉矩阵
  • $A,B$是酉矩阵$\Rightarrow AB$也是酉矩阵
  • $A$是酉矩阵$\Rightarrow \mid \det A\mid =1$
  • $A$是酉矩阵$⟺$它的$n$个列向量是两两正交的单位向量

酉相似下的标准形

设$A\in C^{n\times n}$，则$A$可酉相似于上三角矩阵$T$，即存在$n$阶酉矩阵$U$，使得
$$U^{-1}AU=U^{H}AU=T\text{\hspace{1em}(Schur)}$$

正规矩阵

• 若$A$满足$A^{H}A=A{A}^H$，则称$A$为正规矩阵，常见的有酉矩阵、正交矩阵，$\mathrm{Hermite}$矩阵（$A^H=A$），实对称矩阵、反$\mathrm{Hermite}$矩阵（$A^H=-A$）、实反对称矩阵、对角矩阵
• $A$酉相似于对角矩阵的充要条件是$A$为正规矩阵
• $\mathrm{Hermite}$矩阵的特征值均为实数，反$\mathrm{Hermite}$矩阵的特征值为零或纯虚数
• 实对称矩阵的特征值均为实数，实反对称矩阵的特征值为零或纯虚数
• 设$A$是正规矩阵，$\lambda$是$A$的特征值，$x$是对应$\lambda$的特征向量，则$\overline{\lambda }$是$A^H$的特征值，对应$\overline{\lambda }$的特征向量仍为$x$
• 设$A$是正规矩阵，$\lambda ,\mu$是$A$的特征值，$x,y$是对应的特征向量，如果$\lambda \ne \mu$，则$x$与$y$正交。
• $n$阶正规矩阵$A$酉相似于对角矩阵的具体步骤
  • 求出$A$的全部特征值，设${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_s$是$A$的互不相同的特征值，其重数分别为$r_1,r_2,\cdots ,r_s,r_1+r_2+\cdots +r_s=n$
  • 对于特征值${\lambda }_i$，求出对应的$r_i$个线性无关的特征向量$p_{i1},p_{i2},\cdots ,p_{i{r}_i}$
  • 用$\mathrm{Schmidt}$正交化方法将$p_{i1},p_{i2},\cdots ,p_{i{r}_i}$正交化，再单位化得$u_{i1},u_{i2},\cdots ,u_{i{r}_i}$,则酉矩阵
    $$U=(u_{11},\cdots ,u_{1r_1},u_{21},\cdots ,u_{2r_2},\cdots ,u_{s1},\cdots ,u_{s{r}_s})$$
    $$U^{-1}AU=U^{H}AU=\Lambda =diag({\lambda }_1{I}_{r_1},{\lambda }_2{I}_{r_2},\cdots ,{\lambda }_s{I}_{r_s})$$

$\mathrm{Hermite}$正定矩阵

• 设$A\in C^{n\times n}$是$\mathrm{Hermite}$矩阵，如果$\forall x\in C^n,x\ne 0$都有
  $$x^{H}Ax>0(x^{H}Ax\ge 0)$$
  则称$A$是$\mathrm{Hermite}$正定矩阵（半正定矩阵）
  设$A$是$\mathrm{Hermite}$矩阵，则下列条件等价

  • $A$是$\mathrm{Hermite}$正定矩阵(半正定矩阵)
  • $A$的特征值全为正实数（非负实数）
  • 存在可逆矩阵（矩阵）$P\in C_n^{n\times n}$,使得$A=P^{H}P$
  • $n$个顺序主子式全为正${\Delta }_k=det{A}_k\ge 0$（对半正定矩阵不成立）

• 设$A\in C^{n\times n}$

  • $A^{H}A$和$A{A}^H$的特征值全为非负实数
  • $A^{H}A$和$A{A}^H$的非零特征值相同
  • $rank(A^{H}A)=rank(A{A}^H)=rank(A)$

范数理论

向量范数

向量范数是指：$\forall x\in C^n$都有一个实数$\parallel x\parallel$与之对应，且满足向量范数三公理

• 非负性：$x\ne 0⟹\parallel x\parallel >0,x=0⟹\parallel x\parallel =0$
• 齐次性：$\forall \lambda \in C⟹\parallel \lambda x\parallel =\mid \lambda \mid \parallel x\parallel$
• 三角不等式：$\forall x,y\in C^n⟹\parallel x+y\parallel \le \parallel x\parallel +\parallel y\parallel$

向量范数类型

范数名称	范数定义
向量$1$范数	$\parallel x{\parallel }_1={\sum }_{k=1}^n\mid {\xi }_k\mid$
向量$2$范数	$\parallel x{\parallel }_2=\sqrt{{\sum }_{k=1}^n\mid {\xi }_k{\mid }^2}=\sqrt{x^{H}x}$
向量$\infty$范数	$\parallel x{\parallel }_{\infty }={\max }_k\mid {\xi }_k\mid$
向量$p$范数	$\parallel x{\parallel }_p=({\sum }_{k=1}^n\mid {\xi }_k{\mid }^p{)}^{\frac{1}{p}}$

• 向量$2$范数的酉不变性：$\forall x\in C^n$和任意的$n$阶酉矩阵$U$，有
  $$\parallel Ux{\parallel }_2=\parallel x{\parallel }_2$$
• ${\lim }_{p\to +\infty }\parallel x{\parallel }_p=\parallel x{\parallel }_{\infty }$
• 从已知范数$\parallel \cdot {\parallel }_a$构建新的范数：$\parallel x{\parallel }_b=\parallel Ax{\parallel }_a$
• 加权范数/椭圆范数：$\parallel x{\parallel }_A=\sqrt{x^{H}Ax}$，$A$是$n$阶$\mathrm{Hermite}$正定矩阵

向量范数的等价

设$\parallel \cdot {\parallel }_a$和$\parallel \cdot {\parallel }_b$是$C^n$上的两种范数，如果$\exists \alpha ,\beta$，使$\forall x\in C^n$都有
$$\alpha \parallel x{\parallel }_b\le \parallel x{\parallel }_a\le \beta \parallel x{\parallel }_b$$
则称两个向量范数等价

• $C^n$上的所有向量范数等价
• 向量范数的等价性在研究向量序列的收敛问题上有极大的作用。
  给定$C^n$中的向量序列 { x ( k ) } \{\pmb x^{(k)}\} {x(k)}，向量序列 { x ( k ) } \{\pmb x^{(k)}\} {x(k)}收敛于$x$的充分必要条件是，对于$C^n$上的任意一种向量范数$\parallel \cdot \parallel$，都有${\lim }_{k\to +\infty }\parallel x^{(k)}-x\parallel =0$

矩阵范数

方阵的范数

对任意$A\in C^{n\times n}$都有一个实数$\parallel A\parallel$与之对应，且满足

• 非负性：$A\ne O\Rightarrow \parallel A\parallel >0,A=O\Rightarrow \parallel A\parallel =0$
• 齐次性：$\parallel \lambda A\parallel =\mid \lambda \mid \parallel A\parallel$
• 三角不等式：$\parallel A+B\parallel \le \parallel A\parallel +\parallel B\parallel$
• 相容性：$\parallel AB\parallel \le \parallel A\parallel \parallel B\parallel$

类比向量范数，推广到矩阵范数，有

范数名称	范数定义
矩阵的$m_1$范数	$\parallel A{\parallel }_{m_1}={\sum }_{i=1}^n{\sum }_{j=1}^n\mid a_{ij}\mid$
矩阵的$F$范数	$\parallel A{\parallel }_F=\sqrt{{\sum }_{i=1}{\sum }_{j=1}\mid a_{ij}{\mid }^2}=\sqrt{tr(A^{H}A)}$
矩阵的$m_{\infty }$范数	$\parallel A{\parallel }_{m_{\infty }}=n{\max }_{i,j}\mid a_{ij}\mid$

• $F$范数的酉不变性：$\parallel UA{\parallel }_F=\parallel AV{\parallel }_F=\parallel UAV{\parallel }_F=\parallel A{\parallel }_F$

与向量范数的相容性

设$\parallel \cdot {\parallel }_m$是$C^{n\times n}$上的矩阵范数，$\parallel \cdot {\parallel }_v$是$C^n$上的向量范数。如果对$\forall A\in C^{n\times n},x\in C^n$，都有
$$\parallel Ax{\parallel }_v\le \parallel A{\parallel }_m\parallel x{\parallel }_v$$
则称该矩阵范数和向量范数是相容的

$C^{n\times n}$上任何一种矩阵范数，在$C^n$上必存在与它相容的向量范数

从属范数

已知$C^n$上的向量范数$\parallel \cdot {\parallel }_v$，对$\forall A\in C^{n\times n}$，规定
$$\parallel A\parallel =\underset{x\ne 0}{\max }\frac{\parallel Ax{\parallel }_v}{\parallel x{\parallel }_v}$$
则$\parallel \cdot \parallel$是$C^{n\times n}$上与向量范数$\parallel \cdot {\parallel }_v$相容的矩阵范数，且$\parallel I_n\parallel =1$，称之为由向量范数$\parallel \cdot {\parallel }_v$导出的矩阵范数或从属于向量范数$\parallel \cdot {\parallel }_v$的矩阵范数，简称导出范数或从属范数。从属范数的本质为求解函数的最大值。

范数名称	定义	别名
$1$范数	$\parallel A{\parallel }_1={\max }_j{\sum }_{i=1}^n\mid a_{ij}\mid$	列和范数
$2$范数	$\parallel A{\parallel }_2=\sqrt{{\lambda }_1},{\lambda }_1$是$A^{H}A$的最大特征值	谱范数
$\infty$范数	$\parallel A{\parallel }_{\infty }={\max }_i{\sum }_{j=1}^n\mid a_{ij}\mid$	行和范数

设$U,V$为$n$阶酉矩阵，矩阵$2$范数有下列良好性质

• $\parallel A^H{\parallel }_2=\parallel A{\parallel }_2$
• $\parallel UA{\parallel }_2=\parallel AV{\parallel }_2=\parallel UAV{\parallel }_2=\parallel A{\parallel }_2$
• 若$A$是正规矩阵，且${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$是$A$的$n$个特征值，则$\parallel A{\parallel }_2={\max }_k\mid {\lambda }_k\mid$

长方阵的范数

$A\in C^{m\times n},B\in C^{n\times l}$

范数名称	定义
$m_1$范数	$\parallel A{\parallel }_{m_1}={\sum }_{i=1}^m{\sum }_{j=1}^n\mid a_{ij}\mid$
$F$范数	$\parallel A{\parallel }_F=\sqrt{{\sum }_{i=1}^m{\sum }_{j=1}^n\mid a_{ij}{\mid }^2}=\sqrt{tr(A^{H}A)}$
$M$范数/最大范数	∥ A ∥ M = max ⁡ { m , n } max ⁡ i , j ∣ a i j ∣ \parallel \pmb A \parallel_{M} = \max\{m,n\} \max_{i,j}\mid a_{ij}\mid ∥A∥M​=max{m,n}maxi,j​∣aij​∣
$G$范数/几何平均范数	$\parallel A{\parallel }_G=\sqrt{mn}{\max }_{ij}\mid a_{ij}\mid$
$1$范数/列和范数	$\parallel A{\parallel }_1={\max }_j{\sum }_{i=1}^m\mid a_{ij}\mid$
$2$范数/谱范数	$\parallel A{\parallel }_2=\sqrt{A^{H}A的最大特征值}$
$\infty$范数/行和范数	$\parallel A{\parallel }_{\infty }={\max }_i{\sum }_{j=1}^n\mid a_{ij}\mid$

范数应用举例

矩阵的谱半径

设$A\in C^{n\times n},{\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$为$A$的$n$个特征值，称
$$\rho (A)=\underset{j}{\max }\mid {\lambda }_j\mid$$
为$A$的谱半径

• $\rho (A^k)=(\rho (A){)}^k$
• $\rho (A^{H}A)=\rho (A{A}^H)=\parallel A{\parallel }_2^2$
• 当$A$是正规矩阵时，$\rho (A)=\parallel A{\parallel }_2$
• 对于任一矩阵范数$\parallel \cdot \parallel$，有$\rho (A)\le \parallel A\parallel$
• 对任意给定的正数$\epsilon$，存在某一矩阵范数$\parallel \cdot {\parallel }_m$，使得$\parallel A{\parallel }_m\le \rho (A)+\epsilon$

矩阵的条件数

• 设$P\in C^{n\times n}$，若对$C^{n\times n}$上的某一矩阵范数$\parallel \cdot \parallel$有$\parallel P\parallel \le 1$，则$I-P$可逆

• 设$A\in C_n^{n\times n},\delta A\in C^{n\times n}$。若对$C^{n\times n}$上的某一矩阵范数$\parallel \cdot \parallel$有$\parallel A^{-1}\delta A\parallel \le 1$，则

  • $A+\delta A$可逆
  • $\parallel (A+\delta A{)}^{-1}\parallel \le \frac{\parallel A^{-1}\parallel }{1-\parallel A^{-1}\delta A\parallel }$
  • $\frac{\parallel A^{-1}-(A+\delta A{)}^{-1}\parallel }{\parallel A^{-1}\parallel }\le \frac{\parallel A^{-1}\delta A\parallel }{1-\parallel A^{-1}\delta A\parallel }$

• 设$A\in C_n^{n\times n},\delta A\in C^{n\times n}$，若对$C^{n\times n}$上的某一矩阵范数$\parallel \cdot \parallel$有$\parallel A^{-1}\parallel \parallel \delta A\parallel <1$，则
  $$\frac{\Vert {\mathbf{A}}^{-1}-(\mathbf{A}+\delta \mathbf{A}{)}^{-1}\Vert }{\Vert {\mathbf{A}}^{-1}\Vert }⩽\frac{\Vert \mathbf{A}\Vert \Vert {\mathbf{A}}^{-1}\Vert \frac{\Vert \delta \mathbf{A}\Vert }{\Vert \mathbf{A}\Vert }}{1-\Vert \mathbf{A}\Vert \Vert {\mathbf{A}}^{-1}\Vert \frac{\Vert \delta \mathbf{A}\Vert }{\Vert \mathbf{A}\Vert }}$$

• 设$A\in C_n^{n\times n},\delta A\in C^{n\times n},b,\delta b\in C^n$，若对$C^{n\times n}$上的某一矩阵范数$\parallel \cdot \parallel$有$\parallel A^{-1}\parallel \parallel \delta A\parallel <1$，则非齐次线性方程组
  $$\mathbf{Ax}=\mathbf{b}\&(A+\delta \mathbf{A})(\mathbf{x}+\delta \mathbf{x})=\mathbf{b}+\delta \mathbf{b}$$
  解满足
  $$\frac{\Vert \delta \mathbf{x}{\Vert }_{\mathrm{v}}}{\Vert \mathbf{x}{\Vert }_{\mathrm{v}}}⩽\frac{\Vert \mathbf{A}\Vert \Vert {\mathbf{A}}^{-1}\Vert }{1-\Vert \mathbf{A}\Vert \Vert {\mathbf{A}}^{-1}\Vert \frac{\Vert \delta \mathbf{A}\Vert }{\Vert \mathbf{A}\Vert }}\left(\frac{\Vert \delta \mathbf{A}\Vert }{\Vert \mathbf{A}\Vert }+\frac{\Vert \delta \mathbf{b}{\Vert }_{\mathrm{v}}}{\Vert \mathbf{b}{\Vert }_{\mathrm{v}}}\right)$$
  其中$\parallel \cdot {\parallel }_v$是$C^n$上与矩阵范数$\parallel \cdot \parallel$相容的向量范数

• 设$A\in C_n^{n\times n}$，$\parallel \cdot \parallel$是$C^{n\times n}$上的矩阵范数，称
  $$cond(A)=\parallel A\parallel \parallel A^{-1}\parallel$$
  为矩阵$A$的条件数。

  一般地，如果矩阵$A$的条件数大就称$A$对于求逆矩阵或求解线性方程组是病态的，否则是良态的。