コンテンツにスキップ

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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学 > 関数解析学 > *弱位相 > バナッハ=アラオグルの定理

バナッハ=アラオグルの定理(バナッハ=アラオグルのていり、: Banach–Alaoglu theorem)あるいはアラオグルの定理として知られる定理は、ノルム空間V共役空間V*単位球*弱位相関してコンパクトになるという定理である[1]

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

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

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

この定理は可分な場合に対して1932年にステファン・バナフによって示され、一般の場合は1940年にレオニダス・アラオグル英語版により示された[要出典]

定理

[編集]

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

準備

[編集]

本節ではバナッハ=アラオグルの定理の記述に必要な概念を定義する。

定義 (ノルム空間共役空間) ―  K上ノルム空間共役空間: dual space双対空間とも訳される)V*V上のK有界線形作用素全体

K上の有界線形作用素

に関数としての定数倍および和に関してベクトル空間とみなしたものである。V*には作用素ノルム

によりノルムが入る。

V*閉単位球B*は上述の作用素ノルムに対して定義される:

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

定義 (*弱位相) ―  V*上の*弱位相とはxVに対し、

とするとき、μxが全て連続になるV*上の最弱の位相の事である。

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

定義・定理 (位相空間コンパクト性) ― 位相空間Xに関して以下の2条件は同値であり、これら2条件の少なくとも一方(したがって両方)を満たすときXコンパクトであるという[2]

  • X上の任意の有向点族に対し、のある部分有向点族xXが存在し、xXに収束する
  • Xの任意の開被覆に対し、のある有限部分集合が存在し、Xを被覆する。ここでXの開被覆とは、Xの開集合の族でを満たすものを指す。

ノルム位相に対してはリースの補題から直接的に次の事実が従う:

命題 ― もしくは上のノルム空間Vの閉単位球がノルム位相に関してコンパクトである必要十分条件はVが有限次元である事である。

したがって無限次元の場合、V*の閉単位球はノルム位相に関してコンパクトではない。

定理の記述

[編集]

これに対し、V*の閉単位球は*弱位相に関してはコンパクトになるというのがバナッハ・アラオグルの定理の主張である:

定理 (バナッハ=アラオグルの定理) ― Kもしくはとする。このときK上のノルム空間共役空間に*弱位相を入れると、V*の閉単位球は

はコンパクトである。

この定理はチコノフの定理に基づいて非構成的に示せる[3]。なおノルム空間Vが(ノルム位相に関して)可分な場合には、可分なノルム空間の共役空間の閉単位球が*弱位相に関して距離化可能である事[4]を利用してより直接的にに証明可能である[4]


バナッハ=アラオグルの定理は半径1の閉球に対するものだが、任意の半径の閉球もコンパクトになる事が容易に示せる。また*弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する:

 ― V*に*弱位相を入れた空間の有界閉集合はコンパクト

なお、V回帰的(すなわちV**=Vが成立する空間)であればV上の*弱位相と弱位相は同一になるので、下記の系が従う:

 ― Vが回帰的なノルム空間であれば、Vに弱位相を入れた空間の有界閉集合はコンパクト

1 < p < ∞に対しLp空間p空間は回帰的なので、上記の定理が適用できる。しかし回帰的でない場合には上述の定理に反例があり、例えば0に収束する複素数列全体にℓノルムを入れた空間c0の閉単位球は弱位相に関してコンパクトではない[5]

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

なお、X が実数直線上の有限ラドン測度の空間(したがってリースの表現定理より、 は無限大で消失する連続函数の空間となる)の場合、可分なノルム空間に対するバナッハ=アラオグルの定理はヘリーの選択定理と同値となる[要出典]

一般化:ブルバキ=アラオグルの定理

[編集]

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

定理 (ブルバキ=アラオグルの定理) ― 連続双対 X ' を持つ分離された局所凸空間 X が与えられたとき、X 内の任意の近傍 U U0 は、X ' 上の弱位相 σ(X ',X) においてコンパクトである。

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

帰結

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

たない。

関連項目

[編集]

注釈

[編集]
  1. ^ Rudin 1991, section 3.15.
  2. ^ #Kelly pp.135-136.
  3. ^ #Schlumprecht p.7.
  4. ^ a b c #Semmes pp.15, 20-21
  5. ^ #Heil p.361.
  6. ^ Köthe 1969, Theorem (4) in §20.9.
  7. ^ Meise & Vogt 1997, Theorem 23.5.

参考文献

[編集]
  • Rudin, W. (1991). Functional Analysis (2nd ed.). Boston, MA: McGraw-Hill. ISBN 0-07-054236-8  See section 3.15, p. 68.
  • Meise, Reinhold; Vogt, Dietmar (1997). Introduction to Functional Analysis. Oxford: Clarendon Press. ISBN 0-19-851485-9  See Theorem 23.5, p. 264.
  • Köthe, Gottfried (1969). Topological Vector Spaces I. New York: Springer-Verlag  See §20.9.
  • Stephen Semmes. “6: Weak and weak∗ convergence” (pdf). An introduction to some aspects of function alanalysis. Rice University. 2021年3月22日閲覧。
  • Christopher E. Heil. “Alaoglu's Theorem”. LECTURE NOTES, MATH 6338 (Real Analysis II), Summer 2008. Georgia Institute of Technology. 2021年3月22日閲覧。
  • Thomas Schlumprecht. “CHAPTER 7. ELEMENTS OF FUNCTIONAL ANALYSIS” (pdf). Real Variables II, Math 608. Texas A&M University. 2021年3月23日閲覧。
  • John L. Kelly (1975/6/27). General Topology. Graduate Texts in Mathematics (27). Springer-Verlag. ISBN 978-0387901251 
    • Kindle版:ASIN : B06XGRCCJ3
    • 翻訳版:ジョン・L.ケリー 著、児玉之宏 訳『位相空間論』吉岡書店〈数学叢書〉、1979年7月1日。ISBN 978-4842701318 

関連図書

[編集]