弱n次积分半群拓扑

2012-11-02 07:15:00毕伟
延安大学学报(自然科学版) 2012年4期
关键词:定义

毕 伟

(延安大学 学报编辑部,陕西 延安 716000)

1 预备知识

设(X,‖·‖)为 Banach 空间,(X,‖·‖)'为 X 的共轭空间,B(X)为X到X的有界线性算子的全体,A是X中的线性算子,R(λ,A)、ρ(A)分别表示 A的预解式、预解集。

定义1.1[1]设 n∈N,称强连续算子族{T(t),t≥0}⊆B(X)是(X,‖·‖)中的n次积分半群,如果:

又称T(t)是非退化的,如果T(t)x=0(t≥0)蕴涵x=0.

定义1.2[1]设A为Banach空间X中的闭线性算子(不必稠定),n为非负整数,若存在X中的强连续算子族{T(t),t≥0}⊆B(X)以及常数ω≥0,M≥0,满足‖T(t)‖≤Meωt(t≥0)使得(ω,+∞)⊂ρ(A)及

2 主要结果

对∀λ > ω 及 x'∈(X,‖·‖)',令 Pλ,x'(x)=|x'[R(λ,A)x]|,x∈X,则利用 n 次积分半群的定义可以验证,对∀x,y∈X及λ>ω有:

即Pλ,x'(x)是X上的一拟范数,从而由拟范数族S={Pλ,x':λ>ω}可以诱导出一局部凸向量拓扑,记为τ.

定义2.1 由上述拟范数族 S={Pλ,x':λ > ω}导出的X上的局部凸向量拓扑,称为X的相对于x'的弱n次积分半群拓扑,相应的局部凸线性拓扑空间记为(X,τ).

引理2.1[2]设E是线性空间,A1、B1是E上的两族拟范数,则由A1确定的拓扑弱于由B1确定的拓扑的充要条件是:对于每个 q∈A1,必存在 p1,p2,…,pm∈B1以及正数c1,c2…,cm使得对一切x∈E下式成立:

定理2.1 由范数所导出的局部凸向量拓扑强于X上的弱n次积分半群拓扑。

证明 因为对∀λ >ω,x'∈X'及x∈X,有:

Pλ,x'(x)=|x'[R(λ,A)x]|≤‖x'‖·‖R(λ,A)‖·‖x‖再根据引理2.1,定理得证。

定义2.2 在一局部凸线性拓扑空间X中,若对于任意的 Cauchy序列{xn},{x'[R(λ,A)xn]}(λ>ω)都收敛,则称X相对于x'是弱n次积分半群完备的。

定理2.2 局部凸线性拓扑空间(X,τ)是弱n次积分半群完备的。

证明 设{xn}是(X,τ)中的任意Cauchy序列,则对于任意连续拟范数q(x)及ε>0,集合U={x:q(x)<ε}构成零的一个环境,从而必存在自然数N,使得当n,m >N 时,有(xn-xm)∈U,即 q(xn-xm)< ε,特别地,对∀Pλ,x'(x)∈S 有

可知{x'[R(λ,A)xn]}(λ > ω)是一 Cauchy数列,从而必收敛。再由定义2.2可得(X,τ)是弱n次积分半群完备的。

定理2.3 设{T(t),t≥0}是非退化的n次积分半群且x'≠0,则{T(t),t≥0}诱导出的弱 n次积分半群拓扑τ是分离的。……

登录APP查看全文

猜你喜欢
定义
活用定义巧解统计概率解答题
例谈椭圆的定义及其应用
题在书外 根在书中——圆锥曲线第三定义在教材和高考中的渗透
永远不要用“起点”定义自己
海峡姐妹(2020年9期)2021-01-04 01:35:44
严昊:不定义终点 一直在路上
华人时刊(2020年13期)2020-09-25 08:21:32
定义“风格”
成功的定义
山东青年(2016年1期)2016-02-28 14:25:25
有壹手——重新定义快修连锁
修辞学的重大定义
当代修辞学(2014年3期)2014-01-21 02:30:44
山的定义
公务员文萃(2013年5期)2013-03-11 16:08:37