巴拿赫空间上的有界线性算子

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第八章 巴拿赫空间上的有界线性算子

算子

线性算子 非线性算子

无界线性算子 有界线性算子

§1 有界线性算子

1.1 有界线性算子的基本概念与性质

定义1.1 设E 及1E 都是实(或复的)线性空间,T 是由E 的某个子空间D 到线性空间1E 中的映射,如果对任意

D y x ∈,,有

()Ty Tx y x T

+=+

则称T 是可加的。若对任意的实(或复)数α及任意的

D x ∈,有

()Tx x T

αα=

则称T 是齐次的。可加齐次的映射称为线性映射或线性算子。D 中使θ=Tx 的元素x 的集合称为T 的零空间。 设1E 是实(或复)数域,于是T 成为由D 到实(或复)

数域的映射,这时称T 为泛函。如果T 还是线性的,则称T 为线性泛函。泛函或线性泛函常用g f ,等符号表示。 定义1.2 设E 及1E 都是实或复的赋范线性空间,D 为E 的子空间,T 为由D 到1E 中的线性算子。如果按照第六章§2.3定义2.6,T 是连续的,则称T 为连续线性算子。如果T 将D 中任意有界集映成1E 中的有界集,则称T 是有界线性算子。如果存在D 中的有界集A 使得()A T 是1E 中的无界集,则称T 是无界线性算子。

例 1 将赋范线性空间E 中的每个元素x 映成x 自身的算子称为E 上的单位算子,单位算子常以I 表示.将E 中的每个元素x 映成θ的算子称为零算子.

容易看出,单位算子与零算子既是有界线性算子也是连续线性算子.

例 2 连续函数的积分

()()⎰=

b

a

dt t x x f

是定义在连续函数空间[]b a C ,上的一个有界线性泛函,也是连续线性泛函.*

例 1、例 2中出现的线性算子或线性泛函既是有界的又是连续的.对线性算子来说,有界性与连续性等价(见定理1.3).

定理 1.1 设E ,1E 都是实赋范线性空间,T 是由E 的

子空间D 到1E 中的连续可加算子.则T 满足齐次性,因此T 是连续线性算子.*

推论 设E ,1E 都是复赋范线性空间,T 是由E 的子空间

D 到1

E 中的连续可加算子,且iTx ix T =)(,则T 满足齐次

性,因此T 是连续线性算子.*

定理 1.2 设E ,1E 都是赋范线性空间,T 是由E 的子空间D 到1E 中的线性算子.则T 有界的充要条件是存在

0>M ,使得对一切D x ∈,有x M Tx ≤.*

*定理1.3 设E ,1E 都是赋范线性空间,T 是由E 的子空间D 到1E 中的线性算子.则下列性质等价:

(i) T 连续;

(ii) T 在原点θ处连续; (iii) T 有界.

由此定理知,对线性算子来说,有界性、连续性以及在原点的连续性均相互等价.而且还可以证明:这三个等价条件也与在中任一给定的点处的连续性等价.

为了对有界线性算子进行更深入的讨论,我们将对它引进一个重要的量—算子的范数.

定义 1.3 设E ,1E 都是赋范线性空间,T 是由E 的子空间D 到1E 中的有界线性算子.使x M Tx ≤对一切D x ∈都成立的正数M 的下确界称为T 的范数,记为T .

因M 是集合

⎪⎭

⎬⎫⎪⎩⎪⎨⎧≠∈θx D x x Tx ,: 的一个上界,因此算子T

的范数T 作为所有上界M 的下确

界也是上述集合的一个上界,而且由定义知,T 是上述集合的最小上界,即上确界,亦即

x

Tx T D

x x ∈≠=θ

sup

由此容易导出下列结论:

(i) 对一切D x ∈

,有x T Tx ≤. *

(ii)

Tx Tx T D

x x D

x x ∈=∈≤==1

1sup sup

现在举几个实例说明如何估计有界线性算子的范数及如何求出其范数.

例3 设()

()n j i a ij .,2,1,,⋅⋅⋅=为一给定的n n ⨯方阵,ij a 均为实数,由等式

∑==n

j j ij i a 1

ξη ()n i ,,2,1⋅⋅⋅=

定义了一个由n

R 到n

R 的算子T :y Tx =.它将元素

()n x ξξξ,,,21⋅⋅⋅=映成元素()n y ηηη,,,21⋅⋅⋅=.在n R 中任取

两个向量()

()

()

()

()2,1,,,,21=⋅⋅⋅=k x k n k k k ξξξ,由等

()()

()

()

∑∑∑===+=⎪⎭⎫ ⎝⎛+n

j n

j j ij j ij n

j j j ij a a a 11

21121ξξξξ 可知,T 是可加的,类似地可以证明T 是齐次的,因此T 是线性算子,由柯西不等式,有

2

1122

11,22

112⎪⎪⎭

⎫ ⎝⎛⎪⎪⎭

⎝⎛≤⎪⎭

⎫ ⎝⎛∑∑∑===n

j j n

j i ij n

i i a ξη

故T 有界,因此T

连续,且

()

2

12a ij

T ≤

.*

例 4 我们用()∞∞-,C 表示定义在()∞∞-,上有界连续函数构成的集,其中的线性运算与空间[]b a C ,的相同,在()∞∞-,C 中定义范数如下:

()t y y t ∞

<<∞-=sup ()()∞∞-∈,C y

则()∞∞-,C 是一个巴拿赫空间.* 设()∞∞-∈,L x ,令

()()⎰

∞--==dt t x e s y Tx y ist

: T 是定义在()∞∞-,L 上而值域包含在()∞∞-,C 中的线性算

子.再由

()()()()()⎰

⎰∞

-∞

∞--=≤=dt t x dt t x e

s y s Tx ist

可知,T 有界因而连续,且1≤T .

例 5 在内插理论中我们往往用拉格朗日公式来求

相关文档
最新文档