等迹矩阵

对线性代数中的一个古老问题“矩阵A与B有相同特征值的充分必要条件是什么?”给予了完整的回答.先给出了等迹矩阵的定义,然后证明了如下定理:①任意n阶方阵A都等迹于对角矩阵D,且D的对角线元素为A的特征值.②矩阵A与B有相同特征值的充分必要条件是A与B等迹.③相似矩阵必是等迹矩阵,     

关于矩阵迹的一个不等式

设A．B为n阶Henmite阵，X为任-nxk复矩阵，λ1(A)≥λ2(A)≥…≥λn(A)依次表示A的特征值，得到了关于矩阵迹的如下不等式：并利用所得结果给出关于矩阵迹的一些Kantomvich型不等式。     

秩与非零特征值个数的差为n-2的矩阵

得到了秩与非零特征值个数的差为n-2的n×n阶矩阵的等价刻画.对秩和非零特征值个数的差为n-2的矩阵A与B,得到了A与B相似的充要条件是A与B的迹trA=trB≠0,或者A与B的最小多项式m_A(x)=m_B(x),当trA=trB=0时.     

Hilbert空间中的Bellman问题

给出了迹类算子的若干不等式,并证明了 Hilbert 空间中的 Bellman 不等式 Tr(A~kB~k)≥Tr(AB)~k 对 k=2~n 及任二正的迹类算子 A 与 B 成立.同时还证明了当 k=2~n 时,对任一迹类算子 A,不等式 Tr(A~kA~(nk))≤Tr(AA~˙)~k也成立.针对这两个不等式的一般情况,引入了 k-可换性与 k-正规性,证明了有关算子类的闭性及其逼近性质.     

关于Bellman不等式的注记

本文证明了关于矩阵迹的七个命题:1.trAB≤(trA~2)~(1/2)·(trB~2)~(1/2),A′=A,B′=B,且等式成立A=kB 或B=kA(k≥0)。2.(tr(A+B)~2)~(1/2)≤(trA~2)~(1/2)+(trB~2)~(1/2),A′=A,B′=B.且等式成立A=kB 或B=kA(k≥0)。3.trAB≤tr((A+B)/2)~2,A′=A,B′=B,且等式成立A=B。4.trA~2≤(trA)~2,A 半正定,且等式成立rk(A)≤1。5.trAB≤(trA)(trB),A,B 半正定,且等号成立(?)A=0或B=0或A=kB(k>0)且rk(A)=rk(B)=1。6.tr(AB)~2≤trA~2B~2,A′=A,B′=B,且等式成立AB=BA。7.tr(AB)~2≤(trAB)~2其中A,B 为正定阵.A=TT′,B=QQ′,且等号成立rk(C)≤1,其中C=(T′Q)(T′Q)′。     

两个Hermite矩阵之和特征值的一些性质

给定两个Hermite矩阵A,B以及它们的特征值，给出了乘积矩阵AB的迹的一些不等式，进而得到矩阵之和A＋B的一些特征值不等式。     

等积λ矩阵

给出等积λ矩阵的定义之后,证明了下列定理:1.任意λ矩阵A(λ)都等积于对角形矩阵D(λ);2.等价矩阵必是等积λ矩阵;3.两个λ矩阵等积的充分必要条件是它们的秩相等及其初等因子的乘积相等;4.A与B等迹的充分必要条件是它们的特征矩阵~λE—A和~λE—B等积。     

一个带非定局边界条件的常微分方程的特征值的迹

迹公式在反谱问题中有着非常重要的应用,本文用[2]给出的方法推导出了问题(A)的迹公式,并且计算出了正则量与迹量。     

关于Hermite矩阵乘积迹的一个不等式的注记

利用矩阵基本知识，在文[1～2]的基础上研究了两个n阶Hermite矩阵A与B乘积迹的不等式，且其等号成立的充要条件是AB=BA，即把文[3～4]的结论推广到一般形式。     

关于矩阵的迹的Cauchy-Schwarz不等式

(一) 1 980年,Bellman,R。[2〕证得* Ztr(AB)喊tr(AZ) tr(BZ),(1) tr(AB)喊:tr(AZ)}女、tr(B。)}气(2)其中A,B为n阶正定矩阵,tr(A)为矩阵A的迹。(i)式等号成立的充要条件是A=B;(2)式等号成立的充要条件是B为A的常数倍。文〔月证得: 定理1若A,B为。阶Hermite矩阵,则(i),(2)两个不等式成立。 本文给出了满足不等式(1),(2)的另外几类矩阵。(二)对于。阶三角矩阵,文〔月证得,定理2设A、==(a,J)、,k二i,2,一,m(m>2)为。阶上(下)三角矩阵,且主对角线元素为非负,则tr(A 1 Ar二A二)喊tr(A份) t:(人蓄) .二 tr(A:) 切(3)式中等号成立当…     

