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

Jordan算子代数上的Jordan导子

设A是Jordan代数,如果线性映射d:A→A满足任给a,b∈A都有d(a。b)=d(a)。b+a。d(b),则称d是Jordan导子。本文给出了自伴算子构成的Jordan代数和Spin因子上的Jordan导子的具体表达形式,并且证明了Spin因子上的局部Jordan导子和2-局部Jordan导子是Jordan导子。     

三角Banach代数上的对偶模Jordan导子和对偶模广义导子

设A,B是含单位元的Banach代数, M是一个Banach A,B-双模。 T=(^{A M}_B) 按照通常矩阵加法和乘法,范数定义为‖(^{a m}_b)‖=‖a‖_A+‖m‖_M+‖b‖_B,构成三角Banach代数。通过作用(^{f h}_g)(^{a m}_b)=f(a)+h(m)+g(b), T的对偶空间 T^*为(^{A* M*}_B^*)。 在T^*上定义模作用 (^{a m}_b)·(^{f h}_g)=(^{a·f+m·h b·h}_b·g), (^{f h}_g)·(^{a m}_b)=(^{f·a h·a}_h·m+g·b), 使其成为一个对偶Banach T-双模。从T到T^*的映射称为对偶模映射。 本文对T上对偶模Jordan导子和对偶模广义导子进行讨论, 给出了T上对偶模Jordan导子是对偶模导子的一个充分条件并且对T上对偶模广义导子进行了刻画。     

三角代数上的导子

设R是有单位元的交换环,A,B是R上的单式代数,M是非零(A,B)-单式双模,且作为A,B-模都是忠实的.记T=(A M0B)={(a m0b)a∈A,b∈B,m∈}M为A,B,M构成的三角代数.利用三角代数T上导子的性质,给出T上分别满足广义恒等式D([X,Y])=k[X,Y]和D([X,Y])=k[D(X),Y]的导子结构,以及满足广义恒等式D(X。Y)=kX。Y和D(X。Y)=kD(X)。Y的导子结构,其中k为R中单位.     

半有限von Neumann代数上的逼近2-局部导子

在逼近局部导子和2-局部导子的基础上,给出了von Neumann代数上逼近2-局部导子的定义.研究了半有限von Neumann代数上的逼近2-局部导子.设M是一个von Neumann代数,Δ:M→M是一个逼近2-局部导子.证明Δ具有齐次性并且满足对于任意的x∈M有Δ(x~2)=Δ(x)x+xΔ(x).若M是具有半有限迹τ的von Neumann代数,给出了M到其自身的逼近2-局部导子Δ具有可加性的一个充分条件,即Δ满足Δ(M_τ)?M_τ,其中M_τ={x∈M:τ(|x|)∞}.从而由2-torsion free半素环R到R自身的Jordon导子是一个导子得知,具有半有限迹τ的von Neumann代数M到其自身的逼近2-局部导子Δ若满足Δ(M_τ)?M_τ,其中M_τ={x∈M:τ(|x|)∞},则Δ是一个导子.     

多项式环上带权的单项式导子

设k是特征为零的域,k[x]为k上的多项式环,给出了k[x]上带权单项式导子的概念,然后通过对权是否为零进行分类讨论,证明了D是权为零的非零单项式导子当且仅当存在b∈k\{0},s∈N,使得对任意n∈N都有d(x~n)=nbx~(s+n-1);D是权为λ≠0的非零单项式导子当且仅当存在a∈k\{0},使得D(x~n)=0,n={0λ~(-1)((λa+1)~n-1)x~n,n≥1。     

关于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)。     

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

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

算子代数上的(α, β)-导子的空间实现性

研究算子代数上的(α,β)-导子的空间实现性.设(d)是B(X)的子代数,α和β是B(X)上的自同构,δ是从(d)到B(X)的(α,β)-导子.如果δ是传递的、自反的(α,β)-导子,则δ是拟空间实现的,也就是说,存在一个稠定义的闭线性算子T:Dom(T)→X,使得β(A) (Dom(T)(∈) Dom(T)和δ(A)x＝(Tβ(A)-α(A)T)x((∨)A∈(d),x∈Dom(T))成立.如果δ是传递的、自反的有界(α,a)-导子,而且(d)的范数闭包(d)包含一个极小左理想,则δ是空间实现的,而且其实现元是惟一的.具体地说,存在T∈B(X),使得δ(A)＝Tα(A)-α(A)T对任意的A∈(d)都成立,而且δ的实现元T在相差一个常数因子的条件下是惟一的.     

广义~*-Lie可导映射

证明了含单位元C*代数上可加的广义*-Lie导子是一个保*的可加导子。研究了因子von Neumann代数上拟正规可导映射。设H是维数大于2的复可分Hilbert空间,M是作用在H上维数大于1的因子von Neu-mann代数。若Ф:M→M是线性拟正规可导映射,则存在数λ∈R和算子T∈M且T+T*=λI,以及线性映射h:M→CI,使得对任意A∈M,有Ф(A)=AT-TA+h(A),且h([A,A*])=0。     

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)-δ时,有     

