Ableitung einer Menge

Unter der Ableitung einer Menge versteht man in der Mathematik die Menge aller Häufungspunkte dieser Menge. Vorausgesetzt wird dabei, dass auf der Menge ein Abstandsbegriff oder allgemeiner eine Topologie definiert ist. Ein gleichbedeutender Ausdruck ist die Derivierte der Menge. Heißt die Menge M, so sind Zeichen für ihre Ableitung M{\ }^\prime, M^{\rm{d}} oder, für die erste Ableitung, M^{(1)}.

Höhere Mengenableitungen

Höhere Mengenableitungen werden induktiv definiert: Die n-te Ableitung M^{(n)} ist die Ableitung der (n-1)-ten Ableitung M^{(n-1)}. Die abgeschlossene Hülle von M wird auch als die nullte Ableitung von M bezeichnet. Allgemeiner wird für jede isolierte Ordinalzahl \xi die \xi -te Ableitung M^{(\xi)} durch M^{(\xi)}=(M^{(\xi-1)})^{(1)} und für jede Limeszahl M^{(\xi)}=\textstyle{\bigcap_{\eta<\xi}}M^{(\eta)} definiert.

Eigenschaften

Die Ableitung einer Menge kann leer sein. In einem T1-Raum gelten folgende Regeln:

Eine Menge M ist genau dann perfekt, wenn M^{(1)}=M. Der insichdichte Kern einer Menge ist der Durchschnitt seiner Ableitungen.

Räume mit abzählbarer Basis

Sei \operatorname{cp}(M) die Menge der Kondensationspunkte von M. In einem topologischen Raum mit abzählbarer Basis gilt:

Daraus ergibt sich als Folgerung:

Ein möglicher Beweis verwendet

Die kleinste derartige Ordinalzahl heißt Cantor-Bendixsonscher Grad der Menge.

Der zweite Satz von Cantor-Bendixson ist eine Verallgemeinerung des ersten. Man betrachte die auf M durch X induzierte Topologie. Wenn \beta der Cantor-Benidixsonsche Grad der Menge M in diesem Raum ist, dann ist

M = \bigcup_{\alpha < \beta}(M^{(\alpha)} \setminus M^{(\alpha+1)}) \cup M^{(\beta)}.

Die Mengen {\displaystyle M^{(\alpha )}\setminus M^{(\alpha +1)}} bestehen nur aus isolierten Punkten und sind höchstens abzählbar. Die Menge

\bigcup_{\alpha < \beta}(M^{(\alpha)} \setminus M^{(\alpha+1)})

ist als Vereinigung von höchstens abzählbar vielen höchstens abzählbaren Mengen selbst höchstens abzählbar. Die Menge M^{(\beta)} ist wegen M^{(\beta)}=M^{(\beta+1)} perfekt.

Trenner
Basierend auf einem Artikel in Wikipedia.de
 
Seitenende
Seite zurück
©  biancahoegel.de; 
Datum der letzten Änderung:  Jena, den: 24.04. 2019