理论
在赋范线性空间中,线性算子是有界线性算子的充要条件是它也是一个连续线性算子。
概念
小学我们是学已有运算的各种性质,大学就是通过以前学的性质来定义运算
线性空间,就是定义了加法(满足交换律,结合律,有零元和负元)和数乘(与实数做运算满足分配率和结合律)的空间
赋范线性空间,在线性空间的基础上如果我们定义范数(类似于绝对值,它满足满足0元范数为0,对数乘线性,满足三角不等式),那么这个空间我们成为赋范线性空间
算子,定义于 Ω ∈ X \Omega \in X Ω∈X而取值于 Y Y Y的映射
线性算子,如果一个算子 T T T,满足
α T x 1 + β T x 2 = ( α x 1 + β x 2 ) T \alpha Tx_1+\beta Tx_2=(\alpha x_1+\beta x_2)T αTx1+βTx2=(αx1+βx2)T那么就称该算子为线性算子
有界线性算子,就是存在 M M M满足对于任何的 x x x都有, ∥ T x ∥ y ≤ M ∥ x ∥ x \|Tx\|_y \leq M\|x\|_x ∥Tx∥y≤M∥x∥x则 T T T就是一个有界线性算子
注意到,不是说 ∥ T X ∥ \|TX\| ∥TX∥是有界的,而是说, ∥ T x ∥ y ∥ x ∥ x \frac{\|Tx\|_y}{\|x\|_x} ∥x∥x∥Tx∥y是有界的
连续线性算子,简单来说,对于任意的一个 ϵ \epsilon ϵ,总存在一个 δ \delta δ,当 x 1 x_1 x1和 x 2 x_2 x2的距离小于 δ \delta δ的时候, ∥ T x 1 − T x 2 ∥ < ϵ \|Tx_1-Tx_2\|<\epsilon ∥Tx1−Tx2∥<ϵ
证明
在赋范线性空间中,线性算子是有界线性算子的充要条件是它也是一个连续线性算子。
⇒ \Rightarrow ⇒
已知<