## [Ableitungsmenge](/de/node/62154) Definition 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 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 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 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 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 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 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 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 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.