广义逆矩阵及其应用
矩阵论广义逆

矩阵论广义逆矩阵是线性代数中的重要概念,广义逆是矩阵论中的一个关键概念。
在矩阵论中,广义逆用于解决矩阵方程的求解问题。
本文将介绍矩阵论中的广义逆以及其应用。
1. 广义逆的定义在矩阵论中,矩阵的广义逆是指对于任意矩阵A,存在一个矩阵X,满足以下条件:1) AXA=A2) XAX=X3) (AX)^T=AX4) (XA)^T=XA广义逆的存在性和唯一性是矩阵论中的一个重要问题,对于满足以上条件的矩阵X,我们称其为A的广义逆,记作A⁺。
2. 广义逆的性质广义逆具有以下性质:1) AA⁺A=A2) A⁺AA⁺=A⁺3) (A⁺)^T=A⁺4) (AA⁺)^T=AA⁺广义逆的性质使得它在矩阵方程的求解中具有重要作用。
3. 广义逆的应用广义逆在矩阵方程的求解中有广泛的应用,下面介绍其中几个常见的应用:3.1 线性方程组的求解对于线性方程组Ax=b,如果A的广义逆A⁺存在,那么方程的解可以表示为x=A⁺b。
广义逆的存在性保证了线性方程组的解的存在性,并且通过广义逆的计算,可以得到解的一个特解。
3.2 最小二乘问题的求解最小二乘问题是指在给定线性方程组Ax=b无解时,求解使得||Ax-b||^2最小的x。
如果A的广义逆A⁺存在,那么最小二乘问题的解可以表示为x=A⁺b。
广义逆的计算可以通过奇异值分解等方法来实现。
3.3 线性回归分析线性回归分析是统计学中的一种重要方法,用于建立自变量与因变量之间的线性关系。
在线性回归分析中,广义逆可以用于求解回归系数,得到最佳拟合直线,并用于预测和推断。
4. 广义逆的计算方法广义逆的计算方法有多种,常见的包括伪逆法、奇异值分解法等。
伪逆法是通过对矩阵A进行分解或变换,得到A的伪逆矩阵。
奇异值分解法则是通过对矩阵A进行奇异值分解,得到A的伪逆矩阵。
这些计算方法都是基于矩阵的特征和性质进行推导和求解的。
5. 广义逆的应用举例以线性方程组的求解为例,假设有如下线性方程组:2x+y=3x+3y=9将其转化为矩阵形式为:A=[2 1; 1 3]b=[3; 9]求解线性方程组的解可以通过计算广义逆来实现。
线性代数中的广义逆及其应用

线性代数中的广义逆及其应用线性代数是数学的重要分支之一,在物理、工程、计算机科学等领域中有着广泛的应用。
在线性代数中,广义逆是一个重要的概念,在许多实际问题中都能够发挥重要的作用。
一、广义逆的定义在矩阵的乘法中,若矩阵A和B满足AB=I,则A称为B的逆,B称为A的逆。
但是,在很多实际问题中,矩阵并没有一个逆矩阵。
这时,就需要使用广义逆来解决问题。
广义逆的定义是:对于任意一个矩阵A,若存在一个矩阵X,使得下列三个条件同时满足:1. AXA = A2. XAX = X3. (AX)^T = AX,(XA)^T = XA则称矩阵X为A的广义逆(记作A^+)。
需要注意的是,如果A存在逆矩阵,则A的广义逆就是A的逆矩阵。
二、广义逆的性质广义逆具有许多重要的性质,它们对于理解广义逆的应用具有重要的意义。
1. A^+AA^+ = A^+2. (AA^+)^T = AA^+3. A^+(AA^+)^T = A^+这些性质表明,广义逆和矩阵的乘法和转置操作之间具有某种程度上的关联。
这些关联能够帮助我们在实际问题中应用广义逆来求解问题。
三、广义逆的应用广义逆在许多实际问题中都有广泛的应用,下面介绍其中的几个例子。
1. 线性回归在线性回归问题中,需要求解形如y = Ax + b的等式,其中y、x、b均为列向量,A为已知的矩阵。
如果A不存在逆矩阵,就无法直接求解x。
此时,可以使用广义逆来解决问题。
设A^+为A的广义逆,则x = A^+y - A^+b。
这个公式可以帮助我们求解线性回归问题,即使A没有逆矩阵。
2. 伪逆控制在控制理论中,伪逆控制是一种重要的方法。
伪逆控制的目标是控制一个非线性系统,使其达到某个特定的状态。
伪逆控制通常使用广义逆来解决问题。
首先,将非线性系统表示为y = f(x),其中y是控制系统的输出,x是控制系统的输入。
然后,使用广义逆来求解x = A^+y,其中A是将f(x)展开为一组线性方程的雅可比矩阵。
广义逆矩阵作用

