Cantors zweites Diagonalargument?
hallo,
Cantor hat mit seinem zweiten Diagonalargument bewiesen, dass die Reellen Zahlen zwischen 0-1 überabzählbar sind.
das Basiert ja darauf das man zu jeder Liste von zahlen zwischen 0-1 eine weitere finden kann, die nicht in der Liste ist..
könnte ich nicht dann bei den natürlichen Zahlen ganz naiv sagen hmm, zu jeder Liste an natürlichen Zahlen addiere ich einfach alle zusammen und habe eine weitere natürliche Zahl, die nicht in der Liste ist, somit ist die Menge der natürlichen Zahlen überabzählbar.
(ich weiß das das nicht geht alleine deshalb weil per Definition eine bijektive Funktion zwischen N und der Menge ist und es ist trivial das eine bijektive Funktion N->N existiert.)
aber ich verstehe nicht, das selbe Spiel könnte ich doch mit den ganzen Zahlen auch machen, diese sind ja auch abzählbar, könnte ich bei einer Liste an ganzen Zahlen sagen, ich addiere alle positiven und schon habe ich eine weitere Zahl, die nicht in der Liste ist und dann wären die ganzen Zahlen auch überabzählbar..
kann mir einer vielleicht helfen das zu verstehen ?
danke
2 Antworten
Wir führen den Beweis per Widerspruch: Angenommen, (0, 1) ist abzählbar. Dann gäbe es eine abzählbare Aufzählung
sodass
ist. Jede Zahl kann darin in Dezimaldarstellung als
geschrieben werden. Wir betrachten jetzt die rot gefärbten Diagonalelemente und konstruieren daraus eine (ggf. irrationale) Zahl innerhalb von (0, 1), die darin nicht vorkommt.
Dann wären wir fertig: Am Anfang haben wir angenommen, wir können (0, 1) in natürlicher Reihenfolge vollständig aufzählen und dann haben wir ein Element in (0, 1) konstruiert, das in dieser Aufzählung nicht enthalten ist. Wir können (0, 1) also doch nicht vollständig aufzählen. Widerspruch!
Konstruieren wir also das "fehlende" Element und zwar wie folgt:
Wir fangen also an: Null komma... dann eine Ziffer, die nicht r_11 ist (möglich, gibt ja noch neun andere Ziffern von 0 bis 9), dann eine Ziffer, die nicht r_22 ist, dann eine, die nicht r_33 ist, und so weiter.
Kannst du selbst sehen, warum wir hier eine "neue" Zahl konstruiert haben, die nicht in der Aufzählung vorhanden ist?
--
Deine Übertragung auf IN funktioniert nicht, weil die Aufzählung unendlich viele Zahlen enthält. Du kannst also nicht einfach die Summe aller Zahlen bilden, denn die wäre Unendlich und damit keine natürliche Zahl.
zu jeder Liste an natürlichen Zahlen addiere ich einfach alle zusammen
Wenn die Liste unendlich lang ist, addiert du somit unendlich viele Zahlen, deine Summe ist also unendlich. Also keine Zahl.
ich doch mit den ganzen Zahlen auch machen, diese sind ja auch abzählbar, könnte ich bei einer Liste an ganzen Zahlen sagen, ich addiere alle positiven
Nein, das geht auch nicht. Aus dem selben Grund wie oben.
wenn die Liste unendlich viele Elemente hat, dann hat sie ja alle möglichen Zahlen zwischen 0-1 schon drinne
Unendlich ≠ enthält alle möglichkeiten.
Es gibt keine Möglichkeit die reellen Zahlen mit einer Nummerierung aufzulisten. Das wird, mit dem Diagonalargument bewiesen, indem eine neue Zahl generiert wird, die reell und zwischen 0 und 1 ist, und trotzdem unterschiedlich zu allen zahlen der Auflistung ist.
Hmm alles klar danke . Verstanden hab ich’s s jetzt nicht aber was soll’s 💀
Du gehst halt davon aus, dass so eine Auflistung existiert. Dann erzeugst du eine neue Zahl, die nicht in der Auflistung drin ist. Somit kann diese Auflistung nicht vollständig sein. Und da du das allgemein für jede Auflistung durchführen kannst, kann es keine vollständige Auflistung geben.
vielleicht hilft es dir ja : Verstehen ist ein großes Wort ! Ob die Mathematikerinnen , die den Beweis ausführen können , das "Ganze" auch verstanden haben ? Ich weiß es nicht .
Das ist das Brutale an der M : Du befolgst die Regeln , hast eine Idee ( hier die extra Zahl ) und zeigst es . Da muss man nicht mehr verstehen . Wer es kann , sollte sich wundern oder es gar wunderbar finden .
Könnte ich dann nicht einfach zu dem größten Element der Liste eine 1 addieren dann hätte ich eine weitere ?
Nein, denn die Liste aller natürlichen Zahlen kann kein größtes Element haben. Die Liste ist nach oben unbeschränkt.
Und bei cantors Liste … wenn die Liste an den Zahlen zu dem er stellenweise eine Zahl ändert, wenn die Liste unendlich viele Elemente hat, dann hat sie ja alle möglichen Zahlen zwischen 0-1 schon drinne 😂😂 irgendwie kommt mit das ganze komisch vor