Un théorème sur \(n\) courbes simples dans le plan. (Q2615531)

\(F\) sei eme abgeschlossene Menge in der Ebene \(R\), \(a\) ein Punkt von \(R - F\); die \(a\) enthaltende Komponente von \(R - F\) werde mit \(g_a F\) bezeichnet. Verf. beweist den folgenden (von \textit{Čech} vermuteten) Satz: \(K\) sei ein im kiemen zusammenhängendes Kontinuum der Ebene \(R\); \(a\) und \(b\) seien zwei verschiedene Punkte von \(R\); für jeden \(a\) und \(b\) verbindenden einfachen Bogen \(\mathfrak B\) in \(R\) soll die Menge \(\mathfrak BK - a - b\) (mindestens) \(n\) verschiedene Punkte enthalten. Dann enthält \(K\) (mindestens) \(n\) einfache geschlossene, zu \(a\) und \(b\) fremde Kurven \(C_1, C_2,\ldots, C_n\) derart, daß \[ g_aC_\nu + C_\nu<g_aC_{\nu+1}\quad (\text{für}\quad \nu\leqq n-1);\qquad b\in R-g_aC_\nu\quad (\text{für}\quad \nu\leqq n). \] Der Fall \(n = 1\) dieses Satzes geht bereits auf \textit{Cleveland} zurück (vgl. \textit{R. L. Moore} Foundations of point set theory (New York, 1932; JFM 58.0637.*), p. 242). Von diesem Spezialfall ausgehend, wird hier der allgemeine Satz durch Induktion bezüglich \(n\) bewiesen.