广义逆矩阵作用广义逆矩阵是矩阵理论中的一个重要概念,它在多个领域中都有广泛的应用。
本文将介绍广义逆矩阵的定义、性质以及应用,并探讨其在实际问题中的作用。
一、广义逆矩阵的定义在矩阵理论中,矩阵A的广义逆矩阵,记作A⁺,是满足以下条件的矩阵:1. AA⁺A = A,即A乘以广义逆矩阵再乘以A等于A本身。
2. A⁺AA⁺= A⁺,即广义逆矩阵乘以A再乘以广义逆矩阵等于广义逆矩阵本身。
二、广义逆矩阵的性质1. 广义逆矩阵的广义逆矩阵是它本身,即(A⁺)⁺ = A⁺。
2. (AB)⁺= B⁺A⁺,即两个矩阵的乘积的广义逆矩阵等于右边矩阵的广义逆矩阵乘以左边矩阵的广义逆矩阵。
3. (A⁺)ᵀ= (Aᵀ)⁺,即广义逆矩阵的转置等于原矩阵的转置的广义逆矩阵。
4. (AᵀA)⁺Aᵀ= A⁺,即矩阵A的转置与A的乘积的广义逆矩阵等于A的广义逆矩阵乘以A的转置的广义逆矩阵。
三、广义逆矩阵的应用1. 线性方程组的求解:对于一个线性方程组Ax = b,如果A是列满秩矩阵(即A的列向量线性无关),则方程组有唯一解x = A⁺b。
如果A不是列满秩矩阵,方程组可能有无穷多解,此时可以通过最小二乘法求解,即x = A⁺b是方程组的最小二乘解。
2. 伪逆最小二乘法:当矩阵A不是一个方阵时,无法求出其逆矩阵。
此时可以使用广义逆矩阵来进行最小二乘拟合,例如曲线拟合和数据降维等问题。
3. 线性回归分析:广义逆矩阵可以用于线性回归模型的参数估计,通过最小化残差平方和来求解回归方程的参数。
4. 信号处理:广义逆矩阵可以用于信号处理中的滤波、降噪和频谱估计等问题,提高信号处理的精度和效果。
5. 图像处理:广义逆矩阵可以应用于图像处理中的去噪、图像复原和图像压缩等问题,提高图像处理的质量和效率。
6. 线性规划:广义逆矩阵可以用于线性规划问题的求解,例如最优化问题和约束优化问题等。
7. 控制系统:广义逆矩阵在控制系统中有广泛的应用,如系统辨识、状态估计、控制器设计和自适应控制等方面。
矩阵的广义逆及其应用.ppt

