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

クレイン＝ミルマンの定理について

クレイン＝ミルマンの定理は、数学における函数解析学の分野で重要な位置を占める命題です。この定理は、局所凸位相空間内の凸集合に関連し、特にその極点の性質に焦点を当てています。定理の基本的なアイデアは、与えられたコンパクトな凸集合の形状が、その極点だけから完全に復元可能であるということです。これにより、凸集合の研究およびその特性理解に新たな視点を提供しています。

特に、定理は以下のように定式化されます。位相ベクトル空間の中で、コンパクトで凸な部分集合を考え、その極点の閉凸包が元の集合自体と等しいとされます。この閉凸包は、元の集合を含むすべての閉部分集合の共通部分として定義され、凸包の閉包と同じ性質を有します。このことが示すのは、凸集合であれば、極点のみからその緻密な形状を再構成できるということです。

ただし、すべての多角形が凸でない場合、この定理は必ずしも成り立ちません。凸でない多角形では、与えられた点から描かれる多角形が複数存在するためです。そのため、クレイン＝ミルマンの定理の適用には十分な条件を検討する必要があります。特に定理の証明過程では、「十分な」極点が存在することを示すことが難題となります。

この定理は、マルク・クレインとダヴィット・ミルマンという2人の数学者によって証明されましたが、証明に至る以前に、ヘルマン・ミンコフスキーは有限次元空間における極点の性質を明らかにしていました。彼は、有限次元の空間においては、コンパクトな凸集合とその極点の集合の凸包が一致することを示しています。クレイン＝ミルマンの定理は、これを任意の局所凸空間に拡張したもので、小さな修正が加えられています。

選択公理との関連性

この定理を証明するためには、ツェルメロ＝フレンケル集合論において、選択公理が不可欠です。また、この定理そのものが選択公理を証明するサポートとなることも指摘されています。

その他関連する結果

別の興味深い展開として、ミルマンの部分的逆定理が存在します。これは、特定の条件下で、凸集合の部分集合が全体の閉凸包と一致するなら、その極点はその部分集合の閉包に含まれるという性質を示しています。また、ショケー＝ビショップ＝デリューによる定理もあり、これは凸集合内のいかなる点も極点の重心として説明できることを明示しています。さらに、テオ・ビューラーはクレイン＝ミルマンの定理がCAT(0)空間にも適用可能であることを示しました。

参考文献

定理に関する詳細は、以下の文献にて確認できます。

• - M. Krein, D. Milman (1940) "On extreme points of regular convex sets".
• - H. L. Royden, "Real Analysis".
• - N. K. Nikol'skij (Ed.), "Functional Analysis I".

このように、クレイン＝ミルマンの定理は、数学的理論の中でも特に深い関連性を有し、多くの応用や理論的探究の基盤となっています。

もう一度検索