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

线性赋范空间上算子的一致连续性定理 ?? 摘?要:证明线性赋泛空间紧子集上的连续算子一定一致连续,以及算子为一致连续个充要条件是任意两个 ε0,存在正数c,使得对x、y∈D,当‖Tx-Ty‖c‖x-y‖时,恒有‖Tx-Ty‖ε。 关键词: 连续; 一致连续; 线性赋范空间 前言 众所周知,数学分析中所讲的函数的一致连续性反映的是函数的整体性质,它是连续函数理论的重要组成部分.由于其重要性人们在这方面做了大量的深入研究.但是在对数学分析全面提升的泛函分析中,关于算子一致连续性的讨论就少的多.本文主要是给出线性赋泛空间上算子一致连续的几个等价条件以及连续算子成为一致连续算子的几个充分条件,从而推广了数学分析中大家都熟悉的一致连续性定理.在本文中(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是从线性赋范空间X到线性赋范空间Y的一算子,若对任意ε0,存在δ0,使得对中的任意两个点x1,x2,当‖x1-x2‖δ时都有‖Tx1-Tx2‖ε成立,则称T在X上是一致连续的.关于一致连续有以下等价定义:若对任意ε0,存在δ0,使得对X中的任意两个点x1,x2,如果‖Tx1-Tx2‖≥ε,那么必有‖x1-x2‖≥δ,则T在X上是一致连续的。 从以上的定义不难看出,如果T在X上是一致连续的,那么T必在X上的每一点处都是连续的;反之不真。所以下面我们重点考虑在条件情况下,由算子的连续性可以推出一致连续以及一致连续的一些非常实用的等价命题.首先给出空间紧的概念。 定义3? 设M是线性赋范空间X的一个子集,若M中的任何序列都有在M中收敛的子列,则称M是X的一个紧集.若X本身是紧的,则称Y为紧的线性赋范空间。 连续算子一致连续的两个充分条件 我们有如下一些主要结果: 定理1? 设A是线性赋范空间X的紧子集,若T是从A到线性赋范空间Y上的连续算子,则T一定是一致连续的。 证明? 用反证法,设T在X上不是一致连续的,则由定义知,存在某ε00一,使得对于任意的ε0,都存在X中的相应两个点x′,x″,虽然‖x′-x″‖δ,但是有‖Tx′-Tx″‖≥ε0 (1) 上面的(3)式与(4)式矛盾。所以T在X是一致连续的。 对空间R而言,由于任何有限闭区间[a,b]都是紧集,所以上述定理2是我们在数学分析中熟悉的一致连续性定理(即闭区间上的连续函数一定是一致连续的)的推广。 定理2? 设X是紧的线性赋范空间,T是从X到线性赋范空间Y的一连续算子,则T是一致连续的。 证明? 可用反证法：具体过程与定理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-Ty‖≥ε (9)时,成立 ‖Tx-Ty‖≤c‖x-y‖ (10) 此时由(10)、(9)式可得 ‖x-y‖≥c ‖Tx-Ty‖≥ε/c 所以对任意ε0,只需取δ=ε/c,则当x,y∈D，且满足‖Tx-Ty‖≥ε时,必有 ‖x-y‖≥δ,利用一致连续的等价定义可知,T是一致连续的. 必要性:设T在D上一致连续的,则由一致连续的等价定义知,对任意ε0,存在δ0,使得对D中的任