„Allklasse“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
Woches (Diskussion | Beiträge) WP:Lit, angepasst, ergänzt, korrigiert |
→Einleitung: muss nun wirklich nicht unbedingt x=x sein |
||
Zeile 1: | Zeile 1: | ||
Die '''Allklasse''' bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der [[Mengenlehre]] ist das die Klasse aller Mengen. Die Allklasse wird heute präzise definiert durch |
Die '''Allklasse''' bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der [[Mengenlehre]] ist das die Klasse aller Mengen. Die Allklasse wird heute präzise definiert durch eine beliebige Eigenschaft, die alle Elemente erfüllen, d. i. über eine [[Tautologie (Logik)|Tautologie]], also etwa als die [[Klasse (Mengenlehre)|Klasse]] <math>\{x|\top\}</math>, <math>\{x|\bot\rightarrow\bot\}</math> oder <math>\{x|x=x\}</math>. |
||
Die Allklasse wurde schon von [[Georg Cantor]] als „System aller denkbaren Klassen“ gebildet. Er zeigte 1899 mit einem [[indirekter Beweis|indirekten Beweis]], dass die Allklasse keine [[Menge (Mathematik)|Menge]] ist: Wäre nämlich die Allklasse eine Menge, dann wäre die [[Potenzmenge]] der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der [[Satz von Cantor]] verlangt.<ref>Brief von Cantor an Dedekind vom 31. August 1899, in: Georg Cantor: ''Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor–Dedekind.'' Herausgegeben von [[Ernst Zermelo]]. Nebst einem Lebenslauf Cantors von [[Adolf Fraenkel]]. Springer, Berlin 1932, S. 448.</ref> Dieser Widerspruch ist die erste [[Cantorsche Antinomie]], die zeigt, dass es keine ''Allmenge'' oder Menge aller Mengen gibt, sondern dass diese Mengenbildung der [[naive Mengenlehre|naiven Mengenlehre]] widersprüchlich ist. Die Allklasse ist daher ein sehr einfaches Beispiel einer [[Klasse (Mengenlehre)|echten Klasse]]. |
Die Allklasse wurde schon von [[Georg Cantor]] als „System aller denkbaren Klassen“ gebildet. Er zeigte 1899 mit einem [[indirekter Beweis|indirekten Beweis]], dass die Allklasse keine [[Menge (Mathematik)|Menge]] ist: Wäre nämlich die Allklasse eine Menge, dann wäre die [[Potenzmenge]] der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der [[Satz von Cantor]] verlangt.<ref>Brief von Cantor an Dedekind vom 31. August 1899, in: Georg Cantor: ''Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor–Dedekind.'' Herausgegeben von [[Ernst Zermelo]]. Nebst einem Lebenslauf Cantors von [[Adolf Fraenkel]]. Springer, Berlin 1932, S. 448.</ref> Dieser Widerspruch ist die erste [[Cantorsche Antinomie]], die zeigt, dass es keine ''Allmenge'' oder Menge aller Mengen gibt, sondern dass diese Mengenbildung der [[naive Mengenlehre|naiven Mengenlehre]] widersprüchlich ist. Die Allklasse ist daher ein sehr einfaches Beispiel einer [[Klasse (Mengenlehre)|echten Klasse]]. |
Version vom 8. Oktober 2012, 21:49 Uhr
Die Allklasse bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der Mengenlehre ist das die Klasse aller Mengen. Die Allklasse wird heute präzise definiert durch eine beliebige Eigenschaft, die alle Elemente erfüllen, d. i. über eine Tautologie, also etwa als die Klasse , oder .
Die Allklasse wurde schon von Georg Cantor als „System aller denkbaren Klassen“ gebildet. Er zeigte 1899 mit einem indirekten Beweis, dass die Allklasse keine Menge ist: Wäre nämlich die Allklasse eine Menge, dann wäre die Potenzmenge der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der Satz von Cantor verlangt.[1] Dieser Widerspruch ist die erste Cantorsche Antinomie, die zeigt, dass es keine Allmenge oder Menge aller Mengen gibt, sondern dass diese Mengenbildung der naiven Mengenlehre widersprüchlich ist. Die Allklasse ist daher ein sehr einfaches Beispiel einer echten Klasse.
Die Allklasse ist zu unterscheiden von der Russellschen Klasse, die bei der Einstufung als Menge die Russellsche Antinomie erzeugt. Beide Klassen fallen erst bei der Annahme des Fundierungsaxioms zusammen; dieses stammt aus der axiomatischen Zermelo-Fraenkel-Mengenlehre, die die naive Mengenlehre ablöste; in ihr gibt es daher keine Allmenge. Auch in anderen axiomatischen Mengenlehren mit Fundierung, etwa in der Neumann-Bernays-Gödel-Mengenlehre gibt es keine Allmenge, aber wohl die Allklasse als Nichtelement. In der allgemeinen Klassenlogik kann die Allklasse widerspruchsfrei gebildet werden; sie ist immer eine echte Klasse, muss aber nicht unbedingt ein Nichtelement sein.
Siehe auch
Literatur
- Arnold Oberschelp: Allgemeine Mengenlehre. BI-Wiss.-Verl., Mannheim/ Leipzig/ Wien/ Zürich 1994, ISBN 3-411-17271-1.
Einzelnachweise
- ↑ Brief von Cantor an Dedekind vom 31. August 1899, in: Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor–Dedekind. Herausgegeben von Ernst Zermelo. Nebst einem Lebenslauf Cantors von Adolf Fraenkel. Springer, Berlin 1932, S. 448.