Concerning Menger curves (Q567112)

Ein Punkt \(x\) einer zusammenhängenden, kompakten Menge heißt ``Kurvenpunkt'', wenn es zu jeder Umgebung \(V(x)\) ein System von unabzählbar vielen Umgebungen \(U_i(x)\subset V(x)\) mit nulldimensionalem Rand gibt, so daß\ für je zwei Umgebungen des Systems entweder \(U_i\Subset U_k\) oder \(U_i\Supset U_k\) gilt. Gibt es ein solches System von Umgebungen, deren Ränder nur je endlich viele Punkte enthalten, so heißt der Punkt von endlichem Grad, und er heißt ``vom Grad \(n\)'', wenn die Anzahl der Randpunkte der Umgebungen beschränkt und \(\leq n\) bleibt (wobei \(n\) die kleinste Zahl ist, die diese Bedingung erfüllt). Die Gesamtheit aller Kurvenpunkte bilden ein \(G_\delta \), die Gesamtheit der übrigen Punkte ist leer oder wenigstens eindimensional. Jeder Punkt einer kompakten \textit{Menger}-Kurve \(K\) ist ein ``Kurvenpunkt'' in diesem Sinne. Die Umkehrung folgt schon aus der Definition des ``Kurvenpunktes''. Die Gesamtheit aller Punkte von \(K\) von unendlichem Grad ist ein \(F_\sigma \), das in jedem seiner Punkte eindimensional ist, falls es nicht leer ist. Ist der Punkt \(p\) von endlichem Grad \(n\), so gibt es zu jedem \(V(p)\) zwei Umgebungen \(U_i\) und \(U_k\), so daß\ \(U_i\Subset U_k\subset V\) und \((\overline U_k-U_i) K\) aus \(n\) Kontinua besteht, von denen jedes mit dem Rand von \(U_i\) und \(U_k\) nur je einen Punkt gemeinsam hat, und die Menge der Punkte, die nicht von zweitem Grade sind, ist in \(p\) nulldimensional. Eine Kurve, deren Punkte alle von endlichem Grad sind, ist Summe endlich vieler beliebig kleiner Kontinua, die paarweise höchstens einen Punkt gemeinsam haben. Die Verzweigungspunkte sind überall dicht in der Menge der Punkte unendlichen Grades. Wenn \(K\) regulär ist, gibt es nur abzählbar viele Punkte \(x\), die von unendlichem Grad und lokale Zerlegungspunkte sind, d. h. Zerlegungspunkte für irgend ein \(V(x) K\).