【矩阵论】4.矩阵运算——广义逆——加号逆定义性质与特殊矩阵的加号逆

矩阵论的所有文章，主要内容参考北航赵迪老师的课件

[注]由于矩阵论对计算机比较重要，所以选修了这门课，但不是专业搞数学的，所以存在很多口语化描述，而且对很多东西理解不是很正确与透彻，欢迎大家指正。我可能间歇性忙，但有空一定会回复修改的。

矩阵论
1. 准备知识——复数域上矩阵,Hermite变换
1.准备知识——复数域上的内积域正交阵
1.准备知识——Hermite阵，二次型，矩阵合同，正定阵，幂0阵，幂等阵，矩阵的秩
2. 矩阵分解——SVD准备知识——奇异值
2. 矩阵分解——SVD
2. 矩阵分解——QR分解
2. 矩阵分解——正定阵分解
2. 矩阵分解——单阵谱分解
2. 矩阵分解——正规分解——正规阵
2. 矩阵分解——正规谱分解
2. 矩阵分解——高低分解
3. 矩阵函数——常见解析函数
3. 矩阵函数——谱公式,幂0与泰勒计算矩阵函数
3. 矩阵函数——矩阵函数求导
4. 矩阵运算——观察法求矩阵特征值特征向量
4. 矩阵运算——张量积
4. 矩阵运算——矩阵拉直
4.矩阵运算——广义逆——加号逆定义性质与特殊矩阵的加号逆
4. 矩阵运算——广义逆——加号逆的计算
4. 矩阵运算——广义逆——加号逆应用
4. 矩阵运算——广义逆——减号逆
5. 线性空间与线性变换——线性空间
5. 线性空间与线性变换——生成子空间
5. 线性空间与线性变换——线性映射与自然基分解,线性变换
6. 正规方程与矩阵方程求解
7. 范数理论——基本概念——向量范数与矩阵范数
7.范数理论——基本概念——矩阵范数生成向量范数&谱范不等式
7. 矩阵理论——算子范数
7.范数理论——范数估计——许尔估计&谱估计
7. 范数理论——非负/正矩阵
8. 常用矩阵总结——秩1矩阵，优阵(单位正交阵)，Hermite阵
8. 常用矩阵总结——镜面阵，正定阵
8. 常用矩阵总结——单阵，正规阵，幂0阵，幂等阵，循环阵

---

4.4 加号逆

4.4.1 定义

若 $m\times n$ 矩阵 $A=A_{m\times n}$ 与矩阵 $X=X_{n\times m}$ 满足四个条件

• $AXA=A$
• $XAX=X$
• $(AX{)}^H=AX$
• $(XA{)}^H=XA$

则 $X$ 为 $A$ 的加号逆，记为 $X=A^{+}$

a. 性质

• A与 $A^{+}$ 互为加号逆

• $A^{+}$ 具有唯一性
  $$\begin{array}{rl}& 证明：(反证法)\\ & 假设X，Y都满足四个条件,有AXA=A,XAX=X,(AX{)}^H=AX,(AY{)}^H=AY,\\ & AYA=A,YAY=Y,(AY{)}^H=AY,(YA{)}^H=YA\\ & 有X=XAX\stackrel{A=AYA(替换右侧X)}{=}XAYAX=X(AY{)}^H(AX{)}^H=X[(AX)(AY){]}^H\\ & \stackrel{AXA=A}{=}X(AY{)}^H=XAY\stackrel{AYA=A(消去左侧X)}{=}XAYAY=(XA{)}^H(YA{)}^{H}Y=\\ & [(YA)(XA){]}^{H}A=(YA{)}^{H}Y=Y\\ & 故可得A^{+}具有唯一性\end{array}$$

• $A^{+}$ 的H穿脱公式：$(A^H{)}^{+}=(A^{+}{)}^H$

• 乘积的加号逆无穿脱公式：$(AB{)}^{+}\ne B^{+}{A}^{+}$

• 幂等性

  $(A^{+}A{)}^2=A^{+}A,(A{A}^{+}{)}^2=A{A}^{+}$

  $(I-A^{+}A{)}^2=I-A^{+}A$

  • $r(I-A^{+}A)=n-r(A^{+}A)=n-r(A)$

  • $r(I-A{A}^{+})=r(A)$

b. 加号逆特例

• $A=0$ ，则 $A^{+}=0$

• 若方阵 $A=A_{n\times n}$ 可逆 ($|A|\ne 0$) ，则 $A^{+}=A^{-1}$

