在这一章中,我们将研究 从赋范线性空间 X X X 到 另一个赋范线性空间 Y Y Y中的映射,亦称算子。
如果 Y Y Y是数域,则称这种算子为泛函。
算子和泛函我们并不陌生.前已提到微分算子 D = d d x D = \frac { \mathrm { d } } { \mathrm { ~ d } x } D= dxd就是从连续可微函数空间 C 1 [ a , b ] C ^ { 1 } [ a , b ] C1[a,b] 到 C [ a , b ] C [ a , b ] C[a,b]上的算子,而黎曼积分 ∫ a b f ( t ) d t \int _ { a } ^ { b } f ( t ) \mathrm { d } t ∫abf(t)dt 就是连续函数空间 C [ a , b ] C [ a , b ] C[a,b] 上的泛函.
如果说函数是数和数之间的对应,那么算子可以说是函数和函数之间的对应,不过这是更高一级的对应.
我们这里主要讨论线性算子和线性泛函,关于非线性算子和非线性泛函的问题已超出本书的范围了
本章将证明,线性算子的有界性与连续性是等同的.
这看上去有些奇怪,实际上由于泛函和算子是"线性"的,才有此结果.
读者应细细体会.其他的内容包括引入刻画线性算子的重要参数----算子范数,介绍算子空间的完备性、连续线性泛函空间,即共轭空间的一些例子,
第3节引入有限秩算子的概念,为以后研究全连续算子的谱奠定基础.
定义1
设 X X X 和 Y Y Y 是 两个同为实(或复)的线性空间, D \mathscr { D } D 是 X X X 的 线性子空间, T T T 为 D \mathscr { D } D 到 Y Y Y 中的映射,如果对任何 x , y ∈ D x , y \in \mathscr { D } x,y∈D及 数 α , \alpha , α, 有
T ( x + y ) = T x + T y , ( 1 ) T ( α x ) = α T x , ( 2 ) T ( x + y ) = T x + T y , \quad\quad(1) \\ T ( \alpha x ) = \alpha T x , \quad\quad(2) T(x+y)=Tx+Ty,(1)T(αx)=αTx,(2)
则称 T T T 为 D \mathscr { D } D 到 Y Y Y 中 的线性算子,其中 D \mathscr { D } D称 为 T T T 的定义域,记为 D ( T ) , T L \mathscr { D } ( T ) , T \mathscr { L } D(T),TL 称为 T T T 的值域,记为 R ( T ) , \mathscr { R } ( T ) , R(T), 当 T T T 取值于实(或复)数域时,就称 T T T 为实(或复)线性泛函.
如果 T T T 为线性算子,在(2)中取 α = 0 , \alpha = 0 , α=0, 立即可得 T 0 = 0 , T 0 = 0 , T0=0, 即 0 ∈ N ( T ) , 0 \in \mathscr { N } ( T ) , 0∈N(T), 其中 N ( T ) \mathcal { N } ( T ) N(T) 表示算子 T T T 的零空间
N ( T ) = { x : T x = 0 , x ∈ D ( T ) } . \mathscr { N } ( T ) = \{ x : T x = 0 , x \in \mathscr { D } ( T ) \} . N(T)={ x:Tx=0,x∈D(T)}.
下面举一些线性算子和线性泛函的例子
例1
设 X X X 是 线性空间, α \alpha α 是一给定的数,对任意 x ∈ X , x \in X , x∈