光滑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的梯度映照     

有界闭凸集的可凹点特征的另一证明

最近Bor—Luh Liu、Pei—kee Lin与S.L.Troyanski建立了有界闭凸集可凹点的一个特征,但他们的证明较长,本文将给出这个特征的另一较为简单的证明。定义1 设A是Banach空间X中有界闭凸集,x∈A,如果ε>0,均有(A/B (x,ε)),其中B(x,ε)={y∈X :‖y-x‖<ε},则称X为A的可凹点。如果恒等映射I:(A,weak)→(A,norm)在x处连续,则称x为A的连续点,简记为pc. 定义2 设A是Banach空间X中有界闭凸集,x ∈A,如果{y_n},{z_n} A,当r_n+y_n+     

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

§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给出了关于有界序列的著名定理,但相容域为有界序列所限,我们在包含一部份无界序列的集合:     

关于端点与光滑点的一个注记

设X为Banach空间,X~*为X的共轭空间,以U(X),U(X~*)分别表示X、X~*的闭单位球。设x_0∈X,‖x_0‖=1,如果U(X)在x_0处有唯一的支撑超平面,则称x_0为U(X)的一个光滑点,U(X)的光滑点全体记为Sm(U(X))。由[1]知x_0为U(X)的光滑点当且仅当X的范数在x_0处是Gateaux可微的。对于一个Banach空间X,U(X)是否一定有光滑点呢?如果X是可分的,回答是肯定的。Mazur稠性定理表明,这时U(X)有光滑点并且Sm(U(X))为U(X)={x∈X;‖x‖=1}的剩余子集(residual subset)。     

Isosceles正交注记

在实赋范线性空间E(dimE ≥ 2 )中证明 :当E中向量x ,y线性无关 ,且‖x‖ ≥‖y‖ >0时 ,存在唯一的a ∈R使得x+‖y‖ (y +ax)‖y +ax‖ =x- ‖y‖ (y +ax)‖y +ax‖即在x与y生成的平面上xIsosceles正交且只正交于一个范数是‖y‖的向量 .     

拟Banach空间正交的右存在性和左存在性

给出了一类新的正交性—拟Banach空间正交性,它是正交性的一种推广。首先,建立了拟Banach空间中两个元素的正交性与线性泛函之间的关系,并给出拟Banach空间正交的充要条件,即设X是实数域R上的拟Banach空间,有界线性泛函f∈SX*=f∈X*:‖f‖=1{},非零元素x∈X,H={h∈H:f(h)=0}是X的超平面,则f(x)=‖x‖等价于x⊥H;然后,给出了拟Banach空间正交右存在性和左存在性的充分条件;最后,举例说明了拟Banach空间中任意两元素不一定有正交右存在性。     

r方正交投影算子及其运算

§1 r方正交投影算子的定义及性质。定义1:设X是赋范空间,M,N是X的子集,若对任意的x∈M,y∈N有‖x+y‖~r=‖x‖~r+‖y‖~r 则称M与N是r方正交的,记为M⊥~rN,(r≥1)定义2:设X是赋范空间,P是X到X的线性算子,满足P~2=P,则称P是X上的投影算子 这时易知:X=R(p)(?)N(p).     

严格型非扩张映射的Halpern迭代算法

1 预备知识 设K是Banach空间的非空闭凸子集, 称T:K→K为非扩张映射,若x,y∈K有‖Tx-Ty‖‖x-y‖称T:K→Y为严格型非扩张映射,若x,y∈K, 存在一个正数k使得‖Tx-Ty‖2‖x-y‖2-k‖x-Tx-(y-Ty)‖2.     

关于可闭的K-正定算子方程的注记

设X为任意Banach空间,X*为其共轭空间,A:D(A)(∈)X→X*为可闭的K -正定算子,D(A)=D(K),则存在常数α＞0使得(A)x∈D(A),有‖Ax‖≤α‖Kx‖,而且A为闭算子,R(A)=X*,(A)f∈X*,方程Ax=f有唯一解.     

关于一致正规结构

Banach空间X称为具有正规结构,如果对每个非平凡有界凸子集K,存在p∈K,使 sup{‖p-x‖;彩x∈tr}相似文献   

渐进非扩张映射修正Halpern迭代算法

1 预备知识 设K是Banach空间E的非空闭凸子集, 称T:K→K为渐进张映射,若存在一个满足条件limn→∞θn=0的正数序列{θn}使得‖Tnx-Tny‖(1+θn)‖x-y‖,x,y∈K.称θn≡0,则T为非扩张映射.     

C.C.C.非伪紧空间是否存在remote点?

本文中所述空间都系完全正则的(Completely regular),设X是一空间,记X=βX/X,对x∈X,如果A是X中任一无处稠集,皆有x∈Cl_(βx)A,则称x是X的remote点,VanDouwen证明了若X是具有可数π-weight的非伪紧(not psendocompact)空间,则必存在remote点,(见[1]),他和Van Mill提出这样一个问题:如果把可数π-weight的条件改成较弱的条件:可分(separable),是否仍存在remote点?我们可提出更一般的问题:是否     

关于具锥的Banach空间中一类凸算子的正解和谱理论

