Kontinuumshypothese

Die Mächtigkeit des Kontinuums bleibt in ZFC unbestimmt

Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen. Dieses Problem hat sich nach einer langen Geschichte, die bis in die 1960er Jahre hineinreicht, als nicht entscheidbar herausgestellt, das heißt, die Axiome der Mengenlehre erlauben in dieser Frage keine Entscheidung.

Aussage

Einfache Kontinuumshypothese

Die sogenannte einfache Kontinuumshypothese CH ({{#invoke:Vorlage:lang|full|CODE=en|SCRIPTING=Latn|SERVICE=englisch}}) besagt:

Es gibt keine überabzählbare Menge reeller Zahlen, deren Mächtigkeit kleiner ist als die der Menge aller reellen Zahlen.

Anders ausgedrückt:

Es gibt keine Menge, deren Mächtigkeit zwischen der Mächtigkeit der natürlichen Zahlen und der Mächtigkeit der reellen Zahlen liegt.

Oder:

Jede unendliche Teilmenge <math>M</math> von <math>\R</math> ist entweder gleichmächtig zu <math>\R</math> oder zu <math>\N</math> (in dieser Form von Kurt Gödel und Cohen verwendet).<ref>P. J. Cohen: The Idependence of the Continuum Hypothesis I/II. Pro. Nat. Acas. Sci. USA, 50/51, 1963/1964, erwähnt in J. Neunhäuserer: Zentrale, Schöne und Seltsame Sätze der Mathematik.</ref>

Bezeichnet man, wie üblich, die Kardinalzahl (Mächtigkeit) der natürlichen Zahlen <math>\N</math> mit <math>\aleph_0</math> (siehe Aleph-Funktion), die darauffolgende Kardinalzahl mit <math>\aleph_1</math> und die Kardinalzahl der reellen Zahlen mit <math>\mathfrak c</math>, so heißt die Kontinuumshypothese formal:

<math>\mathfrak c = \aleph_1</math>.

Weiter kann man zeigen, dass die Mächtigkeit des Kontinuums mit der mit <math>2^{\aleph_0}</math> bezeichneten Mächtigkeit der Potenzmenge von <math>\N</math> übereinstimmt. Eine häufig anzutreffende Formulierung der Kontinuumshypothese lautet daher

<math>2^{\aleph_0} = \aleph_1</math>.

Verallgemeinerte Kontinuumshypothese

Die verallgemeinerte Kontinuumshypothese (GCH, {{#invoke:Vorlage:lang|full|CODE=en|SCRIPTING=Latn|SERVICE=englisch}}) besagt, dass für jede unendliche Menge <math>X</math> Folgendes gilt:

Ist <math>Y</math> eine Obermenge von <math>X</math>, die zu einer Teilmenge der Potenzmenge <math>\mathcal{P}(X)</math> von <math>X</math> gleichmächtig ist, so ist <math>Y</math> zu <math>X</math> oder zu <math>\mathcal{P}(X)</math> gleichmächtig.

Hat man auch das Auswahlaxiom zur Verfügung, so hat jede Menge eine Kardinalzahl als Mächtigkeit, und die verallgemeinerte Kontinuumshypothese besagt, dass für jede unendliche Menge <math>X</math> gilt:

Zwischen den Kardinalzahlen <math>|X|</math> und <math>|\mathcal{P}(X)|</math> liegt keine weitere Kardinalzahl.

Verwendet man die Aleph-Notation, so bedeutet dies:

Für jede Ordinalzahl <math>\alpha</math> gilt <math>2^{\aleph_\alpha} = \aleph_{\alpha+1}</math>.

Mittels der Beth-Funktion lässt sich das noch kompakter schreiben:

Für jede Ordinalzahl <math>\alpha</math> gilt <math>\aleph_\alpha = \beth_\alpha</math>.

Da die erste Formulierung kein Auswahlaxiom verwendet, sind die nachfolgenden scheinbar schwächer. Tatsächlich folgt in der Zermelo-Fraenkel-Mengenlehre (ZF) aus der zuerst genannten Formulierung der verallgemeinerten Kontinuumshypothese nach einem Satz von Sierpiński das Auswahlaxiom.<ref>Gaisi Takeuti, Wilson M. Zaring: Introduction to Axiomatic Set Theory (= Graduate Texts in Mathematics. Bd. 1, {{#if: {{#if: | {{#invoke:TemplUtl|faculty|{{{suffix}}}}} }}

 | {{#if:trim|2156806-6}}. In: Zeitschriftendatenbank (ZDB).
 | {{#if: {{#if:  | {{#invoke:TemplUtl|faculty|{{{kurz}}}}} }}
     |
     | ZDB-ID 
   }}2156806-6

}}{{#if: {{#invoke:TemplUtl|faculty|}} | | {{#if: {{#invoke:URIutil|isDNBvalid|2156806-6|ZDB}} | | ZDB-ID ungültig{{#ifeq: 0 | 0 | }}}}}}). Springer, New York NY u. a. 1971, Theorem 11.14.</ref><ref>Siehe Leonard Gillman: Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis. American Mathematical Monthly, Band 109, 2002, S. 544, PDF.</ref> Daher sind die gegebenen Formulierungen vor dem Hintergrund der ZF-Mengenlehre äquivalent.

Unabhängigkeit von ZFC

Kurt Gödel bewies 1938,<ref>Vgl. Juliet Floyd, Akihiro Kanamori: <templatestyles src="Webarchiv/styles.css" />{{#if:20080830005623

      | {{#ifeq: 20080830005623 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20080830005623}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20080830005623}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }} (Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: How Gödel Transformed Set Theory. | {{#invoke:WLink|getEscapedTitle|How Gödel Transformed Set Theory.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf}} }}  
                 }}}}}}}}{{#if:2026-01-17 20:45:28 InternetArchiveBot
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20080830005623|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.ams.org/notices/200604/fea-kanamori.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: How Gödel Transformed Set Theory.
    | {{#if: {{#invoke:WLink|isBracketedLink|How Gödel Transformed Set Theory.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.ams.org/notices/200604/fea-kanamori.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.ams.org/notices/200604/fea-kanamori.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200604/fea-kanamori.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} In: Notices of the American Mathematical Society. Bd. 53, Nr. 4, 2006, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0002-9920|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0002-9920}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 419–427, hier S. 424, (PDF, 103 kB).</ref> dass die Kontinuumshypothese (CH) zur Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC) relativ widerspruchsfrei ist. Das heißt: Wenn ZFC widerspruchsfrei ist, was allgemein angenommen wird, aber nach dem gödelschen Unvollständigkeitssatz nicht mit Hilfe von ZFC bewiesen werden kann, dann ist auch „ZFC + CH“ widerspruchsfrei. Dazu hatte Gödel innerhalb der ZFC-Mengenlehre die Teilklasse <math>L</math> der sogenannten konstruierbaren Mengen untersucht und konnte zeigen, dass in <math>L</math> ebenfalls alle Axiome der Mengenlehre gelten, aber darüber hinaus auch die Kontinuumshypothese erfüllt ist. Das bedeutet:

Aus der Zermelo-Fraenkel-Mengenlehre lässt sich die Kontinuumshypothese nicht widerlegen.

In den 1960er Jahren zeigte Paul Cohen mit Hilfe der Forcing-Methode:

Aus der Zermelo-Fraenkel-Mengenlehre lässt sich die Kontinuumshypothese nicht beweisen.

Anders ausgedrückt: Auch die Negation der Kontinuumshypothese ist zu ZFC relativ widerspruchsfrei; die Kontinuumshypothese ist also insgesamt unabhängig von ZFC. Für diesen Beweis erhielt Cohen 1966 die Fields-Medaille.

Daher kann die Kontinuumshypothese im Rahmen der Standardaxiome der Mengenlehre weder bewiesen noch widerlegt werden. Sie kann, ebenso gut wie ihre Negation, als neues Axiom verwendet werden. Damit ist sie eines der ersten relevanten Beispiele für Gödels ersten Unvollständigkeitssatz.

Die verallgemeinerte Kontinuumshypothese ist ebenfalls unabhängig von der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). Dies folgt sofort aus der Beobachtung, dass die Verneinung von CH ja erst recht eine Verneinung von GCH ist und in Gödels konstruierbarem Universum <math>L</math> sogar GCH gilt. Der Satz von Silver schränkt die Möglichkeiten für die kleinste Kardinalzahl, für die die verallgemeinerte Kontinuumshypothese zum ersten Mal verletzt ist, ein. Der Satz von Easton zeigt, dass die verallgemeinerte Kontinuumshypothese für reguläre Kardinalzahlen in nahezu beliebiger Weise verletzt werden kann.

Bedeutung

In der berühmten Liste von 23 mathematischen Problemen, die David Hilbert dem Internationalen Mathematikerkongress 1900 in Paris vortrug, steht die Kontinuumshypothese an erster Stelle. Viele Mathematiker hatten im Umfeld dieses Problems bedeutende Resultate beigetragen, weite Teile der heute sogenannten deskriptiven Mengenlehre ranken sich um die Kontinuumshypothese.

Da die reellen Zahlen eine für viele Wissenschaften grundlegende Konstruktion darstellen und da Mathematiker platonischer Ausrichtung den Anspruch erheben, die Wirklichkeit zu beschreiben, war das Unentscheidbarkeitsergebnis unbefriedigend. Nach dem Beweis der Unabhängigkeit wurden die Versuche fortgesetzt, durch Hinzunahme möglichst natürlicher Axiome zur ZFC die Kontinuumshypothese doch noch zu entscheiden, zum Beispiel durch Axiome, die die Existenz großer Kardinalzahlen postulieren. Auch Gödel war davon überzeugt, dass sich die Hypothese so widerlegen ließe. In den 2000er Jahren meinte der Mengentheoretiker William Hugh Woodin, Argumente gegen die Gültigkeit der Kontinuumshypothese gefunden zu haben.<ref>W. Hugh Woodin: <templatestyles src="Webarchiv/styles.css" />{{#if:20221205120344

      | {{#ifeq: 20221205120344 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20221205120344}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20221205120344}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }} (Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: The Continuum Hypothesis. Part I. | {{#invoke:WLink|getEscapedTitle|The Continuum Hypothesis. Part I.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf}} }}  
                 }}}}}}}}{{#if:2026-01-17 20:45:28 InternetArchiveBot
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20221205120344|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.ams.org/notices/200106/fea-woodin.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: The Continuum Hypothesis. Part I.
    | {{#if: {{#invoke:WLink|isBracketedLink|The Continuum Hypothesis. Part I.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.ams.org/notices/200106/fea-woodin.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.ams.org/notices/200106/fea-woodin.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200106/fea-woodin.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} In: Notices of the American Mathematical Society. Bd. 48, Nr. 6, 2001, S. 567–576, (PDF, 141 kB) und <templatestyles src="Webarchiv/styles.css" />{{#if:20230506165402
      | {{#ifeq: 20230506165402 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20230506165402}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20230506165402}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }} (Memento{{#if: {{#if: 2026-01-17 20:45:28 InternetArchiveBot | 2026-01-17 20:45:28 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Part II. | {{#invoke:WLink|getEscapedTitle|Part II.}} | {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf}} }}  
                 }}}}}}}}{{#if:2026-01-17 20:45:28 InternetArchiveBot
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20230506165402|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.ams.org/notices/200107/fea-woodin.pdf}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Part II.
    | {{#if: {{#invoke:WLink|isBracketedLink|Part II.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.ams.org/notices/200107/fea-woodin.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.ams.org/notices/200107/fea-woodin.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.ams.org/notices/200107/fea-woodin.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} In: Notices of the American Mathematical Society. Bd. 48, Nr. 7, 2001, S. 681–690, (PDF, 149 kB). Gleichzeitig Übersichtsartikel.</ref> Später wandte er sich von dieser Auffassung ab und konstruierte ein Modell für Kardinalzahlen, das er Ultimate L nannte, in Anlehnung an Gödels konstruierbares Universum <math>L</math>. In diesem Universum ist die verallgemeinerte Kontinuumshypothese wahr.<ref>Richard Elwes: Ultimate logic. In: New Scientist. 30. Juli 2011, S. 30–33.</ref>

Anwendungsbeispiele

Gelegentlich werden Aussagen unter der Annahme gemacht, dass die Kontinuumshypothese wahr sei. So ergeben sich beispielsweise bei der Potenzierung von Kardinalzahlen mit der GCH als Voraussetzung erhebliche Vereinfachungen. Es ist jedoch üblich, diese Voraussetzung dann explizit zu erwähnen, während die Verwendung des ZFC-Axiomensystems oder äquivalenter Systeme in der Regel unerwähnt bleibt.

Beispiel aus der Maßtheorie

Im Folgenden sei die Kontinuumshypothese (und das Auswahlaxiom) als wahr angenommen und es wird mit ihrer Hilfe eine nicht messbare Teilmenge der Ebene <math>\R^2</math> konstruiert. Man beachte, dass dies auch ohne Kontinuumshypothese (aber mit Auswahlaxiom) möglich ist.

Sei <math>\omega_1</math> die kleinste überabzählbare Ordinalzahl. Nach der Kontinuumshypothese gibt es dann eine Bijektion <math>T\colon[0,1]\to \omega_1</math>. Die ordinale Ordnung <math><</math> auf <math>\omega_1</math> werde mit Hilfe dieser Bijektion auf <math>[0,1]</math> übertragen: Für <math>x,y\in[0,1]</math> gelte: <math>x\prec y :\Leftrightarrow T(x) < T(y)</math>.

Es sei <math>A:=\{(x,y)\in[0,1]\times[0,1] \mid x\prec y\}</math>. Mit <math>1_A</math> bezeichnen wir die Indikatorfunktion der Menge <math>A</math>, also <math>1_A\colon[0,1]\times[0,1]\to\{0,1\}</math> mit <math>1_A(x,y) = 1</math> genau dann, wenn <math>x \prec y</math>.

Für jedes <math>y\in [0,1]</math> sei <math>A_y :=\{x\in[0,1] \mid x\prec y\}</math>. Diese Menge ist für jedes <math>y</math> abzählbar, da <math>T(y)</math> als abzählbare Ordinalzahl nur abzählbar viele Vorgänger hat. Insbesondere ist daher <math>A_y</math> immer eine Lebesgue-Nullmenge: <math>\lambda(A_y)=0</math>.

Weiter definieren wir für jedes <math>x\in [0,1]</math> die Menge <math>A^x :=\{y\in[0,1] \mid x\prec y\}</math>; das Komplement jeder dieser Mengen ist abzählbar, somit gilt <math>\lambda(A^x)=1</math>.

Nimmt man an, dass <math>1_A</math> messbar ist, so gilt unter Verwendung des Lebesgue-Integrals und des Lebesgue-Maßes <math>\lambda</math>

<math>\int_0^1\int_0^1 1_A(x,y)\,\mathrm dx\,\mathrm dy = \int_0^1\lambda({A_y})\,\mathrm dy = 0,</math>

aber

<math>\int_0^1\int_0^1 1_A(x,y)\,\mathrm dy\,\mathrm dx = \int_0^1\lambda({A^x})\,\mathrm dx = 1.</math>

Die Funktion <math>1_A</math> ist also eine Funktion, die nach dem Satz von Tonelli nicht Lebesgue-messbar sein kann, die Menge <math>A</math> ist damit auch nicht messbar.

Beispiel aus der Funktionentheorie

Wir betrachten Familien <math>\mathcal{F}</math> ganzer Funktionen, also solcher Funktionen <math>\Complex \to \Complex</math>, die sich auf ganz <math>\Complex</math> durch eine konvergente Potenzreihe darstellen lassen. Mit Hilfe des Identitätssatzes kann man folgende Aussage zeigen:

(1): Ist die Menge der Werte <math>\{f(z) \mid f\in \mathcal{F}\}</math> für jedes <math>z\in \Complex</math> endlich, so ist <math>\mathcal{F}</math> endlich.

Man beachte, dass in der Wertemenge die Funktion <math>f</math> variiert und der Punkt <math>z</math> fest ist, die Wertemenge und auch die Anzahl ihrer Elemente hängt von <math>z</math> ab. Wir stellen nun die Frage, ob diese Aussage richtig bleibt, wenn wir „endlich“ durch „abzählbar“ ersetzen und fragen also nach der Gültigkeit von

(2): Ist die Menge der Werte <math>\{f(z) \mid f\in \mathcal{F}\}</math> für jedes <math>z\in \Complex</math> abzählbar, so ist <math>\mathcal{F}</math> abzählbar.

Paul Erdős fand folgende überraschende Antwort:<ref>Martin Aigner, Günter M. Ziegler: Proofs from THE BOOK. Springer, Berlin u. a. 1998, ISBN 3-540-63698-6, Kapitel 16, Theorem 3.</ref>

Die Aussage (2) ist genau dann für jede Familie ganzer Funktionen wahr, wenn die Kontinuumshypothese (CH) falsch ist.

Beispiel aus der Geometrie

Waclaw Sierpinski zeigte die Äquivalenz der Kontinuumshypothese zu Sätzen der elementaren Geometrie:

Es gibt eine Zerlegung des <math>\R^3</math> als <math>\R^3 = A \cup B \cup C</math>, wobei <math>A, B, C</math> jeweils endliche Schnittmengen mit jeder Parallelen zu den Koordinatenachsen <math>x, y</math> bzw. <math>z</math> haben – also <math>A</math> mit Parallelen zur <math>x</math>-Achse, <math>B</math> mit denen zur <math>y</math>-Achse und <math>C</math> mit denen zur <math>z</math>-Achse (Sierpinski 1952).<ref>Sierpinski: Sur une proprieté paradoxale de l’espace a trois dimensions equivalente a l’hypothèse du continu. Rend. Circ. Mat. Palermo, Serie 2, Band 1, 1952, S. 7–10.</ref><ref>Sierpinski: Cardinal and Ordinal Numbers. Warschau 1965, S. 400.</ref>
Es gibt eine Zerlegung des <math>\R^2</math> in zwei Mengen <math>A, B</math>, wobei <math>A</math> die Vertikalen (die Parallelen zur <math>y</math>-Achse) und <math>B</math> die Horizontalen (die Parallelen zur <math>x</math>-Achse) in höchstens abzählbar unendlich vielen Punkten schneidet (Sierpinski 1919).<ref>P. Erdős: Some remarks on set theory IV. Michigan Math. J. 2 (1953–54), 169–173 (1955), PDF.</ref><ref>Sierpinski: Sur une théorème équivalent a l’hypothèse de l’continu (<math>2^{\aleph_0} = \aleph_1</math>). Bull. Int. Acad., Polon. Sci. Lett., Serie A, 1919, S. 1–3.</ref> Oder in der Formulierung von Sierpinski in seinem Buch über die Kontinuumshypothese: Die Kontinuumhypothese ist äquivalent zu dem Satz Die Menge der Punkte der Ebene ist die Summe zweier Mengen <math>A, B</math>, wobei <math>A</math> höchstens durch die Menge der Ordinaten und <math>B</math> durch die der Abszissen abgezählt werden kann.<ref>Sierpinski: L’Hypothèse du continu. Warschau, 1934, S. 9.</ref>

Literatur

Kurt Gödel: The Consistency of the Axiom of Choice and of the generalized Continuum-Hypothesis with the Axioms of Set Theory (= Annals of Mathematics Studies. Bd. 3). Princeton University Press, Princeton NJ u. a. 1940.
Kurt Gödel: What is Cantor’s Continuum Problem? In: American Mathematical Monthly. Bd. 54, 1947, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0002-9890|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0002-9890}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 515–525; Bd. 55, 1947, S. 151: Errata.

Paul J. Cohen: Set Theory and the Continuum Hypothesis. Benjamin, Reading MA 1966 (With a new Introduction by Martin Davis. Dover Publications, Mineola NY 2008, ISBN 978-0-486-46921-8).
Kenneth Kunen: Set Theory (= Studies in Logic and the Foundations of Mathematics. Bd. 102). North-Holland Publishers, Amsterdam u. a. 1980, ISBN 0-444-85401-0, Kapitel VI, Kapitel VII § 5 f.
Max Urchs: Klassische Logik. Eine Einführung. Akademie-Verlag, Berlin 1993, ISBN 3-05-002228-0, S. 112–121 (im Zusammenhang mit Kardinalzahlen).
Jean-Paul Delahaye: Wie real ist das Unendliche? In: Spektrum der Wissenschaft. März 2009, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0170-2971|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0170-2971}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 54–63.

Weblinks

{{#if: Peter Koellner | Peter Koellner: }}{{#if: The Continuum Hypothesis | The Continuum Hypothesis. | Eintrag}} {{#if: The Continuum Hypothesis | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: http://plato.stanford.edu/entries/continuum-hypothesis/ | {{#if: The Continuum HypothesisPeter Koellner | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Peter Koellner | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: The Continuum Hypothesis | | 1 }} }}|}}
Peter Koepke: Metamathematische Aspekte der Hausdorffschen Mengenlehre. Auch zur Kontinuumshypothese (PDF; 240 kB).

Einzelnachweise