设 X X X 和 Y Y Y 是 两个赋范线性空间,我们以 B ( X , Y ) \color{red}{\mathscr{B}(X,Y)} B(X,Y)表示由 X X X 到 Y Y Y 中 有界线性算子全体,【称为有界线性算子空间】。
一般以 B ( X ) \mathscr { B } ( X ) B(X) 表示 B ( X , X ) . \mathscr { B } ( X , X ) . B(X,X).
当 A A A和 B B B 属 于 B ( X , Y ) , α \mathscr { B } ( X , Y ) , \alpha B(X,Y),α是所讨论数域中的数时,定义 B ( X , Y ) \mathscr { B } ( X , Y ) B(X,Y) 中加法运算及数乘运算如下:对任意 x ∈ X , x \in X , x∈X,令
( A + B ) x = A x + B x , ( α A ) x = α A x ( A + B ) x = A x + B x , \\ ( \alpha A ) x = \alpha A x (A+B)x=Ax+Bx,(αA)x=αAx
定理1
当 Y Y Y 是巴拿赫空间时, B ( X , Y ) \mathscr { B } ( X , Y ) B(X,Y) 也是巴拿赫空间.
证明
设 { T n } \left\{ T _ { n } \right\} {
Tn} 为 B ( X , Y ) \mathscr { B } ( X , Y ) B(X,Y) 中的柯西点列,则由柯西点列定义,对任何正数 ε > 0 , \varepsilon > 0 , ε>0, 存在正整数 N , N , N, 当 n , m > N n , m > N n,m>