也谈矩阵逆的求法

矩阵在高等代数(线性代数)中具有非常重要的作用,其中矩阵的逆尤为重要。那么如何判断一个矩阵是否可逆,如何去更快更好地解决求逆矩阵的问题,在许多高等代数(线性代数)教科书中,主要介绍用初等行(或列)变换求可逆矩阵的逆矩阵的方法。鉴于此,主要介绍了伴随阵法、初等行(列)变换法、行列初等变换并用法、哈密尔顿—凯莱定理法、利用线性方程组求逆矩阵、分块矩阵求逆等十四种方法,并对几种比较重要的方法进行了简要论证,分析了各方法的优势和劣势,以此希望能对今后的研究起到一定的参考作用。     

从模态矩阵到模态代数

模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。因为这一简单性便于作深入的研究,形成了摸态代数语义学偏重于模态代数的发展方向;由此还形成了正规模态逻辑的概念,以及相应地使模态逻辑形成了偏重于正规模态逻辑的发展方向。模态代数为关系语义学的产生提供了理论基础。     

正定矩阵运算的封闭性

正定二次型,在二次型中占有重要位置,它在其他学科中也有重要应用。和正定二次型相伴的是正定矩阵。本文讨论正定矩阵对哪些运算是封闭的。 高等代数中把正定二次型的矩阵称为正定矩阵,也就是说,一个n阶实对称矩阵A称为正定矩阵,如果二次型X~TAX是正定二次型,此处X=(X_1,…,X_n)~T,T为矩阵的转置运算,     

对称矩阵与反对称矩阵的若干性质

在高等代数中矩阵是研究问题的重要工具,对称矩阵与反对称矩阵作为特殊矩阵无论在理论方面,还是在实际应用方面都有很重要的意义.在研究矩阵及学习有关数学知识时,经常要讨论这两种特殊矩阵的性质及应用.任何一个矩阵都可以唯一地分解成一个对称矩阵与一个反对称矩阵之和.对称矩阵与反对称矩阵既有类似的性质,也有各自特有的性质和应用.     

Fuzzy矩阵的分解定理和表现定理

在文[1]的基础上补充了数乘F矩阵和F矩阵的λ强截矩阵等概念及性质,给出了布尔矩阵的产生式集合套等概念。并证明了F矩阵的分解定理和表现定理,从两个不同角度阐明了F矩阵与布尔矩阵以及它们的代数结构之间的关系。     

矩阵代数上的映射

给出了三阶矩阵代数M3(C)的上三角子代数A上的双线性映射是2_上循环的等价刻画,然后根据此定理给出了一个映射不是2_上循环的例子.     

浅谈Mn(Z)环

若R为任一环,由[1]知R上的所有n阶方阵成的集合对于矩阵通带的加法和乘法则规亦作成一个环M_n(R)。 刊文专门讨论了整数环上的矩陈环M_n(Z),得出该环的加法群的特征以及它的))左,右)理想的特点,最后讨论了此环中的单位及零因子。     

分块矩阵在矩阵特征值问题中的应用

分块矩阵的理论在高等代数中有着广泛的应用,矩阵的分块运算是矩阵运算的一种重要方法.本文主要讨论了分块矩阵的初等变换,并举例说明和分析了分块矩阵在解决矩阵特征值计算和有关矩阵证明等问题中的应用.利用分块矩阵可以使阶数比较高和比较复杂的矩阵的特征值问题的解决变得简明而清晰.     

一道证明题的误证分析

本文分析了出现在高等代数中一道证明题的两种错误证法.从中让我们对矩阵的逆这一概念的理解更准确,更透彻.     

单李代数不可约表示的标记

对于n秩单李代数g,当采用Dynkin关于素根的分类时,其不可约表示可以用n个非负整数Λ_(αi)标记,也可通过初等表示的权用数组li来标记。利用Cartan逆矩阵,我们给出了计算Λ_(α_i)与li之间关系的方法。对于B_n、C_n、D_n和F_4,利用Cartan逆矩阵证明了这些li是与采用Cartan关于素根的分类时的Λi是一致的。     

有限域上的一类方程组

给出了有限域Fq 上一类方程组∑ski =1 akix1d(k)i1 ……xnd(k)in =bk ,k =1,… ,m的解数公式及其求解方法 ,这里di1(k) ,… ,din(k) >0 ,aki∈Fq ,bk∈Fq,k =1,… ,m ,i=1,… ,sk.     

再论Fuzzy矩阵的广义逆

文[1]讨论了Fuzzy矩阵广义逆的一些性质及求法，在此基础上，本文进一步讨论了Fuzzy矩阵广义逆矩阵与该矩阵的行秩、列秩的关系，并利用矩阵的初等变换及矩阵的分块法给出了广义逆矩阵存在的充要条件以及其他的一些性质。     

一类符号模式矩阵嵌套蕴含稳定性的刻划

设A为n阶符号模式矩阵,若存在与A有相同符号模式的实矩阵B及n阶置换矩阵P,使得C=PTBP的各阶顺序主子式负正相间,则称A是嵌套蕴含稳定的.该文研究一类特殊的符号模式矩阵,给出其嵌套蕴含稳定的完全刻划.     

四元数体上的极化余子式和逆矩阵公式

在四元数体Q上研究了行列式及所谓类自共轭矩阵的行列式的性质，提出了自共轭矩阵的极化余子式和极化伴随矩阵的概念，推广了域上行列式按一行（列）展开定理，得到了逆矩阵公式以及左线性方程组的Cramer解式。     

关于不定方程x3+1=7py2

设p=3k+2,k(≠)3(mod8),k(≠)7(mod8)为素数.利用递归数列,同余式,平方剩余以及Pell方程解的性质.证明了关于不定方程x3+1=7py2仅有整数解(x,y)=(-1,0).     

整数环上线性方程组有解的充要条件

本文利用整数环上矩阵的不变因子理论,给出并证明了整系数线性方程组有整数解的一个充要条件.     

矩阵方程X~2 AX XB C=0的解的讨论

讨论了一元二次矩阵方程X2 AX XB C=0的解,分别得出可对角化解及一般解的构造性结果.     

剖分及其精细化模型

本文讨论了剖分的另一类模型——精细剖分模型。主要结果是:给出了精细剖分数的递归关系式:建立了一般剖分数与精细割分数之间的相互关系;还给出了精细剖分与精细划分之间的关系。     

广义延拓矩阵的奇异值分解

具有广义行或列对称性结构的矩阵（即广义延拓矩阵）的奇异值和奇异向量与原矩阵（母矩阵）的奇异值和奇异向量存在定量关系,从而对于广义延拓矩阵的奇异值分解,可利用母矩阵奇异值分解来实现。这不但可以节省计算量和运算量,而且不影响任何数据的精度。     

子矩阵约束下矩阵方程XA=B的对称非负定解

利用矩阵的广义逆及奇异值分解 ,给出了子矩阵约束下线性矩阵方程XA =B有对称非负定解的充分必要条件 ,并在有解时 ,给出了相应解的一般表达式