Spazi riemanniani luoghi di varietà totalmente geodetiche. (Q1458472)

Einen Riemannschen Raum \(V_m\), der einem \(V_n(n>m)\) angehört, nennt man (total-) geodätisch, wenn alle geodätischen Linien von \(V_m\) auch solche für \(V_n\) sind. Ein Raum \(V_n\) enthält im allgemeinen keine geodätische \(V_m(m>1)\). Man sucht die Raume \(V_n\) die \(\infty^{n-m}\) geodätische \(V_m\) enthalten. Wenn \(m=n-1\) ist, so ist die Richtung der orthogonalen Trajektorie der \(\infty^1 V_{n-1}\) in jedem Punkte eine Hauptrichtung (nach Ricci). Wenn \(m< n-1\) ist und wenn die \(V_m\) keine isometrische Korrespondenz in sich selbst zulassen, so läßt sich das \(ds^2\) von \(V_n\), in folgender Form schreiben: \[ ds^2=\sum_1^m\;_{ik}a_{ik}(x_1, \dots, x_m)dx_i dx_k +\sum_{m+1}^n\;_{jl}a_{jl}(x_1, \dots, x_n)dx_j dx_l. \] Sie sagt aus, daß\ die Lage \(S_{n-m}\) (d.h. \((n-m)\)-Vektor), die in einem Punkte \(P\) auf \(V_m\) senkrecht steht (Ort der von \(P\) ausgehenden und zu \(V_m\) orthogonalen Richtungen), invariant ist bei einer Parallelübertragung (nach Levi-Civita) längs eines geschlossenen Zyklus durch \(P\) in \(V_m\). Es folgen weitere geometrische Eigenschaften dieser Räume und jener Räume, die sich dadurch auszeichnen, daß\ sie zwei sich in jedem Punkte senkrecht schneidende Systeme von geodätischen Mannigfaltigkeiten besitzen.