Die Ableitungsmenge A' einer Teilmenge A eines topologischen Raums X ist die Menge aller Häufungspunkte von A: Punkte p, so dass jede Umgebung von p A in einem Punkt ungleich p trifft. Diese Operation kann transfinit iteriert werden (Cantor–Bendixson-Ableitung).

Prinzip

Hebt den reinen Häufungspunktanteil einer Menge hervor, indem isolierte Punkte entfernt werden; sukzessive Ableitungen schichten eine Menge nach ihrem Cantor–Bendixson-Rang und trennen perfekte von zerstreuten Teilen.

Demonstration

Im R mit der Standardtopologie ist die Ableitungsmenge von {1/n : n ∈ N} ∪ {0} gleich {0}; die Ableitungsmenge von Z ist leer; transfinites Anwenden der Ableitung auf einen abgeschlossenen Satz liefert seinen perfekten Kern.

Fehlanwendung

Die Ableitungsmenge mit dem Abschluss zu verwechseln führt zu Fehlern: ein Häufungspunkt muss nicht zum ursprünglichen Satz gehören, und cl(A) = A ∪ A', daher A' mit cl(A) gleichzusetzen ist falsch.

Konsequenz

Richtig verwendet liefert sie die Cantor–Bendixson-Zerlegung abgeschlossener Mengen in einen perfekten Teil und einen abzählbaren zerstreuten Rest und ordnet ordinalskalierte Ränge zur Klassifikation der Häufungsstruktur zu.

Umkehrung

Das Gegenstück ist die Menge isolierter Punkte (A \ A'), also der innerhalb A verbleibende diskrete Anteil; wiederholtes Anwenden isoliert diskrete Teile statt der Grenzstruktur.

Abgrenzung

Anwendbar in jedem topologischen Raum, aber das Verhalten hängt von Trennaxiomen und lokaler Kompaktheit ab; in groben Topologien können viele Ableitungs-mengen leer sein, in perfekten Räumen gilt A' = A für nichtleere abgeschlossene A.

Semantische Spannung

Steht im Spannungsverhältnis zu Abschluss- und Randbegriffen: Abschluss fügt Häufungs- und Originalpunkte hinzu, Rand vergleicht Schnitt mit dem Komplement; die Ableitungsmenge erfasst ausschließlich das Akkumulationsverhalten, nicht Zugehörigkeit oder Trennung.

Synthese

Die Ableitungsmenge ist der Operator, der die Häufungspunkte von A extrahiert; ihre Iteration legt die geschichtete Grenzpunkt-Architektur frei und ist Grundlage für Zerlegungen in perfekte und zerstreute Komponenten.