Archimedisches Axiom - LinkFang.de





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 Größen [math]y\gtx\gt0[/math] existiert eine natürliche Zahl [math]n\in \mathbb{N}[/math] mit [math]nx\gty[/math].

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.

Eine (an)geordnete Gruppe oder ein (an)geordneter Körper, in welchem das Archimedische Axiom gilt, heißt archimedisch (an)geordnet.

Für den Körper [math]\mathbb{R}[/math] 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 [math]x\gt0.[/math]

Behauptung: Für jedes [math]y\gtx[/math] gibt es eine natürliche Zahl [math]n[/math], so dass [math]nx\gty[/math] gilt.

Gegenannahme: Es gibt ein [math]y\gtx[/math], so dass [math]nx\leq y[/math] für alle natürlichen Zahlen [math]n.[/math]

Aus der Gegenannahme folgt, dass [math]y[/math] für alle natürlichen Zahlen [math]n[/math] eine obere Schranke für [math]nx[/math] ist. Mit dem Supremumsaxiom folgt daraus die Existenz einer kleinsten oberen Schranke [math]y_0[/math]. Gilt aber [math]nx\leq y_0[/math] für alle natürlichen Zahlen [math]n[/math], so gilt auch [math]\left(n+1\right)x\leq y_0[/math] und somit auch [math]nx\leq y_0-x[/math] für alle natürlichen Zahlen [math]n[/math]. Dann ist aber auch [math]y_0 - x[/math] eine obere Schranke für [math]nx[/math]. Wegen [math]y_0 - x \lt y_0 [/math], ist also [math]y_0[/math] keine kleinste obere Schranke, was im Widerspruch zur Definition von [math]y_0[/math] steht. Somit muss die Gegenannahme falsch sein und die Behauptung ist bewiesen.

Folgerungen aus dem archimedischen Axiom

Zu jeder Zahl [math]x\in\mathbb{R}[/math] gibt es [math]n_1,n_2\in\mathbb{N}[/math], so dass [math]n_1\gtx[/math] und [math]-n_2\ltx[/math]. Daraus folgt: Zu jedem [math]x\in\mathbb{R}[/math] gibt es eine eindeutig bestimmte Zahl [math]n\in\mathbb{Z}[/math] mit

[math]n\leq x \lt n+1.[/math]

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

[math]m-1 \lt x \leq m[/math]

welche mit [math]\lceil x\rceil[/math] oder [math]\operatorname{ceil}(x)[/math] bezeichnet wird. Damit gilt auch: für alle [math]\varepsilon\gt0[/math] existiert ein [math]n \in \mathbb{N}[/math] mit [math]n\gt1/\varepsilon[/math] und daher umgekehrt [math]1/n\lt\varepsilon[/math]. In der Analysis ist dieser Zusammenhang nützlich, um beispielsweise die Konvergenz oder Divergenz von Folgen nachzuweisen.

Weiterhin folgt aus dem archimedischen Axiom, dass es für zwei reelle Zahlen [math]a,b\in\mathbb{R}, a \lt b[/math] immer eine rationale Zahl [math]q\in\mathbb{Q}[/math] mit [math]a \lt q \lt b[/math] gibt und dass die Menge der natürlichen Zahlen im Körper [math]\mathbb{R}[/math] nicht nach oben beschränkt ist.

Satz von Hölder

Jede archimedisch geordnete Gruppe G ist kommutativ und isomorph zu einer additiv geordneten Untergruppe von [math]\R[/math].[2]

Dabei ist für ein [math] e \in G [/math] mit e > 0 und additiv geschriebener Gruppenverknüpfung die Abbildung

[math] x \mapsto r = \sup\, \left\{ \frac {z}{n} |z \in \Z, n \in \N, z \cdot e \lt n \cdot x \right\} [/math]

ein Isomorphismus von G in eine additive geordnete Untergruppe von [math]\R[/math], wobei [math]n \cdot x = \underbrace {x+x+...+x}_{n-mal} [/math] für [math] x \in G [/math] und [math] n \in N [/math] und [math] z\cdot e = -z \cdot (-e) [/math] für [math] z \in Z [/math] und [math] z \lt 0[/math].[3]

Das Element e kann dabei als Einheit verwendet werden, mit dem jedes Gruppenelement x "gemessen" werden kann. Das bedeutet: Für jedes Element x der Gruppe existiert ein r so, dass [math] x = r \cdot e ( r \in \R)[/math].

Beispiel: Die Intervalle in der Musiktheorie bilden eine archimedisch geordnete kommutative Gruppe und können alle mit der Einheit Oktave oder Cent gemessen werden. Siehe: Tonstruktur (mathematische Beschreibung).

Klassifizierung: Entweder ist eine archimedisch geordnete Gruppe G von der Form G = {0} oder G = {..., −3a, −2a, −a, 0, a, 2a, 3a, ...} (isomorph zu der additiven Gruppe der ganzen Zahlen) oder es gibt kein kleinstes Element, was im Folgenden präzisiert wird.

Zu jedem Element a>0 gibt es ein b mit 0 < 2b < a. (Gibt es nämlich kein minimales positives a, dann gibt es zu jedem a > 0 sicher ein c mit 0 < c < a. Falls 2c < a kann man b = c wählen. Falls 2c = a gibt es ein b mit 0 < 2b < 2c =a und falls 2c > a gilt für b = a − c die Ungleichung 0 < 2b = 2a − 2c < 2a − a = a.)

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).

Historisches

Euklid gibt in den Elementen in Buch 3 Proposition 16[4][5] ein explizites Beispiel für Größen, die das archimedische Axiom nicht erfüllen, sogenannte hornförmige Winkel, die von sich berührenden gekrümmten Kurven gebildet werden, in Euklids Beispiel von einem Kreis und seiner Tangente. Sie tauchen nur an dieser Stelle in den Elementen auf.

Weblinks

Referenzen

  1. überliefert in: Euklid, Elemente V, Definition 4: Dass sie ein Verhältnis zueinander haben, sagt man von Größen, die vervielfältigt einander übertreffen.
  2. Otto Hölder Die Axiome der Quantität und die Lehre vom Mass, Ber. Verh. Sächsische Gesellschaft der Wissenschaften Leipzig, Math. Phys. Klasse, Band 53, 1901, S. 1-64.
  3. Alexander Gennadjewitsch Kurosch Vorlesungen über Allgemeine Algebra. Harri Deutsch, Zürich 1964.
  4. Euklid, Buch 3, Proposition 16, bei David Joyce
  5. Felix Klein Elementarmathematik vom Höheren Standpunkt, Springer Verlag, Band 2, S. 221f.

Kategorien: Archimedes | Gruppentheorie | Absolute Geometrie | Synthetische Geometrie | Analysis

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Archimedisches Axiom (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.