多项式环上带权的单项式导子

设k是特征为零的域,k[x]为k上的多项式环,给出了k[x]上带权单项式导子的概念,然后通过对权是否为零进行分类讨论,证明了D是权为零的非零单项式导子当且仅当存在 b∈k\{0},s∈N,使得对任意n∈N都有d(xn)=nbx s+n-1;D是权为λ≠0 的非零单项式导子当且仅当存在a∈k\{0},使得 * (注：*处代表公式)
     

两个新的多值压缩映射不动点定理

Definition 1 Suppose D a closed set in Banach Space X. If δ(x)>0 holds for every x∈D and x δ‖y-x‖(x-y)∈D is valid with δ<δ(x) for any y∈D, D is called a δ-closed set.     

关于在K1,n-free图中存在正则因子度条件的推广

图被称为K1,n-free图,如果它不含有导出子图K1,n。设G是一个具有顶点集V(G)的图,并设g和f是两个定义在V(G)的函数,使得g(x) f(x)对所有V(G)中的点x都成立。设a=max{g(x)|x∈V(G)},b=min{f(x)|x∈V(G)},并有b,a 2,n b/(a-1) 1(如果存在点v∈V(G)使得f(v)≡1(mod2),假定b n-1)。证明了:每个连通的使得∑x∈V(G)f(x)为偶数的K1,n-free图G有(g,f)-因子,如果它的最小度至少是(n-1)(a 1)b 1「b a(n-1)2(n-1) -n-1b「b a(n-1)2(n-1) 2 n-3.这个结果是K.Ota和T.Tokuda(J.GraphTheory.1996,22:59-64.)关于在K1,n-free图中存在正则因子度条件的推广。     

因子von Neumann代数上Lie-*导子

设M是作用在维数大于2的复可分Hilbert空间H上的因子von Neumann代数。若Ф:M→M是线性Lie-*导子,则存在数λ∈R和算子T∈M且T+T*=λI,以及线性映射h:M→CI,且对所有的A,B∈M有h(AB*-B*A)=0,使得对任意A∈M,有Ф(A)=AT-TA+h(A)。     

Sard定理在R~1上的一个实函证明

<正> Sard定理右f(x)d[a,b]上连续可微,则集合{f(x):f'(x)=0}的Lcbcsgnc测度为零。为证明此定理,我们先证一个引理: 引理若f(x)在[a,b]上连续可微,则对任开集A[a,b],有{f(x):x∈A}     

抽象弱d——凸函数为弱凸函数的充要条件

本文对从(a,b)到Banach空间E上的抽象函数进行了讨论,得到如下主要定理.定理设x(1)是(a,b)到Banach空间E上的抽象弱d—凸函数,则下列条件等价.(1)x(l)在(a,b)内某点弱连续.(2)x(l)是局部弱可测的.(3)x(l)是局部弱有界的.(4)x(l)是(a,b)上的弱凸函数.     

用扰动逼近算法解广义混合拟-似变分包含

本文在无限维实Hilbert空间中引入和研究了一类广义混合拟-似变分包含问题GMQLVIP(A,B,C,D,F,η,φ),在η-次微分和η-近似映象等概念的基础上,证明这类广义混合拟-似变分包含问题的一个等价命题,即设x∈H,a∈A(g(x)),b∈B(x),c∈C(x),d∈D(x),f∈F(x),则(x,a,b,c,d,f)为问题GMQLVIP的解当且仅当(x,a,b,c,d,f)满足关系g(x)=JΔφ(·,f)ρ(g(x)-ρ(a-N(b,c,d) w)),提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果.     

一类部分变换半群的Green关系

X为任意集且|X|≥5,E是X上的双等价关系,即E=(A×A)∪(B×B)∪Δ(X)其中A,B是X的真子集且|A|>1,|B|>1,Δ(X)={(x,x):x∈X}.PX表示集合X上的部分变换半群,令PE(X)={f∈PX:(a,b)∈E且a,b∈domf,(f(a),f(b))∈E},那么PE(X)是PX上的一个子半群.刻划了PE(X)的G reen关系.     

Drazin谱及其交换摄动

设A是半单Banach代数，σ_D(a)表示元素a∈A的Drazin谱.证明了以下陈述等价：(i)存在n∈N使得fⁿ∈soc(A);(ii)σ_D(a+f)=σ_D(a),对每个与f可交换的元素a∈A.