Banach空间中集值度量广义逆齐性单值选择的判据

本文研究了Banach空间(X,‖·‖),(Y,‖·‖)上具有闭值域的稠定闭算子T:X→Y的(集值)度量广义逆.在限定X为自反的、Y为一般的Banach空间且算子值域R(T)为空间Y中Chebyshev子空间时,证明了算子T具有非空闭凸集值的度量广义逆的存在性,运用Banach空间中广义正交分解定理,得出算子T的集值度量广义逆具有唯一齐性单值选择,并且该单值选择恰为赋等价严格凸范数的空间Xr=(X,‖·‖_r)上算子T的Moore-Penrose度量广义逆.特别地,将抽象的Banach空间X与Y具体化为有限维Banach空间l₁ⁿ=(Rn,‖·‖₁)(即n维空间Rn赋l₁范数)与有限维Hilbert空间(即m维欧式空间l₂^m=(Rm,‖·‖₂),亦即m维空间赋l₂范数),线性算子T可具体表示为m×n阶矩阵A,得到了从n维空间l₁ⁿ到m维空间l     

Banach平面上的圆周率

为了更好掌握凸性理论与有关技巧,我们在老师的指导下,考虑了 Banach 平面上圆周率的上下界问题,并证明了如下有趣的事实:Banach 平面上的圆周率介于3与4之间,且3和4是可达的.一、Banach 平面及圆周率Banach 平面即为二维的线性赋范空间.鉴于二维线性空间必线性同构于 R~2,故不妨设 Banach 平面即为赋有范数‖·‖_*的 R~2空间,记为 (R~2,‖·‖_*).定义1.设 (R~2,‖·‖_*)上以 x_0为圆心,r 为半径的圆为 O={x|‖x-x_0‖_*=r,x∈R~2}.圆周长定义为圆内接多边形当边长一致趋于零时边长之和的极限.注.这里的边长是指关于范数‖·‖_* 的长度,以后若无特殊说明,均按此理解.     

关于内积空間的特征化

本文将给出内积空间的几个特征化的条件.它们都是Jordan-J.V.Neumann条件的推广。Jordan-J.V.Neumann条件是说一个线性赋范空间E的范数可由内积定义,即是说,若‖x‖代表E的元x的范数,那么为了存在内积(x,y),x,y ∈E((x、y)代表元x,y的一个埃尔米特对称正定双核性泛函数)使得‖x‖~2=(x,x),必填且只填‖x+y‖~2+‖x-y‖~2=2[‖x‖~2+‖y‖~2S](1)     

一个范数构造定理的反例及修正

1 引 言 近年来,范数在矩阵计算[2]、扰动理论[4]等领域中的应用越来越广泛.有关范数不等式的运用在一些证明中也越来越常见. 在文[3]中,Horn和Johnson引用了这样的一个范数定理: 命题 V为域F(C或R)上的向量空间,若‖·‖a1,…,‖·‖am为V上的向量范数,‖·‖β是Rm上的向量范数,则函数f:V|→R     

关于Banach空间中的线性微分方程的小时滞稳定性问题

一、引言 设 X 是 Banach 空间,‖·‖是它的范数,L(X)是映 X 到 X 内的有界线性算子构成的 Banach 空间,A 是 X 中的 C_o-类线性算子羊群 e~(tA)的无穷小生成([1]),其定义域为(?)(A),B∈L(X).我们讨论无时滞线性系统     

有约束的LP逼近的极限

设P是实n维欧氏空间的非空闭子集,函数F(A,x)关于参数A∈P和x∈[a,b]连续。f(x)∈C[a,b],取(F,P)作为对f的逼近函数类。‖·‖R,‖·‖分别表示在[a,b]上的L_(P_k)范数({P_k}为实数列,P_k↑∞)和一致范数。     

一个与Chebyshev多项式有关的极值

C[-1,1]表示[-1,1]上的连续函数空间,‖·‖_(?)是它的一致范数.又a=(a_0,a_1,…,a_n)∈l~(n 1),a_(i)∈R,记|a|_2=(sum from i=0 to n a_i~2)~(1/2).令和本文的主要目的是证明:     

不可压缩磁流体方程组在Besov空间中的爆破准则

该文给出了三维不可压缩磁流体(MHD)方程组在带有负指数的非齐次Besov空间中的爆破准则.结果表明方程组的经典解存在时间有限当且仅当范数‖·‖_v_e趋于无穷,这里所定义的范数‖·‖v_e比非齐次Besov空间中的范数‖·‖_(B_(∞,∞)~(α-1))弱,其中0 α1.     

内积与范数

对赋范线性空间成为内积空间的范数的充要条件 ,从变元个数、系数、‖·‖2 的形式等方面进行了推广 ,得到内积空间范数的若干等价条件 .     

关于线性阻尼弹性系统的一个问题

§1 问题和结果 设H是Hilbert空间,其内积为(·,·),范数为‖·‖,在H中考虑如下线性阻尼系统     

Banach 空间中的一类分析问题

<正> Banach 空间 B_1,B_2,B_3中的元素分别记为 z,v,w,其范数为‖z‖_1,‖v‖_2,‖w‖_3.B_i中的零元素记为φ_i.对任意的 z∈B_1,v∈B_2,规定乘积元素 w=vz∈B,并满足下列三性质:     

