亚次亚定阵及其华罗庚定理的推广（Ⅰ）

类似于正定阵、亚正定阵，讨论了次正定和亚次正定阵的一些性质，丰富了矩阵的理论。本文及以后的续文将讨论次正定阵和亚次正定阵的Hadamard乘积及Krenecker乘积，并将著名的华罗庚定理推广到次正定阵和亚次正定阵，从而得到了更多的有用结论。     

复正定阵的Kronecker乘积与Hadamard乘积

本文给出复正定阵的Kronecker乘积与Haeamard乘积仍为复正定阵的条件。这是Schur关于实正定阵的Hadamard乘积的著名结果及华罗庚定理在复正定阵上的推广。     

伴随阵与两种广义逆阵的若干性质

设adjA,A+,AD分别表示复方阵A的伴随阵、Moore-Penrose逆和Drazin逆.利用矩阵的奇异值分解、约当分解和极限过程的方法,证明了:(adjA)+=adj(A+),(adjA)D=adj(AD);并得到当A是复亚半正定阵时,A+和AD也均为复亚半正定阵,且A+=AD.     

半正定Hermite矩阵乘积迹的不等式的推广及应用

本文证明了对半正定Hermite矩阵A_1,A_2,…。A_m成立(3),(4),这里sum from i=1 to m 1/a_1≥1。实现了将离散形式的Hólder不等式和Minkowski不等式推广到矩阵上。     

实对称半正定矩阵的一个判别定理

业已熟知:实对称矩阵为半正定的充要条件是其所有主子式均非负,这里我们再给出个判别实对称矩阵为半正定的新判别法。定理实对称矩阵A为半正定的充要条件是其任意一个阶数最高的非奇异主子矩阵为正定矩阵。证明充分性。设A的某一阶数最高的非奇异主子矩阵A_(r×r)=A 存在矩阵p_1使p′_1AP_1=则 (P_1P_2)′A(P_1P_2)=P_2~1其中,D=C-B′A_(r×r)~(-1)B。易证D=0. ∵A_(r×r)为正定矩阵∴A_(r×r) 从而∴A为半正定矩阵。至于必要性的证明可仿上,略之。证毕。     

关于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)′。     

推广的AOR方法的收敛性

本文对系数矩阵为厄米特正定阵的线性方程组推广了AOR方法,给出了推广的AOR方法的两个收敛性定理,其收敛域比A.Hadjidimos和A.Yeyios在1980年的一篇文章中提出的相应定理的收敛域有所扩大。     

准对角阵的指数

本文证明了以下结果:1.设A 是分块阵A=[A_1,A_2,…,A_■],其中A_■是r_■×r_■实矩阵(i=1,2,…s),那么Ind A=max{Ind A_■}.2.设A 是n×n 实矩阵,那么1)Ind AA~-=Ind A~-A=■2)Ind AA~ =Ind A~ A=■3.设A 和B 是同样的分块的准对角阵:A=[A_1,A_2…,A_■],B=[B_1,B_2…,B_■],其中A_■和B_■都是r_i×r_i 实矩阵(i=1,2,…,s),又设AB=BA,那么1)Ind AB≤max{Ind A,Ind B},2)Ind AB≤max{Ind A_■Ind B_i},3)如果A(或B)是可逆的,那么Ind(AB)=max{Ind A_i,Ind B_i}.     

复方阵的Hermite阵与酉阵和分解的存在性与唯一性

证明了n阶复方阵的Hermite阵与酉阵和分解定理 ,即对任一D∈Cn×n,T =12 (D D 0 ,W =12 (D -D ) ,存在唯一分解D =H U的充分必要条件为W的最大奇异值σ1(W )≤ 1,其中 表示共轭转置运算 ,H是Hermite阵 ,U是特征值的实部不小于零的酉阵 ,且H =T -I -A ,U =W I A ,A =λ1W2 λ2 W4 … λsW2s。此处λ1,λ2 ,… ,λs 是实常数 ,s是W的不同的非零奇异值的个数 ,I为n阶单位矩阵     

关于正定矩阵的一个行列式不等式

本文讨论正定的厄米特(Hermite)矩阵的一个行列式不等式,即定理设■是n阶正定的厄米特矩阵(简称正定阵),n—r>1,则|H|≤|A|·|C|—|A|·|B·A~(-1)B|,(1)且等式成立的充要条件是B=0。     

正交矩阵的充要条件与O-正交矩阵的性质

定义了O 正交矩阵、R 正交矩阵、L 正交矩阵等概念,并分析了右转置矩阵、左转置矩阵和全转置矩阵与正交矩阵的关系,得到正交矩阵的充分必要条件。并给出了 O 正交矩阵、R 正交矩阵、L 正交矩阵的一些相关结论。     

格上矩阵的乘积运算性质

本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.     

两种求复数矩阵逆的方法

介绍了实部矩阵、虚部矩阵均可逆和实部矩阵可逆、虚部矩阵可分解成2个向量乘积的两种复数矩阵的求逆方法,给出了这两种复数矩阵求逆矩阵的计算公式,并通过具体的实例来验证方法的可行性。     

矩阵的RQ分解

文章利用Householder矩阵变换给出行满秩矩阵的RQ分解,作为分解结果的应用,我们给出了一般矩阵的RQ分解.     

两个二次矩阵线性组合的二次性

目的当P1,P2是2个满足方程(x-α)(x-β)=0的矩阵(称为二次矩阵),讨论了线性组合c1P1+c2P2仍是二次矩阵时系数(c1,c2)的完全分类。方法通过二次矩阵的性质和矩阵方程恒等式的性质。结果与结论将幂等矩阵、幂幺矩阵、幂零矩阵的线性组合的保持性问题推广到了二次矩阵的情形,概括了特殊矩阵线性组合性质的相关结果。     

多项式的矩阵形式及运算

根据矩阵理论,将多项式表示成矩阵的形式,并利用矩阵的运算性质,定义了多项式的加、减、乘运算,不但简化了多项式的运算,而且也为研究多项式的性质和多项式的除法奠定了基础.     

多项式除法的矩阵表示

对于两个多项式相除,目前只有竖式算法和综合除法。本文以矩阵为工具,通过引入三个定义、两个定理和两个推论,对两个多项式在整除和不能整除这两种情况下,给出了多项式除法的矩阵算法。这样多项式相除就增加了一种新的算法。     

一种整数矩阵求逆方法的证明

本文利用组合的性质证明了一种整数矩阵求逆矩阵的方法,给出了求逆矩阵的公式,并通过了实例验证。     

一种整数矩阵求逆方法的证明

本文利用组合的性质证明了一种整数矩阵求逆矩阵的方法，给出了求逆矩阵的公式，并通过了实例验证。     

循环阵与周期阵的等价性

循环矩阵与周期矩阵，本原矩阵与非周期矩阵分别有不同的定义方式。本文证明了循环矩阵等价于周期矩阵，而本原矩阵等价于非周期矩阵。