泛函分析笔记08：有界线性算子和泛函介绍与共鸣定理

第三章：有界线性算子

3.1有界线性算子与有界线性泛函

定义4.1： 设 $X,X_1$ 为赋范空间, $T:X\to X_1$ 为线性算子（映射）, 若存在常数 $M\ge 0$ 使得
$$\Vert Tx\Vert \le M\Vert x\Vert ,\forall x\in X$$
则称 $T$ 是有界的。

注: $T$ 是有界的 $⟺T$ 把 $X$ 中的有界集映为 $X_1$ 中 的有界集 $⟺T$ 把 $X$ 的某 $r$ 球 $B(\theta ,r)$ 映为 $X_1$ 中的有界 集 $(r>0)$ 。

定理4.2： 设 $T:X\to X_1$ 线性, 则 $T$ 在 $X$ 上连续 $⟺$ $T$ 在某点 $x_0\in X$ 连续 $⟺T$ 有 界

算子范数

称 ∥ T ∥ = inf ⁡ { M ≥ 0 : ∥ T x ∥ ≤ M ∥ x ∥ , ∀ x ∈ X } \|T\|=\inf \{M \geq 0:\|T x\| \leq M\|x\|, \forall x \in X\} ∥T∥=inf{M≥0:∥Tx∥≤M∥x∥,∀x∈X} 为有界线性算子 $T$ 的范数。
注:

• 上述下确界是可达的且 $\Vert Tx\Vert \le \Vert T\Vert \Vert x\Vert ,\forall x\in$ $X;$
• $\Vert T\Vert ={\sup }_{\Vert x\Vert \le 1}\Vert Tx\Vert ={\sup }_{\Vert x\Vert =1}\Vert Tx\Vert ={\sup }_{x\ne \theta }\frac{\Vert Tx\Vert }{\Vert x\Vert }\triangleq M$

线性泛函

$X$ 到数域 $\mathbb{K}$ 的(线性)映射称为 $X$ 上的 (线性)泛函, 通常用小写字母表示;类似地, $X$ 到 $\mathbb{R}$ 的 (线性) 映射称为实 (线性)泛函; $X$ 到 $\mathbb{C}$ 的映射称为复泛函。

• 如果 $f$ 是 $X$ 上的有界线性泛函, 则由上有

$$\Vert f\Vert =\underset{\Vert x\Vert \le 1}{\sup }|f(x)|$$

但不是每个线性算子都是有界的。例如：在$C[a,b]$上的微分算子。

有界线性算子空间

设 $X,X_1$ 为赋范空间, 记 $\mathcal{B}\left(X,X_1\right)$ 为 所有 $X$ 到 $X_1$ 的有界线性算子组成的集合, 在 $\mathcal{B}\left(X,X_1\right)$ 中定义加法和数乘如下: $S,T\in \mathcal{B}(X,X_1)$
$$\begin{array}{rl}& (S+T)(x)=S(x)+T(x),\forall x\in X\\ & (\alpha T)(x)=\alpha T(x),\forall \alpha \in \mathbb{K},x\in X\end{array}$$
则 $\mathcal{B}\left(X,X_1\right)$ 成为一个线性空间, 它在算子范数下构成一个赋范空间。

定理 4.3：设 $X$ 赋范, $X_1$ 为 $(B)$ 空间, 则 $B\left(X,X_1\right)$ 完备。 （反之, 当 X ≠ { θ } X \neq\{\theta\} X​={θ} 时, 若 $B\left(X,X_1\right)$ 完备, 则 $X_1$ 完备。）

注：在算子空间 $\mathcal{B}\left(X,X_1\right)$ 中，算子列 $T_n\to T($ 按范 $)⟺$ ${\sup }_{||x||\le 1}\Vert T_{n}x-Tx\Vert =\Vert T_n-T\Vert \to 0⟺T_n$ 在闭单位 $\Vert x\Vert \le 1$
球 B X = { x ∈ X : ∥ x ∥ ≤ 1 } B_{X}=\{x \in X:\|x\| \leq 1\} BX​={x∈X:∥x∥≤1} 上一致收敛于 $T$ 。

逐点收敛: 设 $T_n,T\in B\left(X,X_1\right)$, 如果 $\forall x\in X$ 有 $T_{n}x\to$ $Tx($ 当 $n\to \infty )$, 则称 { T n } n = 1 ∞ \left\{T_{n}\right\}_{n=1}^{\infty} {Tn​}n=1∞​ 在 $X$ 上逐点收敛于 $T$ 或强收 敛于 $T$ 。记为 $T_n\stackrel{\text{ 强 }}{\to }T$

按范收敛 $⟹$强收敛, 反之不成立。

3.2共鸣定理

由共鸣定理可得：若算子$T_{\alpha }$映射到一完备空间，则由算子族逐点有界可以得到一致有界性质。

定理 4.4： (共鸣定理/Banach-Steinhaus) 设 $X$ 为 $(B)$ 空间, $X_{\alpha }$ 赋 范, $T_{\alpha }\in \mathcal{B}\left(X,X_{\alpha }\right),\forall \alpha \in A$,如果 ${\sup }_{\alpha \in A}\Vert T_{\alpha }x\Vert <\infty ,\forall x\in X,$ 则 ${\sup }_{\alpha \in A}\Vert T_{\alpha }\Vert <\infty$ 。