两类条件数达极小的进一步研究

矩阵求逆条件数 x(A)=‖A‖‖A~(-1)‖在矩阵求逆和求解线性方程组的误差分析中起着重要作用,不少计算数学工作者对矩阵条件数进行了研究,讨论了在不同范数意义下 x(A)达极小的条件。本文讨论了特征值条件数达极小的充要条件,在正则逆存在情况下,将 x-条件数达极小的充要条件推广到最一般情形。本文推广了[5]中的全部结果,推广了[6][7]中的相应结果,且所得结论比[6][7]更简洁,明了。定义1 设 A 为 n 阶方阵,J_A 为 A 的若当标准形,V={B;B~(-1)AB=J_A},矩阵范数‖·‖在矩阵的行交换或列交换下保持不变,则称     

准Hilbert C*-模上的范数等式

目的为了研究‖x+y‖=‖x‖+‖y‖和毕达哥拉斯等式在准HilbertC*-模中成立的充要条件。方法采用了算子论方法进行研究。结果证明了‖x+y‖=‖x‖+‖y‖成立当且仅当存在A上的态使得(〈‖y‖x-‖x‖y,‖y‖x-‖x‖y〉)=0且(〈x,x〉)=‖x‖2或(〈y,y〉)=‖y‖2成立。也给出了准HilbertC*-模中毕达哥拉斯等式成立的充要条件。结论本文的结果对研究准HilbertC*-模中的范数等式非常有用。     

四元数正定矩阵的定义及其行列式的上界

摘 文章指出: 1.n阶四元数矩阵A为自共轭矩阵的充要条件是:对任意n维四元数行向量X=(x_1,x_2,…,x_n)恒有XAX′为实数。从而现有文献关于四元数正定矩阵的定义中,关于自共轭的条件是多余的; 2.n阶四元数矩阵A=(q_n).若A为正定,则其行列式‖A‖满足不等式:     

关于线性求和法的一些问题

§1.引言我们知道,一般的矩阵求和法A=(a_(1j))的可求和域A~*上可赋于一组半范数: 如果记: 则A~*在‖x‖_A之下是一个B_0-空间;特别当A是行有限,A~*在范数‖x‖~1+‖x‖~3之下是一个B_0-空间;当A是行有限的U-方法,A~*在‖x‖~3之下是B-空间。(见[1])。本文主要讨论以下三个问题:第一,给出行有限T-求和法与一个正规(下三角)求和法相容的充要条件(定理1)。第二、在行有限右可移求和法的可求和域中可定义一个与‖x‖_A等价的齐次范数(定理2)。第三、相容性问题Mazur-Orlicz给出了关于有界序列的著名定理,但相容域为有界序列所限,我们在包含一部份无界序列的集合:     

加权条件数在矩阵扰动问题中的极小性质

设A∈C_r~(m×n),r≤min(m,n)。对于加权条件数K_(MN)(A)=‖A‖MN‖A_(MN)~+‖NM,本文指出在一定条件假设下,K_(MN)(A)在矩阵扰动问题中的极小性质。主要结果如下:1.设A∈C_r~(m×n),E是A的任意小扰动矩阵。R(E)(?)r(A),R(E~*)(?)R(A~*)且‖A_(MN)~+‖NM‖E‖MN<1,有(?)成立,则有K_(MN)(A)≤(?)MN(A)。2.设A∈C_r~(m×n),E为A的任意小扰动矩阵。r(A+E)=r(A),且‖A_(MN)~+‖NM‖E‖MN<1,有(?)成立,则K_(MN)(A)≤(?)MN(A)。其中(?)当r相似文献   

关于矩阵展形的一些新上界

文献[1]提出了矩阵的展形,证明了矩阵展形的一个上界估计式,并且给出了这个不等式取等号的条件,即A是正规矩阵且A的特征值满足条件φ时等号成立。本文探讨矩阵展形的新的上界,证明了一个矩阵展形的上界估计式:s(A)≤2‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F{}12;然后,利用矩阵展形的估计式得到了一个奇异矩阵的谱半径的上界;最后,还给出了两个关于实展形、虚展形的上界的估计式:sRA()≤‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F+tr A2n+Re tr A2-2ntr B()2()12,sIA()≤‖A‖2F-tr A2n()2-12‖[A,A*]‖2槡F+tr A2n+Re tr A2-2ntr C()2()12.     

