Two-dimensional metric spaces with prescribed geodesics. (Q2592685)

In der euklidischen Ebene \(\pi\) sei ein System \(A\) von Kurven gegeben mit folgenden Eigenschaften: Jede Kurve \(C\) aus \(A\) sei das topologische Bild einer Geraden, und jede divergente Punktfolge auf \(C\) sei auch in \(\pi\) divergent. Durch je zwei verschiedene Punkte von \(\pi\) gehe genau eine Kurve von \(A\), die stetig von den beiden Punkten abhänge. Ein solches Kurvensystem genügt den ebenen Axiomen der Verknüpfung und Anordnung. Man verbinde alle Punkte \(x\) einer Kurve \(C\) von \(A\) mit einem nicht auf ihr liegenden Punkt \(p\) durch Kurven \(C_{px}\) von \(A\). Läßt man \(x\) die Kurve \(C\) nach beiden Seiten ins Unendliche durchlaufen, so strebt \(C_{px}\) zwei Grenzlagen zu, den Asymptoten von \(C\) durch \(p\). Diese Asymptoten sind wieder Kurven des Systems \(A\). Eine Anzahl von Eigenschaften der Asymptoten in der euklidischen und hyperbolischen Geometrie gilt auch für das Kurvensystem \(A\), aber der Asymptotenbegriff ist im allgemeinen nicht symmetrisch, wie Verf. durch ein Gegenbeispiel zeigt. Diese Eigenschaften und noch einige weitere benutzt Verf. zur Herleitung des Hauptergebnisses der vorliegenden Arbeit: In \(n\) läßt sich eine Metrik \(r (p, q)\) konstruieren, die topologisch äquivalent mit der euklidischen Metrik ist, und für welche das System \(A\) mit dem System der kürzesten Linien übereinstimmt. \(r (p, q)\) läßt sich überdies so wählen, daß jede Kurve von \(A\) bezüglich der Metrik \(r (p, q)\) unendlich lang wird, und daß es zu je zwei Punkten \(a, b\) der Ebene genau einen Punkt \(c\) mit \(r (a, c) + r(c,b) = r (a, b)\) und \(r (a,c) = r(b, c)\) gibt (Existenz des Mittelpunktes). Macht man noch Differenzierbarkeitsvoraussetzungen über das System \(A\), so kann die Methode des Verf. auf das Problem der Variationsrechnung angewendet werden, zu vorgegebenen Extremalen ein Variationsproblem zu finden.