n-banach空间中强收敛与弱收敛的推广.docxVIP

n-banach空间中强收敛与弱收敛的推广 1 xe3.1 首先，文本中使用的符号如下所示。 (1) 下面的讨论中,都设dimX≥n. (2) 出现c=(c1,c2,…,cn-1)的地方,都表示c1,c2,…,cn-1∈X为线性无关的. (3) 对任意c=(c1,c2,…,cn-1),Sc={x∈X:‖x,c1,…,cn-1‖=1}表示X关于c之单位球面. (4) 用[x]表示Span{x}. 对于n-Banach空间理论问题的研究已经日趋完善,部分学者将研究目光转移到了的n-Banach空间中.有关n-Banach空间中的相关知识可参考文献(,,,). 本文中关于强收敛与弱收敛的相关结果对于进一步研究n-Banach空间理论有一定的铺垫作用. 定义1设X为线性空间,若对X中的每一个n元组x1,x2,…,xn都对应一个实数‖x1,x2,…,xn‖且满足: (1) ‖x1,x2,…,xn‖=0?x1,x2,…,xn是线性相关的. (2) ‖x1,x2,…,xn‖=‖x2,x1,…,xn‖=…(可交换). (3) ‖x1,x2,…,α·xn‖=|α|·‖x2,x1,…,xn‖,α∈R1. (4) ‖x1,x2,…,xn+x‖≤‖x1,x2,…,xn‖+‖x1,x2,…,x‖. 称X为n-赋范空间,其中‖·,…,·‖称为n-范数. 定义2设{xm}是n-赋范空间X中的点列,若X中存在线性无关组c1,c2,…,cn∈X,使得 limi,k∥xi-xk,ck1,ck2,?,ckn-1∥=0? 其中ck1,ck2,…,ckn-1为c1,c2,…,cn中任意n-1个元素组,称点列{xm}为X中的Cauchy列. 定义3设{xm}是n-赋范空间X中的点列,若存在x∈X,使对任意c1,c2,…,cn-1∈X有 ∥xm-x,c1,c2,?,cn-1∥→0,m→∞, 称{xm}收敛于x,记为xm→x,且x叫做{xm}的极限.此时也称{xm}强收敛于x,记为xms→x. 定义4若n-赋范空间X中的每个Cauchy列都是收敛的,称X为n-Banach空间. 定义5设{xm}是n-赋范空间X中的点列,若存在x∈X,以及X中线性无关的n元组c1,c2,…,cn,使对c1,c2,…,cn中任意n-1个元ck1,ck2,…,ckn-1,有 ∥xm-x,ck1,?,ckn-1∥→0,m→∞, 称点列{xm}关于c1,c2,…,cn收敛于x,且x叫做{xm}关于c1,c2,…,cn的极限. 定义6设X为n-赋范空间,A1,…,An?X为n个子空间,定义在A1×A2×…×An上的n元实函数F,如果满足: (1)F(x(1)1+x(2)1,…,x(1)n+x(2)n)= 2∑i1=1?2∑in=1F(xi11,…,xinn); (2)F(α1x1,…,αnxn)=α1α2…αnF(x1,…,xn),α1,α2,…,αn∈R1. 则称F为A1×A2×…×An上的线性n-泛函. 若存在K0,使得F(x1,x2,…,xn)≤K·‖x1,x2,…,xn‖,对?(x1,x2,…,xn)∈A1×A2×…×An成立,则称F为A1×A2×…×An上的有界线性n-泛函. 定义7设X为n-赋范空间,c=(c1,c2,…,cn-1),以B(X,c)表示X×[c1]…×[cn-1]上的有界线性n-泛函全体.对X中任意的c=(c1,c2,…,cn-1),BX=∪B(X,c)称为n-赋范空间X的共轭空间. 定义8设{xm}是n-赋范空间X中的点列,若存在x∈X,使对任意c=(c1,c2,…,cn-1),及?F∈B(X,c),有F(xm,c1,…,cn-1)→F(x,c1,…,cn-1),m→∞,称{xm}弱收敛于x,记为xmw→x. 定义9n-Banach空间X称为关于c=(c1,c2,…,cn-1)之一致凸的,如果对?ε0,存在δ=δ(c,ε)0,使得当x,y∈Sc,|x+y2,c1,c2,?,cn-1|＞1-δ时有‖x-y,c1,c2,…,cn-1‖ε. 如果对任意的c=(c1,c2,…,cn-1),X关于c都是一致凸的,则称X为一致凸. 定义10设X为n-Banach空间,定义X关于c=(c1,c2,…,cn-1)之凸性模为: δcX(ε)=inf{1-∥x+y2,c1,c2,?,cn-1∥:x,y∈Sc,∥x-y,c1,c2,?,cn-1∥≥ε}. 2 定义2、dimxn 引理1设X为n-Banach空间,则X中点列xm→x当且仅当X中存在线性无关的n元组c1,c2,…,cn,使得{xm}关于c1,c2,…,cn收敛于x. 引理2设X为n-Banach空间,x1,x2,…,xn∈X为线性无关组,则在X×[x2]…×[xn]上存在有界线性n-泛函F,使得F(x1,…,xn)=‖x1,…,