Ovaloidi di metrica assegnata. (Q2588428)

\textit{H. Weyl} hat zuerst einen Beweis für den Satz skizziert, daß sich eine in abstracto durch ihr Linienelement gegebene geschlossene Fläche positiver Krümmung im euklidischen \(R_{3}\) im wesentlichen eindeutig verwirklichen läßt (Vjschr. Naturf. Ges. Zürich, 61 (1916; F. d. M. 46, 1115 (JFM 46.1115.*)). Verf. bringt für diesen Satz einen Beweis als Anwendung eigner Ergebnisse über die Existenz von Lösungen elliptischer Differentialgleichungen mit Hilfe von Funktionaltransformationen. Die Differentialgleichung ist dieselbe, welche Weyl im gleichen Zusammenhang für die Weingartensche Verschiebungsfunktion bei infinitesimaler Deformation abgeleitet hat. Das Verfahren des Verf. erfordert gewisse Differenzierbarkeitsvoraussetzungen. Es verläuft in folgenden Schritten: Es handelt sich um die Abbildung \(T\) des Raumes \(\varSigma \) der Eiflächen des \(R_3\) auf den Raum \(\varSigma '\) der durch ihre Linienelemente in abstracto gegebenen geschlossenen Flächen positiver Krümmung und um die Umkehrbarkeit von \(T\). Zunächst ist diese Umkehrbarkeit \textit{im kleinen} sicherzustellen. Dies gelingt durch Übergang von \(\varSigma \), \(\varSigma '\) zu \textit{linearen} Räumen und Beschränkung auf die Teilräume \(v\), \(v'\) der Eiflächen bzw. Linienelemente, die konform auf die Kugel abgebildet sind. Dann folgt die Umkehrbarkeit von \(T\) \textit{im großen} nach einem früheren Ergebnis daraus, daß nur \textit{kompakten} Teilmengen von \(v\) kompakte Mengen von \(v'\) entsprechen. Schließlich genügt für den Schluß auf \textit{eindeutige Existenz} einer passenden Eifläche im \(R_{3}\) die Feststellung, daß \(v'\) zusammenhängend ist, und der Satz von Liebmann über die Kugel als einzige geschlossene Fläche fester Gaußscher Krümmung.