秩与非零特征值个数的差为n-2的矩阵

得到了秩与非零特征值个数的差为n-2的n×n阶矩阵的等价刻画.对秩和非零特征值个数的差为n-2的矩阵A与B,得到了A与B相似的充要条件是A与B的迹trA=trB≠0,或者A与B的最小多项式m_A(x)=m_B(x),当trA=trB=0时.     

一般数域P上方阵的标准形

文章证明了一般数域P上方阵A都相似于P-若当形矩阵.在P=C时它就是若当标准形,P-若当形矩阵可看成复数域上若当标准形的推广,是若当标准形与有理标准形的结合.利用P-若当形矩阵给出了n维线性空间V的线性变换有有限个不变子空间的充要条件.     

Orlicz空间中单位球面上特殊点的刻画

在Orlicz空间中Φ满足Δ2-条件与‖x‖=1蕴含IΦ(x)=1这一条件是等价的,但是,并不知道Orlicz空间单位球面上的何种点满足后一条件.给出了满足上述条件的点的充要判据,并讨论了Orlicz空间的对偶空间中满足f=v+φ(K(v)=,v≠0)这一条件的元素范数可达的充要条件.     

域上与正交矩阵相似的矩阵

本文利用矩阵方程证明如下两个结果: (i)设F为一个域char(F)=2,在F上矩阵A相似于一个正交矩阵的充要条件为(1)A的不变因子是对称的。(2)A至少有一个形为(X十1)的初等因子。(3)A的形为(X+1)~m(2k+1),K≥1的初等因子出现偶数次。 (ii)当F为一个代数闭域且char(F)≠2时,F相似于一个正交矩阵的充要条件为(1)A的不变因子是自反的。(2)A的形为(X±1)~(2k)的初等因子出现偶数次。     

任意矩阵特征值的秩1修正扰动界

