2025-11-20T04:01:15.218338

Chain Conditions and Optimal Elements in Generalized Union-Closed Families of Sets

Colbert

The union-closed sets conjecture (sometimes referred to as Frankl's conjecture) states that every finite, nontrivial union-closed family of sets has an element that is in at least half of its members. Although the conjecture is known to be false in the infinite setting, we show that many interesting results can still be recovered by imposing suitable chain conditions and considering carefully chosen elements called optimal elements. We use these elements to show that the union-closed conjecture holds for both finite and infinite union-closed families such that the cardinality of any chain of sets is at most three. We also show that the conjecture holds for all nontrivial topological spaces satisfying the descending chain condition on its open sets. Notably, none of those arguments depend on the cardinality of the underlying family or its universe. Finally, we provide an interesting class of families that satisfy the conclusion of the conjecture but are not necessarily union-closed.

academic

Chain Conditions and Optimal Elements in Generalized Union-Closed Families of Sets

基本信息

论文ID: 2412.18740
标题: Chain Conditions and Optimal Elements in Generalized Union-Closed Families of Sets
作者: Cory H. Colbert
分类: math.CO (组合数学)
发表时间: 2025年1月1日 (arXiv v2)
论文链接: https://arxiv.org/abs/2412.18740

摘要

并集封闭集合猜想（有时称为Frankl猜想）声明：每个有限的、非平凡的并集封闭集族都存在一个元素，该元素至少出现在该集族一半以上的成员中。虽然该猜想在无穷情形下已知为假，但本文表明通过施加适当的链条件并考虑称为"最优元素"的精心选择的元素，仍可以恢复许多有趣的结果。作者使用这些元素证明了并集封闭猜想对于有限和无限并集封闭集族都成立，只要任意集合链的基数至多为3。同时证明该猜想对所有满足开集下降链条件的非平凡拓扑空间都成立。值得注意的是，这些论证都不依赖于底层集族或其全集的基数。最后，作者提供了一类满足猜想结论但不一定是并集封闭的有趣集族。

研究背景与动机

核心问题

本文研究的核心是并集封闭集合猜想（Union-Closed Sets Conjecture），该猜想由P. Frankl提出，声明：如果F是一个有限的非平凡并集封闭集族，那么存在一个元素至少出现在F的一半成员中，这样的元素称为丰富元素（abundant element）。

问题重要性

理论重要性：该猜想是组合数学中的一个基本开放问题，已经研究了四十多年仍未解决
研究进展：虽然取得了重要进展（如Bošnjak和Marković证明了|UF| ≤ 11的情况，Gilmer在2022年的突破性结果证明存在至少出现在1%成员中的元素），但完整证明仍然缺失
无穷情形的复杂性：在无穷情形下，该猜想已知为假，经典反例为F = {N{1,...,i} : i ∈ N} ∪ {N}