# Banach 空間の基本定理：Hahn–Banach・一様有界性・開写像・閉グラフ

> ノルム空間・有界作用素・双対空間を定義し、Hahn–Banach の拡張定理と、Baire のカテゴリー定理から導く一様有界性原理・開写像定理・閉グラフ定理を証明する。弱位相と Banach–Alaoglu の定理、完備性を外した反例も扱う。
> https://rikai.mugen-giken.com/mathematics/functional-analysis/banach-spaces

## 0. この記事の要点

ベクトルの「長さ」だけが決まっている空間で、どこまで線形代数や解析のような議論ができるかを調べる記事です。内積がなく角度や直交が使えなくても、「極限を取っても空間の外に出ない」という性質（完備性）さえあれば、関数を別の空間へ広げる、各点での様子から全体の大きさを押さえる、逆向きの対応が自動的に連続になる、といった強い結論が得られます。読み終えると、この 4 つの原理の主張と、それぞれがどこで完備性を使うかがわかります。

- Banach 空間は[完備](/mathematics/real-analysis/metric-spaces#def-convergent-complete)なノルム空間です。Hilbert 空間から内積を取り去っても残る構造で、$L^p$（$p\ne2$）、連続関数の空間 $C(K)$、有界作用素の空間 $\mathcal{B}(X,Y)$ がその代表です。
- **Hahn–Banach の定理**は、部分空間上の[有界線形汎関数](/mathematics/functional-analysis/hilbert-spaces#def-bounded-linear-functional)をノルムを増やさずに全体へ拡張できることを保証します。これにより双対空間 $X^*$ は「点を分離できるほど大きい」ことがわかります。内積がないので射影定理は使えず、代わりにツォルンの補題（これ以上広げられない拡張の存在を保証する道具）を使います。
- **Baire のカテゴリー定理**（完備距離空間は可算個の疎な閉集合、つまり内点をもたない閉集合で覆えない）から、**一様有界性原理・開写像定理・逆写像定理・閉グラフ定理**の 4 つが出ます。どれも「各点ごとの性質が一様な性質を導く」型の主張で、完備性が本質的です。
- 閉グラフ定理の帰結として、Hilbert 空間**全体**で定義された[対称作用素](/mathematics/functional-analysis/unbounded-operators#def-symmetric-operator)は必ず有界です（Hellinger–Toeplitz）。量子力学のハミルトニアンが非有界である以上、定義域を全体に取れないのはこのためです。
- 弱位相・弱 * 位相を導入し、双対空間の閉単位球が弱 * コンパクトであること（Banach–Alaoglu）を述べます。前章の「有界列の[弱収束](/mathematics/functional-analysis/hilbert-spaces#def-weak-convergence)部分列」の一般化です。

<Aside type="tip" title="この記事で使う事前知識">

- **Hilbert 空間**: 内積から決まるノルムについて完備な空間。→ [Hilbert 空間](/mathematics/functional-analysis/hilbert-spaces#def-hilbert-space)
- **コーシー列と完備性**: 項どうしがいくらでも近づく列を「コーシー列」といい、どのコーシー列も空間の中の点に収束するとき完備といいます。→ [完備性](/mathematics/real-analysis/metric-spaces#def-convergent-complete)
- **閉集合**: 収束する点列の極限を取っても外に出ない集合。→ [閉集合](/mathematics/topology/topological-spaces#def-open-metric)
- **コンパクト**: 距離空間では、どんな点列も収束する部分列をもつこと。→ [コンパクト](/mathematics/real-analysis/metric-spaces#def-compactness-metric)
- **有界線形汎関数**: ベクトルに数を対応させる線形写像 $F$ で、ある定数 $C$ により $|F(x)|\le C\|x\|$ となるもの。→ [有界線形汎関数](/mathematics/functional-analysis/hilbert-spaces#def-bounded-linear-functional)

</Aside>

## 1. 動機

前章の [Hilbert 空間の基礎](/mathematics/functional-analysis/hilbert-spaces) では、内積から来る直交性がすべての議論を支えていました。最近点は平行四辺形則で一意に決まり、有界線形汎関数はリースの表現定理で具体的なベクトルに対応しました。ところが解析で自然に現れる空間の多くは、内積を持ちません。最大値ノルムの $C([0,1])$、可積分関数の $L^1$、測度の空間などがそうです。偏微分方程式の解の存在や、作用素の性質の証明は、これらの空間の上でも行う必要があります。

内積を持たない空間でも、ノルムと**完備性**があれば驚くほど多くのことが言えます。20 世紀前半の Banach を中心とするポーランド学派は、これを 4 つの基本原理にまとめました。「拡張」の原理である Hahn–Banach の定理と、「各点ごとから一様へ」の原理である一様有界性原理・開写像定理・閉グラフ定理です。後者 3 つはすべて、完備距離空間の位相的な性質である Baire のカテゴリー定理から出ます。

数理物理の立場から見ると、これらの定理はこのテーマの後半で繰り返し顔を出します。非有界作用素の閉性、レゾルベントの有界性、作用素列の強収束の極限が有界であること、そして「Hamiltonian の定義域をどう選ぶか」という問題そのものが、閉グラフ定理と一様有界性原理の言葉で語られます。この章では、それらの定理を仮定を省略せずに証明し、完備性を外したときに何が壊れるかを反例で確かめます。

## 2. ノルム空間・有界作用素・双対空間

係数体 $\mathbb{K}$ は $\mathbb{R}$ または $\mathbb{C}$ とします。

<Definition id="def-normed-space" title="ノルム空間・Banach 空間">
$\mathbb{K}$ 上のベクトル空間 $X$ 上の関数 $\|\cdot\|:X\to[0,\infty)$ が、すべての $x,y\in X$、$\alpha\in\mathbb{K}$ について

1. $\|x\| = 0\iff x = 0$
2. $\|\alpha x\| = |\alpha|\,\|x\|$
3. $\|x + y\|\le\|x\| + \|y\|$

を満たすとき**ノルム**といい、$(X,\|\cdot\|)$ を**ノルム空間**という。1 を外して 2, 3 だけを満たすものを**半ノルム**という。ノルム空間が距離 $d(x,y) = \|x - y\|$ について完備であるとき、**Banach 空間**という。
</Definition>

<Example id="ex-banach-spaces" title="代表的な Banach 空間">
(1) Hilbert 空間は Banach 空間です（前章の <Ref to="mathematics/functional-analysis/hilbert-spaces#prop-cauchy-schwarz" /> で内積からノルムが定まります）。

(2) $1\le p\le\infty$ に対する $L^p(X,\mu)$ と $\ell^p$ は Banach 空間です（[L^p空間と関数解析への導入](/mathematics/real-analysis/lp-spaces) のリース–フィッシャーの定理）。

(3) [コンパクト](/mathematics/topology/compactness#def-compact)・[ハウスドルフ空間](/mathematics/topology/compactness#def-hausdorff) $K$ 上の連続関数全体 $C(K)$ は、$\|f\|_\infty = \sup_{t\in K}|f(t)|$ で Banach 空間です（一様収束極限は連続：[関数列と一様収束](/mathematics/real-analysis/uniform-convergence)）。

(4) $c_0 = \{x\in\ell^\infty : x_n\to0\}$ は $\ell^\infty$ の閉部分空間なので Banach 空間です。一方、有限個を除いて $0$ である数列の空間 $c_{00}$ は $c_0$ で稠密な真部分空間なので、$\|\cdot\|_\infty$ について完備ではありません（$\sum_{k\le n}k^{-1}\delta_k$ は $c_{00}$ のコーシー列で、極限 $(1/k)_k$ は $c_{00}$ の外にあります）。
</Example>

<Definition id="def-bounded-operator" title="有界線形作用素と作用素ノルム">
$X, Y$ をノルム空間とする。線形写像 $T:X\to Y$ が、ある $C\ge0$ について全 $x\in X$ で $\|Tx\|\le C\|x\|$ を満たすとき、**有界**であるという。有界線形作用素の全体を $\mathcal{B}(X,Y)$（$Y = X$ のとき $\mathcal{B}(X)$）と書き、
$$
\|T\| = \sup_{x\ne0}\frac{\|Tx\|}{\|x\|} = \sup_{\|x\|\le1}\|Tx\|
$$
を**作用素ノルム**という。
</Definition>

<Proposition id="prop-bounded-iff-continuous">
ノルム空間の間の線形写像 $T:X\to Y$ について、次は同値である。(a) $T$ は有界。(b) $T$ は $X$ 全体で（一様）連続。(c) $T$ は $0$ で連続。
</Proposition>

<Proof of="prop-bounded-iff-continuous">
(a)⇒(b): $\|Tx - Tx'\| = \|T(x - x')\|\le C\|x - x'\|$ なのでリプシッツ連続です。(b)⇒(c) は明らかです。(c)⇒(a): $0$ での連続性から、$\varepsilon = 1$ に対し $\delta>0$ があって $\|x\|\le\delta$ なら $\|Tx\|\le1$ です。$x\ne0$ に対し $x' = \delta x/\|x\|$ と置けば $\|Tx'\|\le1$、線形性で $\|Tx\|\le\delta^{-1}\|x\|$。
</Proof>

<Proposition id="prop-bounded-operators-banach" title="作用素空間の完備性">
$X$ をノルム空間、$Y$ を Banach 空間とする。$\mathcal{B}(X,Y)$ は作用素ノルムについて Banach 空間である。
</Proposition>

<Proof of="prop-bounded-operators-banach">
作用素ノルムがノルムであることは定義から直接確かめられます（三角不等式は $\|(S+T)x\|\le\|Sx\| + \|Tx\|$ の上限を取る）。$(T_n)$ を作用素ノルムでのコーシー列とします。各 $x$ について $\|T_nx - T_mx\|\le\|T_n - T_m\|\|x\|$ なので $(T_nx)$ は $Y$ のコーシー列であり、**$Y$ の完備性**から極限 $Tx$ が存在します。$T$ は線形です（極限の線形性）。$\varepsilon>0$ に対し $N$ を $n,m\ge N$ で $\|T_n - T_m\|<\varepsilon$ となるように取ると、$\|T_nx - T_mx\|\le\varepsilon\|x\|$ で $m\to\infty$ として $\|T_nx - Tx\|\le\varepsilon\|x\|$（$n\ge N$）。よって $T_N - T$ は有界で、$T = T_N - (T_N - T)$ も有界、さらに $\|T_n - T\|\le\varepsilon$（$n\ge N$）なので $T_n\to T$ です。
</Proof>

<Definition id="def-dual-space" title="双対空間">
ノルム空間 $X$ に対し $X^* = \mathcal{B}(X,\mathbb{K})$ を $X$ の**双対空間**といい、その元を有界線形汎関数という。<Ref to="prop-bounded-operators-banach" /> により、$X$ が完備でなくても $X^*$ は Banach 空間である。
</Definition>

Hilbert 空間 $\mathcal{H}$ では、<Ref to="mathematics/functional-analysis/hilbert-spaces#thm-riesz-representation" /> により $\mathcal{H}^*$ は（共役線形に）$\mathcal{H}$ 自身と同一視されます。一般の Banach 空間ではそうはならず、たとえば $1\le p<\infty$ で $(\ell^p)^*\cong\ell^q$（$1/p + 1/q = 1$）、$(c_0)^*\cong\ell^1$、$(\ell^1)^*\cong\ell^\infty$ となりますが、$(\ell^\infty)^*$ は $\ell^1$ よりも真に大きくなります。

## 3. Hahn–Banach の定理

<Definition id="def-sublinear" title="劣線形汎関数">
実ベクトル空間 $X$ 上の関数 $p:X\to\mathbb{R}$ が、全 $x,y\in X$ と $t\ge0$ について $p(x + y)\le p(x) + p(y)$ かつ $p(tx) = tp(x)$ を満たすとき、**劣線形**であるという。半ノルムは劣線形である。
</Definition>

<Theorem id="thm-hahn-banach-real" title="Hahn–Banach の拡張定理（実）">
$X$ を実ベクトル空間、$p$ を $X$ 上の劣線形汎関数、$M$ を $X$ の線形部分空間、$f:M\to\mathbb{R}$ を全 $m\in M$ で $f(m)\le p(m)$ を満たす線形汎関数とする。このとき、線形汎関数 $F:X\to\mathbb{R}$ で、$F|_M = f$ かつ全 $x\in X$ で $F(x)\le p(x)$ を満たすものが存在する。
</Theorem>

証明の方針は、まず部分空間を 1 次元だけ広げる拡張が不等式 $F\le p$ を保ったままできることを示し（ステップ 1）、それを繰り返して全体まで広げる（ステップ 2）というものです。ステップ 1 では、新しい方向での値 $c$ に「これ以下」という条件と「これ以上」という条件が課されます。どちらの条件も $m$ を動かした集まりなので、下側の条件の上限が上側の条件の下限以下であることを示せば、その間に $c$ が取れます。1 次元ずつの拡張を無限に繰り返すことは数え上げでは尽くせないので、ツォルンの補題（これ以上広げられない拡張の存在を保証する道具）を使って一度に済ませます。

<Proof of="thm-hahn-banach-real">
**ステップ 1（1 次元だけ広げる）.** $x_0\notin M$ とし、$M_1 = M + \mathbb{R}x_0$ 上に $F_1(m + tx_0) = f(m) + tc$ で拡張することを考えます（$m + tx_0$ の表し方は一意なので well-defined です）。$F_1\le p$ となるための条件は、全 $m\in M$, $t\in\mathbb{R}$ で $f(m) + tc\le p(m + tx_0)$ です。$t>0$ なら $t$ で割り $m/t$ を改めて $m$ と書くと $c\le p(m + x_0) - f(m)$、$t<0$ なら $|t|$ で割って $c\ge f(m') - p(m' - x_0)$ となります（$t = 0$ は仮定そのもの）。したがって
$$
\sup_{m'\in M}\bigl(f(m') - p(m' - x_0)\bigr)\le\inf_{m\in M}\bigl(p(m + x_0) - f(m)\bigr)
$$
を示せば、その間に $c$ を取れます。$f$ の線形性、$f\le p$ on $M$、劣線形性から
$$
f(m) + f(m') = f(m + m')\le p(m + m') = p\bigl((m + x_0) + (m' - x_0)\bigr)\le p(m + x_0) + p(m' - x_0)
$$
となり、移項すれば上の不等式です。

**ステップ 2（ツォルンの補題）.** $f$ の拡張 $(N, g)$（$M\subset N$ は部分空間、$g$ は $N$ 上の線形汎関数で $g|_M = f$、$g\le p$ on $N$）全体の集合 $\mathcal{E}$ を、「$(N,g)\preceq(N',g')\iff N\subset N'$ かつ $g'|_N = g$」で順序づけます。全順序部分族 $\{(N_\lambda, g_\lambda)\}$ に対し、$N = \bigcup N_\lambda$（全順序なので部分空間）上に $g(x) = g_\lambda(x)$（$x\in N_\lambda$）と定めると well-defined で、上界になります。ツォルンの補題より極大元 $(N, F)$ が存在します。$N\ne X$ ならステップ 1 でさらに広げられて極大性に反するので、$N = X$ です。
</Proof>

<Theorem id="thm-hahn-banach-complex" title="Hahn–Banach の拡張定理（複素・ノルム空間版）">
$X$ を $\mathbb{K}$ 上のベクトル空間（$\mathbb{K} = \mathbb{R}$ または $\mathbb{C}$）、$p$ を $X$ 上の半ノルム、$M$ を部分空間、$f:M\to\mathbb{K}$ を全 $m\in M$ で $|f(m)|\le p(m)$ を満たす線形汎関数とする。このとき線形汎関数 $F:X\to\mathbb{K}$ で $F|_M = f$ かつ全 $x$ で $|F(x)|\le p(x)$ を満たすものが存在する。

とくに $X$ がノルム空間、$M$ が部分空間、$f\in M^*$ なら、$F|_M = f$ かつ $\|F\| = \|f\|$ を満たす $F\in X^*$ が存在する。
</Theorem>

<Proof of="thm-hahn-banach-complex">
**実の場合.** $f\le|f|\le p$ なので <Ref to="thm-hahn-banach-real" /> で $F\le p$ となる拡張が得られ、$-F(x) = F(-x)\le p(-x) = p(x)$ から $|F|\le p$ です。

**複素の場合.** $X$ を実ベクトル空間とみなし、$u = \mathrm{Re}\,f$ と置くと、$u$ は $M$ 上の実線形汎関数で $u\le|f|\le p$ です。複素線形性から $\mathrm{Im}\,f(m) = -\mathrm{Re}\,(if(m)) = -u(im)$ なので
$$
f(m) = u(m) - iu(im)
$$
です。実の場合の定理で $u$ を $U\le p$ を満たす実線形汎関数 $U:X\to\mathbb{R}$ に拡張し、$F(x) = U(x) - iU(ix)$ と置きます。$F$ は実線形で、$F(ix) = U(ix) - iU(-x) = U(ix) + iU(x) = iF(x)$ なので複素線形です。上の式から $F|_M = f$ です。最後に、$F(x) = e^{i\theta}|F(x)|$ と書くと、$F(e^{-i\theta}x) = |F(x)|$ は実数なので
$$
|F(x)| = \mathrm{Re}\,F(e^{-i\theta}x) = U(e^{-i\theta}x)\le p(e^{-i\theta}x) = p(x) .
$$

**ノルム空間版.** $p(x) = \|f\|\,\|x\|$ と置けば $|F(x)|\le\|f\|\|x\|$ なので $\|F\|\le\|f\|$、拡張なので逆向きの不等式も成り立ちます。
</Proof>

<Corollary id="cor-norming-functional" title="ノルムを実現する汎関数">
$X$ をノルム空間とする。任意の $x_0\in X\setminus\{0\}$ に対し、$\|F\| = 1$ かつ $F(x_0) = \|x_0\|$ を満たす $F\in X^*$ が存在する。したがって全 $x\in X$ で
$$
\|x\| = \sup_{F\in X^*,\ \|F\|\le1}|F(x)|
$$
であり（上限は達成される）、$X^*$ は $X$ の点を分離する：$x\ne y$ なら $F(x)\ne F(y)$ となる $F\in X^*$ がある。
</Corollary>

<Proof of="cor-norming-functional">
$M = \mathbb{K}x_0$ 上に $f(tx_0) = t\|x_0\|$ と定めると $\|f\| = 1$ です。<Ref to="thm-hahn-banach-complex" /> で $\|F\| = 1$ の拡張を取ればよいです。等式は、$|F(x)|\le\|F\|\|x\|$ から $\le$ が、いま作った $F$（$x_0 = x$）から $\ge$ が出ます。分離は $x - y\ne0$ に適用します。
</Proof>

拡張定理には、凸集合を超平面で分ける「幾何学的な形」があります。凸解析や、後の章で Banach 空間の弱閉集合を調べるときに使います。

<Theorem id="thm-hahn-banach-separation" title="Hahn–Banach の分離定理">
$X$ を $\mathbb{K}$ 上のノルム空間、$A, B\subset X$ を空でなく互いに交わらない凸集合とする。

1. $A$ が開集合なら、$F\in X^*$ と $\gamma\in\mathbb{R}$ が存在して、全 $a\in A$, $b\in B$ で $\mathrm{Re}\,F(a)<\gamma\le\mathrm{Re}\,F(b)$ となる。
2. $A$ がコンパクト、$B$ が閉なら、$F\in X^*$ と $\gamma_1<\gamma_2$ が存在して、全 $a\in A$, $b\in B$ で $\mathrm{Re}\,F(a)<\gamma_1<\gamma_2<\mathrm{Re}\,F(b)$ となる。
</Theorem>

<Proof of="thm-hahn-banach-separation">
ノルム空間 $X$ は半ノルム $\|\cdot\|$ 1 つで定まる局所凸空間で、その位相はノルム位相に一致し、連続な線形汎関数全体はちょうど $X^*$ です。したがって 1 は [局所凸空間と弱位相](/mathematics/functional-analysis/topological-vector-spaces) の <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-separation-open" />、2 は <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-separation-compact" /> を $X$ に適用したものです。これらの証明は本記事の <Ref to="thm-hahn-banach-real" /> と <Ref to="thm-hahn-banach-complex" /> を Minkowski 汎関数に適用するもので、本定理には依存しません。
</Proof>

<Remark id="rem-separation-proof">
証明の筋道（実の場合; 複素の場合は <Ref to="thm-hahn-banach-complex" /> の証明と同様に $\mathrm{Re}$ を取って複素線形汎関数に戻します）。1: $a_0\in A$, $b_0\in B$ を取り、$C = A - B + (b_0 - a_0)$ と置くと $C$ は $0$ を含む開凸集合で、$z_0 = b_0 - a_0\notin C$ です。$C$ の Minkowski 汎関数 $p(x) = \inf\{t>0 : x\in tC\}$ は劣線形で、$p\le c\|\cdot\|$（$C$ が $0$ の近傍を含むため）かつ $p(z_0)\ge1$ を満たします。$\mathbb{R}z_0$ 上の $f(tz_0) = t$ を <Ref to="thm-hahn-banach-real" /> で $F\le p$ に拡張すると、$F$ は有界で、$C$ 上 $F<1 = F(z_0)$ となり、これを書き直すと $F(a)<F(b)$ が全 $a, b$ で成り立ちます。開集合 $A$ 上の $F$ の像は開区間なので $\gamma = \sup_A F$ が取れます。2 は $A$ のコンパクト性から $\delta = d(A,B)>0$ を得て、開凸集合 $A + B(0,\delta/2)$ と $B$ に 1 を適用します。局所凸空間での完全な証明は <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-separation-open" /> と <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-separation-compact" /> にあります（ノルム空間はその特別な場合です）。
</Remark>

## 4. Baire のカテゴリー定理

<Theorem id="thm-baire" title="Baire のカテゴリー定理">
$(E, d)$ を空でない完備距離空間とする。

1. 稠密な開集合の列 $(U_n)_{n\in\mathbb{N}}$ に対し、$\bigcap_n U_n$ は $E$ で稠密である。
2. 同値な言い換え: $E = \bigcup_{n\in\mathbb{N}}F_n$ を閉集合の可算和とすると、少なくとも 1 つの $F_n$ は内点をもつ。
</Theorem>

<Proof of="thm-baire">
**1.** 空でない開集合 $W$ を任意に取り、$W\cap\bigcap_nU_n\ne\emptyset$ を示します。$U_1$ は稠密開なので $W\cap U_1$ は空でない開集合であり、閉球 $\bar B(x_1, r_1)\subset W\cap U_1$（$0<r_1<1$）が取れます。帰納的に、$U_n$ が稠密開なので $B(x_{n-1}, r_{n-1})\cap U_n$ は空でない開集合であり、閉球 $\bar B(x_n, r_n)\subset B(x_{n-1}, r_{n-1})\cap U_n$（$0<r_n<1/n$）が取れます。$m\ge n$ なら $x_m\in B(x_n, r_n)$ なので $d(x_m, x_n)<1/n$、$(x_n)$ はコーシー列で、**完備性**から極限 $x$ があります。各 $n$ について $x_m\in\bar B(x_n, r_n)$（$m\ge n$）でこれは閉なので $x\in\bar B(x_n,r_n)\subset U_n$、かつ $x\in\bar B(x_1, r_1)\subset W$ です。

**2.** すべての $F_n$ が内点をもたないなら、$U_n = E\setminus F_n$ は稠密開集合で、1 から $\bigcap U_n = E\setminus\bigcup F_n$ は稠密、とくに空でなく、$E = \bigcup F_n$ に反します。
</Proof>

内点をもたない閉集合（の部分集合）の可算和を**第 1 類集合**（やせた集合）といいます。Baire の定理は「完備距離空間それ自体は第 1 類ではない」と言っています。距離空間の基礎（完備化・コンパクト性・縮小写像の原理）とあわせた議論や、有理点でだけ連続な関数が存在しないことへの応用は [距離空間](/mathematics/real-analysis/metric-spaces) の <Ref to="mathematics/real-analysis/metric-spaces#thm-baire" /> にあります。

## 5. 一様有界性原理

<Theorem id="thm-uniform-boundedness" title="一様有界性原理（Banach–Steinhaus）">
$X$ を **Banach 空間**、$Y$ をノルム空間、$\{T_\alpha\}_{\alpha\in I}\subset\mathcal{B}(X,Y)$ を（可算とは限らない）族とする。全 $x\in X$ について $\sup_{\alpha\in I}\|T_\alpha x\|<\infty$ ならば、$\sup_{\alpha\in I}\|T_\alpha\|<\infty$ である。
</Theorem>

証明の方針は次のとおりです。「$T_\alpha x$ の大きさが全部 $n$ 以下」となる $x$ の集合 $F_n$ で空間全体を覆うと、Baire の定理によりどれか 1 つの $F_n$ は小さな球をまるごと含みます。その球の中では全 $T_\alpha$ の値が一様に押さえられ、球の中心の分を引き算で差し引けば、原点のまわりの球での評価、つまり作用素ノルムの上からの評価になります。

<Proof of="thm-uniform-boundedness">
$n\in\mathbb{N}$ に対し $F_n = \{x\in X : \sup_\alpha\|T_\alpha x\|\le n\} = \bigcap_\alpha\{x : \|T_\alpha x\|\le n\}$ と置きます。各 $T_\alpha$ が連続なので $F_n$ は閉集合の共通部分として閉です。仮定から $X = \bigcup_nF_n$ です。**$X$ が完備**なので <Ref to="thm-baire" /> の 2 により、ある $N$ と $x_0$、$r>0$ で $\bar B(x_0, r)\subset F_N$ となります。$\|z\|\le r$ なら $x_0 + z, x_0\in F_N$ なので
$$
\|T_\alpha z\| = \|T_\alpha(x_0 + z) - T_\alpha x_0\|\le2N
$$
が全 $\alpha$ で成り立ちます。よって $\|T_\alpha\| = \sup_{\|z\|\le r}\|T_\alpha z\|/r\le2N/r$ です。
</Proof>

<Corollary id="cor-banach-steinhaus-limit" title="強極限の有界性">
$X$ を Banach 空間、$Y$ をノルム空間、$T_n\in\mathcal{B}(X,Y)$ とし、全 $x\in X$ で極限 $Tx = \lim_nT_nx$ が存在するとする。このとき $T\in\mathcal{B}(X,Y)$ であり、$\|T\|\le\liminf_n\|T_n\|<\infty$ である。
</Corollary>

<Proof of="cor-banach-steinhaus-limit">
$T$ の線形性は極限の線形性から従います。収束列は有界なので、全 $x$ で $\sup_n\|T_nx\|<\infty$ であり、<Ref to="thm-uniform-boundedness" /> から $\sup_n\|T_n\|<\infty$、とくに $\liminf_n\|T_n\|<\infty$ です。$\|Tx\| = \lim_n\|T_nx\|\le\liminf_n\|T_n\|\,\|x\|$ から主張が出ます。
</Proof>

強収束はノルム収束より弱い収束ですが、一様有界ならコンパクト集合の上では一様になります。

<Lemma id="lem-strong-uniform-compact" title="強収束はコンパクト集合上で一様">
$X$ をノルム空間、$T_n, T\in\mathcal{B}(X)$ とし、$\sup_n\|T_n\|<\infty$ かつ全 $x\in X$ で $T_nx\to Tx$ とする。このとき任意のコンパクト集合 $K\subset X$ について $\sup_{x\in K}\|T_nx - Tx\|\to0$ である。
</Lemma>

<Proof of="lem-strong-uniform-compact">
$M = \max(\sup_n\|T_n\|, \|T\|)$ と置きます。$\varepsilon>0$ を取り、$K$ のコンパクト性から有限個の $x_1,\ldots,x_m\in K$ で $K\subset\bigcup_iB(x_i,\varepsilon)$ となるものを取ります。$N$ を、$n\ge N$ で全 $i$ について $\|T_nx_i - Tx_i\|<\varepsilon$ となるように取ります（有限個なので取れます）。$x\in K$ に対し $\|x - x_i\|<\varepsilon$ となる $i$ を選べば
$$
\|T_nx - Tx\|\le\|T_n(x - x_i)\| + \|T_nx_i - Tx_i\| + \|T(x_i - x)\|\le M\varepsilon + \varepsilon + M\varepsilon
$$
なので、$n\ge N$ で $\sup_{x\in K}\|T_nx - Tx\|\le(2M + 1)\varepsilon$ です。
</Proof>

$X$ が Banach 空間なら、一様有界性の仮定は <Ref to="cor-banach-steinhaus-limit" /> により強収束から自動的に従います。

<Corollary id="cor-weakly-bounded" title="弱有界な集合は有界">
$X$ をノルム空間、$S\subset X$ とする。全 $F\in X^*$ について $\sup_{x\in S}|F(x)|<\infty$ ならば、$\sup_{x\in S}\|x\|<\infty$ である。とくに Hilbert 空間で弱収束する列は有界である。
</Corollary>

<Proof of="cor-weakly-bounded">
$x\in X$ に対し $\hat x\in(X^*)^*$ を $\hat x(F) = F(x)$ で定めます。<Ref to="cor-norming-functional" /> より $\|\hat x\| = \|x\|$ です。$X^*$ は（$X$ が完備でなくても）Banach 空間なので（<Ref to="def-dual-space" />）、族 $\{\hat x\}_{x\in S}\subset\mathcal{B}(X^*,\mathbb{K})$ に <Ref to="thm-uniform-boundedness" /> を適用すると、仮定「全 $F$ で $\sup_x|\hat x(F)|<\infty$」から $\sup_x\|\hat x\| = \sup_x\|x\|<\infty$ です。Hilbert 空間で $x_n\rightharpoonup x$ なら、リースの表現定理（<Ref to="mathematics/functional-analysis/hilbert-spaces#thm-riesz-representation" />）により全 $F\in\mathcal{H}^*$ は $F=\langle y,\cdot\rangle$ の形なので $F(x_n)$ が収束して有界であり、前半から $(x_n)$ は有界です。
</Proof>

次の例は、一様有界性原理から $X$ の完備性を外すと結論が破れることを示します。

<Example id="ex-uniform-boundedness-fails-incomplete" title="完備でない空間での一様有界性の破れ">
$X = c_{00}$ に $\|x\|_\infty = \max_k|x_k|$ を入れます（<Ref to="ex-banach-spaces" /> の (4) より完備ではありません）。$f_n\in X^*$ を $f_n(x) = n\,x_n$ で定めると、$|f_n(x)|\le n\|x\|_\infty$ かつ $f_n(\delta_n) = n$ なので $\|f_n\| = n$ です。

一方、各 $x\in c_{00}$ について、$x_k\ne0$ となる $k$ の最大値を $K$ とすれば $n>K$ で $f_n(x) = 0$ なので、
$$
\sup_n|f_n(x)| = \max_{n\le K}n|x_n|<\infty .
$$
各点では有界なのに $\sup_n\|f_n\| = \infty$ です。<Ref to="thm-uniform-boundedness" /> の証明で $X = \bigcup F_n$ から内点を取り出す段階が、完備性なしでは使えなくなっています。実際、$F_n = \{x : \sup_k k|x_k|\le n\}$ はどれも $c_{00}$ の中で内点をもちません（任意の $x$ の近くに、遠くの成分に小さな値 $\varepsilon$ を置いた点 $x + \varepsilon\delta_m$、$m>n/\varepsilon$ があり、それは $F_n$ に入らない）。
</Example>

## 6. 開写像定理と閉グラフ定理

<Theorem id="thm-open-mapping" title="開写像定理">
$X, Y$ を **Banach 空間**、$T\in\mathcal{B}(X,Y)$ を**全射**とする。このとき $T$ は開写像である。すなわち、$X$ の任意の開集合 $U$ について $T(U)$ は $Y$ の開集合である。
</Theorem>

証明は 3 段階です。ステップ 1 で Baire の定理を使い、「単位球の像の閉包は原点のまわりの小さな球を含む」ことを示します。途中に出る $\overline{A}-\overline{A}\subset\overline{A-A}$ は、閉包の点を元の集合の点列の極限で表せば確かめられます。ステップ 2 では閉包を外します。誤差が半分ずつになるように補正の項 $x_k$ を次々に足していき、その無限和を完備性で収束させます。ステップ 3 は、これを開集合の言葉に言い直すだけです。

<Proof of="thm-open-mapping">
$B_r$ を $X$ の原点中心半径 $r$ の開球、$V_r$ を $Y$ の同様の開球とします。

**ステップ 1: ある $\delta>0$ について $V_\delta\subset\overline{T(B_1)}$.** $T$ は全射なので $Y = \bigcup_{n}T(B_n) = \bigcup_n\overline{T(B_n)}$。**$Y$ の完備性**と <Ref to="thm-baire" /> から、ある $N$ について $\overline{T(B_N)}$ は内点 $y_0$ をもち、$y_0 + V_\varepsilon\subset\overline{T(B_N)}$ となる $\varepsilon>0$ があります。$\|y\|<\varepsilon$ なら $y = (y_0 + y) - y_0$ で、$y_0 + y$ も $y_0$ も $\overline{T(B_N)}$ に入るので、$y\in\overline{T(B_N)} - \overline{T(B_N)}\subset\overline{T(B_N) - T(B_N)}\subset\overline{T(B_{2N})}$ です。線形性によるスケーリングで $V_{\delta}\subset\overline{T(B_1)}$（$\delta = \varepsilon/2N$）、さらに一般に $V_{\delta r}\subset\overline{T(B_r)}$ です。

**ステップ 2: $V_\delta\subset T(B_2)$.** $\|y\|<\delta$ とします。ステップ 1 から $x_1\in B_1$ で $\|y - Tx_1\|<\delta/2$ となるものがあります。$y - Tx_1\in V_{\delta/2}\subset\overline{T(B_{1/2})}$ なので $x_2\in B_{1/2}$ で $\|y - Tx_1 - Tx_2\|<\delta/4$ となるものがあります。帰納的に $x_k\in B_{2^{1-k}}$ で $\|y - T(x_1 + \cdots + x_k)\|<\delta 2^{-k}$ となるものが取れます。$\sum_k\|x_k\|<\sum_k2^{1-k} = 2$ なので部分和 $s_k = x_1 + \cdots + x_k$ はコーシー列で、**$X$ の完備性**から極限 $x$ をもち、$\|x\|<2$（$\|x\|\le\|x_1\| + \sum_{k\ge2}2^{1-k} < \|x_1\| + 1 < 2$）です。$T$ の連続性から $Tx = \lim Ts_k = y$ です。

**ステップ 3.** $U$ を開集合、$y = Tx$（$x\in U$）とし、$x + B_r\subset U$ となる $r$ を取ります。ステップ 2 とスケーリングから $T(U)\supset Tx + T(B_r)\supset y + V_{\delta r/2}$ なので、$T(U)$ は開です。
</Proof>

<Corollary id="cor-inverse-mapping" title="逆写像定理（有界逆定理）">
$X, Y$ を Banach 空間、$T\in\mathcal{B}(X,Y)$ を全単射とする。このとき $T^{-1}\in\mathcal{B}(Y,X)$ である。
</Corollary>

<Proof of="cor-inverse-mapping">
$T^{-1}$ は線形です。<Ref to="thm-open-mapping" /> により、$X$ の開集合 $U$ について $(T^{-1})^{-1}(U) = T(U)$ は開なので $T^{-1}$ は連続、<Ref to="prop-bounded-iff-continuous" /> より有界です。
</Proof>

<Example id="ex-inverse-mapping-fails" title="完備性を外すと逆写像は有界とは限らない">
$X = (\ell^1, \|\cdot\|_1)$, $Y = (\ell^1, \|\cdot\|_\infty)$ とし、$T$ を恒等写像とします。$\|x\|_\infty\le\|x\|_1$ なので $T$ は有界な全単射ですが、$x = \sum_{k\le n}\delta_k$ について $\|x\|_1 = n$, $\|x\|_\infty = 1$ なので $T^{-1}$ は有界ではありません。<Ref to="cor-inverse-mapping" /> に反しないのは、$Y$ が完備でないからです（$\ell^1$ は $\|\cdot\|_\infty$ について $c_0$ の稠密な真部分空間）。
</Example>

<Definition id="def-graph" title="グラフと閉作用素">
ノルム空間 $X, Y$ と線形写像 $T:D(T)\to Y$（$D(T)\subset X$ は部分空間）に対し、$G(T) = \{(x, Tx) : x\in D(T)\}\subset X\times Y$ を $T$ の**グラフ**という。$X\times Y$ にはノルム $\|(x,y)\| = \|x\| + \|y\|$ を入れる。$G(T)$ が $X\times Y$ で閉であるとき、$T$ は**閉**であるという。すなわち、$x_n\in D(T)$, $x_n\to x$, $Tx_n\to y$ ならば $x\in D(T)$ かつ $Tx = y$ となることである。
</Definition>

$X, Y$ が Banach 空間なら $X\times Y$ も Banach 空間で、その閉部分空間 $G(T)$ も Banach 空間です。閉作用素は非有界作用素論の主役で、[非有界作用素](/mathematics/functional-analysis/unbounded-operators) の章で詳しく扱います。

<Theorem id="thm-closed-graph" title="閉グラフ定理">
$X, Y$ を **Banach 空間**、$T:X\to Y$ を **$X$ 全体で定義された**線形写像とする。$T$ のグラフが閉ならば、$T$ は有界である。
</Theorem>

<Proof of="thm-closed-graph">
$G(T)$ は Banach 空間 $X\times Y$ の閉部分空間なので Banach 空間です。射影 $\pi_1:G(T)\to X$, $\pi_1(x, Tx) = x$ は線形で $\|\pi_1(x,Tx)\| = \|x\|\le\|x\| + \|Tx\|$ なので有界、さらに $T$ が $X$ 全体で定義されているので全単射です。<Ref to="cor-inverse-mapping" /> により $\pi_1^{-1}:x\mapsto(x,Tx)$ は有界、すなわち定数 $C$ で $\|x\| + \|Tx\|\le C\|x\|$ となり、$\|Tx\|\le C\|x\|$ です。
</Proof>

閉グラフ定理の使い方は、「$x_n\to x$ と $Tx_n\to y$ の**両方**を仮定してよい」点にあります。連続性を直接示すには $Tx_n$ の収束そのものを示す必要がありますが、閉グラフ定理を使えば収束先が $Tx$ であることだけを確かめればよいのです。その典型が次の系です。

<Corollary id="cor-hellinger-toeplitz" title="Hellinger–Toeplitz の定理">
$\mathcal{H}$ を Hilbert 空間、$A:\mathcal{H}\to\mathcal{H}$ を $\mathcal{H}$ **全体で定義された**線形写像で、全 $x, y$ について $\langle x, Ay\rangle = \langle Ax, y\rangle$ を満たすものとする。このとき $A$ は有界である。
</Corollary>

<Proof of="cor-hellinger-toeplitz">
<Ref to="thm-closed-graph" /> により、グラフが閉であることを示せば十分です。$x_n\to x$, $Ax_n\to y$ とします。任意の $z\in\mathcal{H}$ について、対称性と内積の連続性から
$$
\langle z, y\rangle = \lim_n\langle z, Ax_n\rangle = \lim_n\langle Az, x_n\rangle = \langle Az, x\rangle = \langle z, Ax\rangle .
$$
$z$ は任意なので $y = Ax$ です。
</Proof>

<Remark id="rem-hellinger-toeplitz-physics">
量子力学の位置作用素 $(Q\psi)(x) = x\psi(x)$ や運動量作用素、多くの Hamiltonian は対称（エルミート）ですが有界ではありません。Hellinger–Toeplitz の定理により、こうした作用素は $L^2$ 全体では定義できず、稠密な部分空間を定義域とする**非有界作用素**として扱わざるをえません。定義域の選び方が物理（境界条件）を決めること、それが自己共役拡大の理論の出発点です。
</Remark>

<Example id="ex-closed-graph-fails" title="完備でない定義域での閉グラフ定理の破れ">
$X = C^1([0,1])$ に最大値ノルム $\|\cdot\|_\infty$ を入れ（完備ではありません）、$Y = C([0,1])$（Banach 空間）とし、$Tf = f'$ と置きます。

**$T$ は閉.** $f_n\to f$, $f_n'\to g$（いずれも一様収束）とすると、$f_n(t) = f_n(0) + \int_0^tf_n'(s)\,ds$ で極限を取って $f(t) = f(0) + \int_0^tg(s)\,ds$。$g$ は連続なので微積分の基本定理から $f\in C^1$ かつ $f' = g$ です。

**$T$ は有界でない.** $f_n(t) = \sin(n t)$ は $\|f_n\|_\infty\le1$ ですが $\|f_n'\|_\infty = n$ です。

$T$ は「全体で定義された」閉作用素ですが、定義域 $X$ が完備でないので <Ref to="thm-closed-graph" /> は適用できません。同じ $T$ を $C([0,1])$ の稠密な部分空間 $C^1([0,1])$ 上の作用素とみれば、これは非有界な閉作用素の最初の例です。
</Example>

## 7. 弱位相・弱 * 位相と Banach–Alaoglu の定理

<Definition id="def-weak-topology" title="弱位相・弱 * 位相">
$X$ をノルム空間とする。

1. $X$ 上の**弱位相** $\sigma(X, X^*)$ とは、すべての $F\in X^*$ を連続にする最も弱い位相である。点列（あるいは[ネット](/mathematics/topology/products-quotients-tychonoff#def-net)）$x_n$ が $x$ に弱収束する（$x_n\rightharpoonup x$）とは、全 $F\in X^*$ で $F(x_n)\to F(x)$ となることである。
2. $X^*$ 上の**弱 * 位相** $\sigma(X^*, X)$ とは、すべての $x\in X$ について評価写像 $F\mapsto F(x)$ を連続にする最も弱い位相である。$F_n\to F$（弱 *）とは、全 $x\in X$ で $F_n(x)\to F(x)$ となることである。
</Definition>

Hilbert 空間では、リースの表現定理により $X^*$ の元は $\langle y,\cdot\rangle$ の形なので、1 の弱収束は前章の <Ref to="mathematics/functional-analysis/hilbert-spaces#def-weak-convergence" /> と一致します。弱位相はノルム位相より弱く（開集合が少なく）、無限次元では真に弱くなります。弱 * 位相は $X^*$ の弱位相 $\sigma(X^*, X^{**})$ よりさらに弱い位相です。開集合が少ないほどコンパクト集合は多くなります。

<Example id="ex-weak-star-not-weak" title="弱 * 収束するが弱収束しない列">
$(c_0)^*\cong\ell^1$（$a\in\ell^1$ が $c\mapsto\sum_ka_kc_k$ に対応）とみて、$\ell^1$ の列 $\delta_n$ を考えます。任意の $c\in c_0$ について $\delta_n(c) = c_n\to0$ なので、$\delta_n\to0$（弱 *）です。一方 $(\ell^1)^*\cong\ell^\infty$ の元 $b = (1,1,1,\ldots)$ は $\delta_n$ に対して常に値 $1$ を取るので、$\delta_n$ は $\ell^1$ の弱位相では $0$ に収束しません。弱収束する別の極限 $a$ があったとすると、各成分の汎関数で $a_k = \lim_n(\delta_n)_k = 0$ となり、$a = 0$ に矛盾します。
</Example>

<Theorem id="thm-banach-alaoglu" title="Banach–Alaoglu の定理">
$X$ をノルム空間とする。$X^*$ の閉単位球 $\{F\in X^* : \|F\|\le1\}$ は弱 * 位相についてコンパクトである。さらに $X$ が可分なら、閉単位球の弱 * 位相は[距離づけ可能](/mathematics/topology/separation-axioms#def-metrizable)であり、$X^*$ の任意の有界列は弱 * 収束する部分列をもつ。
</Theorem>

<Proof of="thm-banach-alaoglu">
ノルム空間 $X$ は 1 つのノルムで定まる局所凸空間で、$V=\{x:\|x\|\le1\}$ は $0$ の近傍です。その極集合 $V^\circ=\{F\in X^*:\|x\|\le1\Rightarrow|F(x)|\le1\}$ は作用素ノルムの定義から閉単位球 $\{F:\|F\|\le1\}$ そのものです。したがって前半は [局所凸空間と弱位相](/mathematics/functional-analysis/topological-vector-spaces) の <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-alaoglu" /> の特別な場合です。後半（可分な場合の距離づけ可能性と有界列の部分列）は同じ記事の <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-alaoglu-separable" /> そのものです。
</Proof>

<Remark id="rem-banach-alaoglu-proof">
証明の筋道: 閉単位球 $B^*$ の元 $F$ を、その値の族 $(F(x))_{x\in X}$ によって直積 $P = \prod_{x\in X}\{z\in\mathbb{K} : |z|\le\|x\|\}$ の点とみなします。この埋め込みは弱 * 位相から $P$ の直積位相への同相写像です。$P$ は Tychonoff の定理によりコンパクトで（[コンパクト性](/mathematics/topology/compactness)）、$B^*$ の像は「線形性」という各点ごとの等式条件で切り出される $P$ の閉集合なので、コンパクトです。可分の場合は、稠密列 $(x_k)$ を使った距離 $d(F,G) = \sum_k2^{-k}\min(1,|F(x_k) - G(x_k)|)$ が $B^*$ 上で弱 * 位相を与えます。この場合は前章 <Ref to="mathematics/functional-analysis/hilbert-spaces#thm-weak-sequential-compactness" /> と同じ対角線論法で直接示すこともできます。完全な証明は <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-alaoglu" /> と <Ref to="mathematics/functional-analysis/topological-vector-spaces#thm-alaoglu-separable" /> にあります。
</Remark>

Hilbert 空間 $\mathcal{H}$ では、リースの表現定理で $\mathcal{H}^*$ と $\mathcal{H}$ を同一視すると弱 * 位相と弱位相が一致するので、Banach–Alaoglu の定理は「$\mathcal{H}$ の閉単位球は弱コンパクト」と読めます。これが前章で証明した有界列の弱収束部分列の存在の背景です。一般の Banach 空間で同じことが言えるのは、標準的な埋め込み $X\to X^{**}$ が全射になる**回帰的**な空間（$1<p<\infty$ の $L^p$ など）に限られます。$L^1$ や $C([0,1])$ では有界列が弱収束部分列をもつとは限らず、これが変分法で $L^1$ を避けて $L^p$（$p>1$）や Sobolev 空間で議論する理由です。

## 8. 演習

<Exercise id="exr-weakly-convergent-bounded" difficulty="易">
$X$ をノルム空間とし、$x_n\rightharpoonup x$（弱収束）とします。$\sup_n\|x_n\|<\infty$ と $\|x\|\le\liminf_n\|x_n\|$ を示してください。
<Solution>
各 $F\in X^*$ について $(F(x_n))$ は収束するので有界です。<Ref to="cor-weakly-bounded" /> により $\sup_n\|x_n\|<\infty$ です。次に <Ref to="cor-norming-functional" /> で $\|F\| = 1$, $F(x) = \|x\|$ となる $F$ を取ると
$$
\|x\| = F(x) = \lim_n F(x_n)\le\liminf_n|F(x_n)|\le\liminf_n\|x_n\| .
$$
（$x = 0$ なら自明です。）前章 <Ref to="mathematics/functional-analysis/hilbert-spaces#prop-weak-limit-properties" /> の 2 の一般化になっています。
</Solution>
</Exercise>

<Exercise id="exr-comparable-complete-norms" difficulty="標準">
ベクトル空間 $X$ 上の 2 つのノルム $\|\cdot\|_1$, $\|\cdot\|_2$ がどちらも完備で、ある $C$ について $\|x\|_1\le C\|x\|_2$（全 $x$）を満たすとします。ある $C'$ について $\|x\|_2\le C'\|x\|_1$ となること（2 つのノルムが同値であること）を示してください。また、完備性の仮定の一方を外すと結論が破れる例を挙げてください。
<Solution>
恒等写像 $I:(X,\|\cdot\|_2)\to(X,\|\cdot\|_1)$ は仮定から有界な全単射で、両側が Banach 空間です。<Ref to="cor-inverse-mapping" /> により $I^{-1}:(X,\|\cdot\|_1)\to(X,\|\cdot\|_2)$ も有界で、その作用素ノルムを $C'$ とすれば $\|x\|_2\le C'\|x\|_1$ です。

反例は <Ref to="ex-inverse-mapping-fails" /> です。$X = \ell^1$, $\|\cdot\|_2$ を $\ell^1$ ノルム（完備）、$\|\cdot\|_1$ を最大値ノルム（完備でない）とすると $\|x\|_\infty\le\|x\|_{\ell^1}$ ですが、逆向きの評価は成り立ちません。
</Solution>
</Exercise>

<Exercise id="exr-strong-limit-not-norm-limit" difficulty="標準">
$\ell^2$ 上の作用素 $P_n$ を、最初の $n$ 成分を残して残りを $0$ にする射影とします。

(a) 全 $x\in\ell^2$ について $P_nx\to x$ ですが、$\|P_n - 1\|\not\to0$ であることを示してください。

(b) 一般に Banach 空間 $X$ 上の $T_n\in\mathcal{B}(X)$ が全 $x$ で $T_nx\to Tx$ を満たすとき、コンパクト集合 $K\subset X$ 上で $\sup_{x\in K}\|T_nx - Tx\|\to0$ となることを示してください。
<Solution>
(a) $\|P_nx - x\|^2 = \sum_{k>n}|x_k|^2\to0$ です。一方 $(1 - P_n)\delta_{n+1} = \delta_{n+1}$ なので $\|1 - P_n\|\ge1$（実際 $=1$）です。

(b) <Ref to="cor-banach-steinhaus-limit" /> より $M = \sup_n\|T_n\|<\infty$ かつ $\|T\|\le M$ です。$\varepsilon>0$ を取り、$K$ のコンパクト性から有限個の $x_1,\ldots,x_m\in K$ で $K\subset\bigcup_iB(x_i,\varepsilon)$ となるものを取ります。$N$ を、$n\ge N$ で全 $i$ について $\|T_nx_i - Tx_i\|<\varepsilon$ となるように取ります。$x\in K$ に対し $\|x - x_i\|<\varepsilon$ となる $i$ を選べば
$$
\|T_nx - Tx\|\le\|T_n(x - x_i)\| + \|T_nx_i - Tx_i\| + \|T(x_i - x)\|\le M\varepsilon + \varepsilon + M\varepsilon
$$
なので、$n\ge N$ で $\sup_K\|T_nx - Tx\|\le(2M + 1)\varepsilon$ です。一様有界性が使えないと最初と最後の項を制御できません。
</Solution>
</Exercise>

<Exercise id="exr-no-countable-hamel-basis" difficulty="難">
無限次元の Banach 空間 $X$ は、可算なハメル基底（線形代数の意味の基底）をもたないことを示してください。これを用いて、$c_{00}$ にはどんなノルムを入れても Banach 空間にならないことを結論してください。
<Solution>
$X$ が可算なハメル基底 $\{b_1, b_2,\ldots\}$ をもつとし、$F_n = \mathrm{span}\{b_1,\ldots,b_n\}$ と置きます。$X = \bigcup_nF_n$ です。有限次元部分空間は完備（有限次元ノルム空間ではすべてのノルムが同値で、$\mathbb{K}^n$ は完備）なので、$X$ の中で閉です。$X$ は完備なので <Ref to="thm-baire" /> より、ある $F_N$ が内点 $x_0$ をもち、$B(x_0, r)\subset F_N$ です。任意の $z\ne0$ について $x_0 + \tfrac{r}{2\|z\|}z\in F_N$ かつ $x_0\in F_N$ なので、差を取って $z\in F_N$。よって $X = F_N$ は有限次元となり、仮定に反します。

$c_{00}$ は $\{\delta_k\}_{k\in\mathbb{N}}$ という可算なハメル基底をもつ無限次元空間なので、どんなノルムについても完備ではありえません。これは <Ref to="ex-banach-spaces" /> の (4) で $\|\cdot\|_\infty$ について見たことの強い形です。
</Solution>
</Exercise>

## 参考文献

- M. Reed, B. Simon, *Methods of Modern Mathematical Physics I: Functional Analysis*, revised and enlarged edition, Academic Press, 1980 — Chapter III（Banach 空間）、Chapter V（局所凸空間）。
- W. Rudin, *Functional Analysis*, 2nd edition, McGraw-Hill, 1991 — Chapters 2–4。
- H. Brezis, *Functional Analysis, Sobolev Spaces and Partial Differential Equations*, Springer, 2011 — Chapters 1–3。
- 黒田成俊『関数解析』共立出版、1980 — Banach 空間の章。
- S. Banach, *Théorie des opérations linéaires*, Monografje Matematyczne, Warszawa, 1932。