设A是一个n阶的任意复矩阵且E是A的Hermite秩1扰动,即E=xx',其中x是n维的复列向量,x'是x的共轭转置向量.则A+E为矩阵A的Hermite秩1修正矩阵.基于矩阵分析理论中Hermite矩阵特征值分布的性质,研究得到了矩阵A特征值的任意Hermite秩1修正扰动的上下界限,即给出了矩阵A+E特征值的上下界限:λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤λ_i(H(A))+u_i(x)+δ'_i(i=1,n),λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤min{λ_i(H(A))+u_i(x),λ_(i-1)(H(A))}+δ'_i(2≤i≤n-1),且λ_(min)(-SH(A)τ)≤S(λ_i(A+xx'))≤λ_(max)(-SH(A)τ)(1≤i≤n),其中δ_i=sgn(‖SH(A)‖_2)[λ_(min)(H(A))-λ_(i-1)(H(A))-u_i(x)],δ'_i=sgn(‖SH(A)‖_2)[λ_(max)(H(A))-λ_i(H(A))-l_i(x)+‖x‖_2~2],gap_i=λ_(i-1)(A)-λ_i(A),i=2,…,n,H(A)和SH(A)分别代表矩阵A的Hermite部分和反Hermite部分,τ=(-1)~(1/2),sgn(·)代表符号函数.当A为Hermite矩阵时,上述结果退化为已有的结果λ_i(A)-‖x‖_2~2≤R(λ_i(A+xx'))≤λ_i(A)+‖x‖_2~2.     

关于Banach代数元的谱的一个定理

本文将C代数谱的一个定理推广到Banach代数情况.主要结果是:设A为有单位元的Banach代数,B为A的子代数,而在B中定义了一个*运算和‖·‖B,使B成为C代数,且对x_n∈B,a∈A,‖x_n‖→0,ax_n∈B或x_na∈B那么有‖ax_n‖B→0,或‖x_na‖B→0,这时成立σA(x)=σB(x)(x∈B)。     

光滑Banach空间上的范数对偶映照

本文给出光滑Banach空间X到共轭空间X~*的范数对偶映照是一个同胚映照的充要条件。定义1 设X是线性赋范空间,f是定义在开凸集AX上的连续且可微的凸函数,映照 T:x→▽f(x),x∈A叫做(关于凸函数f的)梯度映照。▽f(x)表示凸函数f在x∈A点的梯度。T是X到X~*的非线性映照。定义2 设X是光滑的线性赋范空间,f(x)=1/2‖x‖~2,关于凸函数f的梯度映照     

关于谱矩阵的一个充要条件

本文改进了文[3]中谱矩阵的一个充要条件,并且证明了2阶谱矩阵一定是径向矩阵。定义1 设A∈C~(nxn),且满足p(A)=||A||2,则称A为径向矩阵,且记为A∈R_a。定义2 设A∈C~(nxn),则称数集F(A)={x~x Ax:||x||2=1}为A的值域。     

关于矩阵条件数的一些结论

本文讨论了一些矩阵范数达到极小的充要条件,其主要结果如下: 1.设A为m×n实矩阵,且具有n个线性无关的列,则求A广义逆谱条件数等于1的充要条件为A~TA=cI,其中c为正常数。 2.设A为n阶非异实矩阵,则矩阵A的求逆p-范数条件数等于1的充要条件为A=cpσ,其中c为正常数,σ是置换阵,其对角元都等于 1或-1。 3.设A为n阶非异实矩阵,则矩阵A的求逆F-范数条件数等于1的充要条件为A=cU,其中c为正常数,U为正交阵。     

一类初等算子的范数

目的讨论B(H)上初等算子Δ(X)=AXB CX的范数。探求‖Δ‖=‖A‖‖B‖ ‖C‖(A,B,C≠0)成立的充要条件和‖Δ‖的下界。方法以正规极大数值域这一复数域上的紧凸子集为媒介,根据其定义及初等算子范数的性质推导。结果‖Δ‖=‖A‖‖B‖ ‖C‖(A,B,C≠0)成立的充要条件是‖A*C‖=‖A‖‖C‖且WN(A*C)∩WN(B)≠。并求出‖Δ‖≥supλ∈WN(B)‖‖B‖A -λC‖。结论得到有关初等算子Δ范数上界的一个充要条件,找到了初等算子Δ范数的下界。并且得到初等算子范数的一些推论。     

关于Beta算子的强逆不等式

利用新定义的K泛函,对Beta算子证明了存在常数R>1,使得当l≥Rn时,有ω2φf,1n≤C‖βnf-f‖ ‖βlf-f‖ 4n‖f‖,　φ(x)=x,C是不依赖于n的常数.     

广义逆矩阵简介

§1、g-逆对于每一个非异的 n 喻方阵 A,必有逆矩阵 A~(-1)。它是以确定的关系AA~(-1)=A~(-1)A=I_n与 A 相伴的唯一的 n 阶方阵。n 个未知数 n 个方程的线性方程组 Ax=b,当 A 非异时,其唯一解可由 A~(-1)表为 x=A~(-1)b。当系数矩阵 A 为任意矩阵(包括奇异的方阵和 mn的 m×n 矩阵)时,方程组 Ax=b的解是否也可以通过一个与 A 以某种恰当的关系相伴的矩阵表示出来呢?下述定理肯定地回     

修正的Baskakov型算子的强逆不等式

利用DitzianTotik光滑模ω2φ(f,t),对1994年Gapta引进的修正的Baskakov型算子证明了:当1相似文献   

一类矩阵的SAOR方法的误差估计

给定线性方程组Ax=b,A为给定的正定对称N×N(N≥4)阶矩阵,其Jacobi“迭代矩阵B为 本文给出这类矩阵的SAOR方法的第m次迭代显式误差估计,即用‖δ~(m)‖,‖δ~(m-1)‖I及(δ~(m),δ~(m 1)估计误差:‖δ~(m)‖其中,δ~(m)=x-x~(m),δ~(m)=x(m)-x~(m-1),这里x为精确解,x~(m)为第m次迭代值。