On the coverings of the plane. (Q2599672)

Die Ebene sei in endliche, zusammenhängende, durch einfach geschlossene Kurven begrenzte Gebiete \(G\) so zerlegt, daß jeder endliche Teil der Ebene von endlich vielen Gebieten bedeckt wird. Eine solche Zerlegung heiße \textit{normal}, wenn 1) die Gebiete \(G\) einfach zusammenhängend sind und 2) zwei Gebiete entweder keine gemeinsamen Punkte oder nur eine gemeinsame Strecke haben (so daß in einem Punkt sich höchstens drei Gebiete berühren). Verf. beweist: Ist eine normale Zerlegung der Ebene vorgegeben, so kann man stets aus den Gebieten \(G\) eine Folge von Komplexen \(Q_1\), \(Q_2\), \dots konstruieren, so daß \(Q_i\) in \(Q_{i+1}\) enthalten ist und die \(Q_i\) alle Gebiete \(G\) erschöpfen und die Eigenschaft haben, daß für das arithmetische Mittel \(n_i\) der Anzahl der einem Gebiet \(G_k\) des Komplexes \(Q_i\) benachbarten Gebiete \(\liminf n_i \geqq 6\) gilt. Gibt es zwei Kreise \(C_1\) und \(C_2\), so daß \(C_1\) jedem \(G\) umbeschrieben und \(C_2\) jedem \(G\) einbeschrieben werden kann, so ist \(\liminf n_i=6\). Es werden einige Verallgemeinerungen dieses Satzes bewiesen, insbesondere die folgende. Von einer Folge von einfach geschlossenen Kurven \(L_1\), \(L_2\), \dots sagt Verf., sie dehne sich aus, wenn \(L_n\) innerhalb von \(L_{n+1}\) liegt und keine Folge von Punkten, die auf verschiedenen \(L_n\) liegen, einen Häufungspunkt besitzt. Mit dieser Bezeichnung gilt der Satz: Die ganze Ebene sei mit kompakten Mengen \(F\) so überdeckt, daß jedes endliche Gebiet von einer endlichen Anzahl dieser Mengen bedeckt wird. Ist eine beliebige Folge von sich ausdehnenden Kurven \(L_1\), \(L_2\), \dots vorgegeben, so soll es ein \(n\) geben, so daß für \(m \geqq n\) die Kurve \(L_m\) mindestens 27 Mengen \(F\) schneidet. Dann gibt es mindestens eine Menge \(F\) (und sogar unendlich viele), die mindestens sechs andere Mengen \(F\) schneidet.