矩阵方程AX + XB=0求解初探

一、矩阵方程ＡＸ＋ＸＢ＝０解的判定命题＝设Ａ、Ｂ均为ｎ阶方阵,则矩阵方程ＡＸ＋ＸＢ＝０（＊）与矩阵方程Ｑ·Ｙ＝０等价;其中ＹＴ＝（ｘ１１,ｘ１２,…,ｘ１ｎ,ｘ２１,…,ｘ２ｎ,,ｘｎ１,ｘｎｎ）证明设Ａ＝（ａｉｊ）,Ｂ＝（ｂｉｊ）,Ｘ＝（ｘｉｊ）均为ｎ阶方务,则（＊）式等价于由矩阵相等关系知（＊＊）等价于下列ｎ组线性方程组现在就第（１’）式进行讨论,将（１’）展开为用矩阵表示为（ａ１１Ｅ＋ＢＴａ１２Ｅａ１３Ｅ…ａ１ｎＥ）Ｙ＝０（１’）其中ＹＴ＝（ｘ１１ｘ１２…ｘ１ｎ,ｘ２１…ｘ２ｎ…ｘｎ１…ｘ…     

正交矩阵的两个特征性质

正交矩阵的两个特征性质李先崇（贵州师范大学数学系５５０００１）本文中的矩阵均为实矩阵．Ａ＝（ａｉｊ｝）为方阵，Ａｉｊ表示ａｉｊ的代数余子式，Ａ′，Ａ＊分别表示Ａ的转置和伴随矩阵，ｎ阶矩阵Ａ＝（ａｉｊ）的迹Ｔｒ（Ａ）＝∑ｎｉ＝１ａｉ．Ｅｎ表示ｎ阶单位矩...     

矩阵方程A~TXA=D的双对称最小二乘解

１．引 言 本文用 Ｒｎ×ｍ表示全体 ｎ×ｍ实矩阵集合，用 ＳＲｎ×ｎ（ＳＲ０ｎ×ｎ）表示全体 ｎ× ｎ实对称（实对称半正定）矩阵集合，ＯＲｎ×ｎ表示全体 ｎ× ｎ实正交矩阵集合，ＢＳＲｎ×ｎ表示全体ｎ×ｎ双对称实矩阵集合．这里，一个实对称矩阵Ａ＝（ａｉｊ）ｎ×ｎ被称为双对称矩阵，如果对所有的 　　　　　　　 　　　　　　　　　　　　　　　用Ａ×Ｂ表示矩阵 Ａ与 Ｂ的Ｈａｄａｍａｒｄ乘积，Ｉｋ表示 ｋ× ｋ阶单位矩阵，Ｏ表示零矩阵，Ｓｋ＝（ｅｋ，…，ｅ２，ｅ１）∈ Ｒｋ×ｋ，其中ｅｉ表示Ｉｋ的第ｉ列． 矩阵方程…     

关于两类矩阵最佳逼近问题

１．引言与引理 设Ｒｍ×ｎ表示所有ｍ×ｎ阶实矩阵的集合;ＳＲｎ×ｎ是所有ｎ阶实对称矩阵的全体;ＯＲｎ×ｎ是所有ｎ阶实正交矩阵的全体;Ｉｎ是ｎ阶单位矩阵;ＡＴ是矩阵Ａ的转置;ｒａｎｋＡ表示矩阵 Ａ的秩;‖·‖是矩阵的Ｆｒｏｂｅｎｉｕｓ范数．此外,对于 　　　　,Ａ＊Ｂ表示 Ａ与 Ｂ的 Ｈａｄａｍａｒｄ积,其定义为　　　　　　　　　　　　　,现考虑如下问题： 问题 Ⅰ给定　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　,使得 　　　　　,求 问题Ⅱ给定 ,求 ,使得 本文运用矩阵对…     

关于矩阵迹的平均不等式

关于矩阵迹的平均不等式黄礼平（湘潭矿业学院基础课部４１１２０１）近年来，对矩阵迹的不等式研究活跃，本文给出两个矩阵迹的平均不等式．定理１设Ａ，Ｂ，Ｃ均为ｎ阶半正定Ｈｅｒｍｉｔｅ矩阵，则特别，我们有推论１设Ａ，Ｂ，Ｃ均为ｎ阶正定实对称矩阵，则诸等号当且...     

关于半正定性与偏序关系的两个问题

一、引言在讨论参数估计的容许性问题时，我们常常要考虑矩阵的偏序关系．即设Ａ，Ｂ均为ｎ阶对称矩阵，若Ａ－Ｂ是非负定阵，则称Ａ大于等于Ｂ，记作Ａ≥Ｂ，记号Ａ≥０表示Ａ为半正定阵．由矩阵不等式可导出很多数值不等式，如文［１］中有如下众所周知的结论：若Ａ≥Ｂ...     

