On the supporting-plane property of a convex body. (Q2588415)

Verf. zeigt, daß in einem linearen metrischen Raum (Ascolischen Raum) mit innerer Produkt bildung ein konvexer Körper \(K\), der innere Punkte besitzt, in jedem Randpunkt \(x_{0}\) mindestens eine Stützebene besitzt. Es bezeichne für jeden Punkt \(x\) aus \(K\) \(r(x)\) die obere Grenze der Halbmesser der Kugeln mit dem Mittelpunkt \(x\), die keine Punkte außerhalb \(K\) enthalten; dann kann man jedem Punkte \(p_{u}\) der Einheitskugel \(\varSigma \) mit dem Mittelpunkt \(x_{0}\) die Funktion \(\sigma (u)=\displaystyle \lim_{t\to0}\dfrac{p(x_0+tu)}{t}\) zuordnen. Bezeichnet dann \(\overline{\sigma }\) die obere Grenze der Werte von \(\sigma (u)\), wenn \(p_{u}\) auf \(\varSigma \) variiert, so beweist man, daß es genau einen Punkt \(p_{u}\) auf \(\varSigma \) gibt, für den \(\sigma (u)=\overline{\sigma }\) ist. Die Ebene \(\bigl((u, x-x_0)\bigr)=0\) ist eine Stützebene in \(x_{0}\) an \(K\); sie ist dann und nur dann einzig, wenn \(\overline{\sigma }=1\) ist. Dieser Satz ist schon von \textit{G. Ascoli} (Ann. Mat. pura appl., Bologna, (4) 10 (1932), 203-232 (JFM 58.1113.*), und zwar S. 205) im Falle der linearen metrischen separablen Räume bewiesen worden. Der Schluß beim Beweis von Satz 5 setzt stillschweigend voraus, daß \(\displaystyle \lim_{t\to0}s(y_t)\) der Gesamtheit der \(\sigma (u)\) angehört; dies ist nicht ohne weiteres einleuchtend, da \(y_{t}\) nicht auf einer Geraden gegen \(x_{0}\) strebt. Man kann direkt zu dem Beweis des Satzes dadurch gelangen, daß man analoge Betrachtungen auf den Punkt \(y_t=x_0+\tau \hat u\) anwendet, wo \(||\,\hat u\,|| = 1\), \((\hat u, v) = 0\), \(\tau =\dfrac{(1-\lambda )\,td}{d+\lambda t}\). Da außerdem \(y_t=x_t+\dfrac{\lambda t}{d+\lambda t}(z-x_t)\) gilt, folgt aus der Annahme, daß \(z\) innerer Punkt von \(K\) sei, sofort der Widerspruch \[ \sigma (u)=\lim_{t\to0}s(y_t)>\overline{\sigma }. \]