Sur le lieu des points équidistants de deux continus et la division du plan par une courbe de Jordan. (Q2612941)

Als ``Äquidistanzort \(F(M_1, M_2)\)'' zweier Punktmengen \(M_1, M_2\) in der euklidischen Ebene \(E\) sei die Menge aller Punkte von \(E\) bezeichnet, deren jeder von \(M_1\) den gleichen Abstand besitzt wie von \(M_2\). Verf. zeigt: Sind \(k_1\), \(k_2\) zwei beschränkte, zueinander fremde Kontinuen in \(E\), so ist \(F (k_1, k_2)\) eine geschlossene \textit{Jordan}kurve im weiteren Sinne, d. h. eine beschränkte \textit{Jordan}kurve oder doch durch Abbildung vermöge reziproker Radien in eine solche Kurve überführbar. \(F = F(k_1, k_2)\) besitzt überall sowohl eine vordere als eine hintere (je eindeutig bestimmte) Halbtangente. Diese Halbtangenten sind einseitig stetig, d. h. konvergiert ein Punkt \(P'\) auf \(F\) von der \textit{einen} Seite, etwa von hinten her, gegen den Punkt \(P\) von \(F\), so konvergiert die eine der Halbtangenten an \(F\) in \(P'\) gegen die hintere Halbtangente an \(F\) in \(P\), während die andere Halbtangente in \(P'\) gegen die zur hinteren Halbtangente in \(P\) komplementäre Halbgerade konvergiert. Es wird \(E\) durch \(F\) in zwei Gebiete \(D_1\) und \(D_2\) zerlegt, wobei \(k_1\) in \(D_1\) und \(k_2\) in \(D_2\) enthalten ist und wobei \(F\) mit der Begrenzung von \(D_1\) sowohl als mit der Begrenzung von \(D_2\) identisch ist. Es seien ferner \(f_1\) und \(f_2\) zwei abgeschlossene Mengen, welche genau einen Punkt \(S\) gemeinsam haben; besitzt dann der Äquidistanzort \(F (f_1, f_2)\) \textit{innere} Punkte, so ist die Menge dieser inneren Punkte ein konvexes Gebiet \(\varDelta\). Insbesondere seien jetzt \(f_1 = \gamma_1\) und \(f_2 = \gamma_2\) einfache Bogen, deren (einziger) gemeinsamer Punkt \(S\) Endpunkt sowohl von \(\gamma_1\) als von \(\gamma _2\) ist. Dann folgt: Der Äquidistanzort \(F = F (\gamma_1, \gamma_2)\) ist ein Kontinuum, und zwar ist \(F\) darstellbar als Summe aus einer abgeschlossenen konvexen Punktmenge \(f\), welche sich auch auf \(S\) reduzieren kann, und aus einer Kurve \((F- f)\), deren Eigenschaften aus dem Folgenden erhellen. Die Menge der Punkte mit kleinerem (bzw. größerem) Abstande von \(\gamma_1\) als von \(\gamma_2\) ist ein Gebiet \(D_1\) (bzw. \(D_2\)), dessen Begrenzung \(F_1\) (bzw. \(F_2\)) Summe aus \((F- f)\) und aus einem Bogen \(\varphi_1=SK\) (bzw. \(\varphi_2 = KS\)) ist, wobei \(\varphi =\varphi_1+ \varphi_2\) genau der Rand von \(f\) ist. \(F_1\) und \(F_2\) sind \textit{Jordan}kurven im weiteren Sinne, welche in jedem von \(S\) verschiedenen Punkte die gleichen Tangenteneigenschaften besitzen wie oben \(F(k_1, k_2)\). \(F_1\) zerlegt die Ebene \(E\) in zwei Gebiete, nämlich in \(D_1\) und \((D_2 +f- \varphi_1\)), deren Begrenzung je mit \(F_1\) identisch ist; Entsprechendes gilt für \(F_2\). Diese eben formulierten Sätze gestatten nun, auf einfache Weise den \textit{Jordan}schen Satz zu beweisen, demzufolge \(E\) durch jede beschränkte einfache geschlossene Kurve \(C\) in genau zwei fremde Gebiete zerlegt wird, deren jedes als Begrenzung gerade \(C\) besitzt; ferner, daß jeder Punkt von \(C\) ``erreichbar'' ist.