• 若 $A=(a)$ 为1阶阵，即 $A=(复数a)$ ，则有 $(a{)}^{+}=a^{+}=\{\begin{array}{rl}{a}^{-1},& a\ne 0\\ 0,& a=0\end{array}$

• 对角阵 $D=\left(\begin{array}{cccc}{a}_1& & & \\ & a_2& & \\ & & \ddots & \\ & & & a_n\end{array}\right)$ ，则 $D^{+}=\left(\begin{array}{cccc}{a}_1^{+}& & & \\ & a_2^{+}& & \\ & & \ddots & \\ & & & a_n^{+}\end{array}\right)$

  eg：

  

  $D^{+}D=D{D}^{+}$ ，且 $(D^{+}{)}^k=(D^k{)}^{+}$ ，(k=1,2,…)

  证明：

  

• A为Hermite幂等阵，即 $A^H=A=A^2$ ，则 $A^{+}=A=A^H$

• 若A为列优阵($A^{H}A=I$) ，则 $A^{+}=A^H$
  $$\begin{array}{rl}& 证明:由于A是列半U阵，则A^{H}A=I\\ & A^{H}A{A}^H=A^H,A{A}^{H}A=A,(A^{H}A{)}^H=I=A^{H}A,(A{A}^H{)}^H=A{A}^H\end{array}$$

  若 $A^H$ 为列优阵(A为行优阵)($A{A}^H=I$) ，则 $A^{+}=A^H$

  $$\begin{array}{rl}& 证明:由于A是行半U阵，则A{A}^H=I\\ & A^{H}A{A}^H=A^H,A{A}^{H}A=A,(A^{H}A{)}^H=A^{H}A,(A{A}^H{)}^H=I=A{A}^H\end{array}$$

• 若A为U阵(单位正交阵)，则 $A^{+}=A^H=A^{-1}$

  若A为U阵，则 $A^{H}A=A{A}^H=I,A^H=A^{-1}$

  $A^{H}A{A}^H=A^H,A{A}^{H}A=A,(A{A}^H{)}^H=I=A{A}^H,(A^{H}A{)}^H=A^{H}A$ ，故 $A^{+}=A^H$

• 若A为单阵(可相似对角化)且可逆 ，则有谱分解 $A={\lambda }_1{G}_1+\cdots +{\lambda }_k{G}_k$ 且 $A^{+}={\lambda }_1^{-1}{G}_1+\cdots +{\lambda }_k^{-1}{G}_k$

  若不满足可逆条件，则未必成立

• 若A为正规阵(正规方阵)，则 $A^{+}$ 也为正规阵

  有正规分解 $A=QD{Q}^H$ ，则 $A^{+}=Q{D}^{+}{Q}^H$

  有谱分解 $A={\lambda }_1^{+}{G}_1+\cdots +{\lambda }_k^{+}{G}_k$

c. $A{A}^{+}$ 与 $A^{+}A$ 相关结论

• $A{A}^{+}$ 与 $A^{+}A$ 都是Hermite阵

• $r(A^{+}A)=r(A{A}^{+})=r(A)=tr(A{A}^{+})=tr(A^{+}A)$

  由于矩阵的秩越乘越小，则 $r(A{A}^{+})\le r(A)$ 而 $A=A{A}^{+}A$ ，则 $r(A)\le r(A{A}^{+})$ ，故有 $r(A{A}^{+})\le r(A)\le r(A{A}^{+})$

• 幂等性：$(A{A}^{+}{)}^2=A{A}^{+}$ ，$(A^{+}A{)}^2=A^{+}A$

  
  

$$\begin{array}{rl}& (1)A=\left(\begin{array}{cc}1& 0\\ 2& 1\end{array}\right)为可逆阵，则A^{+}=A^{-1}=\left(\begin{array}{cc}1& 0\\ -2& 1\end{array}\right),A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)=\frac{1}{|A|}\left(\begin{array}{cc}d& -b\\ -c& a\end{array}\right)\\ & (2)(3)(4)中A为对角阵\end{array}$$

• $\lambda (A{A}^{+})$ 与 $\lambda (A^{+}A)$ 都有 $r(A)$ 个1

  设 $A\in C^{m,n},A^{+}\in C^{n,m}$ 由于 $A{A}^{+}$ 与 $A^{+}A$ 都是 Hermite 阵，且 $A^{+}A$ 是幂等阵， $(A{A}^{+}{)}^2=A{A}^{+},(A^{+}A{)}^2=A^{+}A$ ，由Caley定理 $x^2=x$ 则其0化式为 $x^2-x=0$ ，$A{A}^{+}$ 有两个不同的根1和0

  已知 $r(A^{+}A)=r(A{A}^{+})=r(A)=r$ ，

  则 $A{A}^{+}$ 有r个正根，m-r 个0根;$A^{+}A$ 有r个正根，n-r 个0根

• $A^{+}A$ 与 $A{A}^{+}$ 都是半正定阵 ($A{A}^{+}\ge 0,A^{+}A\ge 0$)

  已知 $A^{+}A$ 为幂等阵，则 $(A{A}^{+}{)}^2=(A{A}^{+}{)}^H(A{A}^{+})\stackrel{P=A{A}^{+}}{=}{P}^{H}P\ge 0$ ，故 $A{A}^{+}$ 为半正定阵，同理 $AA+$ 为半正定阵

  由Caley定理，$x^2=x$ ，则0化式 $x(x-1)=0$ ，故特根 $\ge$ 0 ，为半正定阵

• 一般有 $A{A}^{+}\ne I$ , $A^{+}A\ne I$ , 且 $A{A}^{+}\ne A^{+}A$

• 若 A 为正规阵，则 $A^{+}A=A{A}^{+}$ ，且 $(A^{+}{)}^k=(A^k{)}^{+},k=0,1,2,\cdots$
  $$\begin{array}{rl}& 由于A是正规阵，则A{A}^H=A^{H}A,A有正规分解A=QD{Q}^H=Q\left(\begin{array}{ccc}{\lambda }_1& & \\ & \ddots & \\ & & {\lambda }_n\end{array}\right)Q^H,\\ & 其中Q为U阵\\ & \Rightarrow A^{+}=(QD{Q}^H{)}^{+}=(Q^H{)}^{+}{D}^{+}{Q}^{+}\stackrel{Q^{+}=Q^H}{=}Q{D}^{+}{Q}^H,\\ & \Rightarrow (A^{+}{)}^k=(Q{D}^{+}{Q}^H{)}^k=Q(D^{+}{)}^k{Q}^H=Q(D^k{)}^{+}{Q}^H=(A^k{)}^{+}\\ & 且A^{+}A=(Q{D}^{+}{Q}^H)QD{Q}^H=(Q{D}^{+}D{Q}^H)=QD{D}^{+}{Q}^H=(QD{Q}^H)(Q{D}^{+}{Q}^H)=A{A}^{+}\end{array}$$