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

业已熟知:实对称矩阵为半正定的充要条件是其所有主子式均非负,这里我们再给出个判别实对称矩阵为半正定的新判别法。定理实对称矩阵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为半正定矩阵。至于必要性的证明可仿上,略之。证毕。     

实对称矩阵半正定性的一个新判据

本文指出了一些文献以“主要主子式非负”作实对称矩阵半正定性判据的错误,并进而提出了一个新的判据,即:实对称矩阵为半正定的充分必要条件是其任意一个阶数最高的非奇异主子矩阵为正定矩阵.由此推进了半正定性的基本定理,简化了计算方法,有利于控制理论中二次型最优问题与稳定性问题的研究.     

实正规矩阵正定的若干充要条件

定理设 A 为正规矩阵,则以下各种情况等价:(1)A 是正定正规矩阵.(2)R(A)是正定(对称)矩阵.(3)A 的任一特征值的实部大于零,即 Re(λ(A))>0.(4)(?)(?)表示 n 阶矩阵 A 的任一 k 阶主子阵,1≤i_1|Im(λ(B))|;Re(λ(B)),Im(λ(B))     

具有极大P-集的实对称阵及其伴随图

实对称阵的P-集是一个基于矩阵的特征值重数以及Cauchy插值定理所提出的定义。设 为一个 阶实对称阵,记 为 的特征值0的（代数）重数,并记 为将 的第 行与第 列去掉后所得的主子阵,其中 为 的一个非空子集。特别地,当 时,称S为 的一个P-集。记 为实对称阵 的P-集所含元素个数的最大值。Kim与Shader证明了每个 阶实对称阵至多包含 个元素,即 。杜志斌与Fonseca首先将研究重点放在树矩阵（即伴随图为树的矩阵）,研究了满足 的 阶树矩阵 ,并完全刻画出 的伴随图（树）。本文将研究范围从树矩阵延伸到所有实对称阵,研究了满足 的 阶实对称阵 ,给出其相关性质,并对 为偶数时 的伴随图进行特征刻画,而对 为奇数时 的伴随图给出了猜想,推广了关于树矩阵的结果。     

一些特殊类型矩阵多项式的逆矩阵的求法

