Non-Riemannian subspaces. (Q2613478)

Jedem Punkt \(\xi^\varkappa\) einer \(X_n\) ist eine \(E_m\) (\(m\) braucht nicht kleiner als \(n\) zu sein) zugeordnet. Die Gesamtheit dieser \(E_m\) nennt man eine \(L_n^m\), wenn dazu eine Übertragung \(\varGamma^a_{\mu b}\) gegeben ist. Ist \(L_n^m= L_n^{m_1}+\cdots+L_n^{m_k}\), wo \(\sum m_i=m\) ist und \(L_n^{m_i}\) mit \(L_m^{m_j}\) (\(i\neq j\)) keine Richtung gemeinsam hat, so heißt die \(L_n^m\) zerlegt. Die Einspannung von \(L_n^{m_i}\) wird gegeben durch \(\sum L_n^{m_j}\) (\(j\neq i\)). Es wird bewiesen, daß die Zerlegung so durchgeführt werden kann, daß die ko- und kontravarianten Krümmungsgebiete von \(L_n^{m_i}\) in \(L_n^{m_1}+\cdots+L_n^{m_{i+1}}\) enthalten sind (zwar nicht eindeutig). Die Krümmungsgebiete (osculating spaces) werden in folgender Weise definiert. Es seien \(B^a_{b_i}\), \(B^{a_i}_b\) die zu \(L_n^{m_i}\) in \(L_n^m\) gehörigen Verbindungsgrößen. Die von den Vektoren \[ \nabla_{(\mu)}B^a_{(b_i)},B^a_{(b_i)} \text{ bzw. } \nabla_{(\mu)}B^{(a_i)}_b,B^{(a_i)}_b \] aufgespannte \(p\)-Richtung bzw. \(q\)-Richtung bildet das kontravariante bzw. kovariante Krümmungsgebiet der \(L_n^{m_i}\) in \(L_n^m\). Die Zerlegung der Übertragung \(\varGamma^a_{\mu b}\) führt zu den induzierten Übertragungen \(\varGamma^{a_i}_{\mu b_i}\) und den Affineren \(\overset {i,j} H^{\cdot a_i}_{\mu\cdot b_j}\) (\(i\neq j\)), für die \(\overset {i,j} H=0\) gilt für \(|i-j|>1\). Die Beziehungen zwischen \(\nabla_\mu B^a_{b_i}\) und den Affinoren \(\overset {i,j} H\) werden angegeben (die verallgemeinerten \textit{Frenet}schen Formeln). Auch die zur Zerlegung von \(L_n^m\) gehörigen \textit{Gauß-Codazzi}schen Gleichungen werden angeschrieben. Verf. bekommt für \(L_n^m=V_m\) und \(L_n^{m_1}=V_{m_1}\) die Resultate von \textit{J.~A.~Schouten} und \textit{E.~R. van~Kampen} (Über die Krümmung einer \(V_m\) in \(V_n\); eine Revision der Krümmungstheorie; Math. Ann. 105 (1931), 144-159; F.~d.~M. 57).