バナッハ＝アラオグルの定理

バナッハ＝アラオグルの定理（バナッハ＝アラオグルのていり、）あるいはアラオグルの定理として知られる定理は、ノルム空間の共役空間の閉単位球が＊弱位相関してコンパクトになるという定理である。

この定理の背景を簡単に述べると、関数解析学では無限次元のノルム空間を多用し、やその共役空間の元は何らかの集合上の実数値ないし複素数値の関数のなすベクトル空間である事が多い。しかしが無限次元の場合、やの閉単位球はノルム位相に関してはコンパクトにならない事が知られており、これが原因で有限次元とは異なり、や上の有界な点列が（ノルム位相に関して）収束部分列を持つことが保証されない。これは例えば微分方程式をノルムに関して近似する解を求めた上でとした場合、その極限（すなわち微分方程式の解そのもの）が存在する事が保証されない事を意味する。微分方程式の振る舞いの記述を主たる適用先とする関数解析学において、これは致命的である。

しかしバナッハ＝アラオグルの定理は閉単位球が＊弱位相に関してコンパクトである事を保証しているので、弱位相の意味での近似解を求めれば、が収束部分列を持つ事が保証され、その収束部分列の極限が微分方程式の解になっている事を証明する道が開かれる。

この定理は、オブザーバブルの代数の状態の集合を表現するときに物理学的に応用される。すなわち、任意の状態はいわゆる純粋状態の凸線型結合として表現される。

この定理は可分な場合に対して1932年にステファン・バナフによって示され、一般の場合は1940年ににより示された。

定理 
以下、ベクトル空間の係数体はもしくはであるとする。

準備 
本節ではバナッハ＝アラオグルの定理の記述に必要な概念を定義する。
の閉単位球は上述の作用素ノルムに対して定義される：

なお、上の作用素ノルムはにノルム位相（=ノルムが定める距離から定まる位相）を定めるが、バナッハ＝アラオグルの定理はノルム位相ではなく以下で述べる＊弱位相に関する定理である：

最後に位相空間のコンパクト性は以下のように定義される：

ノルム位相に対してはリースの補題から直接的に次の事実が従う：
したがって無限次元の場合、の閉単位球はノルム位相に関してコンパクトではない。

定理の記述 
これに対し、の閉単位球は＊弱位相に関してはコンパクトになるというのがバナッハ・アラオグルの定理の主張である：この定理はチコノフの定理に基づいて非構成的に示せる。なおノルム空間が（ノルム位相に関して）可分な場合には、可分なノルム空間の共役空間の閉単位球が＊弱位相に関して距離化可能である事を利用してより直接的にに証明可能である。

バナッハ＝アラオグルの定理は半径1の閉球に対するものだが、任意の半径の閉球もコンパクトになる事が容易に示せる。また＊弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する：なお、が回帰的（すなわちが成立する空間）であれば上の＊弱位相と弱位相は同一になるので、下記の系が従う：に対しLp空間やℓp空間は回帰的なので、上記の定理が適用できる。しかし回帰的でない場合には上述の定理に反例があり、例えばに収束する複素数列全体にℓ∞ノルムを入れた空間の閉単位球は弱位相に関してコンパクトではない。

注意しなければならないのは、＊弱位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても＊弱位相をいれたが局所コンパクトにはなっていない事を意味する。

。

一般化：ブルバキ＝アラオグルの定理 

ブルバキ＝アラオグルの定理（Bourbaki-Alaoglu theorem）は、ニコラ・ブルバキによる局所凸位相ベクトル空間上の双対位相へのバナッハ＝アラオグルの定理の一般化である。

ノルム線型空間の場合、近傍の極はその双対空間において閉かつノルム有界である。例えば、単位球の極はその双対において閉単位球である。したがって、ノルム位相空間（したがってバナッハ空間）に対して、ブルバキ＝アラオグルの定理はバナッハ＝アラオグルの定理と同値である。

帰結 
 ノルムについて閉じている凸集合は弱閉である（ハーン=バナッハの定理）ため、ヒルベルト空間あるいは回帰的バナッハ空間における有界凸集合のノルム閉包は、弱コンパクトである。
 B(H) における閉かつ有界集合は、弱作用素位相に関してプレコンパクトである（弱作用素位相は、トレースクラス作用素の集合 B(H) の前双対に関する弱 * 位相であるよりも弱い）。したがって、作用素の有界列は弱集積点を持つ。したがって B(H) は、弱作用素あるいは超弱位相が備えられたとき、ハイネ＝ボレルの性質を持つ。
たない。

関連項目 
 
 
 
 
 クレイン＝ミルマンの定理

注釈

参考文献 
  See section 3.15, p. 68.
  See Theorem 23.5, p. 264.
  See §20.9.

 
 Kindle版：ASIN : B06XGRCCJ3
 翻訳版：

関連図書 
  See Chapter 5, section 3.
 

関数解析学
証明を含む記事
コンパクト性の定理
数学に関する記事
数学のエポニム