Diskussion:Cantors erstes Diagonalargument
Höhe eines Polynoms
[Quelltext bearbeiten]Im Abschnitt zu den algebraischen Zahlen wird die Höhe eines Polynoms als Summe der Absolutbeträge der Koeffizienten und der Exponenten definiert. Mir war bisher als Definition die Summe der Absolutbeträge der Koeffizienten und des Grades bekannt. Für den Beweis spielt das keine Rolle, trotzdem würde mich interessieren welche Definition die übliche(re) ist, und gegebenenfalls den Artikel zu ändern.--132.230.1.28 Diskussion:Cantors erstes Diagonalargument#c-132.230.1.28-2007-10-18T08:54:00.000Z-Höhe eines Polynoms11
"Diagonalargument"
[Quelltext bearbeiten]Gibt es in der Literatur einen Beleg dafür, dass dieses Argument "Diagonalargument" heißt? Ich kenne den Namen nur für das "zweite Diagonalargument". Für das erste sind die "Diagonalen" ja auch in keiner Weise wesentlich. Man könnte die rationalen Zahlen genausogut in Wegen, die nur waagrecht und senkrecht verlaufen, abzählen. --Digamma Diskussion:Cantors erstes Diagonalargument#c-Digamma-2007-12-11T17:36:00.000Z-"Diagonalargument"11
- Würde man in waagerechten oder senkrechten Wegen beginnen abzuzählen, käme man nie mehr aus dem ersten waagerechten bzw.senkrechten Weg heraus. Es ist absolut erforderlich, den Cantorschen Diagonalweg zu beschreiten. --Wikilaser (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Wikilaser-2012-05-24T09:46:00.000Z-Digamma-2007-12-11T17:36:00.000Z11
- Natürlich kann man nicht immer nur geradeaus waagrecht oder senkrecht gehen. Man kann aber Wege "über Eck" gehen: In der n-ten Zeile bis zum n-ten Eintrag waagrecht, danach senkrecht nach oben. Ich versuche das mal mit ASCII-Grafik zu illustrieren:
• | | | | | | - • | | | | | - - • | | | | - - - • | | | - - - - • | | - - - - - • | - - - - - - •
- Dies ist z. B. auch der übliche Weg, wenn man beweist, dass für jede Kardinalzahl das kartesische Produkt gleichmächtig zu ist. Der Weg "über Eck" (bzw. eine leichte Abwandlung davon) funktioniert nämlich auch für transfinite Ordinalzahlen, der "Diagonalweg" nicht.
- Deine Antwort beantwortet außerdem nicht die Frage. Diese lautet ja nicht, ob man das Verfahren zu recht das "erste Diagonalargument" nennen kann oder könnte, sondern ob es in der Literatur tatsächlich so heißt. Die Wikipedia will und soll ja keine neuen Begriffe erfinden, sondern nur die tatsächlich üblichen benutzen. Ich kenne aus dem Studium unter der Bezeichnung "Cantorsches Diagonalargument" nur das, welches hier "Cantors zweites Diagonalargument" genannt wird. Ein Grund warum ich beim "ersten" an der Bezeichnung zweifle: Als "Diagonale" bezeichnet man eigentlich nur eine schräge Linie, die in einer Ecke beginnt. In diesem Sinn sind die schrägen Linien in dem Cantorschen Abzählverfahren (ist eigentlich belegt, dass Cantor tatsächlich dieses Verfahren benutzt hat?) keine Diagonalen. --Digamma (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Digamma-2012-05-24T18:00:00.000Z-Wikilaser-2012-05-24T09:46:00.000Z11
- Ergänzung: Weder in der englischen noch in der französischen Wikipedia wird diese Verfahre hier "Diagonalverfahren" oder "Diagonalargument" genannt. Der Name wird nur für das "zweite" Diagonalverfahren benutzt. --Digamma (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Digamma-2012-05-24T18:09:00.000Z-Wikilaser-2012-05-24T09:46:00.000Z11
- Die Bezeichnung Diagonalverfahren/Diagonalmethode findet sich z.B. bei Wittgenstein - Bemerkungen über die Grundlagen der Mathematik Teil II (1938). (nicht signierter Beitrag von 37.24.211.35 (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-37.24.211.35-2019-08-17T08:30:00.000Z-Digamma-2012-05-24T18:09:00.000Z11)
- Danke. Hättest du ein genauers Zitat (wörtliche Formulierung, Seitenzahl). Bist du sicher, dass es nicht um das sogenannte Zweite Diagonalargument geht? --Digamma (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Digamma-2019-08-17T09:26:00.000Z-37.24.211.35-2019-08-17T08:30:00.000Z11
- Die Bezeichnung Diagonalverfahren/Diagonalmethode findet sich z.B. bei Wittgenstein - Bemerkungen über die Grundlagen der Mathematik Teil II (1938). (nicht signierter Beitrag von 37.24.211.35 (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-37.24.211.35-2019-08-17T08:30:00.000Z-Digamma-2012-05-24T18:09:00.000Z11)
Algebraische Zahlen
[Quelltext bearbeiten]Gibt es einen Grund dafür, dass die algebraischen Zahlen in diesem Artikel auftauchen. Natürlich sind sie wichtig und natürlich sind sie abzählbar. Aber dies hat doch mit dem Argument, um das es hier gehen soll, nichts zu tun, oder? --Cosine Diskussion:Cantors erstes Diagonalargument#c-Cosine-2009-03-26T17:47:00.000Z-Algebraische Zahlen11
Verdeutlichung der Bijektion
[Quelltext bearbeiten]Im Abschnitt über das Diagonalargument heisst es:
- Durch das Überspringen kürzbarer Brüche liegt für jede positive rationale Zahl genau ein Repräsentant (der nicht mehr kürzbare Bruch) in dieser Abzählung, wodurch die gewünschte Bijektion hergestellt ist.
Ich bin kein Mathematiker und verstehe es deshalb vielleicht falsch, aber es ist doch so gemeint, dass man nun jedem der folgenden Elemente
- 0, 1, -1, 1/2, -1/2, 2, -2, 3, -3, 1/3, -1/3, 1/4, -1/4, 2/3, -2/3, ...
Ein Element der natürlichen Zahlen "zur Seite" stellen könnte. Wäre der Beweis nicht etwas anschaulicher, wenn noch eine zweite Zeile mit natürlichen Zahlen darunter einfegügt würde? --Cysez Diskussion:Cantors erstes Diagonalargument#c-Cysez-2009-12-03T12:55:00.000Z-Verdeutlichung der Bijektion11
- Ja. -- Digamma Diskussion:Cantors erstes Diagonalargument#c-Digamma-2010-07-28T13:38:00.000Z-Cysez-2009-12-03T12:55:00.000Z11
Link zum englischen Artikel?
[Quelltext bearbeiten]Macht es Sinn den en:Pairing Function als den englischen Artiekl anzugeben? --Grüße, Mekeor. Diskussion:Cantors erstes Diagonalargument#c-Mekeor-2012-08-02T20:13:00.000Z-Link zum englischen Artikel?11
- Problem: en:Pairing function hat schon einen deutschen Partner, nämlich Cantorsche Paarungsfunktion. --Digamma (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Digamma-2012-08-02T20:21:00.000Z-Mekeor-2012-08-02T20:13:00.000Z11
Löschen
[Quelltext bearbeiten]Es ist keine Literatur angegeben. Deshalb ist nicht abgrenzbar, worum es hier überhaupt gehen soll. Wenn man nach der Einleitung geht, geht es um überhaupt nichts konkretes. Erst recht geht es um nichts, was man als "Diagonalargument" bezeichnen sollte oder könnte. Die größten Abschnitte heißen "Vorgehen bei Cantors erstem Diagonalargument" und "Verallgemeinerung des ersten Cantorschen Diagonalargumentes". Von den Namen her gehört der zweitgenannte nicht unbedingt hierhin und der erstgenannte will scheinbar konkretisieren oder genauer darstellen, was das "Diagonalargument" eigentlich ist. Er spricht dann aber nur ganz speziell von der Abzählbarkeit von . Da aufgrund der wahrscheinlichen Irrelevanz des zweitgenannten Abschnitts der erstgenannte den Haupteil des Artkel darstellt, ist es nachvollziehbar, dass eine IP kürzlich dachte, es ginge um die Abzählbarkeit des positiven rationalen Zahlen.
Konkret ist es wohl so: Die Abzählbarkeit von ist ein simples Korollar von der von . Letzteres wird in Cantorsche Paarungsfunktion halbwegs vernünftig dargelegt. (Der Teilsatz ", die auf dem Diagonalargument von Cantor basiert." in der dortigen Einleitung passt jedoch nur sehr schlecht, da hier nichts wirklich passendes steht).
Fazit: Wir haben hier unter dem Namen und mit der Einleitung keinen sinnvollen Inhalt. Einige Links (längst nicht alle) auf diesen Artikel wollen irgendeinen Beweis der Abzählbarkeit von oder referenzieren. Die würden wahrscheinlich richtigerweise auf einen Artikel zeigen, der gerade das explizit als Gegenstand hat. Die Ergänzung der IP würde dort hineinpassen. Alle anderen Links hierher sind Kandidaten dafür, auf Cantorsche Paarungsfunktion umgebogen zu werden. --Daniel5Ko (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Daniel5Ko-2017-08-13T00:43:00.000Z-Löschen11
- Ich bin auch für Löschen falls eine Quellenangabe unterbleibt. Ein solche Zig Zag Nummerierung der rationalen Zahlen folgt nicht aus "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen". Dort werden die algebraischen Zahlen nach N = n - 1 + |a_0| + .. + |a_n| stratifiziert, was algemeiner als die Rationalzahlen ist aber auch nicht den Zig Zag Spezialfall der rationalen Zahlen ergibt. Janburse (Diskussion) Diskussion:Cantors erstes Diagonalargument#c-Janburse-2018-08-23T23:34:00.000Z-Daniel5Ko-2017-08-13T00:43:00.000Z11
- Ich habe zwar keinen Beleg das dies Tatsächlich als Cantors erstes Diagonalargument bennant ist, für das Verfahren selbst allerdings schon: David Foster Wallace, Die Entdeckung des Unendlichen, ISBN 978-3-492-25493-9, auf S.320-322 wird es beschrieben. --2003:DA:9F05:A00:D1E7:5473:6137:7C9C Diskussion:Cantors erstes Diagonalargument#c-2003:DA:9F05:A00:D1E7:5473:6137:7C9C-20231105221900-Daniel5Ko-2017-08-13T00:43:00.000Z11