[论文解读] A class of infinite convex geometries

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

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

一句话总结

本文引入并表征了一类无限凸几何，其闭包格具有强共原子性与空间性，将有限凸几何的性质推广至无限情形。证明了在这些格中，反交换性质等价于格中每个覆盖均为单元素添加，且提供了这些几何的多种等价刻画，包括超越代数闭包系统的例子。

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.

研究动机与目标

• 将有限凸几何的经典刻画推广至一类无限凸几何。
• 识别反交换性质与格结构（强共原子性与空间性）在何种条件下可确保一致的无限几何框架。
• 提供丰富的例子，包括非代数闭包系统，以说明该框架的普遍性。
• 探究在所提出的格条件下，局部分配性与下半模性是否等价于反交换性质。
• 探讨未来工作中是否可将强共原子性放松为弱原子区间。

提出的方法

• 聚焦于闭集格既具有强共原子性又具有空间性的闭包系统，确保每个元素均为完全结合不可约元素的并。
• 以反交换性质（AEP）为核心几何条件，通过如下蕴含关系定义：若将 x 加入 A 可闭合 y，则将 y 加入 A 无法闭合 x，除非 x=y。
• 利用反交换性质与格中每个覆盖对应单元素添加（即 A≺B 时 |B\A|=1）之间的等价性。
• 运用格论工具，如结合不可约性、完全结合不可约元素及滤子格，分析结构。
• 构造非代数例子，例如在 ω 上的闭包系统，其中闭集为有限集或包含 0 的集合，以展示该类别的丰富性。
• 分析有限分配格上的滤子格，生成强共原子性、下连续性及局部分配性的凸几何例子。

实验结果

研究问题

• RQ1 哪些无限凸几何保有有限凸几何的关键刻画？
• RQ2 在具有强共原子性与空间性的无限格中，反交换性质如何表现？
• RQ3 在无限强共原子格中，反交换性质是否可由单元素覆盖性质（即 A≺B 时 |B\A|=1）刻画？
• RQ4 是否存在强共原子性与下连续性的非代数凸几何例子？
• RQ5 在强共原子且空间的格类中，局部分配性是否等价于下半模性？

主要发现

• 对于强共原子闭包系统，反交换性质等价于格中每个覆盖均为单元素添加（即 A≺B 时 |B\A|=1）。
• 在强共原子格中，每个非零结合不可约元素均为完全结合不可约元素，从而简化了空间性的分析。
• 在 ω 上的闭包系统（其中闭集为有限集或包含 0 的集合）的闭集格是一个非代数的、强共原子的、下连续的凸几何。
• 有限分配格上的滤子格生成一个强共原子的、下半模的、局部分配的且空间的凸几何。
• 强共原子且空间的格类支持凸几何的多种等价刻画，将有限情形的结果推广至无限情形。
• 本文未解决的问题是：在仅强共原子性与空间性假设下，局部分配性与下半模性是否等价于反交换性质。