Banach空间的光滑性

关于Banach 空间的光滑性,已有许多文章进行了讨论,本文从一个角度较全面的分析Banach 空间的各种光滑性,引入了一(?)新的光滑概念并讨论它们相互间的关系。设X 为Banach 空间,X~* 为X 的共轭空间,X~(**)为X 的二次共轭,记S(X)={x∈X;‖x‖=1},U(X)={x∈X;‖x‖≤1},类似的有S(X~*),S(X~(**)),U(X~*),U(X~(**)),对于x∈S(X),令     

复Banach空间的复光滑性

V.ISTRXATESCU在[2]中曾给出复Banach空间中“复光滑点”的定义: “如果当f∈X~*,‖f‖=1,‖x‖=1,且对一切ζ,|ζ|≤1,|f(x) ζg(x)|≤1,则g=θ,称x是复Banach空间的复光滑点。如果S(X)={x∈X‖x‖=1}上每一点都是复光滑点,则称X是复光滑空间。”这个定义即使要求f(x)=1,任何维数≥2的复Banach空间也没有这种“复光滑点”。     

K一致凸空间的若干性质

K一致凸空间是F,Sullivan在[1]中提出的新概念,本文继[2]对这种空间的性质进行某些讨论。 X表示实的Banach空间,X~*是X的共轭空间,U(X)={x:||x||≤1,x∈X},S(X)={x:||x||=1,x∈X}。设A是X的任何子集,则spanA表示包含A的最小线性子空间。设B是X的任何凸子集,则dimB表示B的维数,且dimB=dim(span(b—B)),其中b是属于B的任一元素。定义1 [1]设X是一个实的Banach空间。如果对于任何的ε>o,存在δ=δ(ε)>o,使得当x_1,x_2,…,x_(k 1)∈S(X),且||x_1 … X_(k 1)||>(k 1)-δ时,有     

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

一种特殊形式的非线性算子的局部开性

