[論文レビュー] Convexities on ordered structures have their Krein--Milman theorem

Paul Poncet|arXiv (Cornell University)|Jan 4, 2013

Advanced Algebra and Logic参考文献 41被引用数 3

ひとこと要約

この論文は、抽象凸性および連続ラティス理論を用いて、特に半束に注目し、順序付き代数的構造における古典的Krein–Milman定理の類似を確立する。局所凸な位相的半束において、直線を含まない局所コンパクトかつ弱閉凸部分集合は、その極端点の弱閉凸包に一致することを証明する。

ABSTRACT

We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use arguments from continuous lattice theory and abstract convexity theory.

研究の動機と目的

• 線形でない、順序付き代数的構造、特に半束やラティスへの古典的Krein–Milman定理の拡張を図ること。
• 部分順序集合、半束、ラティスにおける凸性構造、特に部分半束および部分ラティスを調査すること。
• 凸部分集合が極端点によって生成されることを保証する条件を確立し、Krein–Milman性質に類似した性質を得ること。
• 局所凸性、コンパクト性、および小半束といった位相的および順序論的性質が、このような定理の成立に果たす役割を調査すること。
• 凸幾何、Helly数、および半束の深さが極端点構造とどのように関係するかを検討すること。

提案手法

• 抽象凸性理論および連続ラティス理論を用いて、半束における凸部分集合を部分半束として定義する。
• コンパクト半束の基本定理を適用し、半束の代数的性質と位相的性質を結びつける。
• [0,1] への連続半束準同型によって生成される弱位相を用いて、弱閉性を定義する。
• コンパクトな部分順序集合における極小元に関するWallaceの補題を用いて、極端点の存在を確立する。
• 小半束（局所凸性）の概念を含むドメイン理論的アプローチを用いて、構造的制御を確保する。
• 半束の深さと広がりを用いて、凸幾何およびHelly数を分析し、極値構造と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Krein–Milman定理は、半束のような非線形的かつ冪等的な代数的構造へ一般化可能か？
• RQ2 位相的半束において、凸部分集合がその極端点の弱閉凸包に一致するための条件は何か？
• RQ3 部分半束、順序凸部分ラティス、代数的部分ラティスといった凸性構造は、順序構造における凸幾何とどのように関係するか？
• RQ4 Helly数および広がりが、凸集合を生成するのに必要な極端点の数を特徴づける役割を果たすか？
• RQ5 代数的凸性を持つ分配的ラティスがKrein–Milman性質を満たすための条件は何か？

主な発見

• 局所凸な位相的半束において、直線を含まない局所コンパクトかつ弱閉凸部分集合は、その極端点の弱閉凸包に一致する。
• 非線形的半束設定において「直線」の概念が適切に定義され、線形空間における古典的定義が一般化されている。
• 幅が有限な半束 $b$ に対して、Minkowski型定理が成り立つ：任意の点は、高々 $b$ 個の極端点の結合で表される。
• 半束の深さはそのHelly数と一致し、この不変量がコンパクト凸部分集合における極端点の数を支配する。
• 順序代数的凸性を持つラティスは、それがチェーンであるときに限り凸幾何であるが、このようなチェーンは位相的に適合可能な場合にKrein–Milman性質を満たす。
• 代数的凸性における極端点のための必要条件である二重不可約元の存在は、一般には保証されず、有限な分配的ラティスに対しても同様である。