两个矩阵乘积的加权{1,3,4}-逆的反序律

利用广义Schur补的最大秩最小秩方法研究了两个矩阵乘积的加权{1,3,4}-逆的反序律问题,分别给出了B{1,3N,4K}A{1,3 M,4N}(AB){1,3 M,4K},(AB){1,3 M,4K}B{1,3N,4K}A{1,3 M,4N}和(AB){1,3 M,4K}=B{1,3N,4K}A{1,3 M,4N}成立的等价条件.     

正定Toeplitz矩阵三角分解的修正Schur算法

在Schur算法的基础上构造了Schur补的位移结构，通过对Schur补的位移结构的生成子进行变化得到正定Toeplitz矩阵三角分解的一种修正的Schur算法，该算法的计算量为O(n2)．     

FITTING环的结构

本文给出了具有下列条件的结合环R的结构:R上任-n阶方阵A,有A=Q[U N]Q~(-1)(Q,U是可逆矩阵,N是幂零矩阵)。     

关于两个幂等矩阵组合群逆的探讨

运用矩阵零空间的性质证明了复数域上两个不同的非零幂等矩阵P,Q的组合a_1P+b_1Q+a_2PQ+b_2QP+…+a_(2n-1)(PQ)~(n-1 )P+b_(2n-1)(QP)~(n-1 )Q+a_(2n)(PQ)~n(其中a_1,b_1,…,b_(2n-1),a_(2n)∈C,a_1,b_1≠0)在条件(QP)~n=0(n≥2)下的秩与系数的选取无关,进而证明了其群逆存在.另外,还得到了组合aP+bQ+cPQ+dQP在条件(QP)~n=0下的群逆表达式.     

矩阵损失下回归系数的线性估计的可容许性

针对广义的Gauss-Markoff模型Y=Xβ+θ,E(θ)=0,Cov(θ)=σ2V,其中X和V＞0是已知的n×p和n×n矩阵;β∈Rp和σ2＞0是未知参数,给出了矩阵损失条件下,Sβ的估计LY+a在非齐次线性估计类中可容许的充要条件.     

子群的完全置换性对σ-幂零根的影响

先将幂零群推广为σ-幂零群,再研究子群的完全置换性对σ-幂零上根的影响。群G的所有使G/N为σ-幂零群的正规子群N的交称为G的σ-幂零上根,记为G^N_σ。设G=AB,其中A与B是完全置换的,利用子群的完全置换性质、σ-超可解群与σ-幂零群的概念和相关理论、完备Hall σ-集的性质以及有限群论的一些基本方法,给出了B正规化A的σ幂零根和中心化A的σ-幂零根的一些新的结论。     

Bellman定理的一个应用

Bellman,R证得定理B 若A,B为n×n正定矩阵,则其中trA为矩阵A的迹。(1)式等号成立的充要条件是A=B;(2)式等号成立的充要条件是B为A的常数倍。Bellman称(2)为Cauchy-Schwarz不等式在矩阵中的类似。 在[2],我们把(1)(2)拓广到A,B为n×n Hermite阵情形,得到同样的结果。 最近[3]对正定Hermite阵A与B的乘积AB特征值的上、下界作出估计:     

关于某些不等式的注记

1980年,在Oberwolfach举行的国际不等式会议上,Bellman,R.证得其中A,B为n阶正定矩阵,trA为矩阵A的迹.(1)式等号成立的充要条件是A=B.(2)式等号成立的充要条件是B为A常数倍.Bellman称之为Cauchy—Schwarz不等式在矩阵中的类似.我们证得 定理1 若A,B为n阶Hermite矩阵,则     

g-循环矩阵的谱分解和Jordan块结构

首先证明了n级非奇异g-循环矩阵必定可以对角化，并且给出了它的谱分解。其次，当（n,g）=1时，给出了n级奇异g-循环矩阵相似于某些对角阵和某些幂零Jordan块的直和，进一步给出了其中幂零Jordan块的幂零指数的计算法。     

有限幂零群的一个特征条件

设G为一个有限群，H≤G，HsG表示G的包含于H中的最大的s-置换子群。称H在G中弱s-置换若存在G的次正规子群r使得G=Hr且Hnr≤HsG。证明了：设G为一个群，N为G的一个正规子群且G／N为幂零的。则G为幂零群当且仅当F＊（N）的素数阶子群包含于超中心Z∞（G）中，且F＊（N）的4阶循环子群在G中或者有幂零的补，或者是弱s一置换的，这里为Ⅳ的广义Fitting子群。     

链环的trip矩阵

ZULLI L首先构造了一个用于计算纽结Kauffman尖括号多项式的模2矩阵,纽结的trip矩阵.为了构造链环的trip矩阵,引入了一个带标识的穿有m个孔的圆盘来取代纽结情形下的圆盘,其中m为链环的分支数.主要结果为:定理若状态S是从状态AA…A经过i1,i2,…,ip位置上的标记替换(A换成B)而得的状态.设Ts是将trip矩阵T的左上角的n×n子块中ai1i1,ai2i2,…,aipip之值进行替换(0→1或1→0)所得的矩阵,则#(L|S)=n+m-秩(Ts).因此计算链环Kauffman尖括号多项式就归结为计算一组模2矩阵的秩.     

Nonpure分段Koszul代数的单点扩张

设Λ=Λ₀⊕Λ₁⊕Λ₂⊕…是标准分次代数, M =M₁⊕M₂⊕…是由M₁生成的有限生成分次Λ-模,k是任意域.记A=（ΛM/0 k)为由Λ和M 决定的单点扩张代数.讨论了单点扩张代数A 的nonpure分段Koszul性质.特别地,给出了使得A 是nonpure分段Koszul代数的充分必要条件.     