第五章 矩阵的广义逆
§1 广义逆矩阵
(6) 若F是列满秩矩阵,则 F (F H F )1 F H
(7) 若G是行满秩矩阵,则 G GH (GGH )1
(8) 若矩阵A的满秩分解为A FG,则有 A G F ;
高等工程数学 理学院 杨文强
第五章 矩阵的广义逆
第五章 矩阵的广义逆
§1 广义逆矩阵 一、矩阵的广义逆
设A Rnn,对于线性方程组 Ax b,当A可逆时, 方程组有唯一解:x A1b.
若矩阵 A不可逆时,如何求解方程组 Ax b?
更一般,当矩阵 A Rmn不是方阵时,如何讨论 方程组 Ax b的解, 其中x Rn,b Rm ? 为了分析和解决上述问题,引入广义逆的概念.
高等工程数学 理学院 杨文强
第五章 矩阵的广义逆
§1 广义逆矩阵
定理2:设A Rmn,b Rm,x Rn,若性方程组 Ax b 是相容的,即方程组Ax b 有解,则其
通解为: x Ab (In A A)t,t是任意n 1向量. 证明:首先证明t Rn,x Ab (In A A)t是 方程组的解,然后证明方程组的任一解x,均可 表示成x Ab (In A A)t的形式.
A
1
1
1
2
(3)(1)3
0
3 3 2 4
0
1 2 4
0
1
2
0 4 8
高等工程数学 理学院 杨文强
第五章 矩阵的广义逆
§1 广义逆矩阵
1
A
0
0
1 2 4 (1)(2)2 1 1 0 0
矩阵的广义逆及其应用

1引言
矩阵的广义逆概念是由美国学者E.H.Moore首先提出的,但在此后的30多年里,矩阵的广义逆很少被人们所注意,直到1955年英国学者R.Penrose利用四个矩阵方程给出了广义逆矩阵的简洁实用的新定义之后,广义逆矩阵的理论与应用才进入了迅速发展的时期。半个世纪以来,在众多理论与应用科学领域都扮演着不可或缺的重要角色。
陈永林,张云孝,杨明,刘先忠,徐美进等在文献[1],[2], [12] , [14]中给出了矩阵广义逆的定义,还对部分定义进行了举例证明。罗自炎,修乃华,杨明等又在文献[8],[14]中给出了矩阵广义逆的各种定理;而陈明刚,燕列雅,李桃生,姜兴武,王秀玉,吴世,杜红霞,刘桂香等又分别在文献[4],[6],[9],[13],[16]中对矩阵广义逆进行了推广,介绍了分块矩阵的广义逆以及循环矩阵的广义逆。张静,徐美进,徐长青,杜先能,蔡秀珊,崔雪芳等又在文献[3],[12],[15],[17],[18]中给出了矩阵广义逆的计算方法,并加以举例说明。同时还提出了广义逆的Cramer法则及其应用。潘芳芳,梁少辉,赵彬等又在文献[5],[11]中介绍了Quantale矩阵的广义逆及其正定性。鲁立刚,何永济,王自风,赵梁红等则在文献[7],[10]介绍了Fuzzy矩阵广义逆的性质和应用。
注意到 ,这说明 的元素并非是关于 的元素的连续函数。一般地,把 的元素的变化引起其秩的变化时,这种非连续性将会发生。
例2.设矩阵 为 矩阵。若 ,定义 ;当 时, ( )。
定义2.设 为 行 列矩阵,若其中 , 的级数相同,则 。
(1-1)
浅介几种广义逆矩阵及其应用

