《矩阵论》学习笔记（六）：第六章 广义逆矩阵

《矩阵论》学习笔记（六）：第六章 广义逆矩阵

• 提出的原因：
  之前学到的”可逆矩阵“是针对方阵而言的，只有方阵才有可逆不可逆之说。
  但对实际中的一般矩阵而言，存在如下问题：
  1）大部分矩阵不一定是方阵；
  2）即使是方阵，也不一定可逆。
  所以提出广义逆矩阵的概念，是对不可逆矩阵和长方矩阵的推广。

一、广义逆矩阵的概念与性质

1.1. 广义逆矩阵的定义

• 广义逆矩阵的概念

对矩阵$A\in C^{m\ast n}$，有矩阵$X\in C^{n\ast m}$可以满足如下方程：

1）$AXA=A$
2) $XAX=X$
3) $(AX{)}^H=AX$
4) $(XA{)}^H=XA$

只要满足4个方程中的某一个/几个，称X为矩阵A的广义逆矩阵。
若X满足全部的4个方程，称X为矩阵A的Moore-Penrose逆，记为$A^{+}$。

• 广义逆矩阵的存在性与唯一性

	广义逆矩阵	Moore-Penrose逆
满足	4个方程中的某一个/几个	全部的4个方程成立
存在性	一定存在	一定存在
唯一性	A{i}不唯一	$A^{+}$唯一

• 广义逆矩阵的种类

种类	满足条件	个数	唯一性
A{i}	只满足第i个方程的X记做$A^{(i)}$,所有$A^{(i)}$构成集合A{i}	4种	不唯一
A{i,j}	满足第i,j个方程的X记做$A^{(i,j)}$,所有$A^{(i,j)}$构成集合A{i,j}	6种	不唯一
A{i,j,k}	满足第i,j,k个方程的X记做$A^{(i,j,k)}$,所有$A^{(i,j,k)}$构成集合A{i,j,k}	4种	不唯一
$A^{+}$	满足全部Penrose方程的X	1种	唯一

常用的五类：A{1}、A{1,2}、A{1,2,3}、$A^{+}$

1.2. 广义逆矩阵的性质及构造方法

1.2.1. A{1}-逆的性质及构造方法

• A{1}-逆的唯一性：

对任意矩阵$A\in C^{m\ast n}$，A的{1}-逆$A^{(1)}$一般不是唯一的。
但若A的{1}-逆$A^{(1)}$是唯一的$\iff$A是可逆矩阵，$A^{(1)}$=$A^{-1}$。

• A{1}-逆的性质：
  对任意矩阵$A\in C^{m\ast n}，B\in C^{n\ast m}，\lambda \in C$，有：

-	A{1}的性质
1. $(A)$
…

• 构造其他广义逆矩阵：

-	由A{1}-逆构造其他广义逆矩阵
{1,2}-逆
{1,2,3}-逆
{1,2,4}-逆
A${}^{+}$

1.2.2. A${}^{+}$的性质

• A${}^{+}$的性质：

-	A${}^{+}$的性质
1. $(A)$

二、广义逆矩阵与线性方程组的求解

• 线性方程组解的种类

• 相容：

	解线性方程	解	唯一性
通解	$A\vec{x}=\vec{b}$	${\vec{x}}_0=A^{(1)}\vec{b}$ 与A{1}-逆有关	不唯一
极小范数解	$mi{n}_{A\vec{x}=\vec{b}}[\vec{x}]$	${\vec{x}}_0=A^{(1,4)}\vec{b}$ 与A{1,4}-逆有关	唯一

• 不相容：

	解矛盾方程	解	唯一性
最小二乘解	$mi{n}_x[[A\vec{x}-\vec{b}]]$	${\vec{x}}_0=A^{(1)}\vec{b}$ 与A{1,3}-逆有关	不唯一
极小范数最小二乘解	$mi{n}_{A\vec{x}-\vec{b}}[\vec{x}]$	${\vec{x}}_0=A^{(1,4)}\vec{b}$ 与A${}^{+}$有关	唯一

• 求解A${}^{+}$/A${}^{(1)}$：

- A${}^{+}$的求解步骤
1、$A=FG$(由满秩分解->hermite矩阵求得F和G)
2、$A^{+}=G^{+}{F}^{+},A^{+}=G^H(F^{H}A{G}^H{)}^{(-1)}{F}^H$

• 求解方程组

- x${}_0$的求解步骤
1、求解A${}^{+}$
2、$x0=A^{+}b$

• 方程组是否相容/有无解

- 判断是否相容/有无解
1、求解A${}^{+}$
2、$x0=A^{+}b$
3、带入方程Ax=b中，判断等号是否成立。
- 成立：相容/有解，x0是极小范数解。 - 不成立：不相容/无解，x0是极小范数最小二乘解。