设E是具锥KE的Banach空间.借助于锥K可以在空间E中引进半序关系,即,如y-x∈K,记为x≤y;如果y-x(?)K,则x(?)y.设A是作用在E上的非线性算子,如果AK(?)K,则称A为关于锥K是正的.关于锥K为正的算子,以下简称为正算子.正算子A称为凸的,如果存在这样的非零元u_0∈K,使得对任意的x∈K,x≠0均有     

关于有限偏序集不动点性质的两个定理

设P为一偏序集,如果P的每个自身保序映射都有不动点,则称P有不动点性质。设P~*是P的子集,若存在保序映射r:P→P~*,使当x∈P~*时r(x)=x,则称P~*是P的一个收缩核,r叫做收缩映射。我们有下述两个定理。定理1 设P是有限偏序集,则以下诸命题等值:     

一致凸Banach空间的一个性质

得到了Banach空间一致凸的一个性质:设λ,μ∈(0,1)且λ+μ=1,M={x∈X:‖x‖≤1},则10,使得当x∈M,y∈X且‖x-y‖≥ε时有‖λx+μy‖p<(1-δ(ε,p))(λ‖x‖p+μ‖y‖p)并将此结果推广到了局部一致凸空间的情形.     

Orlicz空间中函数族范数的同等绝对连续性

关于Orliez空间中函数族范数的同等绝对连续性已有如下的结果:([1],引理13.2) 设N-函数M(u)真比N-函数M(u)增加得快。(定义见[1]之134页)设函数族■在空间L_(M1)~*内一致有界:‖u‖M1≤a(u(x)∈■)。那么函数族■在空间L_M~*内有同等绝对连续的范数。(定义见[1]之117页)。     

自反和超自反子空间的一些性质

本文给出了一些方法如何构造一些自反和超自反的子空间,讨论了它们的一些性质。在本文中,H表示复数域C上的Hilbert空间,所有投影均指正交投影。定义1 φ为L(H_1,H_2)的范数闭子空间,若T∈L(H_1,H_2),满足x∈H_1,Tx∈∈〔φx〕有T∈φ,则称φ为自反的。. 定义2 φ为L(H_1,H_2)的范数闭子空间,称φ为超自反的,如果存在常数K满足T∈∈L(H_1,H_2), d(T,φ)≤ksup{‖P~1TQ‖:P、Q分别为H_2和H_1中的投影并且P~1φQ=0}。满足上式的最小常数k记为k(φ)。引理1 若φ为L(H_1,H_2)中范数闭的子空间,则T∈L(H_1,H_2),sup{d(Tx,φx):     

关于∧(μ)空间上的抽象函数

吴从炘曾经研究了在叙列空间上取值的囿变函数,并取得了许多结果。实际上,一些结果对在叙列空间上取值的绝对连续函也成立。本文主要讨论在Λ(μ)空间上取值的囿变函数,采用的方法相似于[1]中的方法,得到一些相应的结果。同时引入Λ(μ)空间上取值的绝对连续函数,得到一些有关绝对连续函数的结果。此外,李文琦、马绍芹的结果在这里也容易推出。设(X,ψ,μ)是完全测度空间,E∈ψ且μ(E)< ∞,在E上μ一可积的函数所构成的空间记为Λ(μ),一切满足的可测函数U=u(s)的全体叫做空间Λ(μ)的对偶,记作Λ~*(μ)。Λ(μ)与Λ~*(μ)分别简记作Λ、Λ~*。如果Λ=Λ~(**),则称空间Λ是完全的。设X(t)=x(s,t)是从[0,1]到空间Λ的抽象函数,如果对于每个U∈Λ~*,是有界的,则称集合M是有界集。如果对于每个有界集N(?)A~*,是有界的,则称集合是全有界的。设{X_n}是空间Λ上抽象函数的叙列,如果对于一切U∈Λ~*,{UX_n}收敛,则称{X_n}是弱收敛的;如果{UX_n}在对偶空间A~*中每个有界集上一致收敛,则称{X_n}是强收敛的。     

Banach空间中渐近非扩张映射的弱收敛定理

设C为一致凸Banach空间，且其对偶空间X^*具Kadec-Klee性质．C为X的非空有界闭凸子集，G是一定向网。{Tt，t∈G}为C上一族渐近非扩张映射．{Ttx0,t∈G}的弱收敛定理为：若x0∈C，使得(a)lim sup，∈G lim sup。∈G ‖TsTtx0-Ttx0‖=0，(b)lim sup，∈G lim sup。∈G‖TsTtx0-TtTsx0‖=0，则存在p∈AF(y)，使得Ttx0→p0。     

度量投影的连续性(简报)

1 引言设 X 是赋范线性空间,G 是 X 中可近集,dist(x,G)=inf{‖x-y‖,y∈G},则 P_G(x)={u∈G,‖x-u‖=dist(x,G)}称为度量投影,而 P(x)∈ P_G(x)称为 P_G(x)的单值选。若 G是(?)eby(?)ev 集,则 P(x)与 P_G(x)没有区别。KyFan 及 Glickskerg 证明:在(UR)空间中若G 是闭凸集,则 P_G(x)在 X 上连续。下面我们推广上述结论和[2]中结论。称 P_G(x)为(范一弱)上半连续,若对任意(弱)开集 V,{x∈X,P_G(x)(?)V}是 X 中(弱)开集。当G 是(?)eby(?)ev 集时,上半连续与普通连续一样。称空间 X 具有(H)性质若‖x‖=‖x_n‖=1,x_n(?)x_0,则有 x_n→x_0。