Analogues of Horn's theorem for finite unions of starshaped sets in \(\mathbb R^d\) (Q624187)

The author obtains some Helly-type results that are closely related to the classical theorems of Krasnosel'skii and Horn, and also of \textit{N. A. Bobylev} [J. Math. Sci., New York 105, No.~2, 1819--1825 (2001; Zbl 1013.52006)]. Let \(d\geq 2\) and \(1\leq k\leq d+1\). Let \(\mathcal{F}\) be a non-empty finite collection of closed sets in \(\mathbb{R}^d\). Let \(L\) be a \((d-k+1)\)-dimensional flat in \(\mathbb{R}^d\). (1) Suppose that, for any \(\mathcal{F}'\subseteq\mathcal{F}\) with \(| \mathcal{F}'| \leq k\), its union \(\bigcup\mathcal F'\) is starshaped and its kernel contains a translate of \(L\). Then \(\bigcup\mathcal{F}\) is starshaped and its kernel contains a translate of \(L\). (2) Suppose that, for any \(\mathcal{F}'\subseteq\mathcal{F}\) with \(| \mathcal{F}'| \leq k\), its union \(\bigcup\mathcal F'\) is starshaped and, for any \(\mathcal{F}''\subseteq\mathcal{F}'\) with \(| \mathcal{F}''| \leq k-1\), there is a translate of \(L\) that intersects the kernels of all the members of \(\mathcal{F}''\). Then there is a translate \(L'\) of \(L\) such that every point of \(\bigcup\mathcal{F}\) sees via \(\bigcup\mathcal{F}\) some point of \(L'\). Stronger results are obtained when \(k=2\) or \(d=2\). The proofs use the topological Helly theorem, as well as a theorem of N. A. Bobylev [loc. cit.].