バナッハ＝アラオグルの定理
数学バナッハ=アラオグルの定理(バナッハ=アラオグルのていり、Banach–Alaoglu theorem)あるいはアラオグルの定理として知られる定理は、ノルム空間Vの共役空間V*の閉単位球が*弱位相関してコンパクトになるという定理である。
この定理の背景を簡単に述べると、関数解析学では無限次元のノルム空間Vを多用し、Vやその共役空間V*の元は何らかの集合上の実数値ないし複素数値の関数のなすベクトル空間である事が多い。しかしVが無限次元の場合、VやV*の閉単位球はノルム位相に関してはコンパクトにならない事が知られており、これが原因で有限次元とは異なり、VやV*上の有界な点列が(ノルム位相に関して)収束部分列を持つことが保証されない。これは例えば微分方程式をノルムに関して近似する解fεを求めた上でε→0とした場合、その極限(すなわち微分方程式の解そのもの)が存在する事が保証されない事を意味する。微分方程式の振る舞いの記述を主たる適用先とする関数解析学において、これは致命的である。
しかしバナッハ=アラオグルの定理は閉単位球が*弱位相に関してコンパクトである事を保証しているので、弱位相の意味での近似解fεを求めれば、(f_{\varepsilon})_{\varepsilon>0}が収束部分列を持つ事が保証され、その収束部分列の極限が微分方程式の解になっている事を証明する道が開かれる。
この定理は、オブザーバブルの代数の状態の集合を表現するときに物理学的に応用される。すなわち、任意の状態はいわゆる純粋状態の凸線型結合として表現される。
この定理は可分な場合に対して1932年にステファン・バナフによって示され、一般の場合は1940年にレオニダス・アラオグルにより示された。
以下、ベクトル空間の係数体Kは\mathbb{R}もしくは\mathbb{C}であるとする。
本節ではバナッハ=アラオグルの定理の記述に必要な概念を定義する。
K上ノルム空間(V,\
によりノルムが入る。
|name=定義|note=ノルム空間の共役空間}V*の閉単位球B*は上述の作用素ノルム\|\cdot\|_{V^*}に対して定義される:
B^*:=\{\alpha\in V^*\mid \|\alpha\|_{V^*}\le 1\}
なお、V*上の作用素ノルム\|\cdot\|_{V^*}はV*にノルム位相(=ノルムが定める距離から定まる位相)を定めるが、バナッハ=アラオグルの定理はノルム位相ではなく以下で述べる*弱位相に関する定理である:
V*上の*弱位相とはx ∈ Vに対し、
\mu_x\colon\alpha\in V^* \mapsto \alpha(x)\in K
とするとき、μxが全て連続になるV*上の最弱の位相の事である。
最後に位相空間のコンパクト性は以下のように定義される:位相空間Xに関して以下の2条件は同値であり、これら2条件の少なくとも一方(したがって両方)を満たすときXはコンパクトであるという。
X上の任意の有向点族(x_{\lambda})_{\lambda\in\Lambda}に対し、(x_{\lambda})_{\lambda\in\Lambda}のある部分有向点族(x_{\lambda_{\gamma)_{\gamma\in\Gamma}とx∈Xが存在し、(x_{\lambda_{\gamma})_{\gamma\in\Gamma}はx∈Xに収束する
ノルム位相に対してはリースの補題から直接的に次の事実が従う:\mathbb{R}もしくは\mathbb{C}上のノルム空間Vの閉単位球がノルム位相に関してコンパクトである必要十分条件はVが有限次元である事である。
したがって無限次元の場合、V*の閉単位球はノルム位相に関してコンパクトではない。
これに対し、V*の閉単位球は*弱位相に関してはコンパクトになるというのがバナッハ・アラオグルの定理の主張である:定理この定理はチコノフの定理に基づいて非構成的に示せる。なおノルム空間Vが(ノルム位相に関して)可分な場合には、可分なノルム空間の共役空間の閉単位球が*弱位相に関して距離化可能である事を利用してより直接的にに証明可能である。
\prod_{x\in V}K_x
と定義すると、直積位相の定義より、*弱位相は写像
\mu~\colon~V^*\to K^V, ~~\alpha \mapsto (\alpha(x))_{x\in V}
を連続にする最弱の位相と一致する。すなわちμは中への同相写像である。したがってV*の閉単位球B*のコンパクト性を示すには、μ(B*)のコンパクト性を示せば良い。
これを示すため、K^VはVからKへの(線形とは限らない)写像全体の集合F(V, K)と自然に同一視できるという事実を使う:
K^V \approx F(V,K)
両者が同一視できるのは以下の理由による。K^Vの任意の元\nu=(\nu_x)_{x\in V}から(線形とは限らない)写像x\in V \mapsto \nu_x\in Kを定める事ができ、逆にVからKへの(線形とは限らない)に\zeta~:~V \to K対して(\zeta(x))_{x\in V}\in K^Vが対応する。
上記の同一視を行った場合、K^Vの位相(直積位相)はF(V, K)の各点収束位相と一致する。
μ(B*)のコンパクト性を示す為、D_x \subset K_xを
D_x =\{\xi\in K_x \mid 〔\nu(x)|\over \|x\|_{V} \le 1 \text{ and }\nu(0)=0
なので、作用素ノルム\|\cdot\|_{V^*}の定義より、
\mu(B^*)= \bigg\{ \nu \in D^V \bigg|\nuは線形\bigg\}
が従う。よってμ(B*)が閉集合である事を示すには収束する任意の有向点族(\alpha_{\lambda})_{\lambda\in \Lambda}\subset B^*に対し、その極限α∞がα∞ ∈ B*を満たす事を示せばよい。そこでx, y ∈ V、a, b ∈ Kを任意に取ると、
\alpha_{\infty}(ax+by)
=(\lim_{\lambda\to\infty}\alpha_{\lambda})(ax+by)
\underset{\text{(1)}{=}\mu_{ax+by}(\lim_{\lambda\to\infty}\alpha_{\lambda})
\underset{\text{(2)}{=}
\lim_{\lambda\to\infty}\mu_{ax+by}(\alpha_{\lambda})
\underset{\text{(3)}{=}
a\lim_{\lambda\to\infty}\alpha_{\lambda}(x)+b\lim_{\lambda\to\infty}\alpha_{\lambda}(y)
=a\alpha_{\infty}(x)+b\alpha_{\infty}(y)
が成立する。ここで
(1)は\mu_{x}
の定義から従う。
(2)は*弱位相が(\mu_{x})_{x\in V}
を全て連続にする最弱の位相である事から従う。
(3)は\mu_{x}
の定義、およびKにおける和や定数倍の連続性から従う。
よってα∞ ∈ B*が示され、定理が証明された。
|title=一般の場合の証明|drop=yes}
可分なノルム空間Vの共役空間V*の閉単位球B*は*弱位相に関して距離化可能な事が知られており、距離化可能空間ではB*のコンパクト性は点列コンパクト性と同値であるので、任意に点列(\alpha_n)_{n\in\mathbb{N\subset B^*を選んで固定し、(\alpha_n)_{n\in\mathbb{N}がB*内に収束する部分列を持つ事を示せば良い。
Vは可分なので、Vの稠密部分集合(x_i)_{i\in\mathbb{N}\subset Vが存在する。今、
\alpha_n \in B^*\Rightarrow   \|\alpha_n\|_{V^*}\le 1 \Rightarrow |\alpha_n(x_i)|\le |x_i|
が成立するので、各iに対し、数列(\alpha_n(x_i))_{n\in\mathbb{N}\subset KはK上有界であり、したがって収束部分列を持つ。
よって各iに対して順に(\alpha_n)_{n\in\mathbb{N}の部分列を取っていくことで任意のiに対して(\alpha_{n_m}(x_i))_{m\in\mathbb{N}がm→∞に関して収束するような(\alpha_{n_m})_{m\in\mathbb{N}を選ぶ事ができる。
次に我々は、(x_i)_{i\in\mathbb{N}\subset VがVで稠密な事を利用して、任意のx ∈ Vに対し(\alpha_{n_m}(x))_{m\in\mathbb{N}がコーシー列である事を示す。V*は(Vが完備であるかどうかによらず)必ず完備なので、これにより(\alpha_{n_m}(x))_{m\in\mathbb{N}の収束性が従う。
そこでε>0とx ∈ Vを任意に固定すると、(x_i)_{i\in\mathbb{N}はVの稠密性より、
\|x-x_i\|\le \varepsilon
を満たすxiが存在する。よって任意のm、\ell\in \mathbb{N}に対し、
\begin{align}
&|\alpha_{n_m}(x)-\alpha_{n_\ell}(x)|\\
&\le |\alpha_{n_m}(x)-\alpha_{n_m}(x_i)|+|\alpha_{n_m}(x_i)-\alpha_{n_\ell}(x_i)|+|\alpha_{n_\ell}(x_i)-\alpha_{n_\ell}(x)|\\
&\le \|\alpha_{n_m}\|_{V^*}\|x_i-x\|_{V}+|\alpha_{n_m}(x_i)-\alpha_{n_\ell}(x_i)|+\|\alpha_{n_\ell}\|_{V^*}\|x_i-x\|_{V}\\
&\le |\alpha_{n_m}(x_i)-\alpha_{n_\ell}(x_i)|+2\varepsilon
\end{align}
が成立する。最後の不等式は\alpha_{n_m},\alpha_{n_\ell}\in B^*と\|x-x_i\|_{V}\le \varepsilonを用いた。
各固定されたiに対し(\alpha_{n_m}(x_i))_{m\in\mathbb{N}は収束列であり、したがってコーシー列であるので、上記の事から、
0\le \overline{\lim}_{m,\ell\to\infty}|\alpha_{n_m}(x)-\alpha_{n_\ell}(x)|\le 2\varepsilon
が成立する。よってε>0の任意性より、
\lim_{m,\ell\to\infty}|\alpha_{n_m}(x)-\alpha_{n_\ell}(x)|=0
が任意のx ∈ Vに対して成立する。よって任意のx ∈ Vに対し(\alpha_{n_m}(x))_{m\in\mathbb{N}はコーシー列であり、したがってV*の完備性より収束列である。
最後に、
\alpha~:~V\to K
を、x ∈ Vに(\alpha_{n_m}(x))_{m\in\mathbb{N}の収束先を対応させる写像とする。この写像αがV*の元であり、しかも(\alpha_{n_m})_{m\in\mathbb{N}の収束先である事を示せば、定理が証明される。
αがV*の元である事を示すため、V*の条件を順に示す。まず\alpha_{n_m}の線形性より\alphaの線形性が従う。しかも任意のε>0と任意のx ∈ Vに対し、あるm_0\in\mathbb{N}以上のmに対して
|\alpha(x)|\le |\alpha(x)-\alpha_{n_m}(x)|+|\alpha_{n_m}(x)|\le \varepsilon + |x|
が\alpha_{n_m}\in B^*から従うので、ε>0の任意性から |\alpha(x)|\le  |x|、すなわち\alpha\in B^*\subset V^*が従う。
αの定義より、\lim_{m\to\infty}|\alpha_{n_m}(x)-\alpha(x)|=0が任意のx ∈ Vに対して従い、これは(\alpha_{n_m})_{m\in\mathbb{N}がαに*弱収束する事を意味する。
|title=可分な場合の別証明|drop=yes}
バナッハ=アラオグルの定理は半径1の閉球に対するものだが、任意の半径の閉球もコンパクトになる事が容易に示せる。また*弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する:系なお、Vが回帰的(すなわちV**=Vが成立する空間)であればV上の*弱位相と弱位相は同一になるので、下記の系が従う:系1 < p < ∞に対しLp空間やℓp空間は回帰的なので、上記の定理が適用できる。しかし回帰的でない場合には上述の定理に反例があり、例えば0に収束する複素数列全体にℓ∞ノルムを入れた空間c0の閉単位球は弱位相に関してコンパクトではない。
注意しなければならないのは、*弱位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても*弱位相をいれたV*が局所コンパクトにはなっていない事を意味する。
。
ブルバキ=アラオグルの定理(Bourbaki-Alaoglu theorem)は、ニコラ・ブルバキによる局所凸位相ベクトル空間上の双対位相へのバナッハ=アラオグルの定理の一般化である。
ノルム線型空間の場合、近傍の極はその双対空間において閉かつノルム有界である。例えば、単位球の極はその双対において閉単位球である。したがって、ノルム位相空間(したがってバナッハ空間)に対して、ブルバキ=アラオグルの定理はバナッハ=アラオグルの定理と同値である。
\{z\in\mathbb{C}: \left
ノルムについて閉じている凸集合は弱閉である(ハーン=バナッハの定理)ため、ヒルベルト空間あるいは回帰的バナッハ空間における有界凸集合のノルム閉包は、弱コンパクトである。
B(H) における閉かつ有界集合は、弱作用素位相に関してプレコンパクトである(弱作用素位相は、トレースクラス作用素の集合 B(H) の前双対に関する弱 * 位相である超弱位相よりも弱い)。したがって、作用素の有界列は弱集積点を持つ。したがって B(H) は、弱作用素あるいは超弱位相が備えられたとき、ハイネ=ボレルの性質を持つ。
たない。
John B. Conway See Chapter 5, section 3.
Peter B. Lax