A Helly-type theorem for hyperplane transversals to well-separated convex sets (Q5939467)

The authors call a finite family \({\mathcal S}\) of compact convex sets in Euclidean \(d\)-space \(\varepsilon\)-separated if for every positive \(k<d\), arbitrary \(k\) sets from \({\mathcal S}\) can be separated from any other \(d-k\) sets from \({\mathcal S}\) by a hyperplane passing in a distance larger than \(\frac 12 \varepsilon D({\mathcal S})\) from all those \(d\) sets. Here \(D({\mathcal S})\) means the largest diameter from among the diameters of the sets from \({\mathcal S}\). It is proved that for every \(\varepsilon>0\) there exists a number \(N(\varepsilon)\) (which depends also on \(d)\) such that if \({\mathcal S}\) is an \(\varepsilon\)-separated family of at least \(N(\varepsilon)\) compact convex sets and if every \(2d+2\) members of \({\mathcal S}\) have non-empty intersection with a hyperplane, then there is a hyperplane which has non-empty intersections with all sets from \({\mathcal S}\).