On the decomposability of closed sets into a countable number of simple sets of various types (Q567085)

Die \(K\)-Derivierte \(K(A)\) einer abgeschlossenen Menge \(A\) in einem kompakten metrischen Raum \(C\) in bezug auf ein System \(K\) von abgeschlossenen Mengen wird folgendermaßen definiert: Ein Punkt \(x\) von \(C\) gehört zu \(K(A)=A_k^1\), wenn es keine Umgebung \(U\) von \(x\) gibt, so daß\ der Durchschnitt von \(A\) und \(U\) in einer \(K\)-Menge enthalten ist. Sitzt man nun \(A_k^\alpha =K(A_k^{\alpha -1})\) bzw. \(=\prod _{\beta <\alpha }(A_k^\beta )\) für jede Ordnungszahl \(\alpha \), so gilt: \(C\) ist dann und nur dann die Summe von abzählbar vielen \(K\)-Mengen, wenn für eine Zahl \(\beta \) der ersten oder zweiten Zahlklasse \(C_k^\beta =0\) ist. Dieser Satz umfaßt die von \textit{Menger} (1926; F. d. M. 52, 598 (JFM 52.0598.*)) und dem Verf. (Fundamenta 14 (1929), 103-106; F. d. M. \(55_{\text{I}}\), 321 gewonnenen Ergebnisse über die Darstellbarkeit einer stetigen Kurve als Summe von einfachen Bögen. Einige weitere Beispiele für die Anwendungsmöglichkeiten des Satzes werden kurz besprochen. Soll \(C\) die Summe von \(n\) (\(n\) positiv ganz) \(K\)-Mengen sein, so muß\ \(C_k^{n-1}\) in einer \(K\)-Menge enthalten und \(C_k^n=0\) sein. Hinreichend ist diese Bedingung jedoch nicht. (Zu dem Begriff der \(K\)-Derivierten vgl. auch Verf., Duke Math. Journ. 1 (1935), 35-38; F. d. M. \(61_{\text{I}}\), 630.)