On total curvatures of Riemannian manifolds. I. (Q2589882): Difference between revisions

In der vorliegenden und in einer noch im Druck befindlichen Arbeit gibt Verf. eine bestätigende Antwort auf die folgende von \textit{H. Hopf} (Jber. Deutsche Math.-Verein. 41 (1932), 209-229; F. d. M. \(58_{\text{I}}\), 776) gestellte Aufgabe, für eine Riemannsche Mannigfaltigkeit \(V_n\) (\(n\) gerade) einen Skalar \(K\) (Krümmung) zu definieren mit folgenden Eigenschaften: 1) \(K\) stimmt im Fall einer Hyperfläche mit der Krümmung von Gauß-Kronecker überein; 2) \(K\) genügt einer Formel vom Typus der Gauß-Bonnetschen Formel, d.~h. man kann das Integral von \(K\) über ein Gebiet der \(V_n\) durch ein Randintegral ausdrücken; 3) die zugehörige Gesamtkrümmung ist eine topologische Invariante. Die Aufgabe ist von Hopf nur für Mannigfaltigkeiten konstanter Riemannscher Krümmung und für Hyperflächen \(V_n\) in einem euklidischen Raum \(R_{n+1}\) (stets \(n\) gerade) gelöst worden. Die \(V_n\) sei nun eingebettet in einen euklidischen Raum \(R_{n+p}\) (es bedeutet keine Einschränkung, \(p\) als ungerade anzunehmen), und \(V_n^\prime\) sei die Orthogonalprojektion von \(V_n\) auf denjenigen Raum \(R_{n+1}\), der von dem Tangential-\(R_n\) an die \(V_n\) in einem Punkte \(P\) und einem zur \(V_n\) in \(P\) orthogonalen Vektor \(\xi(P) \) aufgespannt wird. \(\varkappa(\xi)\) sei die Gauß-Kroneckersche Krümmung der \(V_n^\prime\) in \(P\), \(K\) der Mittelwert von \(\varkappa(\xi)\) über alle zur \(V_n\) senkrechten Richtungen in \(P\), multipliziert mit dem Faktor \(\dfrac{\omega_n\omega_{p-1}}{2\omega_{n+p-1}}\), wo \(\omega_\nu\) die Oberfläche der Einheitskugel im \(R_{\nu+1}\) bezeichnet. Der Skalar \(K\), den Verf. die \textit{Krümmung von Lipschitz-Killing} der \(V_n\) nennt, hängt nicht von der Metrik des Einbettungsraumes ab und genügt den von Hopf gestellten Forderungen (in der vorliegenden Arbeit wird nur der Beweis für die Eigenschaft 1) erbracht). Ist die \(V_n\) im \(R_{n+p}\) geschlossen und orientierbar, so gilt die Beziehung \[ \int\limits_{V_n} K\, dv=\tfrac12 \chi\omega_n, \] die eine entsprechende Formel von Hopf für Hyperflächen \(V_\nu\) im \(R_{\nu+1}\) verallgemeinert; \(\chi\) ist die Eulersche Charakteristik, \(dv\) das Volumenelement der \(V_n\). Der Beweis wird geführt durch Zurückführung des Satzes auf den Fall einer zur \(V_n\) parallelen Hyperfläche \(V^*_{n+p-1}\), für die die Formel von Hopf gilt.