The asymmetry of complete and constant width bodies in general normed spaces and the Jung constant (Q522344)

Let \({\mathbb M}^n = ({\mathbb R}^n , || \cdot || ) \) be a Minkowski space, \( {\mathcal K}^n \), \( {\mathcal K}^n_0 \) be the sets of convex compact bodies in \({\mathbb M}^n \), respectively, convex compact bodies symmetric with respect to its origin. Given convex set \( K \subset {\mathbb M}^n\), its \textit{Minkowski asymmetry} \( s(K)\) is defined as \[ s(K) := \inf \{ \rho > 0: \exists c \in {\mathbb R}^n \text{ such that } -(K-c) \subset \rho (K-c)\}. \] If \( -(K-c) \subset s(K) (K-c) \) then \( c \) is called the \textit{Minkowski center} of \(K\). Let \( R(K)\), \( r(K)\), \( D(K)\) be the circumradius, the inradius, and the diameter of \( K \), respectively, and \( j(K):=R(K)/D(K) \). Recall that the Jung constant \( j({\mathbb M}^n )\) is defined as the maximal ratio between the circumradius and the diameter of arbitrary bodies in \({\mathbb M}^n \). A set \( K \) is called \textit{complete} if \( D(K \cup \{ x\} ) > D(K)\) for all \( x \notin K\). Let \({\mathcal K}_{\text{cp}} , {\mathcal K}_{\text{cw}} \subset {\mathcal K}^n\) be the sets of all complete bodies and bodies of constant width, respectively. The main results of the paper are: \smallskip Theorem 1.1. For any Minkowski space \({\mathbb M}^n \) and \( K \) complete within \({\mathbb M}^n \), \[ s(K) = \frac{R(K)/D(K)}{1-R(K)/ D(K)} \leq \frac{j({\mathbb M}^n)}{1 - j({\mathbb M}^n)}, \] and for any \( K \) complete within \( {\mathbb M}^n\), \( s(K) = \frac{j({\mathbb M}^n)}{1 - j({\mathbb M}^n)}\), if and only if \( K \) is the completion of an \(n\)-simplex \(S\) with circumradius-diameter ratio \( j({\mathbb M}^n)\). \smallskip Theorem 1.2. Let \({\mathbb M}^n \) be a Minkowski space and \( K \in {\mathcal K}_{\text{cp}}\). Then \[ (s(K) +1) r(K) = r(K) + R(K) = \frac{s(K) +1}{s(K)} R(K) = D(K), \] and therefore \[ \frac{r(K)}{D(K)} = 1 - j(K) \geq 1-j({\mathbb M}^n) \] with equality, if and only if \( j(K) = j({\mathbb M}^n)\). \smallskip Theorem 1.3. Let \( K \in {\mathcal K}\) and \( 0 \) a Minkowski center of \(K\). Then \( K \in {\mathcal K}_{\text{cp}} \) implies the following condition on the unit ball \( {\mathbb B}\) of \( {\mathbb M}^n \): \[ K - K \subset D(K) {\mathbb B} \subset (s(K) +1) (K \cap (-K)). \] If in addition \( K \) is a full-dimensional simplex, then either \[ {\mathcal K}_{\text{cw}} = \{ \rho {\mathbb B}+ t : \rho \geq 0, t \in {\mathbb R}^n \} \] or \( K - K = D(K) {\mathbb B}\) (and therefore \( K \in {\mathcal K}_{\text{cw} }\)). The authors describe relations between \( s(K)\) and the Banach-Mazur distance between \( K \) and the unit ball \( {\mathbb B}\). They show also that \( s(K) \) is a counterexample to one conjecture of Grünbaum on the \textit{supermaximality property}: If \(\bar{s} (K+L) = \max \{\bar{s} (K), \bar{s} (L) \) then \(K = -K\), \(L=-L \) or \(K\) and \(L\) are homothets of each other.