Generalized perfect sets. (Q2612908)

\(K\) sei eine beliebige Klasse abgeschlossener Mengen in einem metrischen Raum \(C\). Die vom Verf. früher (On the decomposability of closed sets into a countable number of simple sets of various types, Amer. Journ. of Math. 54 (1932), 169-175; F. d. M. 58) eingeführte \(K\)-Derivierte \(K (A)\) einer Teilmenge \(A\) von \(C\) (ein Punkt \(x\) von \(A\) gehört zu \(K (A)\), wenn jede Umgebung von \(x\) eine Teilmenge von \(A\) enthält, die in keiner \(K\)-Menge liegt) legt folgende Definition nahe: \(A\) heißt \(K\)-perfekt, wenn \(K (A) = A\) ist. Die \(K\)-perfekten Mengen umfassen die gewöhnlichen perfekten Mengen (man wähle für \(K\) das System aller Punkte von \(C\); im allgemeinen ist eine \(K\)-perfekte Menge aber nicht perfekt), und die wichtigsten Eigenschaften der perfekten Mengen lassen sich leicht in sinngemäßer Verallgemeinerung auch für die \(K\)-perfekten Mengen nachweisen. Verf. behandelt dann die Frage, wann für zwei verschiedene Klassen \(K_1\) und \(K_2\) die \(K_1\)-perfekten und \(K_2\)-perfekten Mengen identisch sind, und untersucht schließlich den Zusammenhang zwischen den aus \(K(X)+X_K^1\) durch Iteration des Verfahrens entstehenden \(\alpha\)-ten \(K\)-Derivierten \(X_K^{\alpha}\) eines metrischen Raums \(X\) und den von \textit{Hurewicz} betrachteten ``verallgemeinerten Abgeleiteten'' \(X_{\alpha}(f)\) von \(X\) (vgl. Fundamenta Math. 23 (1934), 54-62 (JFM 60.0511.*, Fußnote zu p. 54), die in Abhängigkeit von einer eindeutigen Transformation \(f (x)\) von \(X\) in einen Raum \(Y\) definiert sind. Es ergibt sich: Zu jeder Klasse \(K\) existiert eine auf \(X\) definierte Funktion \(f (x)\), und zu jeder solchen Funktion \(f (x)\) gibt es umgekehrt eine Klasse \(K\), so daß \(X_{\alpha} (f)=X_K^{\alpha}\) ist für alle Ordnungszahlen \(\alpha\).