No Krasnoselskii number for general sets in $\mathbb{R}^2$
Abstract
For a family of sets in , the Krasnoselskii number of is the smallest such that for any , if every points of are visible from a common point in , then any finite subset of is visible from a single point. More than 35 years ago, Peterson asked whether there exists a Krasnoselskii number for general sets in . 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 exists, then it is larger than . 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 . 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 , for which an analogue of Krasnoselskii's theorem was proved by Magazanik and Perles. We show, by an explicit construction, that for any , there is no Krasnoselskii number for the family of general sets in with respect to visibility through paths of length . (Here the counterexamples are finite unions of line segments.)
Cite
@article{arxiv.2012.06014,
title = {No Krasnoselskii number for general sets in $\mathbb{R}^2$},
author = {Chaya Keller and Micha A. Perles},
journal= {arXiv preprint arXiv:2012.06014},
year = {2020}
}
Comments
11 pages