刘俊同
(阜阳师范学院 数学与统计学院,安徽 阜阳 236037)
正规矩阵的等价刻画
刘俊同
(阜阳师范学院 数学与统计学院,安徽 阜阳 236037)
正规矩阵在酉相似理论中起着非常重要的作用。利用Schur定理和酉相似矩阵的特征值、奇异值、迹以及向量的内积等角度讨论了正规矩阵的若干等价条件。
正规矩阵; 酉矩阵; 上三角矩阵; 迹
正规矩阵是酉相似下保持不变的矩阵,对称矩阵,斜对称矩阵,酉矩阵以及正交矩阵都是特殊的正规矩阵,它在矩阵理论研究中起着非常重要的作用。教材[1]和[2]给出了正规矩阵的定义和几个等价条件,文献[3-6]也讨论了正规矩阵的若干等价条件。本文通过对矩阵的特征值,奇异值, 迹以及向量的内积的研究获得了正规矩阵的几个等价条件。
为了叙述方便,对符号作如下约定:Cn表示复数域,Mn表示复数域上n×n矩阵的集合,A*表示A的共轭转置矩阵,tr(A)表示A的迹,Re λ表示复数λ的实部,Im λ表示复数λ的虚部。A∈Mn,A的特征值分别记为λ1,λ2,…,λn。
定义1设A∈Mn,若满足A*A=AA*,则称A是正规矩阵。
定义2设U∈Mn,若满足U*U=I,则称U是酉矩阵。
定义3设A,B∈Mn,若存在酉矩阵U,使得A=U*BU,则称A和B酉相似。
引理1 (Schur定理)设A∈Mn,A有特征值λ1,λ2,…,λn,它们按任意给定的次序排列,则存在一个酉矩阵U,使得U*AU=T=[tij]是具有对角元tii=λi,i=1,2,…,n的上三角矩阵。
引理2设A∈Mn,则矩阵A是正规矩阵当且仅当下述任一命题成立
(1)A可酉对角化,即存在一个酉矩阵U∈Mn,使得U*AU=diag(λ1,λ2,…,λn)。
引理3设A,B∈Mn,则有(1)tr(AB)=tr(BA);(2)tr(AA*)=0⟺A=0。
定理1设A∈Mn,则矩阵A是正规矩阵当且仅当下述任一命题成立
(a)矩阵A的奇异值分别为|λ1|,|λ2|,…,|λn|;
(e)tr(A*A)2=tr((A*)2A2);
(f)(A*A)2=(A*)2A2。
证明(a)设矩阵A的奇异值分别为σ1,σ2,…,σn,于是,有
由引理2 (2),A是正规矩阵,反之,若A是正规矩阵,由引理2 (1),存在一个酉矩阵U∈Mn,使得U*AU=diag(λ1,λ2,…,λn),于是,有
U*A*AU=diag((|λ1|2,|λ2|2,…,|λn|2)。
所以,矩阵A的奇异值分别为|λ1|,|λ2|,…,|λn|。
(b)不妨设A是上三角矩阵,因为由引理1,存在一个酉矩阵U,使得U*AU=T=[tij]是具有对角元tii=λi,i=1,2,…,n的上三角矩阵,于是tr(A*A)=tr(T*T)。注意到
于是,有
由引理2 (2),A是正规矩阵;反之,若A是正规矩阵,由引理2 (1),存在一个酉矩阵U∈Mn,使得U*AU=diag(λ1,λ2,…,λn),于是,有
从而,(b)得证。
(c) 同(b)。
由(b)知,A是正规矩阵;反之,显然。
(e) 若tr(A*A)2=tr((A*)2A2),由引理3,有tr(AA*)2=tr(A*A)2,于是
tr((A*A-AA*)*(A*A-AA*))
=tr((A*A-AA*)2
=tr(A*A)2-tr((A*)2A2)-tr(A2(A*)2)+tr(AA*)2=0
所以,A*A-AA*=0,即A*A=AA*,反之,显然。
(f)若(A*A)2=(A*)2A2,则tr(A*A)2=tr((A*)2A2),由(e) 知A是正规矩阵;反之,显然。
定理2设A∈Mn,则矩阵A是正规矩阵当且仅当下述任一命题成立
(a)(Ax,Ax)=(A*x,A*x)对任意x∈Cn都成立;
(b)(Ax,Ay)=(A*x,A*y)对任意x,y∈Cn都成立;
证明(a) 因为内积恒等式
(Ax,Ax)=(A*x,A*x)⟺(Ax)*Ax=(A*x)*A*x
⟺x*A*Ax=x*AA*x
⟺(x,A*Ax)=(x,AA*x)
⟺(x,(A*A-AA*)x)=0。
此式对任意x∈Cn都成立当且仅当A*A-AA*=0,即A是正规矩阵。
(b) 若(Ax,Ay)=(A*x,A*y)对任意x,y∈Cn都成立,则令x=y,便得(a), 所以A是正规矩阵;反之,若A是正规矩阵,则有A*A=AA*,于是对任意x,y∈Cn,有
y*A*Ax=y*AA*x⟺(Ax,Ay)=(A*x,A*y)。
(c)由于|(Ax,x)|≤(|A|x,x)是酉不变量,即它成立当且仅当
|(U*AUx,x)|≤(|U*AU|x,x),其中U为任一酉矩阵,并注意到|U*AU|=U*|A|U。 因此,使用引理1 , 可以假定A是上三角矩阵。
若A是正规矩阵,则上三角的正规矩阵一定是对角矩阵,不妨设A=diag(λ1,λ2,…,λn),于是要证不等式等价于
后者显然成立。 反之,设|(Ax,x)|≤(|A|x,x)对任意x∈Cn都成立, 其中A是上三角矩阵。 下证A实际上是一个对角矩阵,从而A是正规矩阵。 下面对n=2的情形给出证明,一般情形应用数学归纳法证明即可。
[1] Horn R A, Johnson C R. Matrix analysis[M]. Cambridge: cambridge university press, 2013: 131-148.
[2] 陈景良,陈向晖.特殊矩阵[M].北京:清华大学出版社,2001:144-153.
[3] 张 英.正规矩阵的判定及其性质[J].重庆师范学院学报(自然科学版),1998,15(4):77-80.
[4] 姚光同,贾 璐.正规矩阵的一个等价条件[J].松辽学刊(自然科学版),2002,24(3):67-68.
[5] 张 贺,袁 博.正规矩阵的几个等价条件[J].河北北方学院学报(自然科学版),2009,25(1):9-13.
[6] 卢辛全,王玉良,胡江海.正规矩阵若干判定及性质[J].阜阳师范学院学报(自然科学版),2009,26(3):4-6.
The Equivalent Characterization of the Normal Matrix
LIU Jun-tong
(SchoolofMathematicsandStatistics,FuyangNormalUniversity,FuyangAnhui236037,China)
The normal matrix plays a very important role in unitary similarity theory. The normal matrix is discussed by using Schur-lemma and unitary similarity from the eigenvalues, singular values and traces of the matrices. At the same time, several equivalent conditions about normal matrix are obtained.
normal matrix; unitary matrix; upper triangular matrix; trace
2015-04-19
阜阳师范学院精品课程(2012JCJY04);安徽省教学研究项目(2013jyxm139);阜阳师范学院基层教学组织建设项目(2013JCJS03)资助。
刘俊同(1982-),男,硕士,讲师,研究方向:代数学、矩阵论。
O151. 21
A
1004-4329(2015)04-006-03
10.14096/j.cnki.cn34-1069/n/1004-4329(2015)04-006-03