关于非线性微分方程渐近稳定的线性化原理

<正> 解的等渐近稳定性的条件.设 E 是 Banach 空间(范数为‖·‖_E),A(t)是几乎处处定义于[0,+∞)取值于 E 的有界线性算子空间(?)(范数为‖·‖)的局部一致(Bochner)可积函数,即 A(t)在每一紧区间[t_1,t_2)(?)[0,+∞)一致可测([2])和∫_(t_1)~(t_2)‖A(s)‖ds<+∞.这时(1)的几乎处处可微绝对连续解存在唯一.令 S_r={x∈E;‖x‖_E≤r},用 C(t_0,t_1,E)表定     

关于径向矩阵与谱矩阵

§1.引言与记号 设A∈C~(s×n),则称 ‖A‖=‖AX‖/‖X‖ 为A的谱模(谱范数),其中‖X‖表示向量X∈C~(n×1)的Euclid范数。即当X=(x_1,…,x_n)~(?)时,‖X‖=(XX)~1/2=sum from i=1 to n(|X_1|~2)~1/2;‖AX‖为向量AX的Euclid范数。 如众周知,我们有如下结论: 引理 1[1]、设A、B∈C~(n×n),则谱模满足范数的三个条件: 1>.恒正性:‖A‖≥0且‖A‖=0 A=0; 2>.齐次性:若α∈C,则‖αA‖=|α|·‖A‖; 3>.三角不等式:‖A+B‖≤‖A‖+‖B‖。     

Lp范数下多元正系数代数多项式倒数对非负连续函数的逼近

设d≥1为正整数,S为Rd中的单纯形,C(S)为S上连续函数类,f(x)∈C(S),f(x)≥0,f(x) 0,p＞1,‖@‖p为通常的Lp范数,‖@‖为一致范数,则存在Pn(x)∈∏+n,d={Pn(x)Pn(x)=ak≥0},常数C＞0使‖f-1/Pn‖p≤C[ω2φ(f,/4n)+‖f‖/n],这里对k,x∈Rd,k=(k1,k2,…,kd),x=(x1,x2,…,xd),记|k|=k1+k2+…+kd,|x|=x1+x2+…+xd,xk=xk11xk22…xk11dk22,ω24(f,t)为单纯形S上关于一致范数的二阶Ditzian-Totik光滑模.     

向量值定向集指标Pramart的收敛性

设(Ω,,P)是一完备概率空间,J是一向右定向集,(t∈J)是一随机基,(E,‖·‖)是一可分Banach空间,(x_t,t∈J)是一E值pramart。本文证明了:若E有(RNP)且lim/T E‖x_τ‖<∞,则(x_τ,τ∈T)在E中强拓朴下随机收敛,其中T是(t∈J)简单仃时全体。     

一类带齐次核的奇异重积分算子的范数及其应用

设核函数K(u,v)具有对称性和齐次性,对如下定义的奇异重积分算子T:(Tf)(y)=∫R_+~n K(‖x‖α,‖y‖α)f(x)dx,y∈R_+~n,其中‖x‖α=(x_1~α+…+x_n~α)~1/α(α>0),研究了T的范数及其应用.     

关于Szász算子的强逆不等式

In this paper,we obtain the strong converse inequality for Szász operators with K-functional by introducing a new K-functional of the form Kαλ(f,t2) = infg∈C2λ{‖f-g‖0 t2‖g‖2}(0≤λ≤1,0＜α＜2),where ‖·‖0,‖·‖2,C2λ are defined in the paper.As for its applications,we have extended some results before this paper.     

剩余部分最大值的矩和最后越过时间的矩

设B是一可分Banach空间,‖●‖表示其上的范数,{X_n}是定义在同一概率空间(Ω,(?),P)上的B值随机变量序列,对任意的n∈N(N为自然数集)及任意的8,t>(?),记     

群逆的扰动界及其在奇异线性系统中的应用

本文建立了群逆的扰动界,此界基于矩阵A的Jordan标准形和P-范数,其中P是非异矩阵满足P-1AP=[D000],D是非异上双对角阵且‖A‖P=‖P-1AP‖2.当矩阵A和A+E有相同的秩且‖E‖P较小时,得到了‖(A+E)#-A#‖P较好的估计.在相同的条件下,研究了相容的奇异线性系统Ax=b的扰动,给出了xopt=A#b扰动的上界,其中A#是A的群逆,xopt是最小P-范数解.     

Browder-Petryshyn型严格伪压缩映象复合迭代算法的收敛性

<正>1引言设E是实Banach空间,E*为E的对偶空间,〈·,·〉表示E与E*之间的广义对偶对.正规对偶映象J:E→2~(E*)定义为J(x)={f∈E*:〈x,f〉=‖x‖~2=‖f‖~2},x∈E.用j表示J中的单值映象.用F(T)表示映象T的不动点集.定义1.1设E是实Banach空间,K是E的非空凸子集,T:K→K是一个映象,则称T是Lipschitz的,若存在L0,使得,x,y∈K,有‖Tx-Ty‖≤L‖x-y‖.称