arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2012.06014math.COcs.CGmath.LO
收藏

$\mathbb{R}^2$中一般集合不存在Krasnoselskii数

No Krasnoselskii number for general sets in $\mathbb{R}^2$

Chaya Keller, Micha A. Perles

摘要:

对于$\mathbb{R}^d$中的集合族$\mathcal{F}$,$\mathcal{F}$的Krasnoselskii数是最小的$m$,使得对于任何$S \in \mathcal{F}$,如果$S$的每个$m$点从$S$中的公共点可见,则$S$的任何有限子集从单个点可见。35年前,Peterson问在$\mathbb{R}^d$中是否存在一般集合的Krasnoselskii数。排除结果的特殊情况下,集强拓扑限制,最有名的结果是由于布林,谁表明,如果这样的Krasnoselskii数在$\mathbb{R}^2$存在,那么它是大于$8$。在本文中,我们回答彼得森的问题,在否定表明,有没有Krasnoselskii数的家庭的所有集在$\mathbb{R}^2$。证明是非建设性的,并使用超限归纳法和良序定理。此外,我们考虑Krasnoselskii数与通过长度为$ \leq n$的多边形路径的可见性,其中Krasnoselskii定理的一个类似物由Magazanik和Perles证明。我们表明,由一个明确的建设,对于任何$n \geq 2$,有没有Krasnoselskii数的家庭一般的集合在$\mathbb{R}^2$相对于可见性通过路径的长度$\leq n$。(Here反例是线段的有限并集。)

英文摘要:

For a family $\mathcal{F}$ of sets in $\mathbb{R}^d$, the Krasnoselskii number of $\mathcal{F}$ is the smallest $m$ such that for any $S \in \mathcal{F}$, if every $m$ points of $S$ are visible from a common point in $S$, then any finite subset of $S$ is visible from a single point. More than 35 years ago, Peterson asked whether there exists a Krasnoselskii number for general sets in $\mathbb{R}^d$. Excluding results for special cases of sets with strong topological restrictions, the best known result is due to Breen, who showed that if such a Krasnoselskii number in $\mathbb{R}^2$ exists, then it is larger than $8$. In this paper we answer Peterson's question in the negative by showing that there is no Krasnoselskii number for the family of all sets in $\mathbb{R}^2$. The proof is non-constructive, and uses transfinite induction and the well ordering theorem. In addition, we consider Krasnoselskii numbers with respect to visibility through polygonal paths of length $ \leq n$, for which an analogue of Krasnoselskii's theorem was proved by Magazanik and Perles. We show, by an explicit construction, that for any $n \geq 2$, there is no Krasnoselskii number for the family of general sets in $\mathbb{R}^2$ with respect to visibility through paths of length $\leq n$. (Here the counterexamples are finite unions of line segments.)

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