Convex regions in the geometry of paths. (Q567832)

Im \textit{Riemann}schen Raum existiert zu jedem Punkt \(q\) allgemeiner Lage ein Gebiet \(C_q\), welches \(q\) enthält, derart, daß jeder Punkt von \(C_q\) mit \(q\) durch einen und nur einen geodätischen Bogen, der ganz in \(C_q\) verläuft, verbunden werden kann. Wie steht es um das Analogon dieses Satzes in der ``geometry of paths''? In dieser hat man von dem Differentialsystem \[ \frac {d^2 x^i}{ds^2} + \Gamma ^i_{jk} \frac {\partial x^j}{ds} \frac {\partial x^k}{ds} = 0 \] auszugehen und \textit{E. Picard}s Existenztheorem (vgl. Traité d'analyse, Vol. III, 2 éd. (1909; F. d. M. 40, 330 (JFM 40.0330.*)), p. 90-91) mit den entsprechenden Voraussetzungen über die \(\Gamma ^i_{jk}\) anzuwenden. Es ergibt sich: Zwei hinreichend benachbarte Punkte lassen sich durch eine und nur eine Bahnkurve verbinden; in jeder hinreichend kleinen Umgebung eines Punktes existieren Bereiche, welche den Punkt enthalten und inbezug auf die Bahnkurven konvex sind. Dabei wird unter einem inbezug auf die Bahnkurven konvexen Bereich ein Gebiet verstanden, in welchem irgendzwei Punkte durch mindestens eine Bahnkurve verbunden werden können. Ist \(V(x)=0\) die Gleichung eines solches Bereiches, so gilt: (1) Das abgeschlossene Gebiet \(V\leq 0\) ist zusammenhängend; (2) die quadratische Form \(\Big (\dfrac {\partial ^2 V}{\partial x^j\partial x^k}- \dfrac {\partial V}{\partial x^i}\Gamma ^i_{jk} \Big ) \,dx^j\,dx^k \) ist positiv definiert für jeden Punkt des Gebietes. Von den gewonnenen Ergebnissen werden noch einige Anwendungen auf den affinen und \textit{Riemann}schen Spezialfall gegeben. Die ganze Untersuchung verläuft naturgemäß vollständig im reellen Gebiet.