[論文レビュー] A class of infinite convex geometries

Kira Adaricheva, J. B. Nation|arXiv (Cornell University)|Jan 17, 2015

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

ひとこと要約

この論文は、閉包ラティスが強くcoatomicかつ空間的である無限凸幾何のクラスを導入し、特徴づけ、有限凸幾何の性質を無限設定に拡張する。このラティスに対して、反交換性が、ラティス内のすべての被覆が単一要素の追加に対応することと同値であることを証明し、それらの幾何の複数の同値特徴づけを提供する。これには代数的閉包系を超える例も含まれる。

ABSTRACT

Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly infinite convex geometries whose lattice of closed sets is strongly coatomic and lower continuous. Some classes of examples of such convex geometries are given.

研究の動機と目的

• 有限凸幾何のよく知られた特徴づけを、無限凸幾何のクラスに拡張すること。
• 反交換性とラティス構造（強くcoatomicかつ空間的）が、一貫した無限幾何的枠組みを保証するための条件を同定すること。
• 非代数的閉包系を含む豊富な例のクラスを提供し、枠組みの一般性を説明すること。
• 局所的分配的性と下方向の単調性が、提示されたラティス条件のもとで反交換性と同値であるかどうかを調査すること。
• 今後の研究において、強くcoatomic性を弱く原子的区間へ緩和する可能性を検討すること。

提案手法

• 閉包集合のラティスが強くcoatomicかつ空間的である閉包系に焦点を当てる。これにより、すべての要素が完全に結合的不可約要素の結合として表されることが保証される。
• 中心的な幾何的条件として反交換性（AEP）を適用し、次のように定義する：Aにxを加えるとyが閉包されるならば、x≠yのとき、Aにyを加えるとxが閉包されることはない。
• ラティス内の被覆がすべて単一要素の追加に対応すること（A≺Bのとき|B\A|=1）と、反交換性が同値であることを用いる。
• 結合的不可約性、完全に結合的不可約要素、フィルター・ラティスなどのラティス理論的道具を用いて構造を分析する。
• 非代数的例（例：ω上の閉包系で、閉集合が有限集合または0を含む集合であるもの）を構成し、このクラスの豊かさを示す。
• 有限分配的ラティス上のフィルターのラティスを分析し、強くcoatomicかつ下方向連続的、局所的に分配的な凸幾何の例を生成する。

実験結果

リサーチクエスチョン

• RQ1 どの無限凸幾何が有限凸幾何の主要な特徴づけを保持するか？
• RQ2 強くcoatomicかつ空間的である無限ラティスにおいて、反交換性はどのように振る舞うか？
• RQ3 強くcoatomicな無限ラティスにおいて、反交換性が単一要素被覆性（A≺Bのとき|B\A|=1）によって特徴づけられるか？
• RQ4 強くcoatomicかつ下方向連続的な非代数的例の凸幾何は存在するか？
• RQ5 強くcoatomicかつ空間的ラティスのクラスにおいて、局所的分配的性と下方向単調性は同値か？

主な発見

• 強くcoatomicな閉包系に対して、反交換性は、ラティス内のすべての被覆が単一要素の追加に対応すること（すなわち、A≺Bのとき|B\A|=1）と同値である。
• 強くcoatomicラティスにおいて、すべての非ゼロ結合的不可約要素は完全に結合的不可約であるため、空間性の分析が簡略化される。
• ω上の閉包系（閉集合が有限集合または0を含む集合）の閉集合のラティスは、非代数的かつ強くcoatomicかつ下方向連続的な凸幾何である。
• 有限分配的ラティス上のフィルターのラティスは、強くcoatomicかつ下方向単調的で、局所的に分配的かつ空間的な凸幾何を生成する。
• 強くcoatomicかつ空間的ラティスのクラスでは、凸幾何の複数の同値特徴づけが可能であり、有限の場合の結果が無限の場合に拡張される。
• 本論文では、強くcoatomic性と空間性のみを仮定した場合に、局所的分配的性と下方向単調性が反交換性と同値であるかどうかは未解決のまま残されている。