Beweisarchiv: Mengenlehre: Mächtigkeiten (Kardinalzahlen): Potenzmenge

Rechenregeln für Mengenoperationen: Assoziativgesetze · Distributivgesetze · Differenzgesetze · Grundeigenschaften der Inklusion · De Morgansche Regeln für Mengen · Bild und Urbild

Ordinalzahlen: Ordinalzahlen enthalten sich nicht selbst als Element · Elemente von Ordinalzahlen sind Ordinalzahlen · Durchschnitte von Ordinalzahlen sind Ordinalzahlen · Wohlordnung der Klasse aller Ordinalzahlen · Ordinalzahlen bilden eine echte Klasse · Der Nachfolger einer Ordinalzahl ist Ordinalzahl · Vereinigungen von Ordinalzahlen sind Ordinalzahlen · Limes- und Nachfolgerzahlen · Äquivalenz verschiedener Definitionen

Sätze die in ZF Äquivalent zum Auswahlaxiom sind: Alternative Darstellung des Auswahlaxioms · Wohlordnungssatz · Lemma von Zorn

Mächtigkeit der Potenzmenge Bearbeiten

Voraussetzung Bearbeiten

$A\$ sei eine beliebige Menge.

Behauptung Bearbeiten

$|A|<|{\mathcal {P}}(A)|$

Beweis Bearbeiten

Es sind die folgenden beiden Aussagen zu zeigen:

Es gibt eine Injektion $i:A\to {\mathcal {P}}(A)$
Es gibt keine Bijektion zwischen $A\$ und ${\mathcal {P}}(A)$

Zu 1. Die Zuordnung $i:a\mapsto \{a\}$ leistet das Verlangte.

Zu 2. Angenommen, irgendeine Abbildung $f:A\to {\mathcal {P}}(A)$ wäre surjektiv. Dies wird nun zum Widerspruch geführt, womit auch gezeigt ist, dass es keine Bijektion zwischen den beiden Mengen gibt.

Die Teilmenge $M\$ von $A\$ wird definiert als $M:=\{a\in A\mid a\ \not \in \ f(a)\}$ . Da $f\$ als surjektiv angenommen wurde, hat $M\$ ein Urbild unter $f\$ , also ein Element $a\in A$ mit $f(a)=M\$ . Nun gilt: