一様有界性原理の直感的理解

一様有界性原理は「各点で有界なら一様に有界」という主張です。なぜこれが驚くべき結果なのか、直感的に説明します。

主張の意味

バナッハ空間 $X$ 上の有界線形作用素の族 ${T_{α}}$ を考えます。

「各点で有界」とは、どの $x \in X$ を固定しても $sup_{α} ∥ T_{α} x ∥ < \infty$ ということです。

「一様に有界」とは、 $sup_{α} ∥ T_{α} ∥ < \infty$ 、つまり作用素ノルムに上限があることです。

一様有界性原理は、前者から後者が従うと主張します。

各点の条件は「 $x$ ごとに上限が存在する」だけで、その上限が $x$ によってバラバラでも構いません。なのに、すべての作用素を同時に抑える定数が存在するというのは、直感に反するように思えます。

有限次元のアナロジー

$f_{1}, f_{2}, \dots : R \to R$ が各点で有界（各 $x$ で $sup_{n} ∣ f_{n} (x) ∣ < \infty$ ）でも、 $sup_{n} sup_{x} ∣ f_{n} (x) ∣ < \infty$ は一般に成り立ちません。

$f_{n} (x) = n x$ とすると、各 $x$ で $∣ f_{n} (x) ∣$ は有限ですが、 $sup_{n} ∣ f_{n} (x) ∣ = \infty$ （ $x \neq = 0$ ）です。

ポイントは、作用素の 線形性 と空間の 完備性 です。この2つの構造があるから、各点の情報から大域的な結論が引き出せます。

点ごと収束の解析	$T_{n} x \to T x$ がすべての $x$ で成り立つとき、 ${T_{n}}$ の一様有界性がわかる
フーリエ級数	フーリエ部分和作用素が各点で有界なら一様に有界
弱収束の議論	弱収束列は（ノルムで）有界

$X$ が完備でないと、一様有界性原理は成り立ちません。これはベールのカテゴリー定理が完備性を必要とするためです。

反例として、多項式空間（完備でない）上で「 $n$ 次の係数を $n$ 倍して返す」作用素 $T_{n}$ を考えると、各点有界ですが一様有界ではありません。