关于矩阵展形的一些新上界

文献[1]提出了矩阵的展形,证明了矩阵展形的一个上界估计式,并且给出了这个不等式取等号的条件,即A是正规矩阵且A的特征值满足条件φ时等号成立。本文探讨矩阵展形的新的上界,证明了一个矩阵展形的上界估计式:s(A)≤2‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F{}12;然后,利用矩阵展形的估计式得到了一个奇异矩阵的谱半径的上界;最后,还给出了两个关于实展形、虚展形的上界的估计式:sRA()≤‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F+tr A2n+Re tr A2-2ntr B()2()12,sIA()≤‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F+tr A2n+Re tr A2-2ntr C()2()12.     

带幂等条件的Bellman不等式的证明

对于不等式ｔｒ（ＡＢ）ｍ≤ｔｒ（ＡｍＢｍ）对一切自然数ｍ以及半正定的实距阵Ａ，Ｂ成立。本文证明了在附加条件Ｂ（或Ａ）为幂等时结论成立。     

两图同谱的邻接矩阵迹判别法

证明了下列定理：设A、B分别为困G1＝（V1,E1）与G2=（V2,E2）的邻各矩阵,且V1＝V2＝n,则留G1和G2同语的充分必要条件是tr（Ak）＝tr（Bk）,k＝l,2,…,n。     

关于矩阵特征值的一种表达方式

对于k阶正定Hermite方阵A的最大特征值λ_1,文[1]用幕矩阵的迹U_(n)=tr(A~n)得到如下估计:U_(n+1)/U_n≤λ_1≤U_n~(1/u)·本文将运用幕矩阵的特征多项式推广这一结果,文中定理1和定理2叙述了对正定Hermite方阵取得的结果;定理3和定理4就更一般的情况作了论讨。     

二阶分块阵的初等变换求逆

将矩阵的初等变换、初等方阵的定义推广到二阶分块阵上,给出了用推广的初等变换求逆的依据,并求出了各种形式的二阶可逆分块阵的逆阵公式.     

关于“Bellman问题的一个证明”一文的注记

指出文[8]中主要结论证明中的问题,证明了如下定理:设x1,x2,…,xn为正整数,且x1+x2+…+xn=m,则存在正整数a1,a2,…,an,使(a1+a2+…+an)tr(A1x1A2x2…Axnn)(A1x1A2x2…Anxn)H≤a1trA12m+a2trA22m+…+antrA2nm对所有Hermite矩阵A1,A2,…,An成立,并由此得到Bell man问题的一个证明。     

关于除环上矩阵秩的几个等式

推广和改进了文[2]的一些结果,建立了除环K上关于幂等矩阵秩的几个等式:(i)设A,B∈Pn(K),则r(A+B-AB)=r-r(B)=r(B)+r[AB B0]-r(B)=r(B)+r[(I-B)A(I-B)];(ii)设c}K≠2,A,B∈Pn(K),则(1)r(A+B)=r[AB B0]-r(B);(2)r(A+B)=r(B)+r[(I-B)A(I-B)];(iii)设chK=2,A,B∈Pn(K),则 r(A+B)=r(A+AB)+r(B+AB).并得到几个推论.     

Zn形式的符号模式矩阵

用乙表示所有n阶符号模式矩阵,这些矩阵非主对角线项都是非正．对于一个符号模式矩阵A∈Zn和任意两个实矩阵,如果sgn（B1B2）∈Zn那么称这一特性为Zn内的闭特征．如果符号模式矩阵A∈Zn（n≥3）具有乙内的闭特征,那么A必定可约．最后给出了这类符号模式矩阵的结构刻画．     

矩阵广义逆偏序的新定义

从矩阵的偏序定义出发,提出了在集合意义下新的矩阵广义逆偏序的定义.$\boldsymbol{A}\leqslant^{\{1\}}\boldsymbol{B}\Leftrightarrow\boldsymbol{A}\boldsymbol{A}\{1\}=\boldsymbol{B}\boldsymbol{A}\{1\},\boldsymbol{A}\{1\}\boldsymbol{A}=\boldsymbol{A}\{1\}\boldsymbol{B}$以及$\boldsymbol{A}\leqslant^{\{1,2\}}\boldsymbol{B}\Leftrightarrow\boldsymbol{A}\boldsymbol{A}\{1,2\}=\boldsymbol{B}\boldsymbol{A}\{1,2\},\boldsymbol{A}\{1,2\}\boldsymbol{A}=\boldsymbol{A}\{1,2\}\boldsymbol{B} $.并分别讨论了四种情况下, 矩阵$\boldsymbol{A},\boldsymbol{B}$的形式.最后得到了相应的广义逆偏序的充要条件.