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$^{Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\ }^\prime}} , $M^{\rm {d}}$ oder, für die erste Ableitung, $M^{(1)}$.

Geschichte

Das Konzept wurde von Georg Cantor 1872 eingeführt und in seinen ersten Schriften zur Begründung der Mengenlehre benutzt, anfangs für die Untersuchung von Fourierreihen. Er betrachtete die aufeinanderfolgenden Ableitungen einer Punktmenge und bezeichnete $M^{(n)}$ als Punktmenge n-ter Art, wenn $M^{(n+1)}$ leer ist. Insbesondere führte die Folge der Ableitungen Cantor auf die Einführung transfiniter Ordinalzahlen. Bildet man die Folge der Ableitungen einer Menge, so sind die niedrigeren Ableitungen in den höheren enthalten und die Menge der Punkte, die in allen Ableitungen enthalten ist kann als Ableitung der Ordnung „Unendlich“ ($\infty$) aufgefasst werden, $M^{\infty }$, später von ihm $\omega$ genannt. Von da aus kann man dann weiter mit Ableitungen von $M^{\infty }$ fortfahren (siehe Ordinalzahl). Das veröffentlichte er zwar noch nicht 1872, besaß die Idee aber seit 1870.

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 $\xi$ durch $M^{(\xi )}=\textstyle {\bigcap _{\eta <\xi }}M^{(\eta )}$ definiert.

Eigenschaften

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

• $(M\cup N)^{(1)}=M^{(1)}\cup N^{(1)}$
• $M^{(1)}\setminus N^{(1)}\subseteq (M\setminus N)^{(1)}$
• $(M^{(1)})^{(1)}\subseteq M^{(1)}$
• $\textstyle \left(\bigcap _{t\in T}M_{t}\right)^{(1)}\subseteq \bigcap _{t\in T}M_{t}^{(1)}$
• $\textstyle \bigcup _{t\in T}M_{t}^{(1)}\subseteq \left(\bigcup _{t\in T}M_{t}\right)^{(1)}$
• $M\subseteq N\ \Rightarrow \ M^{(1)}\subseteq N^{(1)}$
• ${\overline {M}}=M\cup M^{(1)}$
• ${\overline {M}}^{(1)}={\overline {M^{(1)}}}=M^{(1)}$
• $\eta <\xi \Rightarrow M^{(\eta )}\supseteq M^{(\xi )}.$

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:

• Erster Satz von Lindelöf: $\operatorname {card} (M\setminus \operatorname {cp} (M))<\aleph _{1}$,
• Satz von Cantor-Bendixson, I: Jede abgeschlossene Menge lässt sich als Vereinigung von einer perfekten und einer höchstens abzählbaren Menge darstellen. In polnischen Räumen ist diese Darstellung eindeutig.

Daraus ergibt sich als Folgerung:

• Jede abgeschlossene Menge ist entweder höchstens abzählbar oder hat die Mächtigkeit des Kontinuums.

Ein möglicher Beweis verwendet

• Satz von Cantor-Bendixson, II: In Räumen mit abzählbarer Basis endet für jede Teilmenge die Folge ihrer Ableitungen immer mit einer perfekten Menge, d. h. für jede Menge $M$ existiert eine Ordinalzahl $\xi <\Omega$, so dass $M^{(\xi )}=M^{(\xi +1)}$.

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 $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.