[论文解读] 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性质。
• 在格的代数凸性中，极点存在的必要条件——双重不可约元的存在性——在一般情况下并不保证，即使在有限分配格中亦然。