非线性映射在一点的开性一直是人们非常关心的问题。设X、Y是两个Banach空间,θ是X中的原点,U是θ点的一个邻域,f是从U到Y中的非线性映射,那么在f满足什么条件时,有f在θ点是开的,即:存在θ点的邻域O?U,使得f(O)是开的。1927年Hildebrandt和Graves证明了:当f满足||f(x_1)-f(x_2)-T(x_1-x_2)||≤ε||x_1-x_2|| ?x_1,x_2∈U,M_ε<1,T是X到Y的连续线性映射时,f在θ点是开的。即;若f在一点可以用一个满的线性连续算子逼近时,是局部开的。1948年Graves给出了f在x_0的一个邻域内Frechet可微且导数f’(x_0)是满射,f’(x)在x_0点连续,则f在x_0点局部开。而后1958年Bartle把f’(x)在y_0点的连续性减弱为J(f’(x_0))·φ(ρ)<1其中J(f’(x_0))=Sup[     

拟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空间中任意两元素不一定有正交右存在性。     

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

最近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+     

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。     

关于Banach空间范数的可微性

设E是一个Banach空间,E~*是E的共轭空间。定义1:设x_ o∈E,如果对任意x∈E,极限■(‖x_o+hx‖-‖x_o‖)/h皆存在,则称范数‖x‖在x_o处弱可微;如果对E中单位球‖x‖≤1的元素而言,极限存在是一致的,则称范数在x_o处强可微,如果范数在每一点x处皆强(弱)可微,简称范数强(弱)可微。类似地可考虑E~*中范数的可微性,(?)曾研究了范数的可微性,给出了范数可微的一些条件:     

子空间格代数上的局部Lie导子

研究子空间格代数Alg ■上的局部Lie导子,其中■是Banach空间X上子空间格且(0)+=∧{M∈:M■(0)}≠(0).利用子空间格代数Alg ■上Lie导子的已有结构,证明了如果δ:Alg ■→B(X)是局部Lie导子,则存在两线性映射T:X~*→X~*,S:()++→X~(**),使得对任意x∈(0)_+,f∈X~*有Sx(f)=-xT(f),其中()_+是(0)_+在X~(**)中的典型映射像.     

关于广义凸性模

设X是维数不小于2的实Banach空间,分别记X的单位球面和单位球为SX={x∈X:‖x‖=1}和BX={x∈X:‖x‖≤1}.对于每个α∈(0,1),X的广义凸性模δ(α)(ε):[0, 2]→[0, 1] 定义如下:δ(α)(ε)=inf{1-‖α x (1-α)y‖:x,y∈SX,‖x-y‖≥ε}. 上述定义中的"SX"和""可以分别替换为"BX"和"=", 详细的证明见文献[1].     

Fuzzy邻域空间

本文引入U集和U滤子的概念,从而建立所谓F邻域空间。讨论了这种空间成为Fuzzy拓扑空间的条件和U滤子的收敛性。 1.U集和U滤子定义1.1 设A,B∈I~x,I=[0,1]为X上的Fuzzy集。我们称有序偶(A,B)为X上的一个U集。 Fuzzy集A和B的对偶交XB={P:PA,P~*B,P∈P_0(X)}称为U集(A,B)的核,其中P~*为P的对偶点。P_0(X)={P_α~X:x∈X,0<α<1}为X上的一切Fuzzy点的集。一个U集(A,B)称为非空的,当且仅当其核是非空的,即AB≠φ。     

支撑泛函唯一的充分条件

Banach空间中单位球面上每一点都存在支撑泛函,但是可能在同一点不止一个撑泛函。本文给出保证支撑泛函唯一的一个充分条件。《数学学报》第25卷第3期p.202—205(1982)上刊登了“支撑泛函唯一的一个充分条件”,即本文的定理A。笔者提出支撑泛函唯一的另一个充分条件,即本文的定理B。本文中E表示实或复的Banach空间。S表示E的单位球面。x_0∈s,B(x_0,r)表示以x_0为心,r为半径的闭球。如果E上的连续线性泛函f满足‖f‖=1且f(x_0)=1,则称f为s在x_0处的支撑泛函。s上的每一点都存在支撑泛函,但是可能在同一点不止一个支撑泛函。     

Banach空间是URWC的一个充分条件

文中的定理1证明了Banach空间X是URED的一个充分条件,本文证明这个条件实际上也是X是URWC的一个充分条件,从而改进了这个定理。 设X是Banach空间,X~*是X的共轭空间,S(X)和S(X~*)分别表示X和X~*的单位球面。 定义1 若对任意Z∈X,Z≠θ,及序列{x_n},{y_n}S(X),满足‖x_n+y_‖→2,x_n - y_n=a_nZ时,有a_n→○,则称X是URED。     

实共轭空间X~*严格凸的一个充分条件

设X为实Banach空间,如果X的单位球面S不包含任何非平凡的线段,则称X为严格凸的。由文献[1]知,在实Banach空间X中,如果则S上每一点的支撑泛函都是唯一的,即X是光滑的。本文证明了条件(1)也是实共轭空间X~*严格凸的一个充分条件。在证明中我们将采用文献[2]中的一些结论。     

Banach空间随机变量部分和序列的子序列的叠对数律

设(B,‖·‖)为可分Banach空间,X为定义在概率空间(Ω,(?),P)上,取值于B的随机变量,其分布为F(X)。用X∈WM_0~2表示对任意f∈B~*,有Ef(X)=0,E[f(X)]~2<∞。根据[5]引理2.1,当X∈WM_0~2时,可用xf(x)在(B,F(X))上的Pettis积分     

一类无限滞后型泛函微分方程解的存在唯一性

本文用半群方法研究了无限滞后型方程X′(t)=F(x_t),t>0;x_0=φ∈L~1(-∞,0x;),x(0)=η∈X(其中X为实Banach空间,θ≤0,F满足Lipschitz条件)解的存在唯一性。     

集值集压缩映象的某些不动点定理

设PX是实Banach空间X的一锥。P_R={x∈P:‖x‖r>0使得(L_1):Ax≮x,x∈P_r且(L_2)ε>0,(1+ε)x≮Ax,x∈P_R,则A在P_R\P_r中有一不动点。Leggett(1980)将(L_1)削弱为(L′_1):Ax≮x,x∈P(u),‖x‖=r,杜旭光(1983)进一步将(L′_1)削弱为(L″_1):Ax≮(1—ε)x,x∈P(u),‖x‖=r,0<ε<1.本文将上述文献中的全连续算子推广到集值凝聚映象,球形区域换成一般开集且将(L″_1)和(L_2)作进一步削弱。本文的结论改进和统一了[2,3,4,5]中相应结果。     

Banach空间中Banach框架的扰动性

运用算子论的方法,讨论了Banach空间中Banach框架的扰动性问题.给定X关于Xd的Banach框架({g_i}_i∈Ν,S)和有界算子T:X_d→X,探讨其在算子的作用下,得到新序列{φ_i}_(i∈Ν)X~*使得({φ_i}_(i∈Ν),T)为X关于X_d的Banach框架;给定X关于X_d的Banach框架({g_i}_(i∈Ν),S)和序列{φ_i}_(i∈Ν)X~*,讨论其在序列的扰动下,存在有界算子U:X_d→X使得({φ_i}_(i∈Ν),U)为X关于X_d的Banach框架.同时表明已知结论是新结论的推广.