On complete convex bodies (Q1072105)

Let \(M^ n_ Q\) be the n-dimensional Minkowski space with the unit ball Q, B a ball in \(M^ n_ Q\) \((B=M^ n_ Q\) is not excluded) and S a bounded set in \(M^ n_ Q\). Let \(d_ Q(S)\) be the diameter of S, and G the group of all symmetries of both S and B (i.e. of all isometries of \(M^ n_ Q\) leaving both S and B invariant). The set S is complete if one cannot enlarge the set without increasing its diameter. A compact convex set K in \(M^ n_ Q\) is a tight cover of S within B if \(S\subset K\subset B\) and \(d(K)=d(S)\) \((d(S)=the\) diameter of S in \(E^ n\), the Euclidean space). If, in addition, v(K) \((=\) the Euclidean volume of K) is maximal, then K is a maximal tight cover of S within B. If \(S\subset B\) and \(d_ Q(B)\leq 2d_ Q(S)\), then: 1) there is a maximal tight cover of S within B; 2) every maximal tight cover of S within B is a completion of S; 3) any two such completions are translation equivalent; 4) every \(g\in G\) effects at most a translation of a maximal completion of S within B; 5) there is a maximal completion of S within B which is invariant under G; 6) the cardinality of the set of all completions of S (within \(M^ n_ Q)\) is either one or the cardinality of continuum; 7) S has a unique completion (within \(M^ n_ Q)\) iff the intersection of all balls of diameter \(2d_ Q(S)\) that contain S is complete; 8) if Q is strictly convex and S has a centrally symmetric completion, then either S has infinitely many completions or \(cl conv S\) is a ball in \(M^ n_ Q\); 9) the set of all compact convex sets in \(M^ n_ Q\) which have a unique completion is closed (in the Hausdorff metric); if Q is strictly convex, then this set is nowhere dense; 10) if \(n>2\), then every polytope in \(E^ n\) has exactly a continuum of completions; 11) a polytope J in \(E^ 2\) has a unique completion iff it can be inscribed in a Reuleaux polygon R so that each vertex of R is a vertex of J.