Über die topologischen Eigenschaften der Kurvenfamilien auf Flächen. (Q574254)

Verf. untersucht Homotopieeigenschaften von normalen Kurvensystemen in einem kompakten metrischen Raum \(R\). Ein normales Kurvensystem ist nach Verf. ein kompaktes System von doppelpunktfreien rektifizierbaren Kurven, deren Längen sich stetig mit ihren Endpunkten und den Kurven selbst ändern. \((A)\) sei nun eine Klasse von normalen Kurvensystemen \(A\) in \(R\). Ein Kurvensystem \(A_0\) heißt eine Homotopiebasis der Klasse \((A)\), wenn die beiden folgenden Eigenschaften erfüllt sind: (1) Jedes System \(A \in (A)\) kann in einen Teil des Systems \(A_0\) deformiert werden; (2) \(A_0\) ist in bezug auf die Eigenschaft (1) irreduzibel. Stetigkeit, Deformation, Umgebung usw. im Raum der Kurven von \(R\) sind dabei im Sinne der ``gegenseitigen Approximation'' zu verstehen. Approximation \(\delta (M, N)\) von \(M\subset R\) bezüglich \(N \subset R\) heißt die obere Grenze der Abstände der Punkte aus \(M\) von der Menge \(N\); die größere der beiden Zahlen \(\delta(M, N)\), \(\delta (N, M)\) nennt Verf. die gegenseitige Approximation der beiden Mengen \(M\), \(N\). Verf. beweist zunächst den Satz, daß man in einem normalen Kurvensystem \(A\) auf allen Kurven einer genügend kleinen Umgebung einer Kurve \(C\in A\) in stetiger Weise einen Punkt auswählen kann. Mit Hilfe dieses Satzes wird eine Reihe von Hilfssätzen über normale Kurvensysteme auf Flächen bewiesen, die folgendes Ergebnis liefern: Die Homotopiebasis der Klasse aller normalen Kurvensysteme auf einer geschlossenen Fläche ist (1) im Falle einer Kugelfläche die Menge aller Kreise (einschließlich der Punkte), (2) im Falle eines Torus die Menge aller doppelpunktfreien geschlossenen geodätischen Kurven (einschließlich der Punkte), (3) im Falle einer Fläche vom Geschlecht 2 die Menge aller Punkte und endlich vieler doppelpunktfreier geschlossener Kurven. Durchgeführt wird der Beweis nur für den Fall der Kugel. Zum Schluß gibt Verf. ein Beispiel eines Kurvensystems auf einer Kugel, das nicht in ein Kreissystem deformiert werden kann.