Satz von Silver
Der Satz von Silver, benannt nach Jack Silver, ist ein Satz aus der Mengenlehre, der sich mit möglichen Verallgemeinerungen der Kontinuumshypothese befasst. Die verallgemeinerte Kontinuumshypothese ist von den üblichen Axiomen der Mengenlehre, das heißt von ZFC, unabhängig, man kann sie also dort weder beweisen noch widerlegen. Der hier zu besprechende Satz liefert eine Einschränkung für die Ungültigkeit der verallgemeinerten Kontinuumshypothese; er besagt, dass die kleinste Kardinalzahl, für die die verallgemeinerte Kontinuumshypothese falsch ist, keine singuläre Kardinalzahl mit überabzählbarer Konfinalität sein kann. Dieses Resultat war überraschend, Silver selbst schreibt<ref>Jack Silver: On the singular cardinals problem, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Band 1, Seiten 265–268, Canad. Math. Congress, Montreal, <templatestyles src="Webarchiv/styles.css" />{{#if:20131113045006
| {{#ifeq: 20131113045006 | *
| {{#if: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20131113045006}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20131113045006}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | 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: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | 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!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: hier online verfügbar | {{#invoke:WLink|getEscapedTitle|hier online verfügbar}} | {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}} }}
}}}}}}}}{{#if:
| 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:20131113045006|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#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}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#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.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf}}
|| {{#if: || }}
}}{{#if: hier online verfügbar
| {{#if: {{#invoke:WLink|isBracketedLink|hier online verfügbar}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.mathunion.org/ICM/ICM1974.1/ICM1974.1.ocr.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#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}}
}}
}}
}} (PDF; 56,8 MB)</ref>:
- This result is contrary to the previous expectations of nearly all set-theorists, including myself. (deutsch: Dieses Ergebnis widerspricht den früheren Erwartungen fast aller Mengentheoretiker, einschließlich meiner selbst.)
Die Beweismethoden führen auch zu einem Satz über die singuläre-Kardinalzahlen-Hypothese, der ebenfalls als Satz von Silver bekannt ist.
Formulierung
Die verallgemeinerte Kontinuumshypothese besagt, dass <math>2^\kappa = \kappa^+</math> für alle unendlichen Kardinalzahlen <math>\kappa</math> gilt. Dabei ist <math>2^\kappa</math> die Kardinalität der Potenzmenge einer Menge der Kardinalität <math>\kappa</math> und <math>\kappa^+</math> die Nachfolgerkardinalzahl von <math>\kappa</math>. Der folgende Satz sagt, dass die Eigenschaft <math>2^\kappa = \kappa^+</math> für gewisse Kardinalzahlen erhalten bleibt, wenn sie bereits für alle kleineren gilt.
Satz von Silver:<ref>Thomas Jech: Set Theory, Springer-Verlag (2003), ISBN 3-540-44085-2, Theorem 8.12</ref> Ist <math>\kappa</math> eine singuläre Kardinalzahl mit <math>\operatorname{cf} \kappa > \aleph_0</math> und gilt <math>2^\lambda = \lambda^+</math> für alle unendlichen Kardinalzahlen <math>\lambda < \kappa</math>, so gilt auch <math>2^\kappa = \kappa^+</math>.
Dabei ist <math>\operatorname{cf} \kappa</math> die Kofinalität von <math>\kappa</math> und <math>\aleph_0</math> die erste unendliche Kardinalzahl.
Die singuläre-Kardinalzahlen-Hypothese sagt, dass <math>\kappa^{\operatorname{cf}\kappa} = \kappa^+</math> (siehe auch Gimel-Funktion) für singuläre Kardinalzahlen <math>\kappa</math> mit <math>2^{\operatorname{cf}\kappa}<\kappa</math> gilt. Sie ist ebenfalls unabhängig von ZFC und sie folgt aus der verallgemeinerten Kontinuumshypothese, ist also schwächer als diese. Für die singuläre-Kardinalzahlen-Hypothese gilt der folgende Satz:
Satz von Silver<ref>Thomas Jech: Set Theory, Springer-Verlag (2003), ISBN 3-540-44085-2, Theorem 8.13</ref>: Die Singuläre-Kardinalzahlen-Hypothese gilt bereits dann, wenn sie für alle singulären Kardinalzahlen mit abzählbarer Kofinalität gilt.
Zum Beweis
Beide Sätze verwenden ein Lemma über die Fortsetzung der Eigenschaft <math>\kappa^{\operatorname{cf}\kappa} = \kappa^+</math> in dem Sinne, dass wenn diese Gleichung für hinreichend viele kleinere Kardinalzahlen als <math>\kappa</math> gilt, dann gilt sie auch für <math>\kappa</math>. Genauer wird folgende technische Aussage bewiesen:
Es seien <math>\kappa</math> eine singuläre Kardinalzahl mit <math>\operatorname{cf} \kappa > \aleph_0</math> und <math>(\kappa_\alpha)_{\alpha < \operatorname{cf} \kappa}</math> eine mit Ordinalzahlen indizierte aufsteigende Folge von Kardinalzahlen, so dass gilt
- <math>\lambda^{\operatorname{cf} \kappa} < \kappa</math> für alle <math>\lambda < \kappa</math>
- <math>\textstyle \lim_{\alpha < \operatorname{cf} \kappa} \kappa_\alpha = \kappa</math> (das ist äquivalent zu <math>\textstyle \sup_{\alpha < \operatorname{cf} \kappa}\kappa_\alpha = \kappa</math>)
- <math>\textstyle \sup_{\alpha < \beta}\kappa_\alpha = \kappa_\beta</math> für alle Limes-Ordinalzahlen <math>\beta < \operatorname{cf} \kappa</math> (solche Folgen heißen normal)
- Die Menge <math>\{\alpha<\operatorname{cf} \kappa; \kappa_\alpha^{\operatorname{cf} \kappa_\alpha} = \kappa_\alpha^+\}</math> ist stationär in <math>\operatorname{cf} \kappa</math>
Dann gilt <math>\kappa^{\operatorname{cf}\kappa} = \kappa^+</math>.
Auf den Beweis dieses Lemmas verzichten wir, aber es soll kurz erläutert werden, wie sich daraus der Satz von Silver über die Kontinuumshypothese ergibt:
Es sei also <math>\kappa</math> eine singuläre Kardinalzahl mit <math>\operatorname{cf} \kappa > \aleph_0</math> und es gelte <math>2^\lambda = \lambda^+</math> für alle Kardinalzahlen <math>\lambda < \kappa</math>. Zur Anwendung obigen Lemmas wählen wir eine beliebige normale Folge <math>(\kappa_\alpha)_{\alpha < \operatorname{cf} \kappa}</math> mit Limes <math>\kappa</math>, die es nach Definition der Kofinalität gibt, und überprüfen der Reihe nach die Voraussetzungen des Lemmas.
Zu 1. beachte, dass <math>\lambda < \lambda^{\operatorname{cf}\lambda} \le \lambda^\lambda = 2^\lambda = \lambda^+</math> für alle <math>\lambda < \kappa</math>, wobei der Reihe der Satz von König, Monotonie-Eigenschaften der Potenz von Kardinalzahlen, Kardinalzahlarithmetik und die vorausgesetzte Kontinuumshypothese für alle kleineren Kardinalzahlen verwendet wurden. Aus dieser Ungleichungskette ergibt sich <math>\lambda^{\operatorname{cf}\lambda} = \lambda^+</math> für alle Kardinalzahlen <math>\lambda < \kappa</math>. Dann gilt auch <math>\lambda^{\operatorname{cf}\kappa} < \kappa</math> für alle <math>\lambda<\kappa</math>, denn die Potenz kann wegen der vorausgesetzten Kontinuumshypothese für alle Kardinalzahlen <math><\kappa</math> höchstens gleich <math>\max\{\lambda, \operatorname{cf}\kappa\}^+ \le \kappa</math> sein, aber Gleichheit kann nicht gelten, da <math>\kappa</math> als singuläre Kardinalzahl keine Nachfolgerkardinalzahl ist. Die Voraussetzungen 2. und 3. gelten nach Wahl der normalen Folge <math>(\kappa_\alpha)_{\alpha < \operatorname{cf} \kappa}</math>. Zu 4. beachte, dass im Nachweis von 1. die Gleichung <math>\lambda^{\operatorname{cf}\lambda} = \lambda^+</math> für alle Kardinalzahlen <math>\lambda < \kappa</math> festgestellt wurde. Daher gilt <math>\{\alpha<\operatorname{cf} \kappa; \kappa_\alpha^{\operatorname{cf} \kappa_\alpha} = \kappa_\alpha^+\} \supset \{\lambda;\lambda <\operatorname{cf}\kappa\}</math>, woraus sich die Stationarität in <math>\operatorname{cf}\kappa</math> ergibt.
Damit sind alle Voraussetzungen des Lemmas erfüllt, und es folgt <math>\kappa^{\operatorname{cf}\kappa} = \kappa^+</math>. Da <math>\kappa</math> als singuläre Kardinalzahl eine Limes-Kardinalzahl ist, gilt <math>2^\kappa = (2^{<\kappa})^{\operatorname{cf} \kappa}</math> (siehe Kardinalzahlarithmetik) und wegen der Voraussetzung über <math>\kappa</math> ist <math>\textstyle 2^{<\kappa} := \sup_{\lambda < \kappa}2^\lambda = \sup_{\lambda < \kappa}\lambda^+ = \kappa</math>, insgesamt also <math>2^\kappa = \kappa^{\operatorname{cf} \kappa} = \kappa^+</math>, was den Beweis beendet.
Einzelnachweise
<references />