第十三讲 Penrose 广义逆矩阵(I)
一、Penrose 广义逆矩阵的定义及存在性
所谓广义,即推广了原有概念或结果。我们知道,逆矩阵概念是针对非奇异的(或称为满秩的)方阵。故这一概念可推广到:(1)奇异方阵;(2)非方矩阵。事实上, Penrose广义逆矩阵涵盖了两种情况。
对于满秩方阵A, A存在,且AA=AA=I 故,当然有
这四个对满秩方阵显然成立的等式构成了Penrose广义逆的启示。
- Penrose定义:设AC,若ZC且使如下四个等式成立,
AZA = A, ZAZ = Z, (AZ) = AZ , (ZA) = ZA
则称Z为A的Moore-Penrose(广义)逆,记为,A。
而上述四个等式有依次称为Penrose方程(i),(ii) ,(iii) ,(iv)。
- Moore-Penrose逆的存在性和唯一性
定理:任给AC,A均存在且唯一。
证明:存在性. AC,均存在酉矩阵UC,VC使
UAV = D =即 A = UDV
其中,是AA的全部非零特征值。
此时,令Z=VU C 则
=
即,
其中,
唯一性:设Z ,Y均满足四个Penrose方程,则
即,满足四个Penrose方程的Z是唯一的.
该证明实际上给出了Moore-Penrose逆的一种构造方法。由的唯一性可知:(1)当A 为满秩方阵时,; (2) 实际上还是一个限制相当严格,狭窄的量,可考虑更加放宽。
- {}-逆的定义:,若且满足Penrose方程中的第个方程,则称Z为A 的-逆,记为,其全体记为。-逆共有类,但实
际上常用的为如下5类:A{1}, A{1,2}, A{1,3}, A{1,4}, A{1,2,3,4}=
二、{1}-逆的性质
引理:
证明:矩阵的秩=行秩=列秩. 将
(1)设,则必存在 成为线性无关的向量组。所以,其它列向量可表示为:
可见AB 的各列向量均为的线性组合。亦即
(2) 同理。设,则必存在 成为线性无关的向量组。所以,其它列向量可表示为:
可见,AB的各行向量均为的线性组合,故
合起来即
定理:设, 则
(1)
(2)
(3) S、T为可逆方阵且与A可乘,则
(4) (
(5) ()
(6)
(7)
(8)
证明:(1)
(2) 时,,.显然成立.
时,
(3)
(4)
(5)
又
同理,
(6) ,
同理
又法:将写成
均为m维列向量,则
即
故
同理
又法:
又 故
在中,将换为,换为,则有
(7) 以 为例.
即为m阶满秩可逆方阵,存在。
又 幂等: , 乘以 ,得
(8)
即,使 故
对
又,
即,,使 . 故
定理:矩阵A当且仅当A 为满秩方阵时具有唯一的{1}逆,此时
作业:P306 3,4,5