设 A=(a_1,)是一个n阶方阵,其特征多项式 ∧(x)=x~n-(a_(11)+…+a_...)x~(n-1)+…+(-1)~a|A|,其中第k次项的系数为(-1)~(n-k)乘以A的一切n-k阶主子式之和(0≤k相似文献   

实方阵的对称与正交和分裂的存在性与惟一性

证明了n阶实方阵的对称与正交和分裂定理 ,即在一定条件下 ,一个实方阵可以惟一地分裂成一个对称矩阵与一个正交矩阵之和 ,在更一般意义下 ,可惟一地分裂成一个对称矩阵与一个正交矩阵的常数倍之和。     

实方阵的对称与正交和分裂的存在性与惟一性

证明了n阶实方阵的对称与正交和分裂定理，即在一定条件下，一个实方阵可以惟一地分裂成一个对称矩阵与一个正交矩阵之和，在更一般意义下，可惟一地分裂成一个对称矩阵与一个正交矩阵的常数倍之和。     

含对称非零元的奇数阶本原矩阵的指标集

本文证明了:当n为奇数时,含对称非零元的n阶本原矩阵类B的指标集E_B的上确界为3n-4;并且E_B={1, 2, …, 3n-4},不存在缺数段;又设N(A)是A中含正元的个数,则A是含最少正元的n阶本原矩阵的充要条件是A同构于定理6中的A.     

对《灰色集合与灰色系统的稳定性》的一点意见和补充

学报第十卷第三期发表的刘凯老师的《灰色集合与灰色系统的稳定性》一文,其定理1的结论是正确的,但证明过程尚有不妥之处.文中“存在一个正交变换P,使……”宜改为“存在一个合同变换P,使……”;相应地,“满足(?)～(?),且(?)与(?)有相同的特征值”应为“满足(?),显然(?)与(?)的惯性指数相同”;“(?)_(iimin)恰为(?)的一个特征值,因而也是(?)的特征值”应为“(?)_(iimin)恰为(?)的一个特征值,因而(?)必有一特征值与(?)_(iimin)同号.”为清楚起见,我们给出如下证明:引理1 任一实对称矩阵的正特征根数目等于该阵的正惯性指数.该引理可由惰性定理得证.引理2 对任一实对称矩阵A,如果a_(11)>0,那么该阵必有一特征根大于零.证明:存在合同变换,使得A(?),故A的正惯性指数≥1.由引理1知,A阵至少有一特征根大于零.定理1 对于灰色系统     

实对称矩阵标准形的一些应用

每个实对称矩阵都正交相似于一个对角矩阵.这是矩阵代数里最基本的定理之一.本文中给出这个定理的两个证明，运用这个定理处理樊畿不等式，Hadamard不等式，以及实二次型的正、负惯性指数等问题，求解几类实对称矩阵的特征值.本研究的处理方式和证明方法对理解矩阵代数的相关经典内容也许是有帮助的.     

关于晶体对称性定理的证明(英文)

本文通过研究与晶体中轴性对称元素相联系的基本对称操作对应的变换矩阵,提出了一个关于晶体对称性定理的完全证明。结果发现:晶体的三维空间可以形式上分成两个彼此独立的子空间,同时所有二维不变子空间都具有完全相同的2×2阶变换矩阵;以该矩阵的迹等于整数(或零)为条件获得了晶体中轴性对称元素的轴次n的允许值。     

一个高等代数问题种种解法及推广

本文论证了实n阶正定矩阵A与n阶实反对称矩阵B有det(A+B)>0,并给出若干推广.     

谈谈A~(-1)=(1/|A|)A~*的证明方法

在高等代数中有一个非常重要的定理 :方阵 A可逆的充要条件是 | A|≠ 0 ,且可逆矩阵 A的逆矩阵为 A-1=1| A| A*。在大多数教科书中 ,这个定理所采用的证明方法是 :先定义 A*,再根据 A·A*=| A|· I来证明。在教学过程中 ,常常有学生问 :“怎么能够想到矩阵 A*?我可想不到”。他们在惊叹数学家思维奇妙的同时 ,也对自己学习数学的能力产生怀疑。其实 ,上述定理可用克莱姆法则来证明。下面给出证明方法。方法一 :设 AX=I,其中 I为 n阶单位矩阵A =a11　 a12 　…　 a1na2 1　 a2 2 　…　 a2 n…　…　…　…an1　 an2 　…　 ann,　　 …     

关于Hurwitz定理的一点注记

本文指出了使用实系数标准多项式的Hurwitz 阵的所有对角主子式非负来作为这个多项式所有零点在闭左半复平面的判据是错误的.同时给出了一个定理:具有n×n 常数矩阵A 的线性微分方程组是稳定的,只要△(?)>0,(i=1,2,…,n-2)△_(n-1)=△_n=0其中△(?)(i=1,2,…,n)是矩阵A 的特征多项式的Hurwitz 阵的对角主子式.     

实对称半正定矩阵的三角(LLT)分解

设A为n阶实对称半正定矩阵,若存在一个对角线上元素全为非负的下三角阵L,使A=LLT,称为对A的三角分解.本文讨论了实对称半正定矩阵的三角分解的存在性以及这种分解的唯一性的充要条件,最后给出了实对称半正定矩阵的三角分解的一种算法.     

实对称半正定矩阵的三角（LL^T）分解

设A为n阶实对称半正定矩阵,若存在一个对角线上元素全为非负的下三角阵L,使A＝LL^T,称为对A的三角分解。本文讨论了实对称半正定矩阵的三角分解的存在性以及这种分解的唯一性的充要条件,最后给出了实对称半正定矩阵的三角分解的一种算法。     

Cochran定理在任意体上的推广

在数理统计中很有用的关于实数域上的K~2-矩阵有如下著名的结果,即Cochran定理。设A_1,A_2,…,A_S均为非0的n阶(实)对称矩阵。如果它们的和A为K~2-矩阵且秩A=sum from i=1 to S秩A_i,则A_1,A_2,…,A_S必为互相正交的K~2-矩阵。 本文将把此定理推广到任意体上的n阶矩阵中去。     

任意体上可中心化矩阵的行列式

具中心域F的体K上的一个n阶矩阵A称做可中心化的,如果特征矩阵λI-A可由一些初等变换化成下面的对角形式:使得,此处诸φ_i(λ)均为F上首项系数为1的多项式。对于具有(1)式的可中心化矩阵A,其行列式可定义如下: 本文中讨论了K上可中心化矩阵的行列式的一些基本性质。 一些重要的四元数矩阵是可中心化的,例如自共轭四元数矩阵,广义矩阵等等。 关于实对称矩阵与Hermite矩阵的一些定理也被推广了。     

含对称非零的偶数阶本原矩阵的指标集

通过假设至少含有一对对称的位置上的非零元的 n阶本原矩阵类为 B,其中 Be表示 B中偶数阶矩阵全体 ,利用非负矩阵与有向图证明了 :当 n为大于 2的偶数时 ,含对称非零元的 n阶本原矩阵类 Be的指标集的上确界为 3 n -6,并且 Ee={1,2 ,… ,3 n -6},无缺数段 ;又设 N (A)是 A中含正元的个数 ,则 B是含最小个数正元的 n阶本原矩阵的充要条件是 B同构于定理 3中的 B～ 。     

关于实反对称矩阵的基本定理

重新证明实反对称矩阵的基本定理．