クレイン＝ミルマンの定理

数学の函数解析学の分野において、クレイン＝ミルマンの定理（クレイン＝ミルマンのていり、）とは、位相ベクトル空間内の凸集合に関するある命題である。この定理の容易に可視化できる特別な場合では、与えられた凸多角形に対し、その角の部分だけで全体の形を復元できるということが述べられている。しかしその多角形が凸でない場合には、角として与えられた点から多角形を描く方法が多く存在し得るため、この定理の内容は偽となる。

正式には、 を（ハウスドルフと仮定される）局所凸位相ベクトル空間とし、 を  のコンパクトな凸部分集合とするとき、 はその極点の閉凸包となることが、この定理では主張されている。

上述の閉凸包は、 を含むすべての  の閉部分集合の共通部分として定義される。そしてそれは、位相ベクトル空間内の凸包の閉包と等しいことが知られている。定理の証明は、ある部分では容易であるが、「十分な」極点の存在を示すという点に主な難しさがある。

マルク・クレインとによって証明された元の定理の内容は、ここで述べたものより若干一般性に欠けるものとなっている。

その定理より以前に、ヘルマン・ミンコフスキーは、 が有限次元であるなら  はその極点の集合の凸包と等しいことを示していた。クレイン＝ミルマンの定理は、その結果を任意の局所凸空間  に対して一般化するものであったが、閉包が必要となり得るという注意も付されていた。

選択公理との関係 

においてこの定理を証明する上では、選択公理や、その弱いヴァージョンが必要とされる。逆にこの定理とによって、選択公理を証明することが出来る。

関連する結果 

 に関する以前の仮定の下で、 が  の部分集合であり、 の閉凸包が  全体であるなら、 のすべての極点は  の閉包に属する。この結果はクレイン＝ミルマンの定理に対する、ミルマンの（部分的）逆（Milman's partial converse）として知られている。

によると、 内のすべての点は、 の極点の集合上に台を持つ確率測度の重心であることが示されている。

テオ・ビューラーは2006年に、クレイン＝ミルマンの定理は CAT(0) 空間に対しても成立することを証明した。

関連項目 
 カラテオドリの定理 (凸包)
 
 ヘリーの定理
 
 
 バナッハ＝アラオグルの定理

参考文献 

M. Krein, D. Milman (1940) On extreme points of regular convex sets, Studia Mathematica 9 133–138.
 
 H. L. Royden. Real Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1988.
 N. K. Nikol'skij (Ed.). Functional Analysis I. Springer-Verlag, 1992
 H. Minkowski. Geometrie der Zahlen. Teubner, Leipzig, 1910

凸幾何学
離散幾何学
位相ベクトル空間
凸包
有向マトロイド
関数解析学
マルク・クレイン
数学のエポニム
数学に関する記事