Die Mächtigkeit der Potenzmenge

Mengen spielen in der Mathematik eine sehr grundlegende Rolle. Das Konzept der Potenzmenge ist daher auch von großer Bedeutung. Sei also $M$ eine Menge. Dann ist die Potenzmenge von $M$ wie folgt definiert:

\begin{gather*} \mathcal{P}(M) := \{ N \;|\; N \subseteq M \} \end{gather*}

Sie enthält also alle möglichen Teilmengen von $M$, insbesondere auch die leere Menge und $M$ selbst.

Ein kleines Beispiel: Ist $M := \{1,2,3\}$, so enthält $\mathcal{P}(M)$ die folgende Elemente:

\begin{gather*} \mathcal{P}(M) = \{\emptyset, \{1\}, \{2\}, \{3\}, \{1,2\}, \{1,3\}, \{2,3\}, \{1,2,3\}\} \end{gather*}

Wir können hier nachzählen, dass gilt $|\mathcal{P}(M)| = 2^{|M|}$. Tatsächlich gilt diese Beziehung für alle endlichen Mengen. Das lässt sich beispielsweise durch vollständige Induktion leicht beweisen.

Viel spannender ist jedoch die Frage wie es mit unendlichen Mengen steht? Nehmen wir beispielsweise $\mathbb{N}$. Wir wissen, dass $\mathbb{N}$ abzählbar unendlich ist. Welche Mächtigkeit hat nun $\mathcal{P}(\mathbb{N})$? Ist diese Menge immernoch abzählbar?

Der folgende Satz beantwortet diese Fragen. Der Beweis dazu (zumindest für den unendlichen Teil, den ich hier vorstellen möchte) besitzt eine gewisse Eleganz und wäre meiner Meinung nach fast ein Kandidat für einen BUCH Beweis.

Satz.

Sei $M$ eine beliebige Menge, dann gilt $|\mathcal{P}(M)| > |M|$. Man beachte, dass es echt größer heißt.

Beweis.

Dass $|\mathcal{P}(M)| \geq |M| $ gilt, sollte ziemlich klar sein. Jedes Element aus $M$ ist als Einermenge natürlich in $\mathcal{P}(M)$ enthalten. Damit enthält $\mathcal{P}(M)$ mindestens so viele Elemente wie $M$. Konzentrieren wir uns also auf den Beweis, dass die Potenzmenge echt mächtiger ist.

Für endliche Mengen ist das uninteressant. Eine einfache Induktion zeigt die Aussage.

Sei $M$ also eine Menge, für die gilt $|M| = \infty$. Nehmen wir an, dass die Potenzmenge gleichmächtig ist, will heißen $|M| = |\mathcal{P}(M)|$. Das heißt also, dass es eine bijektive Abbildung $\Phi: M \to \mathcal{P}(M)$ geben muss, die jedem Element aus $M$ eineindeutig ein Element aus $\mathcal{P}(M)$ zuordnet. Über das genaue Aussehen der Abbildung wollen wir garkeine Aussagen machen, wir wissen nur dass eine existiert.

Jetzt kommt der Trick: Wir definieren uns geschickt eine neue Menge $A \subset M$, und zwar wie folgt:

\begin{gather*} A := \{ m \in M \;|\; m \notin \Phi(m) \} \end{gather*}

Machen wir uns zunächst klar, dass $A$ wohldefiniert ist. $A$ soll alle Elemente $m \in M$ enthalten, für die gilt, dass $m$ nicht in der Menge $\Phi(m)$ ist. Da $\Phi$ in die Potenzmenge von $M$ abbildet, lässt sich das tatsächlich überprüfen. Des Weiteren ist $A$ selbst wieder ein Element der Potenzmenge $\mathcal{P}(M)$, da $A$ nach Definition eine Teilmenge von $M$ ist.

So, da wir nach Voraussetzung wissen dass $\Phi$ bijektiv ist, muss es nun ein Element $\xi \in M$ geben, so dass $\Phi(\xi) = A$ gilt. Jetzt kommt die Frage: Ist $\xi \in A$? Es gibt dafür nur die zwei folgenden Möglichkeiten:

Zusammengefasst konnten wir den Widerspruch herleiten, dass $\xi$ genau dann in $A$ enthalten ist, wenn es nicht in $A$ enthalten ist. Somit ist unsere Prämisse falsch, und es existiert keine solche bijektive Abbildung $\Phi: M \to \mathcal{P}(M)$. Also folgt $|\mathcal{P}(M)| > |M|$. $\square$

Schlussfolgerungen

Das Resultat ist nun vielleicht nicht so ganz das was der Intuition entspricht. Für die natürlichen Zahlen beispielsweise bedeutet das, dass ihre Potenzmenge echt mächtiger sein muss. Glaubt man an die Kontinuumshypothese, so bedeutet das, dass sie (mindestens) überabzählbar unendlich ist. Somit ist sie mindestens so mächtig wie $\mathbb{R}$, was ich doch recht faszinierend finde.

Website by: Thomas Pajor, Augartenstr. 56, 76137 Karlsruhe - www.darkviper.de - with help from: flowhase