Satz von Hessenberg (Mengenlehre)

mathematischer Satz

Der Satz von Hessenberg, benannt nach dem deutschen Mathematiker Gerhard Hessenberg, ist ein mathematischer Satz aus dem Bereich der Mengenlehre, genauer der Theorie der Kardinalzahlen. Er sagt im Wesentlichen aus, dass eine unendliche Kardinalzahl in der sogenannten Kardinalzahlarithmetik gleich ihrem Quadrat ist.

Formulierung des Satzes

Bearbeiten

Dabei steht   für die  -te unendliche Kardinalzahl, siehe Aleph-Funktion. Dieser Satz gilt in ZF, das heißt in der Zermelo-Fraenkelschen Mengenlehre ohne Auswahlaxiom.

Folgerungen

Bearbeiten

Setzt man nun zusätzlich zu ZF noch das Auswahlaxiom voraus, das heißt arbeitet man in ZFC, was in diesem Abschnitt getan wird, so kann man weitere Folgerungen ziehen:

  • Jede unendliche Menge   ist gleichmächtig zum kartesischen Produkt  , denn mit dem Auswahlaxiom ist jede Menge gleichmächtig zu einem  . Für endliche Mengen ist dieser Satz bekanntermaßen falsch.
  • Ist   eine unendliche Kardinalzahl und   eine natürliche Zahl, so ist  . Nach dem Auswahlaxiom ist jede unendliche Kardinalzahl ein   und nach dem Satz von Hessenberg folgt  , der Rest folgt dann mit Induktion.
  • Sind   und   unendliche Kardinalzahlen, so gilt  . Das folgt sofort aus den offensichtlichen Ungleichungen
 ,
wobei die Gleichung wieder der Satz von Hessenberg ist. Damit sind die Addition und die Multiplikation, wie sie in der Kardinalzahlarithmetik definiert werden, für unendliche Kardinalzahlen gleich und trivial.

Einzelnachweise

Bearbeiten
  1. Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre, Spektrum Verlag 2003, ISBN 3-8274-1411-3, Kap IX, Satz 1.11