常用的向量范数与矩阵范数（附例题）

---

一、向量范数

定义：（向量范数）对$\forall x\in {\mathrm{R}}^{\mathrm{n}}(\mathrm{或}{\mathrm{C}}^{\mathrm{n}})$，存在唯一的实数$||x||$与之对应，满足条件：

1. $||x||\ge 0$，当且仅当$x=0$时，$||x||=0$;（正定性）
2. 对$\forall \lambda \in {\mathrm{R}}^{\mathrm{n}}(\mathrm{或}{\mathrm{C}}^{\mathrm{n}})$，有$||\lambda x||=|\lambda |||x||$；（齐次性）
3. 对$\forall x,y\in {\mathrm{R}}^{\mathrm{n}}(\mathrm{或}{\mathrm{C}}^{\mathrm{n}})$，有$||\lambda x+y||\le ||x||+||y||$.（三角不等式）

则称$||x||$是${\mathrm{R}}^{\mathrm{n}}(\mathrm{或}{\mathrm{C}}^{\mathrm{n}})$上的向量范数.

常用的向量范数

对$\forall x=(x_1,\cdots ,x_n{)}^{\mathrm{T}}\in {\mathrm{R}}^{\mathrm{n}}$，${\mathrm{R}}^{\mathrm{n}}$中三种常用的范数为

1. $||x|{|}_{\infty }=\underset{1⩽i⩽n}{\max }|x_i|$，称为$\infty$范数或最大范数；
2. $||x|{|}_1={\sum }_{i=1}^n|x_i|$，称为1-范数；
3. $||x|{|}_2=（{\sum }_{i=1}^n{x}_i^2{)}^{\frac{1}{2}}$，称为2-范数或欧式范数.

一般的，$||x|{|}_p=（{\sum }_{i=1}^n|x_i{|}^p{)}^{\frac{1}{p}}(0\le p\le \infty )$称为向量的p范数.

二、矩阵范数

定义：（矩阵范数）对$\forall A\in {\mathrm{R}}^{\mathrm{n}\times \mathrm{n}}$，存在唯一的实数$||A||$与之对应，满足条件：

1. $||A||\ge 0$，当且仅当$A=0$时，$||A||=0$;（正定性）
2. 对$\forall \lambda \in {\mathrm{R}}^{\mathrm{n}}(\mathrm{或}{\mathrm{C}}^{\mathrm{n}})$，有$||\lambda A||=|\lambda |||A||$；（齐次性）
3. 对$\forall A,B\in {\mathrm{R}}^{\mathrm{n}\times \mathrm{n}}$，有$||A+B||\le ||A||+||B||$；（三角不等式）
4. 对$\forall A,B\in R^{n\times n}$，有$||AB||\le ||A||||B||$.（相容性）

则称$||A||是{\mathrm{R}}^{\mathrm{n}\times \mathrm{n}}$上的矩阵范数.

常用的矩阵范数

设$A=(a_{ij})\in C^{n\times n}$，则下面三种规定的实值函数

1. $||A|{|}_{m1}={\sum }_{i=1}^n{\sum }_{j=1}^n|a_{ij}|$；
2. $||A|{|}_{m\infty }=n\cdot \underset{i,j}{\max }|a_{i,j}|$；
3. $||A|{|}_{m2}=({\sum }_{i=1}^n{\sum }_{j=1}^n|a_{ij}{|}^2{)}^{\frac{1}{2}}$.（也称F范数）

都是矩阵A的范数.

矩阵常用算子范数

设$A=(a_{ij})\in C^{n\times n}$,$x=(x_1,x_2,\cdots ,x_n{)}^{\mathrm{T}}\in C^n$，则从属于向量$x$的3种范数$||x|{|}_1$，$||x|{|}_2$，$||x|{|}_{\infty }$的算子范数依次是

1. $||A|{|}_1$=$\underset{j}{\max }{\sum }_{i=1}^m|a_{ij}|$，称为列范数；
2. $||A|{|}_2$=$\sqrt{{\lambda }_{max}(A^{\mathrm{H}}A)}$，称为谱范数，其中${\lambda }_{max}(A^{\mathrm{H}}A)$是矩阵$(A^{\mathrm{H}}A)$特征值绝对值的最大值；
3. $||A|{|}_{\infty }$=$\underset{i}{\max }{\sum }_{j=1}^n|a_{ij}|$，称为行范数.