Axiom des Archimedes

Das sogenannte archimedische Axiom ist nach dem antiken Mathematiker Archimedes benannt, es ist aber älter und wurde schon von Eudoxos von Knidos in seiner Größenlehre formuliert. In moderner Präzisierung lautet es folgendermaßen:

Zu je zwei Größen y > x > 0 existiert eine natürliche Zahl n\in \mathbb{N} mit nx > y.

Geometrisch lässt sich das Axiom derart interpretieren: Hat man zwei Strecken auf einer Geraden, so kann man die größere von beiden übertreffen, wenn man die kleinere nur oft genug abträgt.

Ein (an)geordneter Körper, in welchem das Archimedische Axiom gilt, heißt archimedisch (an)geordnet.

Für den Körper \mathbb{R} der reellen Zahlen wird es manchmal axiomatisch eingeführt. Man kann allerdings mit den Axiomen eines geordneten Körpers und dem Supremumsaxiom (Jede nach oben beschränkte Teilmenge des Körpers besitzt ein Supremum) beweisen, dass die reellen Zahlen archimedisch geordnet sind.

Beweis aus dem Supremumsaxiom für einen geordneten Körper

Es sei x > 0.

Behauptung: Für jedes y > x gibt es eine natürliche Zahl n, so dass nx > y gilt.

Gegenannahme: Es gibt ein y > 0, so dass nx\leq y für alle natürlichen Zahlen n.

Dann ist y eine obere Schranke für nx. Aus dem Supremumsaxiom folgt die Existenz einer kleinsten oberen Schranke y0. Dann ist aber auch y0x eine obere Schranke (wenn nx\leq y_0 für alle natürlichen Zahlen n, so gilt sicher auch nx\leq y_0-x für alle natürlichen Zahlen n). Wegen y0x < y0, ist y0 keine kleinste obere Schranke. Dies ist ein Widerspruch. Also muss die Gegenannahme falsch sein und die Behauptung ist bewiesen.

Folgerungen aus dem archimedischen Axiom

Zu jeder Zahl x\in\mathbb{R} gibt es n_1,n_2\in\mathbb{N}, so dass n1 > x und n2 < x. Daraus folgt: Zu jedem x\in\mathbb{R} gibt es eine eindeutig bestimmte Zahl n\in\mathbb{Z} mit

n\leq x &amp;lt; n+1

Dabei wird n mit \lfloor x\rfloor oder \operatorname{floor}(x) bezeichnet. Ebenso existiert eine eindeutig bestimmte Zahl m\in\mathbb{Z} mit

m-1 &amp;lt; x \leq m

welche mit \lceil x\rceil oder \operatorname{ceil}(x) bezeichnet wird.

Damit gilt auch: \forall\epsilon&amp;gt;0 \, \exists n\in\mathbb{N} mit n > 1 / ε und daher umgekehrt 1 / n < ε.

In der Analysis ist dieser Zusammenhang nützlich, um beispielsweise die Konvergenz oder Divergenz von Folgen nachzuweisen.

Nichtarchimedisch angeordnete Körper

Ein Beispiel für einen angeordneten Körper, in dem das Axiom des Archimedes nicht gilt, ist der in der Nichtstandardanalysis studierte Körper der hyperreellen Zahlen.

Ein einfacheres Beispiel besteht aus den rationalen Funktionen R(x) über dem rationalen (oder dem reellen) Zahlenkörper, die so geordnet werden, dass x größer ist als alle Zahlen (das geht auf eindeutige Weise).


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz des Archimedes — Als Satz des Archimedes werden gelegentlich bezeichnet: in der Physik das archimedische Prinzip in der Mathematik das archimedische Axiom Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter …   Deutsch Wikipedia

  • Archimedes von Syrakus — Archimedes, Domenico Fetti, 1620, Alte Meister Museum, Dresden Archimedes (griechisch ᾿Αρχιμήδης) von Syrakus (* um 287 v. Chr. vermutlich in Syrakus auf Sizilien; † 212 v. Chr. ebenda) war ein antiker griechischer Mathematiker …   Deutsch Wikipedia

  • Archimedes — Archimedes, Domenico Fetti, 1620, Gemäldegalerie Alte Meister, Dresden Archimedes (griechisch ᾿Αρχιμήδης) von Syrakus (* um 287 v. Chr. vermutlich in Syrakus auf Sizilien; † 212 v. Chr. ebenda) war ein antiker griechischer …   Deutsch Wikipedia

  • Archimedes — For other uses, see Archimedes (disambiguation). Archimedes of Syracuse (Greek: Ἀρχιμήδης) …   Wikipedia

  • Archimedisches Axiom — Das sogenannte archimedische Axiom ist nach dem antiken Mathematiker Archimedes benannt, es ist aber älter und wurde schon von Eudoxos von Knidos in seiner Größenlehre formuliert.[1] In moderner Präzisierung lautet es folgendermaßen: Zu je zwei… …   Deutsch Wikipedia

  • Quadratur des Kreises — Das Quadrat und der Kreis haben den gleichen Flächeninhalt. Die Quadratur des Kreises ist ein klassisches Problem der Geometrie. Die Aufgabe besteht darin, aus einem gegebenen Kreis in endlich vielen Schritten ein Quadrat mit demselben… …   Deutsch Wikipedia

  • Archimedesaxiom — Das sogenannte archimedische Axiom ist nach dem antiken Mathematiker Archimedes benannt, es ist aber älter und wurde schon von Eudoxos von Knidos in seiner Größenlehre formuliert. In moderner Präzisierung lautet es folgendermaßen: Zu je zwei… …   Deutsch Wikipedia

  • Archimedisch geordnet — Das sogenannte archimedische Axiom ist nach dem antiken Mathematiker Archimedes benannt, es ist aber älter und wurde schon von Eudoxos von Knidos in seiner Größenlehre formuliert. In moderner Präzisierung lautet es folgendermaßen: Zu je zwei… …   Deutsch Wikipedia

  • Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… …   History of philosophy

  • Ne quid nimis — Lateinische Phrasen   A B C D E F G H I L M N O P …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”