线性算子由于具有可加性,所以它的连续性可用有界性来描述。
定理1
设 T T T 是 赋范线性空间 X X X 到 赋范线性空间 Y Y Y 中的线性算子,则 T T T为 有界算子的充要条件为 T T T 是 X X X 上 的连续算子。
证明
若 T T T 有界,由(3)式,当 x n → x ( n → ∞ ) x _ { n } \rightarrow x ( n \rightarrow \infty ) xn→x(n→∞) 时,因为
∥ T x n − T x ∥ ⩽ c ∥ x n − x ∥ , \left\| T x _ { n } - T x \right\| \leqslant c \left\| x _ { n } - x \right\| , ∥Txn−Tx∥⩽c∥xn−x∥,
所以 ∥ T x n − T x ∥ → 0 , \left\| T x _ { n } - T x \right\| \rightarrow 0 , ∥Txn−Tx∥→0, 即