两个幂等矩阵组合的Group逆

讨论了复数域上两个非零的幂等矩阵P,Q的组合a_1P+b_1Q+a_2PQ+b_2QP+a_3PQP+b_3QPQ+a_4PQPQ+b_4QPQP+a_5PQPQP+b_5QPQPQ+a6PQPQPQ的group逆的存在性及表达式问题,其中ai,bj∈C(1≤i≤6,1≤j≤5)且a1b1≠0.运用幂等矩阵核空间的性质证明了该组合在条件(P Q)~3=(QP)~3下的秩与系数的选取无关并进而证明了其group逆存在.另外,还给出了组合aP+bQ+cPQ+dQP的group逆计算公式.     

关于周期 δ-代数的一个注记

针对吕家凤提出的问题:设A是周期为N₀的周期δ-代数,M是周期为N₀的周期δ-A模,对任意的正整数k, 记e_k(A):=⊕_em≥0Ext_A^N₀ki(A₀,A₀).问e_k(A)-模⊕_em≥0Ext_A^N₀ki+l(M,A₀)何时是Koszul模?其中l=1,2,…,N₀－1. 本文部分地解决了上述问题,给出了该问题的充分条件.     

一类（f，dn)求和法的陶伯尔定理

一、引言 关于无穷级数的蔡查罗求和法,Petersen,G.M.在[1]中建立了下面的陶伯尔型定理: 定理A 设s={S_n}是级数sum from 0 to ∞(a_n)的部分和序例。记{S:a_n=O(1/n)},‖S‖=sup{|S_k},若sum from 0 to ∞(a_n)(C,1)可和(或(A)可和),而,那么sum from 0 to ∞(a_n)收敛。这里,表示集E按距离‖·‖作成的闭包。 本文的目的是对级数的一类(f,d_n)求和法作类似的讨论,即当f=e~(a(z-1)),d_n≡q时,证明以下的定理: 定理B 设a>0,q≥0,级数sum from 0 to ∞ (a_n)可和。那么,sum from 0 to ∞(a_n)收敛的充要条件是S={|S_k|}∈(?)。这里,S是级数sum from 0 to ∞(a_n)的部分和序列;F={S:a_n=O(1/n~(1/2))}‖S‖=sup{|S_k|},表示集F按距离‖·‖作成的闭包。     

拟线性椭圆型方程带互补边界条件的边值问题

易知,这一问题将Dirichlet问题(M={0}),Neumaun问题(M=H1/2(δΩ)以及等值面边值问题(M为常数1所张成的子空间)等作为特例包含其中. 李大潜等曾在[1]中引进线性椭圆型方程的这类边值问题,当c(x)≥0时,证明了广义解的存在唯一性.本文应用临界点理论,将这类边值问题移植到非线性方程上来,推广了[2]中关于拟线性椭圆型方程Dirichlet问题的结果,且给出使问题(Ⅰ)有解的另一类充分条件.     

关于Iyengar一个不等式的拓广

Iyengar,S.K.S.证得 定理A 设f(x)为[a,b]上可微函数,且|f′(x)|≤M,则 |integral from n=a to b(f(x)dx)-1/2(b-a)(f(a) f(b))|≤M(b-a)~2/4-1/(4M)[f(b)-f(a)]~2 。(1) 1979年Vasi,P.M.与Milovanovi,G.V.将(1)拓广成关于平均 A(f,p)=integral from n=a to b (p(x)f(x)dx)/integral from n=a to b (p(x)dx) (2)的不等式,其中p(x)是[a,b]上可积函数,且存在常数c>0,λ≥1适合     

环上广义自反矩阵及其应用

首先在带有对合反自同构的环上引入自反矩阵、广义自反矩阵等概念,证明了:①若P,Q为环R上广义反射矩阵,α,β∈R,A,B为关于(P,Q)的广义自反矩阵,则αA++βB+,αA*+βB*为关于(Q,P)的广义自反矩阵,A*B为关于Q的自反矩阵,AB*为关于P的自反矩阵;②环R上任一矩阵A可以分解成关于(P,Q)的一个广义自反矩阵和一个广义反自反矩阵之和.然后利用这些性质,讨论了四元数体上线性方程组的最小二乘解问题,得到一个将系数矩阵是广义自反矩阵的线性方程组最小二乘解问题化为两个独立的较小子问题的方法,使这类问题的求解得到简化.     

弱离散Koszul模

探讨了离散Koszul代数上有限生成分次模的离散Koszul性质,并定义了弱离散Koszul模. 设M∈gr(A),证明了M是弱离散Koszul模当且仅当M有一个子模链:0=M0 M1M2…Mm=M,使得所有的Mi/Mi-1［-di］都是离散Koszul模当且仅当M的相伴分次模〖WTHZ〗G〖WTBZ〗(M)是离散Koszul模.     

广义相关系数及其应用(Ⅰ)

一引言本文利用广义逆矩阵和广义行列式来定义随机向量之间的相关系数——广义相关系数,然后将这个概念用于多元线性模型的假设检验,导出 T~2等已知的统计量,也导出不同的统计量。文中广义逆矩阵的定义,记号以及有关的公式,请参看[1],不再逐一说明了。这里只引入广义行列式的概念,有关广义行列式的一些性质只列举一下,这些都是不难证明的。定义1.1 给定一个方阵 A,用‖A‖表示 A 的广义行列式的值,如果 A 的特征根全为0,则规定‖A‖=0,如果 A 的特征根不全为0。则‖A‖表示 A 的全部非0特征根的乘积。