Suppose an ordered pair of sets
(S,K) in a linear topological space is of Helly type (n + 1,n), i.e., for every n + 1
distinct points in S there is a point in K which sees at least n of them via S.
Then if S is closed, K compact, and n ≧ 3, the nontrivial visibility sets in
K are pairwise nondisjoint. Sufficient conditions are obtained for S to be
starshaped.
|