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).     

关于一类算子的共鸣定理

本文将证明一类非线性算子的共鸣定理。设Λ是任意指标集,X是一个第二纲的赋β*范空间,Xλ是赋准范空间(λ∈Λ),Aλ是X到Xλ内的次减算子,当{A∈λ}满足本文中定理1的条件时,有supλsup‖x‖*≤r‖Aλ(x)‖∞成立。     

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空间中随机单调减算子的随机不动点定理

利用在赋范线性空间中引入的半序和锥:即设E是实赋范线性空间, f ∈是E上非零连续线性泛函, E*定义E上关系:x y≤??≤x y f x f y f x y ()()(?=?,证明了Banach空间中随机单调减算子的随机不动点)定理,并给出了迭代及其收敛性.     

复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-正定算子方程的注记

设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有唯一解.     

关于赋范空间的若干研究

本文运用泛函分析的方法研究了赋范空间和距离空间的关系,证明了设X是数域F(F=R或G)的一个线性空间,ρ:X×X→F二元映射,若ρ满足一定条件时,则(X,‖·‖)是一个赋范空间,其中‖x‖=ρ(x,0)(x∈X).     

Coldstine定理的一个推广

本文给出了Coldstine定理的一个推广:设X是赋准范线性空间,U={x∈X|||x|||≤1}U~(**)={x~(**)∈X~(**)||x~(**)||≤1}分别表示X、X~(**)中闭单位球.则J[CO(U)]在U~(**)中弱稠.     

线性算子在H_ω~*上的逼近定理

1.设X是Banach空间,其范为‖·‖x,U是X中线性稠密集,对U中的元规定中范|·|u,若f∈X,对t∈(0,1)称     

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

线性赋范空间中不动点的逼近

在线性赋范空间中,应用Ishikawa迭代序列证明了3个不动点定理,这些定理也推广了Pathak HK和Kang SM等人的一些结果。设E是赋范线性空间X的凸子集,T是E到E的自映射,F（T）≠Ф,若对任意x1∈E,迭代序列M（x1,αn,βn,T）收敛于P,则P∈F（T）。又若X是一致凸的Banach空间,E是X的闭凸子集,T：E→E为自映射,对任意x0∈E,定义序列xn＋1=（1-cn）xn＋cnTxn,则迭代序列│xn│∞b=1若收敛于P,则P∈F（T）。     

近似非精确加速迫近梯度方法求解一类最大特征值函数极小化问题

非精确加速迫近梯度(IAPG)算法,用于解决问题min{F(X)=f(X)+g(X):X∈Sn},其中函数f:Sn→R是连续可微的,且▽f是Lipschitz连续的,函数f,g均是正常的,下半连续凸函数(可能非光滑).利用近似IAPG算法借助于非光滑函数的光滑近似,解决非光滑函数中最大特征值函数与一般非光滑函数g(x)的和的极小化问题,得出近似IAPG算法,并给出了收敛性分析.将近似IAPG算法用于求解带有线性约束的最大特征值函数的优化问题.     

拟Orlicz序列空间的完备性

设(X,‖·‖)为赋拟范空间,M(t)是满足条件△2的凸Φ函数.再设x是取值于X的一个无限序列.在x序列构成的线性空间中,通过Orlicz序列空间的构造方式得到拟Orlicz序列空间(LM(X),‖·‖M).当(X,‖·‖)是完备的,(LM(X),‖·‖M)也是完备的.     

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。     

关于Blaschke收敛定理的推广

[1]中讲述了Blaschke收敛定理。本文把这个定理推广到了赋范线性空间,并在度量空间中得到了类似的结果。§1 定义和引理设(X,d)是一个度量空间。对X中的集序列{A_n},定义其外极限为集合(?)A_n={x|x∈X,存在一串单调上升的自然数{n_k}及x_(n_k)∈A_(n_k),使x=(?)X_n_k};定义{A}的内极限为集合 (?)A_n={x|x∈X,存在自然数n_0~-及x_n∈A_n(n≥N_0~-)使x=(?)_n};若(?)A_n=(?)A_n=A,则称A为{A_n}的极限,或者说{A_n}收敛于A,记为(?)A_n=A。     

预不变凸函数的一个等价条件

广义凸性在数学规划与最优化理论中具有十分重要的作用.本文通过将对多元实值函数的研究转化为对单变量的实值函数的研究,首先证明了当X为关于η的不变凸集,η满足条件C,f满足条件D时,对任意给定的x,y∈X,(A)λ∈[0,1],F(λ)=f(y+λη(x,y))是凸函数当且仅当f为关于η的预不变凸函数. 在此基础上建立了二次连续可微的预不变凸函数的一个等价条件:设X为关于η的开不变凸集,η满足条件C,f二次连续可微且满足条件D,则f关于η为预不变凸函数等价于(A)x,y∈X,η(x,y)T2f(x)η(x,y)≥0.本文的结果为判断函数的预不变凸性提供了新的思路.     

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

设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)。     

一类算子的谱理论(Ⅰ)——(AC)算子的基本性质

设X是复B-空间,B(X)是X上有界线性算子全体,C是复平面,F是C的一切闭子集类,我们引入一类算子,并研究它的谱理论,算子T∈B(X)称为(AC)算子,若T有性质(A)与(C),我们证明:(1)T∈B(X)是(AC)算子当且仅当对F到X的闭子空间类的同态X(·)满足下述条件:(ⅰ)(F_1∩F_2)=X(F_1)∩X(F_2);(ⅱ)X(φ)={0},X(C)=X;(ⅲ)TX(F)X(F);(ⅳ)σ(T|X(F))F;(ⅴ)对x∈X若存在解析函数x(λ):CF→X,使(λI-T)x(λ)=x,则x(λ)∈X(F),λ∈CF,(2)设T∈B(X)是(AC)算子,则对任何F∈F,有:(ⅰ)若X_T(F)≠{0},则F∩σ(T)≠φ;(ⅱ)若X_T(F)={0},则F∩σ_p(T)=φ,(3)设T∈B(X),σ(T)位于光滑Jordan曲线Γ上,又对每个z∈Γ,存在Γ邻域V上非零解析函数f(z),使 ‖f(z)R(λ,T)‖≤M_z,λ≠z,λ∈V,M_z>0,则T是(AC)算子。     

在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

关于一类算子的共鸣定理

本文将证明一类非线性算子的共鸣定理。设Λ 是任意指标集,X 是一个第二纲的赋β*范空间,Xλ是赋准范空间(λ∈Λ),Aλ是X 到Xλ内的次减算子,当{Aλ}满足本文中定理1的条件时,有 * 成立。（注：*处为公式）