actionbrowser.com
Genauer gesagt zeigen wir, dass die Menge der zählbarsten Ordnungszahlen auch eine Kardinalität hat, die streng größer ist als die von N (Ergebnis aufgrund von Cantor). Das Kontinuum Hypothese ist dann, dass Cardinal ist, dass alle Teile N. Historisch Cantor beweist dieses Ergebnis 1891 für die Menge der charakteristischen Funktionen von N (Menge der natürlichen Zahlen) und dann für die Menge der charakteristischen Funktionen des Intervalls der reellen Zahlen zwischen 0 und 1. Er behauptet jedoch, dass sich das Ergebnis auf eine beliebige verallgemeinert gesetzt, was seine Methode eindeutig erlaubt. Zermelo gibt dieses Ergebnis an (und demonstriert es), das er in seinem Artikel von 1908 als Cantors Satz ( (de) Satz von Cantor) bezeichnet, der als erster eine Axiomatisierung der Mengenlehre vorstellte. Anmerkungen und Referenzen ↑ (von) Georg Cantor, " Über Eine elementare Frage der Mannigfaltigskeitslehre ", Jahresber. der DMV, vol. 1, 1891, p. 75-78 ( online lesen), reproduziert in Georg Cantor, Gesammelte Abhandlungen mathematischen und philosophischen Inhalte, herausgegeben von E. Zermelo, 1932.
Der Satz von Cantor besagt, dass eine Menge \, A weniger mächtig als ihre Potenzmenge \mathcal P(A) (der Menge aller Teilmengen) ist, dass also |\, A| gilt. 16 Beziehungen: Allklasse, Aussonderungsaxiom, Bijektive Funktion, Cantors zweites Diagonalargument, Cantorsche Antinomie, Ernst Zermelo, Felix Hausdorff, Georg Cantor, Grundzüge der Mengenlehre, Injektive Funktion, Klasse (Mengenlehre), Mächtigkeit (Mathematik), Menge (Mathematik), Potenzmenge, Surjektive Funktion, Teilmenge. Allklasse Die Allklasse bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der Mengenlehre ist das die Klasse aller Mengen. Neu!! : Satz von Cantor und Allklasse · Mehr sehen » Aussonderungsaxiom Das Aussonderungsaxiom stammt aus der Zermelo-Mengenlehre von 1907Ernst Zermelo: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in:, dort Axiom III S. 263f. Neu!! : Satz von Cantor und Aussonderungsaxiom · Mehr sehen » Bijektive Funktion Funktion Bijektivität (zum Adjektiv bijektiv, welches etwa 'umkehrbar eindeutig auf' bedeutet → daher auch der Begriff eineindeutig bzw. Eineindeutigkeit) ist ein mathematischer Begriff aus dem Bereich der Mengenlehre.
Präpositionen:: Phrasen:: Substantive:: Adjektive:: Verben:: Beispiele:: Suchumfeld:: Grammatik:: Diskussionen:: Substantive tern Satz von dreien Lindeberg-Lévy theorem [ MATH. ] Satz von Lindeberg-Lévy Bayes's theorem [ MATH. ] Satz von Bayes Betti's theorem [ ING. ] Satz von Betti Castigliano's theorem [ ING. ] Satz von Castigliano Pythagorean theorem [ MATH. ] Satz von Pythagoras shim stock [ TECH. ] Satz von Beilageplatten divergence theorem [ MATH. ] Satz von Gauß-Ostrogradski Gauss theorem [ MATH. ] Satz von Gauß-Ostrogradski reciprocal theorem [ ING. ] Satz von Maxwell Thevenin's theorem [ ELEKT. ] Satz von der Ersatzspannungsquelle interest at the rate of [ FINAN. ] Zinsen zum Satz von + Dat. Pl. law of conservation of angular momentum [ PHYS. ] Satz von der Erhaltung des Drehimpulses Maxwell's reciprocal theorem [ ING. ] Satz von der Gegenseitigkeit der Verschiebungen Grammatik Die Satzgrammatik Ein Satz ist eine relativselbstständige, abgeschlossene sprachlicheEinheit. Er kann allein stehen oder zusammen mit anderen Sätzen zu einem Text, einer Erzählung usw. kombiniert we… Zusammengesetzter Satz Ein zusammengesetzter Satz ist ein Satz, der aus mehreren Teilsätzen besteht.
Tatsächlich verwendet dieses Paradoxon aufgrund von Russell und unabhängig von Zermelo eine Argumentation, die der für Cantors Theorem sehr nahe kommt, und Russell hat darüber hinaus erklärt, dass er es entdeckt hat, indem er den Beweis dafür analysiert hat. Das Argument des Satzes von Cantor bleibt richtig, wenn f eine Karte von E in einer Menge ist, die alle Teile von E als Elemente hat und nur Mengen für Elemente hat. Dies ist der Fall, wenn E die Menge aller Mengen ist und wir für f die Identität über E wählen können (wir müssen nicht mehr über die Menge der Teile sprechen). Russells Konstruktion erscheint dann als Neuformulierung von Cantors Argumentation. Kontinuierliche Hypothese Es gibt eine andere Methode, um zu zeigen, dass es keinen größeren Kardinal gibt: Die Hartogs-Ordnungszahl einer Menge ist streng größer als die der ursprünglichen Menge. Wenn der Startsatz der der natürlichen Zahlen N ist, ist die Übereinstimmung zwischen diesen beiden Methoden die Kontinuumsannahme aufgrund desselben Cantors.
Da M=f(a) ist dies aber genau dann der Fall, wenn a nicht in M liegt. Das ist nun ein Widerspruch!