Die Archimedische Eigenschaft
Warum du mit einem Teelöffel theoretisch den Ozean leeren kannst, wenn du genug Zeit hast.
In diesem Abschnitt beschäftigen wir uns mit einem der fundamentalsten Bausteine der Analysis. Es mag trivial klingen, aber die Tatsache, dass die reellen Zahlen keine "unendlich kleinen" oder "unendlich grossen" Lücken haben, ist der Grund, warum Grenzwerte überhaupt funktionieren.
Das Prinzip von Archimedes
Intuition

Stell dir vor, du stehst am Fuss eines riesigen Berges. Du kannst nur kleine Schritte machen, sagen wir einen halben Meter pro Schritt. Der Berg ist gigantisch, vielleicht 8000 Meter hoch. Die Intuition hinter der Archimedischen Eigenschaft ist simpel: Egal wie klein deine Schritte sind (
Definition
Hier formulieren wir das Ganze präzise. Wir betrachten dazu die Menge der natürlichen Zahlen
Es gibt auch diese etwas kompaktere Variante, die im Grunde dasselbe aussagt (setze hierfür einfach
Beispiel
Schauen wir ein illustratives Beispiel an:
Nehmen wir an, wir haben eine extrem kleine positive Zahl
Ja: Wir suchen ein
Gegenbeispiel
Warum ist das erwähnenswert? Weil es Zahlensysteme gibt, in denen das nicht gilt. Stell dir ein System vor, das "Infinitesimale" enthält: Zahlen, die grösser als 0 sind, aber kleiner als jede positive reelle Zahl (wie in der Nichtstandardanalysis).
Nennen wir eine solche infinitesimale Zahl
Wenn du
Die genauen Details dieses Gegenbeispiels sind nicht wichtig für diese Vorlesung. Es zeigt aber genau, dass die Archimedische Eigenschaft so natürlich für uns ist, dass wir uns nur schwer etwas anderes vorstellen können.
Konsequenz: Kehrwerte
Die vielleicht wichtigste Anwendung dieses Prinzips begegnet dir ständig bei
Intuition
Wenn du eine Pizza in immer mehr Stücke schneidest (
Definition
Warum brauchen wir das überhaupt?
Dieser Satz ist das formale Rückgrat für die Aussage
Ist das nicht eigentlich selbstverständlich? Ja, aber nur weil wir die reellen Zahlen als gegeben hinnehmen und intuitiv manchmal besser kennen, als uns bewusst ist. In der Analysis müssen wir aber alles beweisen.