Was motivierte Cantor, die Mengenlehre zu erfinden?

Ich kann mir Mathematik ohne Mengen nicht vorstellen, aber die Frage "wie war Mathematik, bevor es Mengen gab" ist meiner Meinung nach nicht beantwortbar. Stattdessen sollte eine gute Antwort auf die Titelfrage einen bestimmten Aspekt der allgemeineren Frage abdecken.

Ich denke, dass auch die Idee, die Grundlagen der Mathematik zu begründen, im Spiel war. Ob Cantor neu darüber ist, bin ich mir nicht sicher.
Ich weiß nicht, ob dieser Link bereits in diesem Thread vorhanden ist, aber ich denke, ich sollte ihn hier teilen. ias.ac.in/resonance/Volumes/19/11/0977-0999.pdf
Danke @ankit, das ist ein sehr schöner und absolut relevanter Artikel.
Natürlich kann man sich Mathematik nicht ohne Mengen vorstellen – Mathematik vor der formalen Mengenlehre ist nicht dasselbe wie „Mathematik bevor es Mengen gab“. So wie Algorithmen schon immer existierten, obwohl ihre Formalisierung keine 150 Jahre alt ist, benutzten die Menschen immer Schnittmengen von Sammlungen ( Mengen ) und so weiter.

Antworten (3)

Eine unmittelbare Motivation für Cantor, an der Mengenlehre zu arbeiten, war seine frühere Arbeit an trigonometrischen Reihen. Um ein Problem in diesem Bereich zu lösen, betrachtete er die Menge (eine abgeschlossene Menge) von Nullstellen einer solchen Funktion, dann die abgeleitete Menge dieser Menge, die abgeleitete Menge dieser Menge und so weiter. Das ist alles noch klassisch, musste dann aber einen Schritt weiter gehen, um zuerst die Schnittmenge all dieser Mengen zu betrachten, und dann die abgeleitete Menge dieser Menge und so weiter.

So kam er dazu, über endliche Ordinalzahlen nachzudenken.

Dies wird an verschiedenen Stellen diskutiert, darunter „Set Theory and Uniqueness of Trogonometric Series“ von Kechris oder „ Uniqueness of trigonometric series and descriptive set theory, 1870–1985 “ von Roger Cooke (Archive for History of Exact Sciences, 1993)

Die Originalarbeit ist (glaube ich) "Ueber die Ausdehnung eines Satzes ais der Theorie der trigonometrischen Reihen (Math. Annalen, 1872)"

Eine weitere Motivation war seine frühere Arbeit zur Zahlentheorie. Mit einem sogenannten Diagonalisierungsargument konnte er Ergebnisse zur Existenz transzendenter Zahlen beweisen. Dies ist in seiner Arbeit von 1874 „Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen“ („On a Property of the Collection of All Real Algebraic Numbers“)

Kurz gesagt, die ursprüngliche Motivation bestand darin, bessere Werkzeuge zu haben, um bei bestehenden Problemen Fortschritte zu erzielen.

Haben Sie eine Referenz für den ersten Punkt?
Ich habe einige Referenzen hinzugefügt.
Abgesehen von den von Ihnen vorgeschlagenen Referenzen ist das Vorwort von Jourdain zu seiner Übersetzung von Cantor's Math der Standardort, an dem Sie darüber lesen können. Annalen Memoiren, Beiträge zur Begründung der Theorie der transfiniten Zahlen .
Die ausführlichste Diskussion, die ich in englischer Sprache für Cantors Artikel zur trigonometrischen Reihe kenne, ist Daubens The trigonometric background to Georg Cantor's theory of sets . In Bezug auf Cantors Erweiterung des Zählbarkeitsarguments von den rationalen Zahlen auf die algebraischen Zahlen stammt dies von Dedekind in Briefen an Cantor. Englische Übersetzungen der relevanten Briefe befinden sich auf den Seiten 844-850 von Ewalds Buch (Referenz [7] hier ). Siehe auch S. 177-186 von Ferreirós' Buch von 1999 und seiner Historia Math von 1993. Papier.

Tatsächlich arbeitete Cantor an einem speziellen Problem aus der Theorie der trigonometrischen Reihen , dem sogenannten Eindeutigkeitsproblem (ich kann nicht genauer werden, bis MathJax auf dieser Seite vorgestellt wird). Dieses Problem führte ihn zur Betrachtung willkürlicher Mengen auf der reellen Linie. Ich meine kompliziertere Mengen als endliche Mengen oder endliche Vereinigung von Intervallen. Zu dieser Zeit gab es keine Werkzeuge und keine Terminologie, um beliebige Mengen zu studieren, also musste all dies erstellt werden.

Im Verlauf dieser Studie schuf er nicht nur die Mengenlehre, sondern auch das, was man heute Allgemeine Topologie nennt. (Es ist interessant festzustellen, dass das ursprüngliche Problem mit trigonometrischen Reihen bis heute keine vollständige Lösung hat :-)

Die ursprüngliche Beweismethode, das sogenannte „Diagonalverfahren“, geht auf Cantors Vorgänger Paul du Bois Reymond zurück , der sich ebenfalls mit trigonometrischen Reihen beschäftigte.

Entschuldigung für die Spitzfindigkeiten, aber es ist das zweite Mal, dass ich es bemerke: MathJax, nicht MathJack.
Außerdem entstand das Diagonalverfahren in einer Umgebung, die nichts mit dem Studium trigonometrischer Reihen zu tun hatte. Hier sind einige Details. Und hier ist ein Zitat von Hardy, das vielleicht erklärt, warum du Bois-Reymond nicht besser bekannt ist.
Du liegst absolut richtig. Das Diagonalverfahren wurde für Fragen vom Typ "Ordnungen der Unendlichkeit" verwendet. Aber du Bois-Reymond hat auch trigonometrische Reihen studiert, nur ein interessanter Zufall :-)
@quid: Danke! Sie können den Text tatsächlich bearbeiten, wenn Sie Druckfehler entdecken.
Leider habe ich hier noch nicht genug Punkte zum Bearbeiten, und für Änderungsvorschläge gibt es eine Zeichenbegrenzung.

Cantor selbst zufolge war es sein Wunsch, die mechanische Erklärung der Natur durch eine vollständigere Theorie zu ersetzen. Siehe mehrere Aspekte in Was von Cantors Behauptungen ist wahr geworden? ?