矩阵对角相似的图论判别法

本文证明了任意两个ｎ阶复矩阵Ａ和Ｂ为对角相似的充要条件是：它们有相同的伴随有向图，并且以此有向图为基础有向图，以Ａ和Ｂ的对应非零元素比值为弧权值的赋权有向图满足“无向圈平衡条件”。我们还给出了矩阵对角相似条件在非负矩阵谱理论研究中的一个应用。     

关于正规Boole矩阵行空间的基数

称Ｂｏｏｌｅ矩阵Ａ是正规的，是指Ａ的行秩与列秩相等．本文主要得到两个结果．第一，推广了Ｊ．Ｋｏｎｉｅｃｚｎｙ在ＳｅｍｉｇｒｏｕｐＦｏｒｕｍ，ｖｏｌ．４４（１９９２）发表的论文Ｏｎｃａｒｄｉｎａ－ｌｉｔｉｅｓｏｆｒｏｗｓｐａｃｅｏｆＢｏｏｌｅａｎｍａｔｒｉｃｅｓ的主要结果．第二，若ｎ阶Ｂｏｏｌｅ矩阵的行空间基数大于２￣（ｎ－２）－２，则Ａ必是正规的．     

强对称的自正交对角拉丁方

1 引言 一个ｎ阶拉丁方是含ｎ个相异元素的集合Ｎ上的一个ｎ阶方阵，其每一行和每一列都是Ｎ的一个置换．ｎ阶拉丁方的一条截态是位于不同行不同列的ｎ个位置使得其中的ｎ个元素两两相异．ｎ阶对角拉丁方是一个ｎ阶拉丁方，其主对角线（位置（）与反对角线（位置（）均为截态． 两个ｎ阶拉丁方Ａ和Ｂ称为正交的（简记作Ａ上Ｂ），如果把它们迭合在一起时，拉丁方Ａ的每一个记号与拉丁方Ｂ的每一个记号相遇一次且仅相遇一次．如果一个ｎ阶拉丁方Ｌ和它自己的转置正交，则称Ｌ为一个自正交的拉丁方，简记为ＳＯＬＳ（ｎ）． ｎ阶自正交对角拉…     

关于阶数为奇数的布尔矩阵行空间的基数

设Ｂｎ表示所有的ｎ阶布尔矩阵的集合，Ｒ（Ａ）表示Ａ∈Ｂｎ的行空间，｜Ｒ（Ａ）｜表示Ｒ（Ａ）的基数．设ｍ，ｎ为正整数，本文证明了（Ⅰ）ｍ∈［１，４６］，［１，７８］，分别存在Ａ∈Ｂ７，Ａ∈Ｂ８，使得｜Ｒ（Ａ）｜＝ｍ．（Ⅱ）当ｎ≥９为奇数时，则ｍ∈［１，２（ｎ＋３）／２＋２（ｎ＋１）／２＋…＋２３］，存在Ａ∈Ｂｎ，使得｜Ｒ（Ａ）｜＝ｍ．     

关于正规Boole矩阵行空间的的基数

称Ｂｏｏｌｅ矩阵Ａ是正规是，是指Ａ的行秩与列秩相等。本文主要得到两个结果。第一，推广了Ｊ．Ｋｏｎｉｅｃｚｎｙ在Ｓｅｍｉｇｒｏｕｐ ｆＯＲＵＭ，ｖｏｌ．４４（１９９２）发表的论文Ｏｎ ｃａｒｄｉｎａｌｉｔｉｅｓ ｏｆ ｒｏｗ ｓｐａｃｅ ｏｆ Ｂｏｏｌｅａｎ ｍａｔｒｉｃｅｓ的重要结果。第二，若ｎ阶Ｂｏｏｌｅ矩阵的行空间基数大于２＾ｎ－１－２，则Ａ必是正规的。     

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

关于Ｈｅｒｍｉｔｅ矩阵乘积的迹的一个不等式陶跃钢（湖北教育学院４３００６０）定理设Ａ，Ｂ均为ｎ阶Ｈｅｒｍｉｔｅ矩阵，其特征值分别为则。ｒ（Ａ）三Ｚ。ｌ。。·ｌ＝１文山在Ａ正定的条件下证得上述定理，并由此给出了Ｈｏｆｆｍａｎ——Ｗｉｅｌａｎｄｔ定理的一...     

矩阵损失下均值向量的线性可容许估计