浅介几种广义逆矩阵及其应用矩阵理论既是学习经典数学的基础,又是一门最有实用价值的数学理论。
其中所涉及到的一个重要分支——广义逆矩阵,有许多好的性质和用途,已成为许多领域研究并解决问题的强有力工具,是矩阵理论在最近几十年中的新成就之一。
本文主要介绍[]几种常用广义逆矩阵的基本知识及广义逆矩阵在生产生活中的应用。
标签:广义逆矩阵;基本介绍;应用1 背景介绍广义逆产生于线性方程组求解的实际需要,其思想可追溯到1903年E.I.弗雷德霍姆所研究的关于积分算子的一种广义逆,随后由E.H.Moore在1920年提出任意矩阵的广义逆定义,然而在其后的30年却未能引起人们关注,直到1955年,R.Penrose定义了Moore的广义逆矩阵之后,广义逆矩阵的发展才开拓了一片新的天地。
后来人们证明Moore和R.Penrose的两种广义逆矩阵是等价的,因而被称为M一P广义逆矩阵。
至此,广义逆矩阵正式诞生,此后的逐步发展也使其具有了广泛的应用。
2 几种常见广义逆矩阵的简单介绍我们引用方便的M—P方法来定义广义逆矩阵:设任意复数矩阵Amn,如果存在复数矩阵Bnm,满足M-P方程,即(1)ABA=A(2)BAB=B(3)(AB)H=AB(4)(BA)H=BA的全部或一部分,则称B为A的广义逆矩阵。
由此易推算广义逆矩阵有15种。
在这里,重点研究和介绍五种,即:A-、自反广义逆Ar-,极小范数广义逆Am-,最小二乘广义逆Al-及伪逆矩阵A+。
2.1 A-满足方程(1)的记为A-,其重要性质有:(1)A广义逆的转置等于A转置的广义逆,即(AT)-=(A-)T;(2)若复方阵A满秩,那么A的逆等于A的广义逆,且A-唯一;(3)秩(A)≤秩(A-);(4)秩(A)=秩(AA-)=秩(A-A);(5)线性方程组Ax=b有解(相容)当且仅当AA-b=b。
2.2 自反广义逆Ar-满足方程(1)和(2)的是自反广义逆。
若X、Y都是A的广义逆矩阵,则Z=XAY是A的自反广义逆。
第6章广义逆矩阵及其应用

