有界算子

Bounded Operator 有界算子 (Bounded Operator)

基本定义

有界性的定义

设 $X$ 和 $Y$ 是赋范线性空间，线性算子 $T:X\to Y$ 称为有界算子，如果存在常数 $C\ge 0$ 使得：

$\Vert Tx{\Vert }_Y\le C\Vert x{\Vert }_X,\forall x\in X$

等价表述：$T$ 将 $X$ 中的有界集映射为 $Y$ 中的有界集。

有界算子空间

从 $X$ 到 $Y$ 的所有有界线性算子构成的集合记为 $\mathcal{B}(X,Y)$ 或 $\mathcal{L}(X,Y)$。

当 $X=Y$ 时，简记为 $\mathcal{B}(X)$ 或 $\mathcal{L}(X)$。

---

核心定理：有界性与连续性的等价

定理陈述

定理：设 $X,Y$ 是赋范线性空间，$T:X\to Y$ 是线性算子。则以下条件等价：

1. $T$ 在某点连续（通常在 $x=0$ 处）
2. $T$ 在 $X$ 上处处连续
3. $T$ 是有界算子

证明概要

$(1)\Rightarrow (2)$：利用线性性质和连续性的局部定义

$(2)\Rightarrow (3)$：

• 在 $x=0$ 处连续：$\exists \delta >0,\Vert x\Vert <\delta \Rightarrow \Vert Tx\Vert <1$
• 对任意 $x\ne 0$，设 $y=\frac{\delta x}{2\Vert x\Vert }$，则 $\Vert y\Vert =\frac{\delta }{2}<\delta$
• 因此 $\Vert Ty\Vert <1$，即 $\Vert T\left(\frac{\delta x}{2\Vert x\Vert }\right)\Vert <1$
• 由齐次性：$\frac{\delta }{2\Vert x\Vert }\Vert Tx\Vert <1$
• 得到：$\Vert Tx\Vert \le \frac{2}{\delta }\Vert x\Vert$

$(3)\Rightarrow (1)$：直接由有界性定义可得

重要性：这个等价性是泛函分析的基石之一，简化了连续性验证。

---

算子范数

定义

有界算子 $T:X\to Y$ 的算子范数定义为：

$\Vert T\Vert ={\sup }_{\Vert x\Vert \le 1}\Vert Tx\Vert ={\sup }_{\Vert x\Vert =1}\Vert Tx\Vert ={\sup }_{x\ne 0}\frac{\Vert Tx\Vert }{\Vert x\Vert }$

等价刻画

$\Vert T\Vert =\inf \{C\ge 0:\Vert Tx\Vert \le C\Vert x\Vert ,\forall x\in X\}$

基本性质

1. 次乘性 (Submultiplicative)： $\Vert ST\Vert \le \Vert S\Vert \Vert T\Vert$

2. 三角不等式： $\Vert S+T\Vert \le \Vert S\Vert +\Vert T\Vert$

3. 齐次性： $\Vert \alpha T\Vert =|\alpha |\Vert T\Vert$

4. 单位算子： $\Vert I\Vert =1$

---

有界算子空间的性质

Banach空间性质

定理：若 $Y$ 是Banach空间，则 $\mathcal{B}(X,Y)$ 也是Banach空间。

证明概要：

• 设 $\{T_n\}$ 是 $\mathcal{B}(X,Y)$ 中的Cauchy列
• 对每个 $x\in X$，$\{T_{n}x\}$ 是 $Y$ 中的Cauchy列
• 定义 $Tx={\lim }_{n\to \infty }{T}_{n}x$
• 证明 $T$ 是线性的、有界的，且 $\Vert T_n-T\Vert \to 0$

有限维情形

定理：有限维赋范线性空间之间的任何线性算子都是有界的。

证明思路：

• 在有限维空间中，单位球是紧集
• 范数函数在紧集上达到最大值
• 因此 ${\sup }_{\Vert x\Vert =1}\Vert Tx\Vert <\infty$

---

例子和反例

有界算子例子

1. 零算子

$T:X\to Y$，$Tx=0$，$\forall x\in X$

• $\Vert T\Vert =0$

2. 单位算子

$I:X\to X$，$Ix=x$，$\forall x\in X$

• $\Vert I\Vert =1$

3. 矩阵算子

$T_A:{\mathbb{C}}^n\to {\mathbb{C}}^m$，$T_A(x)=Ax$

