Wie gelangt man zu einer Menge größerer Mächtigkeit?

 Wir haben bisher || < || und || < |𝔉| gezeigt.

 Gibt es ein allgemeines Prinzip oder eine Operation, um von einer beliebigen Menge M zu einer Menge  mit größerer Mächtigkeit als M zu gelangen?

 = M × M ist ungeeignet, wie wir für M =  und M =  gesehen haben.

Jedoch gilt:

|| = |()|.

 Wie sieht es nun mit dem Verhältnis von  und 𝔉 aus? In der Tat gilt hier eine zu  und  analoge Beziehung:

Satz

Es gilt |𝔉| = |()|.

Beweis

Jedes f  ∈  𝔉 ist eine Teilmenge von  × , also gilt 𝔉 ⊆ ( × ), also

|𝔉|  ≤  |( × )|  =  |()|,

unter Verwendung von | × | = ||.

Andererseits können wir jedem A ⊆  die Funktion F(A) = indA,   ∈  𝔉 zuordnen, d. h. es gilt für x  ∈  :

F(A)(x)=1,falls xA,0,falls xA.

Offenbar ist dann F : ( 𝔉 injektiv, also |()| ≤ |𝔉|.

Insgesamt also |𝔉| = |()|.

Übung

Zeigen Sie

(i)

|𝔉 × 𝔉| = |𝔉|,

(ii)

|𝔉| = |𝔉|.

 Wir haben || < |()| und || < |()|. Die Potenzmengenoperation ist also ein guter Kandidat für ein allgemeines Prinzip zur Erzeugung von größeren Mächtigkeiten. Bereits im Endlichen liefert sie exponentielles Wachstum: Es gilt |(n)| = |n{ 0, 1 }| für alle n  ∈  , wobei hier wieder n = { 0, 1, … , n − 1 }. Die Potenzmenge einer Menge mit n Elementen hat also 2n Elemente.

 Wir beschäftigen uns mit der Potenzmengenoperation im nächsten Kapitel genauer.