On the supporting-plane property of a convex body.

DOI10.1090/S0002-9904-1940-07242-8MaRDI QIDQ2588415zbMATH OpenOpenAlexFDO

Authors D. Moskovitz, L. L. Dines

Publication date 1940

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1940-07242-8

Review text

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 }. \]

This page was built for publication: On the supporting-plane property of a convex body.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2588415)