• 算子范数（对应 ${\ell }^2$ 范数）： $\Vert A\Vert ={\sigma }_{\max }(A)$ 其中 ${\sigma }_{\max }(A)$ 是 $A$ 的最大奇异值

4. 积分算子

在 $L^2[a,b]$ 上定义： $(Kf)(t)={\int }_a^{b}K(t,s)f(s)ds$

其中 $K\in L^2([a,b]\times [a,b])$。

• 有界性：$\Vert K\Vert \le \Vert K{\Vert }_{L^2}$
• 是紧算子

5. 乘法算子

在 $L^2(\Omega )$ 上： $(M_{\varphi }f)(x)=\varphi (x)f(x)$

其中 $\varphi \in L^{\infty }(\Omega )$。

• $\Vert M_{\varphi }\Vert =\Vert \varphi {\Vert }_{\infty }$

无界算子反例

1. 微分算子（关键例子）

在 $C[0,1]$ 空间上，取上确界范数： $(Df)(t)=f^{\prime }(t)$

无界性证明：

• 取 $f_n(t)=t^n$，则 $\Vert f_n{\Vert }_{\infty }=1$
• $D{f}_n(t)=n{t}^{n-1}$，$\Vert D{f}_n{\Vert }_{\infty }=n$
• 因此 $\frac{\Vert D{f}_n\Vert }{\Vert f_n\Vert }=n\to \infty$
• 不存在常数 $C$ 使得 $\Vert Df\Vert \le C\Vert f\Vert$ 对所有 $f$ 成立

重要启示：微分算子不连续，需要特殊处理（例如Sobolev空间）。

2. 乘法算子（无界版本）

在 $L^2[0,1]$ 上： $(Tf)(x)=xf(x)$

虽然这个例子实际上有界（$\Vert T\Vert =1$），但如果取： $(Tf)(x)=\frac{1}{x}f(x)$

在适当定义域下，这是无界算子。

---

有界算子的谱理论简介

谱的定义

设 $T\in \mathcal{B}(X)$，$T$ 的谱 $\sigma (T)$ 定义为： $\sigma (T)=\{\lambda \in \mathbb{C}:\lambda I-T\text{ 不可逆}\}$

谱半径： $r(T)=\max \{|\lambda |:\lambda \in \sigma (T)\}$

重要定理

谱半径公式

$r(T)={\lim }_{n\to \infty }\Vert T^n{\Vert }^{1/n}$

谱的性质

• $\sigma (T)$ 是 $\mathbb{C}$ 的非空紧子集
• $\sigma (T)\subset \{z\in \mathbb{C}:|z|\le \Vert T\Vert \}$
• 对于有限维空间，$\sigma (T)$ 就是特征值集合

---

应用

1. 泛函分析中的应用

• Hahn-Banach定理：保证足够多的连续线性泛函存在
• 开映射定理：有界满射是开映射
• 闭图像定理：通过图像判断连续性

2. 微分方程

• 将微分方程问题转化为算子方程
• 紧算子的谱理论用于特征值问题
• Fredholm理论用于积分方程

3. 量子力学

• 物理可观测量用有界自伴算子表示
• 谱分解定理
• 测量算子的有界性假设

4. 数值分析

• 算子条件数：$\kappa (T)=\Vert T\Vert \Vert T^{-1}\Vert$
• 迭代法的收敛性分析
• 算子逼近理论

---

与其他概念的关系

• 线性算子：有界算子是其连续子类
• 算子范数：衡量有界算子的大小
• 紧算子：特殊的有界算子，性质更好
• 对偶空间：有界线性泛函的空间
• 伴随算子：有界算子的对偶
• 微积算子：积分算子通常有界，微分算子通常无界

---

重要结论总结

性质	有界算子	无界算子
连续性	连续	可能不连续
定义域	通常全空间	常是稠密子空间
谱理论	较完整	更复杂
例子	积分算子、矩阵	微分算子
应用范围	广泛	特定领域

---

参考书目

1. Kreyszig, E. (1978). Introductory Functional Analysis with Applications. Wiley.
2. Reed, M., & Simon, B. (1980). Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis. Academic Press.
3. Rudin, W. (1991). Functional Analysis. McGraw-Hill.
4. Lax, P. D. (2002). Functional Analysis. Wiley-Interscience.

---

关键词：有界线性算子、连续性、算子范数、Banach空间、谱理论、微分算子无界性