APP下载

用方阵幂的性质刻画方阵的特征

2021-09-08左可正付芝美

陈 阳,左可正,付芝美

(湖北师范大学 数学与统计学院,湖北 黄石 435002)

1 引言与预备引理

文中涉及的两种广义逆参见文献[1,2]。用A+∈n×m表示矩阵A∈n×n的Moore-Penrose逆,它满足以下4个等式:

1)AA+A=A2)A+AA+=A+3)AA+=(AA+)*4)A+A=(A+A)*

用A#∈n×n表示矩阵A∈n×n的群逆,它满足以下3个等式:

1)AA#A=A2)A#AA#=A#3)AA#=A#A

下面介绍文中需要的引理:

引理1[3](Jordan定理)设A∈n×n,则存在n阶非奇异矩阵P,使得

A=PJP-1

(1)

是A的若当标准形,

证明 若当块

其中

Nt=0,于是计算得

引理3[4](核-幂零分解)设A∈m×n,则A可以分解为两个矩阵和的形式:

A=A1+A2(其中Ind(A1)≤1,A2是幂零矩阵,A1A2=A2A1=0),

且表示法唯一。

A的核-幂零分解也可以表示为

(2)

其中P和C是可逆矩阵,N是幂零矩阵。容易证明N=0当且仅当Ind(A)≤1.

引理4[5](Hartwig-Spindelböck分解)设A∈n×n且r(A)=r,则存在酉矩阵U∈n×n,使得

(3)

其中∑=diag(σ1,σ2,…,σr),σ1≥σ2≥…≥σr>0是A的奇异值,K∈r×r,L∈r×(n-r)且满足KK*+LL*=Ir.

由(3)式可以计算出文献[6]:

(4)

A#存在当且仅当r(A)=r(A2),且此时有文献[7]:

(5)

利用矩阵的Hartwig-Spindelböck分解,文献[6]给出了一些特殊矩阵的刻画条件,即下面的引理5.

引理5[6]设A∈n×n且r(A)=r,A有分解式(3),则:

引理6[8]设A是Hermitian半正定矩阵,其中k∈{2,3,…},则存在唯一的Hermitian半正定矩阵B,使得Bk=A.

关于可对角化矩阵、(正交)幂等矩阵、EP-阵和正规矩阵,许多国内外学者对它们进行了研究[7~11]。本文将首先利用Ak的性质给出可对角化矩阵和(正交)幂等矩阵的新刻画,其次用A*,A+和A#以及它们幂的特征给出EP-阵和正规矩阵的等价刻画。

2 用方阵幂刻画特殊矩阵类

下面将利用Ak的性质给出可对角化矩阵、幂等矩阵和正交幂等矩阵的一些新刻画。

定理1 设A∈n×n,A可逆,则A可对角化的充分必要条件是存在k∈+,使Ak可对角化。

证明 必要性是显然的。充分性:根据引理1知,A可以表成(1)的形式。由A可逆知,Ji中的对角元λi≠0,(i=1,2,…,t)有

定理2 设A∈n×n,则A可对角化的充分必要条件是存在k∈+,使得Ak可对角化且

登录APP查看全文