Every arrangement extends to a spread (Q1340138)

Unter einem Arrangement von Pseudogeraden in der euklidischen Ebene \(E^2\) versteht man eine endliche Familie einfacher zu \(\mathbb{R}\) homöomorpher abgeschlossener Kurven, deren Asymptoten jeweils eine einzige Gerade bilden und von denen sich je zwei in genau einem Punkt transversal schneiden. Ein Spread \(S\) von Pseudogeraden in \(E^2\) ist eine unendliche Familie von einfachen abgeschlossenen zu \(\mathbb{R}\) homöomorphen Kurven, deren Asymptoten jeweils eine einzige Gerade bilden, so daß die beiden folgenden Bedingungen erfüllt sind. (1) Je zwei Pseudogeraden aus \(S\) treffen einander in genau einem Punkt transversal. (2) Bildet man \(E^2\) homöomorph auf das Innere des Einheitskreises \(C\), so daß die Pseudogeraden zu Kurven mit Endpunkten auf dem Rand von \(C\) werden, so existiert eine Bijektion \(L\) von \(C\) in die (mit der Hausdorff-Topologie versehenen) Familie \(S\), so daß \(L\) eine stetige Funktion ist. Die Verff. bestätigen eine Vermutung von Grünbaum, daß jedes Arrangement von Pseudogeraden in \(E^2\) sich zu einem Spread von Pseudogeraden fortsetzen läßt.