设Ｙ＝（Ｙ１，…，Ｙｎ）′相互独立，ＥＹ＝Ｘβ，ＣｏｖＹ＝Ｘｄｉａｇ（β１，…，βｎ）Ｘ′，β＝（β１，…，βｎ）′∈Ｒ＋ｎ为参数，Ｒ＋＝（０，＋∞），Ｘ为已知的元素非负且对角线元素为正的ｎ阶满秩矩阵，估计均值Ｘβ，选取损失函数为矩阵损失，估计类为Ｄ＝｛ＡＹ：Ａ为元素非负的ｎ阶矩阵｝．本文研究ＡＹ在Ｄ中的容许性，获得了ＡＹ在Ｄ中是Ｘβ的容许估计的充要条件．     

二阶方阵的平方根和三角方阵的三角平方根

二阶方阵的平方根和三角方阵的三角平方根胡结梅（南昌航空工业学院基础一部３３００３４）定义设Ａ是一个ｎ阶方阵，若存在ｎ阶方阵Ｂ，使Ｂ２＝Ａ，则称方阵Ｂ是方阵Ａ的一个平方根．以ｄｅｔＡ表示方阵Ａ的行列式，则由定义得：ｄｅｔＢ＝±ｄｅｔＡ．下面的定理１给出...     

一般增长曲线模型回归系数线性估计的可容许性

一般增长曲线模型回归系数线性估计的可容许性孙六全（华中师范大学数学系，武汉４３００７０）§１引言本文考虑一般的增长曲线模型其中Ｙ，ε为ｍ×ｎ阶随机矩阵，Ａｍ×ｐ，Ｂｋ×ｎ为已知的常数矩阵，矩阵及σ２＞０是未知参数，ｍ×ｍ阶矩阵已知，ε表示ε按列拉直。...     

布尔矩阵行空间基数的存在点

设 Ｂｎ 表示所有的ｎ 阶布尔矩阵的集合, Ｒ（ Ａ）表示 Ａ∈ Ｂｎ 的行空间,｜ Ｒ（ Ａ）｜表示 Ｒ（ Ａ）的基数．设ｍ ,ｎ,ｋ 为正整数,本文证明了当ｎ≥９, ｎ＋ ５２ ≤ｋ≤ｎ－ ３ 时,对任意的 ｍ ,２ｋ≤ｍ ≤２ｋ＋ ２ｎ－ ｋ＋ ２＋ ２ｎ－ ｋ＋ １ ＋ …＋ ２３,存在 Ａ∈ Ｂｎ,使得｜ Ｒ（ Ａ）｜＝ ｍ ．     

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

本文修正了［２］中的一个矩阵迹的不等式的一些错误，证明了ｔｒ［（Ａａ一Ｂａ）（Ａ一β一Ｂβ）］＜０当且仅当αβ＞０且Ａ≠Ｂ，ｔｒ［（Ａａ－Ｂａ）（Ａ－β－Ｂ－β）］＞０当且仅当αβ＜０且Ａ≠Ｂ，这里Ａ，Ｂ是ｎ×ｎ的Ｈｅｒｍｉｔｅ正定矩阵．     

高等代数两个定理的证明

高等代数两个定理的证明曹重光（黑龙江大学数学系１５００８０）本文给出高等代数中两个重要定理的新的证明方法．它们是诸多教材和文献中尚未见到的（看［１］－［６］）．１行列式乘法定理设Ａ，Ｂ为数域Ｆ上两个ｎ阶方阵，则｜ＡＢ｜＝｜Ａ｜｜Ｂ证明设Ａ＝（ａｉｊ）...     

φ－满射环上GL_n（R）中元素的三角分解

本文结果是：设Ａ是φ－满射环Ｒ上的非拟纯量可逆ｎ×ｎ矩阵，βｊ，γｊ（尔≤ｊ≤ｎ）是Ｒ中任意元素，它们满足Πｎｊ＝１βｊγｊ＝ｄｅｔＡ，则存在ｎ阶阵Ｂ和Ｃ满足ＰＡＰ－１＝ＢＣ，其中Ｂ是下三角阵，Ｃ是上三角阵，Ｐ∈ＧＬｎ（Ｒ）．进一步，可以取Ｂ使βｊ（１≤ｊ≤ｎ）位于Ｂ的主对角线上，同时可以取Ｃ使γｊ（１≤ｊ≤ｎ）位于Ｃ的主对角线上．     

如何计算可实现Fuzzy矩阵的容度

本文给出一种［ｒ（Ａ）］ｎ２步内找到Ｆｕｚｚｙ矩阵Ｂ∈　Ｌｎ×ｒ（Ａ）,使Ａ＝Ｂ⊙ＢＴ成立,从而计算出给定可实现Ｆｕｚｚｙ矩阵Ａ的容度ｒ（Ａ）的算法．