充分性 设G满足GAAT AT .
GAA G A G
T T T T
(GA)(GA)T (GA)T 两边取转置则有 (GA)(GA)T (GA) (GA)T (GA) (GA)T AT AT 两边取转置则有
AGA A
又 GAAT AT
例1.7
1 1 设A 2 2
则称G为A的一个最小范数广义逆.记为Am- = G。 最小范数广义逆A-m的计算方法 (1)当A为行(或列)满秩时,
1 Am AR AT ( AAT )1 1 (或Am AL ( AT A)1 AT
( 2)当rankA r min{ m, n}时,将 A作满秩分解 A BC,
1 1 BL ( BT B)1 BT , CR CT (CC T )1 1 1 于是, Ar CR BL
例1.4
1 2 1 设A 求 A 0 1 2 r . 5 4 1 T T 1 1 6 2 A A A ( AA ) A 是行满秩的,故 r R 解 14 3 8 1 2 例1.5 设A 2 1 求Ar . 1 1 1 T 1 T A A ( A A ) A L 解 A是列满秩的,故 r 1 4 7 1 11 7 4 1
1 Al AR AT ( பைடு நூலகம்AT )1 1 (或Al AL ( AT A)1 AT
( 2)当rankA r min{ m, n}时,将 A作满秩分解 A BC,
1 1 Al CR BL 1 T 1 1 T ) ( B( BT B)1 BT )T ( AAl )T ( BCCR BL ) ( BBL
矩阵论第8章广义逆矩阵及其应用

由定义不难看出:
A A{1,2} A{1} ;A A{1,3} A{1} ;A A{1,4} A{1} .
1 例 8.1.1 设 A 1
1
0 0 0
,
B
1 0
0 1
0 0
,
C
1 0
0 0
0 1
,由于
ABA A, ACA A ,
所以, B 与 C 均为 A 的减号逆.
同理 G1 A G2 A .
所以 G1 G1 AG1 G1 AG2 G2 AG2 G2 ,
故加号逆是唯一的.
8.1.3 广义逆矩阵的计算: 1. 减号逆 AGA A
定 理 8.1.2 设 A 是 m n 矩 阵 , rank( A) r , 非 奇 异 矩 阵
P C mm , Q C nn
本章着重介绍几种常见的广义逆矩阵及其在解线性方程组中 的应用.
8.1 矩阵的几种广义逆
8. 1. 1 广义逆矩阵的基本概念
定 义 8.1.1 设 A C mn 为 任 意一个 复 数 矩阵 , 如果 存 在复 矩 阵
G C nm ,满足 AGA A , GAG G ,
(8.1.1) (8.1.2)
P
3 0 2
2 0 1
7 1 1 0 4 g31
0 1
1 g32
0
10
3 7g31 g31
2 4g31
2 7g32 g32 ,
1 4g32
其中, g31 , g32 是任意常数.
特别地,取 g31 0, g32 0 ,得 A 的一个减号逆:
A
3 0
2
2 0 . 1
1 2
3 1
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
题目广义逆矩阵及其应用学院专业通信与信息系统学生学号目录第一章前言 (1)第二章广义逆矩阵 (2)§2.1广义逆矩阵的定义 (2)§2.2 广义逆矩阵的性质 (3)第三章广义逆矩阵的计算 (12)§3.1 一般广义逆求解 (12)§3.2 Moore-Penrose 广义逆 (16)结论 (19)第一章前言线性方程组的逆矩阵求解方法只适用于系数矩阵为可逆方阵,但是对于一般线性方程组,其系数矩阵可能不是方阵或是不可逆的方阵,这种利用逆矩阵求解线性方程组的方法将不适用。
为解决这种系数矩阵不是可逆矩阵或不是方阵的线性方程组,我们对逆矩阵进行推广,研究广义逆矩阵,利用广义逆矩阵求解线性方程组。
广义逆矩阵在数据分析、多元分析、信号处理、系统理论、现代控制理论、网络理论等许多领域中有着重要的应用,本文针对广义逆矩阵的定义、性质、计算及其在线性方程组中的应用进行研究,利用广义逆矩阵求解线性方程组的通解及极小范数解。
逆矩阵的概念只对非奇异矩阵才有意义,但在实际问题中,遇到的矩阵不一定是方阵,即使是方阵也不一定非奇异,这就需要将逆矩阵的概念进行推广。
为此,人们提出了下述关于逆矩阵的推广:(1)该矩阵对于奇异矩阵甚至长方矩阵都存在;(2)它具有通常逆矩阵的一些性质;(3)当矩阵非奇异时,它即为原来的逆矩阵。
满足上面三点的矩阵称之为广义逆矩阵。
1903年,瑞典数学家弗雷德霍姆开始了对广义逆矩阵的研究,他讨论了关于积分算子的一种广义逆。
1904年,德国数学家希尔伯特在广义格林函数的讨论中,含蓄地提出了微分算子的广义逆。
美国芝加哥的穆尔(Moore)教授在1920年提出了任意矩阵广义逆的定义,他以抽象的形式发表在美国数学会会刊上。
我国数学家曾远荣和美籍匈牙利数学家冯·诺伊曼及其弟子默里分别在1933年和1936年对希尔伯特空间中线性算子的广义逆也作过讨论和研究。
1951年瑞典人布耶尔哈梅尔重新给出了穆尔(Moore)广义逆矩阵的定义,并注意到广义逆矩阵与线性方程组的关系。
1955年,英国数学物理学家彭罗斯(Penrose)以更明确的形式给出了与穆尔(Moore)等价的广义逆矩阵定义,因此通称为Moore-Penrose广义逆矩阵,从此广义逆矩阵的研究进入了一个新阶段。
现如今,Moore-Penrose广义逆矩阵在数据分析、多元分析、信号处理、系统理论、现代控制理论、网络理论等许多领域中有着重要的应用,使这一学科得到迅速发展,并成为矩阵论的一个重要分支。
第二章 广义逆矩阵§2.1 广义逆矩阵的定义一、Penrose 广义逆矩阵的定义为了推广逆矩阵的概念,我们引进了广义逆矩阵的定义,下面给出广义逆矩阵的Moore-Penrose 定义。
定义2.1 设矩阵n m C A ⨯∈,若矩阵m n C X ⨯∈满足如下四个Penrose 方程A AXA = (ⅰ)X XAX = (ⅱ)AX AX H =)( (ⅲ) XA XA H =)((ⅳ) 中的一部分或全部方程,则称X 为A 的一个广义逆矩阵。
若X 只满足(ⅰ)式,则X 成为A 的一个}1{-逆,可记为()1A ,所有满足}1{-逆的X 构成的集合记为{}1A 。
若X 满足四个方程中的第k j i ,,, 个方程,则称X 为A 的一个{}k j i ,,, -逆,记为()k j i A ,,, ,所有满足{}k j i ,,, -逆的X 构成的集合记为{}k j i A ,,, 。
二、常见广义逆定义按照广义逆定义,分别满足一个、两个、三个和四个方程的广义逆矩阵一共有44342414C C C C +++=15类,其中常见的有{}1A ,{}2,1A ,{}3,1A ,{}4,1A ,{}4,3,2,1A 。
定义2.2 设有复矩阵n m C A ⨯∈。
若有一个m n ⨯复矩阵X 存在,使下式成立,则称X 为A 的减号逆:A AXA = (2.1)当1-A 存在时,显然1-A 满足上式,可见减号逆X 是普通逆矩阵1-A 的推广;另外,由A AXA =得H H A AXA =)(,即H H H H A A X A =可见,当X 为A 的一个减号逆时,H X 就是H A 的一个减号逆。
定义2.3 设复矩阵n m C A ⨯∈,若有一个m n ⨯矩阵X ,满足:A AXA =且X XAX =称X 为A 的一个自反逆矩阵,记作为-r A ,-r A 满足Penrose 方程的(ⅰ),(ⅱ)式,所以}2,1{A A r ∈-。
显然,自反广义逆为减号逆的子集。
对矩阵X 是矩阵A 的{}1-逆,即{}1A X ∈, 若矩阵A 也是矩阵X 的{}1-逆,即{}1X A ∈, 则X 为A 的一个自反逆矩阵。
定义2.4 设复矩阵n m C A ⨯∈,若有一个m n ⨯矩阵X ,满足:A AXA = 及 AX AX H =)(,则称X 为A 的最小二乘广义逆,记作-l A ,-l A 满足Penrose 方程的(ⅰ),(ⅲ)式,所以}3,1{A A m ∈-。
最小二乘广义逆是用条件AX AX H =)(对减号逆进行约束后所得到的子集。
定义2.5 设复矩阵n m C A ⨯∈,若有一个m n ⨯矩阵X ,满足:A AXA = 及 XA XA H =)(,则称X 为A 的最小范数广义逆,记作-m A ,-m A 满足Penrose 方程的(ⅰ),(ⅳ)式,所以}4,1{A A l ∈-。
显然,最小范数广义逆也是减号逆的子集。
若X 满足全部四个方程,则称X 为A 的Moore-Penrose 广义逆矩阵,记为+A 。
§2.2 广义逆矩阵的性质将一个非零矩阵分解为一个列满秩矩阵与一个行满秩矩阵的乘积,是矩阵分解理论中的常见问题。
特别是在广义逆矩阵的计算与研究中有着重要的应用。
定义 2.6 设矩阵n m r C A ⨯∈(r >0),如果存在一个列满秩矩阵r m r C F ⨯∈与一个行满秩矩阵n r r C G ⨯∈使得FG A =,则称上式为A 的一个满秩分解。
定理2.1 对任意矩阵n m r C A ⨯∈(r >0),必存在着矩阵r m r C F ⨯∈和n r r C G ⨯∈使FG A =。
证明: 由r rankA =,对A 进行若干次初等行变换后,可将A 化为行阶梯矩阵B ,⎥⎦⎤⎢⎣⎡=0G B , 其中r rankG =。
故存在若干个m 阶初等矩阵的乘积P ,使得B PA =,即B P A 1-=, 将1-P 分块为 []M F P ,1=-,r m rC F ⨯∈,)(r m m C M -⨯∈,便有[]FG G M F A =⎥⎦⎤⎢⎣⎡=0,。
因F 是可逆矩阵1-P 的前r 列,所以F 是一个r m ⨯列满秩矩阵,G 是n r ⨯行满秩矩阵,故FG A =是A 的一个满秩分解。
上式FG A =是A 的一个满秩分解,但是A 的满秩分解并不是唯一的。
任意取一个r 阶非奇异矩阵B ,若FG A =是一个满秩分解,则显然()()G B FB A 1-=也是A 的一个满秩分解。
一、{1}-逆的性质定理2.2 设n m C A ⨯∈,则A 的Moore-Penrose 逆存在且唯一。
证 设 r rankA =.若r =0,则A 是n m ⨯零矩阵,可以验证m ⨯n 零矩阵满足四个Penrose 方程。
若r>0,则A 有满秩分解分解FG A =,取()()H H H H F F F GG G X 11--=,则X 满足4个Penrose 方程,所以,X 是Moore-Penrose 广义逆矩阵。
设X ,Y 均满足四个Penrose 方程,则()()()()()()()Y Y YA Y Y A Y YA XA XAY AY AX X A Y A XX AYA XX A XX AX X X H H H H H HH H H H H H H H H H ==========综上所诉,+A 存在且唯一。
+A 满足四个Penrose 方程的所有方程,所以,+A 属于15类广义逆矩阵中的任意一类。
上面我们证明了+A 的存在性,所以,任意的类广义逆矩阵都是存在的。
对任意的C ∈λ,定义+λ为⎩⎨⎧=≠=-+00,0,1λλλλ (2.4)下面给出{1}-逆的一些性质。
定理2.3 设n m C A ⨯∈,n m C B ⨯∈,C ∈λ,则(1)}1{)()1(H H A A ∈;(2)}1){()1(A A λλ∈+;(3)若S 和T 非奇异,则}1){(1)1(1SAT S A T ∈--;(4)()rankA rankA ≥1;(5)()1AA 和()A A 1均为幂等矩阵且与A 同秩;(6);)())((),()(),()()1()1()1(H H A R A A R A N A A N A R AA R ===(7)()n I A A =1的充要条件是n rankA =,()m I AA =1的充要条件是m rankA =;(8)()()A A AB AB =1的充要条件是rankA AB rank =)(,()()B AB AB B =1的充要条件是rankB AB rank =)(。
证 (1)由()}1{1A A ∈, 有()A A AA =1, 两边同时求共轭转置得()()H H A A AA =1, 即()H H H H A A A A =)(1,由定义知()()}1{1H H A A ∈。
(2)()()()()()A A AA A A A λλλλλ==+11, 由{1}-逆定义得, ()()}1{1A A λλ∈+。
(3)()()()()()SAT SAT S A SATT SAT S A T SAT ==----111111, 由{1}-逆定义得,()()}1{111SAT S A T ∈--。
(4)()()()()()rankA A AA rank AA rank rankA =≥≥111, 故 ()rankA rankA ≥1.。
(5)()()()()()11121AA AA AA AA ==, 故()1AA 为幂等矩阵,又由 ()()()()()A A A AA A A A 11121==, 故()A A 1为幂等矩阵, 所以rankA AA rank A AA rank rankA ≤≤=)()()1()1(,也即rankA AA rank =)()1(。
同理,rankA A A rank =)()1(。
(6)由)()()()()1()1(A R A AA R AA R A R =⊃⊃, 得 ())()(1A R AA R =, 类似的,由)()()()()1()1(A N A AA N A A N A N =⊂⊂,得())()1(A N A A N =。