Jordanscher Kurvensatz: Warum muss man den beweisen?

Der Jordansche Kurvensatz ist ein berühmter und wichtiger Satz der Topologie, den viele zunächst für trivial halten, der es aber in sich hat. In diesem Video wird gezeigt, warum der Satz relevant ist und wie man ihn beweisen kann - überraschenderweise mit Mitteln der Graphentheorie wie dem Satz von Kuratowski und der Eulerschen Polyederformel. Anhand von Osgood-Kurven, der Bolzano-Funktion und anderen Beispielen wird demonstriert, wie "seltsam" Wege sein können.
Das GANZ NEUE Buch: weitz.de/GDM
Das NEUE Buch: weitz.de/PP/
Die Strahl-Methode, die ab ca. 24:00 gezeigt wird, ist auch als Punkt-in-Polygon-Test nach Jordan bekannt. Siehe dazu weitz.de/y/PvUK...
Basics der Graphentheorie ab hier: weitz.de/y/PsZO...
Mengen und Funktionen ab hier: weitz.de/y/AvVq...
Grundlagen der Topologie ab hier: weitz.de/y/55jU...
Der Satz von Kuratowski: weitz.de/y/AYDe...
Eulerscher Polyedersatz: weitz.de/y/BNx0...
Formaler Beweis von Hales: github.com/jrh...
Formaler Beweis in Mizar: mizar.uwb.edu.p...
Bilder von Fiona Ross: fionaross.net/
Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
Im Playlist-Kontext: weitz.de/y/nOrq...
Chronologische Liste: weitz.de/haw-vi...
Illustrationen von Heike Stephan: / haiartandillustration
Allgemeine Anmerkungen: weitz.de/youtub...