算子范数的定义及有界线性算子的连续性等价

理解函数如何将输入“放大”或“缩小”，是分析其行为的关键。在数学中，衡量一个线性算子“大小”的核心工具就是算子范数。本文将手把手带你从定义出发，理解算子范数，并最终证明一个核心结论：线性算子有界与连续是等价的。

1. 理解问题背景：为什么需要“算子范数”？

想象一个函数 $T$，它接收一个向量 $x$ 并输出另一个向量 $Tx$。我们关心这个函数是否会把过大的输入 $x$ 变得“过分大”。为了量化这种“放大效应”，我们需要一个数值标准来衡量 $T$ 本身的“大小”，这就是算子范数要解决的问题。

明确讨论对象：我们讨论的是从赋范线性空间 $X$ 到赋范线性空间 $Y$ 的线性算子 $T$。这意味着 $T$ 满足两个条件：
- 加法性：$T(x+y) = Tx + Ty$ 对所有 $x, y \in X$ 成立。
- 齐次性：$T(\alpha x) = \alpha (Tx)$ 对所有标量 $\alpha$ 和 $x \in X$ 成立。
识别核心需求：我们想知道是否存在一个常数 $M$，使得对所有输入 $x$，输出 $Tx$ 的范数（长度）都不超过输入 $x$ 范数的 $M$ 倍。如果存在这样的 $M$，就称算子 $T$ 是有界的。

有界性是对线性算子行为的一种基本约束，它保证了算子不会将单位球内的向量映射到无限远。

给出精确表述：一个线性算子 $T: X \rightarrow Y$ 称为有界的，如果存在一个常数 $M \ge 0$，使得对 $X$ 中的每一个向量 $x$，都有：

$$\|Tx\|_Y \le M \|x\|_X$$

其中 $\|\cdot\|_X$ 和 $\|\cdot\|_Y$ 分别是空间 $X$ 和 $Y$ 中的范数。
理解其几何意义：这个不等式意味着，$T$ 将整个输入空间映射到输出空间时，其“放大倍数”存在一个上界 $M$。特别地，它将 $X$ 中的单位球 $\{x: \|x\|_X \le 1\}$ 映射到 $Y$ 中一个半径不超过 $M$ 的球内。

在所有可能的放大倍数 $M$ 中，我们关心的是那个最小的、能覆盖所有输入的 $M$。这个最小值就是算子范数。

从“放大倍数”到上确界：对于一个有界线性算子 $T$，考虑所有非零向量 $x$，其“瞬时放大倍数”是 $\frac{\|Tx\|_Y}{\|x\|_X}$。算子范数 $\|T\|$ 定义为这个比值在所有非零 $x$ 上的上确界（即最小上界）。
写出正式定义：有界线性算子 $T$ 的算子范数 $\|T\|$ 定义为：

$$\|T\| = \sup_{x \ne 0} \frac{\|Tx\|_Y}{\|x\|_X}$$

等价地，由于齐次性，也可以定义为在单位球上的上确界：

$$\|T\| = \sup_{\|x\|_X = 1} \|Tx\|_Y$$
执行计算步骤：根据定义，要计算 $\|T\|$，可以遵循以下操作：
- 列举所有范数为 $1$ 的输入向量 $x$（即单位球面上的点）。
- 计算每一个对应的输出向量 $Tx$ 的范数 $\|Tx\|_Y$。
- 找出这些输出范数值中最大的那个（或最小的上界），这个值就是 $\|T\|$。

这是泛函分析中的一个基石性结论：对于线性算子，有界和连续是同一件事。下面提供一个从有界性推导连续性的直观步骤。

明确目标：证明如果 $T$ 是有界线性算子（即 $\|T\| < \infty$），那么 $T$ 是连续的。连续性意味着：如果 $x_n$ 趋近于 $x$（即 $\|x_n - x\|_X \to 0$），那么 $Tx_n$ 也趋近于 $Tx$（即 $\|Tx_n - Tx\|_Y \to 0$）。
执行推导步骤：
- 利用线性性：首先，将 $\|Tx_n - Tx\|_Y$ 改写。由 $T$ 的线性性（加法与齐次性），$T(x_n - x) = Tx_n - Tx$。因此，$\|Tx_n - Tx\|_Y = \|T(x_n - x)\|_Y$。
- 应用有界性定义：根据算子范数的定义，对任意输入向量 $z$，都有 $\|Tz\|_Y \le \|T\| \cdot \|z\|_X$。现在令 $z = x_n - x$。
- 建立关键不等式：代入后得到 $\|T(x_n - x)\|_Y \le \|T\| \cdot \|x_n - x\|_X$。
- 取极限：因为 $x_n$ 收敛于 $x$，所以 $\|x_n - x\|_X \to 0$。由于 $\|T\|$ 是一个固定的有限数，不等式右边 $\|T\| \cdot \|x_n - x\|_X \to 0$。
- 得出结论：根据夹逼准则，不等式左边的 $\|Tx_n - Tx\|_Y$ 也必须趋向于 $0$。这正是 $T$ 在点 $x$ 处连续的定义。由于 $x$ 是任意的，所以 $T$ 在整个定义域上连续。
理解其逆命题：可以类似地证明，如果一个线性算子是连续的，那么它必然是有界的。因此，我们得出结论：对于一个线性算子，有界、连续、以及在一点连续是彼此等价的。算子范数 $\|T\|$ 的有限性，成为了判断线性算子是否具备良好分析性质（连续性）的简洁判据。