矩阵方程A~TXA-X=C的简捷解法及应用

本文讨论了矩阵方程A~TXA-X=C的相容性,解的存在唯一性,解法及解的表达式,并且应用于微分方程中,得出常系数线性离散系统x(τ+1)=Ax(τ)的李亚普诺夫函数的构造。     

矩阵方程A~TX+XB=C的新解法及应用

本文利用Kronecker积和拉直算子,直接了当地化矩阵方程A~TX+XB=C为线性方程组My=b。从而用简便的初等方法讨论矩阵方程的相容性.解的存在唯一性.解法以及解的表达式。并应用于研究微分方程dx/dt=AX解的渐近稳定性、稳定性.还给出李亚普诺夫数的简洁构造式。     

商集、商群与商环

在近世代数中,商集、商群与商环这三个概念对初学者来说难以掌握,为此,本文将详细、较深入地剖析这三个概念,供学员参考。 一、商集 1.设集A,如果规定A的元间一个关系～,且它满足反身性、对称性、传递性,则称～是一个等价关系。 2.设集A,如果存在A的一个子集族     

线性空间的分解与若当标准形

本文证明了下面两点:(1)设A 是n×n 矩阵,那么A 相似于(?)为若当块矩阵,它仅有一个特征值和一个线性无关的特征向量.(2)者|λI-A|=(λ-λ_1)~(r_1)-(λ-λ_2)~(r_2)…(λ-λ_3)~(r_3),其中λ_1,λ_2,…,λ_3两两不同,那么dimN(A-λI)~(r(?))=r_(?)(i=1,2,…,8)其中Ⅳ(A-λ_1I)~(r(?))={α|α∈U~n,(A-λI)~(r(?))·α=0}.U~n 是n 维列向量.     

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

关于集环

本文首先讨论了集合环与代数环的关系;然后把集合环看成特殊的代数环,讨论了它的简单性质:最后给出了有限集合环的构造.     

无限共轭子群类积定理的证明

本文证明了当一个群的子群的共轭子群有无穷多个时,其所有共轭子群之积,仍是原来群的一个正规子群。     

Fuzzy子群的若干性质

本文引入方程μ(xa)=μ(b)的Fuzzy 解慨念,证明了μ是群S 的Fuzzy 子群当且仅当μ(xa)=μ(b)的解都是Fuzzy 解,由此揭示出Fuzzy子群若干新的性质,并且给出了等式μ(xa)=μ(xb)成立时,x 可消去的一系列判别条件.最后简单讨论了力程μ(xa)=μ(b)的解的构造.