Typical starshaped sets (Q1113086): Difference between revisions

The set \({\mathcal T}\) of all compact starshaped sets in \({\mathbb{R}}^ d\), endowed with the Hausdorff metric, is a Baire space. The author shows that for most compact starshaped sets, their orthogonal projection on any 2-dimensional flat is nowhere dense. Here, ``most sets'' means that the exceptional starshaped sets (not satisfying the above conclusion on their projections) form a subset of \({\mathcal T}\) of first Baire category. Likewise, the author proves that most starshaped sets T are nowhere dense and their kernels consist of precisely one point k, the directions in which they extend from k, are dense in the unit-sphere \(S_{d-1}\), and also the lengths of the ``arms'' of T are dense in the intervall [0,s(T)], where s(T) is the maximal length of the ``arms'' of T. The author generalizes the notion starshaped by defining a set \(M\subset {\mathbb{R}}^ d\) to be n-starshaped if there exists a point x such that x can be joined to any \(y\in M\) by a polygonal Jordan arc consisting of at most n line segments. In case \(n\geq 2\) he shows that for \(d\geq 3\) most n- starshaped sets do not contain any closed Jordan curve, whereas for \(d=2\) most n-starshaped sets are nowhere dense, but not simply connected.