数学 > 组合数学
[提交于 2023年6月3日
(v1)
,最后修订 2025年10月16日 (此版本, v2)]
标题: 一个$(\aleph_0,k+2)$定理对于$k$穿越
标题: An $(\aleph_0,k+2)$-Theorem for $k$-Transversals
摘要: 一个集合族$\mathcal{F}$满足$(p,q)$-性质,如果在$\mathcal{F}$的每一个$p$个成员中,可以被一个点穿透的某个$q$。 著名的$(p,q)$定理由 Alon 和 Kleitman 提出,断言对于任何$p \geq q \geq d+1$,任何在$\mathbb{R}^d$中满足$(p,q)$性质的紧凸集族$\mathcal{F}$可以被有限数量的点穿透$c(p,q,d)$。 关于用$(d-1)$-维平面穿刺的类似定理,称为$(d-1)$-横截面,由Alon和Kalai获得。在本文中,我们证明了以下结果,该结果可以被视为关于$(\aleph_0,k+2)$-定理的$k$-横截面:令$\mathcal{F}$为$\mathbb{R}^d$中闭球的无限族,令$0 \leq k < d$。 如果在$\mathcal{F}$的每一个$\aleph_0$个元素中,某些$k+2$可以被一个$k$维的平面穿透,那么$\mathcal{F}$可以被有限数量的$k$维平面穿透。 我们由此结果作为更一般结果的一个推论,该结果证明了对于称为\emph{近似球体}的非必须凸对象族也具有相同的断言,将在下面定义。 这是第一个$(p,q)$定理,在该定理中假设被削弱为一个$(\infty,\cdot)$假设。 我们的证明结合了几何和拓扑工具。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.