泛函分析线性赋范空间论文

《泛函分析线性赋范空间论文》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、..线性赋空间上算子的一致连续性定理满足的序列和都有  摘 要:证明线性赋泛空间紧子集上的连续算子一定一致连续,以及算子为一致连续个充要条件是任意两个;或对任意Cuchy序列{xn},{Txn}是Y中的Cuchy序列;或对任意ε>0,存在正数c,使得对x、y∈D,当‖Tx-Ty‖>c‖x-y‖时,恒有‖Tx-Ty‖<ε。关键词:连续;一致连续;线性赋空间..word.zl...前言众所周知,数学分析中所讲的函数的一致连续性反映的是函数的整体性质,它是连续函数理论的重要组成局部.由于其重要性人们在这方面做了大量的深入研究.但是在对数学分析

2、全面提升的泛函分析中,关于算子一致连续性的讨论就少的多.本文主要是给出线性赋泛空间上算子一致连续的几个等价条件以及连续算子成为一致连续算子的几个充分条件,从而推广了数学分析家都熟悉的一致连续性定理.在本文中(X,‖・‖1)、(Y,‖・‖2)分别表示两个线性赋空间(实的或复的),简记为X、Y。定义1 设T是从线性赋空间X到线性赋空间Y的一算子,x0∈X,假设对任意ε>0,存在δ>0,使得当‖x-x0‖<δ时有:‖Tx-Tx0‖<ε,那么称算子T在x0处是连续的;如果T在X中的每一点处都连续,那么称T在X上是连续的。定义2 设T是从线性赋空

3、间X到线性赋空间Y的一算子,假设对任意ε>0,存在δ>0,使得对中的任意两个点x1,x2,当‖x1-x2‖<δ时都有‖Tx1-Tx2‖<ε成立,那么称T在X上是一致连续的.关于一致连续有以下等价定义:假设对任意ε>0,存在δ>0,使得对X中的任意两个点x1,x2,如果‖Tx1-Tx2‖≥ε,那么必有‖x1-x2‖≥δ,那么T在X上是一致连续的。..word.zl...从以上的定义不难看出,如果T在X上是一致连续的,那么T必在X上的每一点处都是连续的;反之不真。所以下面我们重点考虑在条件情况下,由算子的连续性可以推出一致连续以及一致连续的

4、一些非常实用的等价命题.首先给出空间紧的概念。定义3 设M是线性赋空间X的一个子集,假设M中的任何序列都有在M中收敛的子列,那么称M是X的一个紧集.假设X本身是紧的,那么称Y为紧的线性赋空间。连续算子一致连续的两个充分条件我们有如下一些主要结果:定理1 设A是线性赋空间X的紧子集,假设T是从A到线性赋空间Y上的连续算子,那么T一定是一致连续的。证明 用反证法,设T在X上不是一致连续的,那么由定义知,存在某ε0>0一,使得对于任意的ε>0,都存在X中的相应两个点x′,x″,虽然‖x′-x″‖<δ,但是有‖Tx′-Tx″‖≥ε0(1)对任意

5、的自然数n,取δ-1/n,那么分别存在虽然但是虽然(2)从而得X中的两个序列分别有收敛子列，由于A是紧子集，所以易知此时有那么由假设设(3)由T的连续性，有(4)的取法以及〔2〕知，有但是另一方面，由..word.zl...上面的(3)式与(4)式矛盾。所以T在X是一致连续的。对空间R而言,由于任何有限闭区间[a,b]都是紧集,所以上述定理2是我们在数学分析中熟悉的一致连续性定理(即闭区间上的连续函数一定是一致连续的)的推广。定理2 设X是紧的线性赋空间,T是从X到线性赋空间Y的一连续算子,那么T是一致连续的。证明 可用反证法：具体过程

6、与定理1完全类似。算子一致连续的几个充要条件定义4 设X是一线性空间,x1,x2为X中的两个点,称集合{x∶x=(1-t)x1+tx2,0≤t≤1}为连接点x1,x2的线段;对于X的一子集S,假设S包含连接S中任意两点的线段,那么称S为X的凸子集。定理3设D是线性赋空间X的一个凸子集,T是从D到线性赋空间Y上的一算子,那么T一致连续的充分必要条件是对任意ε>0,存在正数c,使得对x,y∈D,当‖Tx-Ty‖>c‖x-y‖(7)时,恒有‖Tx-Ty‖<ε(8)证明 充分性:根据条件,对任意ε>0,存在正数c,使得对x,y∈D,当‖Tx-T

7、y‖≥ε(9)时,成立‖Tx-Ty‖≤c‖x-y‖(10)..word.zl...此时由(10)、(9)式可得‖x-y‖≥c‖Tx-Ty‖≥ε/c所以对任意ε>0,只需取δ=ε/c,那么当x,y∈D，且满足‖Tx-Ty‖≥ε时,必有‖x-y‖≥δ,利用一致连续的等价定义可知,T是一致连续的.必要性:设T在D上一致连续的,那么由一致连续的等价定义知,对任意ε>0,存在δ>0,使得对D中的任意两个点x,y,如果‖Tx-Ty‖≥ε,那么必有‖x-y‖≥δ.现取自然数k,使得kδ≤‖x-y‖≤(k+1)δ(11)令xi=〔1-i/k+1〕x+〔

8、i/k+1〕y,i=0,1,2,…,k+1,那么由(11)式易见有,‖xi+1-xi‖=‖x-y‖k+1<δ,所以此时有:‖Tx-Ty‖≤∑k‖Txi+1-Txi‖/kδ<(k+1)ε/kδ<2ε/δ假设令