Vergleich (Zahlen)

Gegenstand der Mathematik, mit dem Größenvergleiche formuliert und untersucht werden können
(Weitergeleitet von Kleiner-gleich)

In der Mathematik lassen sich Zahlen aus bestimmten Zahlbereichen, etwa denen der natürlichen, ganzen, rationalen oder reellen Zahlen, auf festgelegte Weise vergleichen. In mathematischen Formeln werden dafür Vergleichszeichen eingesetzt. Man schreibt etwa:

  • : Die Zahl ist kleiner als die Zahl , z. B. gilt die Ungleichung .
  • : Die Zahl ist größer als die Zahl , z. B. gilt .
  • : Die Zahl ist kleiner oder gleich , z. B. gilt und .
  • : Die Zahl ist größer oder gleich , z. B. gelten und .
Die Ordnung der reellen Zahlen wird durch die Zahlengerade veranschaulicht. Nach rechts werden die Zahlen größer, nach links kleiner.

Durch diese jeweiligen Vergleiche erhalten jene Zahlbereiche eine Ordnungsstruktur. Die Gleichheit oder Ungleichheit von Zahlen lässt sich auch unabhängig von dieser Ordnung betrachten, hierfür siehe Identität und Gleichheit.

Verschiedene Vergleiche Bearbeiten

Die vier aufgeführten Vergleiche sind keine voneinander unabhängigen Relationen: Jeder von ihnen lässt sich durch jeden anderen ausdrücken, es ist also gerechtfertigt trotz der verschiedenen Vergleiche von der Ordnung der natürlichen, reellen etc. Zahlen zu sprechen. Beispielsweise lassen sich die anderen Vergleiche wie folgt durch die Relation   ausdrücken:

  •   gilt genau dann, wenn   nicht gilt.
  •   gilt genau dann, wenn   gilt.
  •   gilt genau dann, wenn   nicht gilt.

Auch Gleichheit und Ungleichheit sind durch jede der vier Vergleiche eindeutig festgelegt, jedoch lassen sich die Vergleiche nicht allein durch die Gleichheit oder Ungleichheit ausdrücken. Beispielsweise gilt:

  •   gilt genau dann, wenn weder   noch   gilt.
  •   gilt genau dann, wenn   gilt oder   gilt.

Definition Bearbeiten

 
Auf der Zahlengeraden liegen größere Zahlen weiter rechts.

Auf den natürlichen Zahlen lässt sich der Vergleich   mittels der Nachfolgerfunktion   als die minimale Relation definieren, die die folgenden Eigenschaften erfüllt:

  • Ist  , so ist  .
  • Ist   Nachfolger von   und  , so ist  .

Oder anders ausgedrückt:   ist genau dann nicht größer als  , wenn   von   aus mittels der Nachfolgerfunktion erreichbar ist.

In von Neumanns Modell der natürlichen Zahlen ist   definiert als   (d. h., die Menge   ist Element von  ) und   durch   (d. h.,   ist Teilmenge von  ).

Für ganze Zahlen ist folgende Definition von   möglich:

  • Sind   und   beide nicht negativ, so gilt   genau dann, wenn   für   und   aufgefasst als natürliche Zahlen gilt.
  • Ist   negativ und   nicht, so ist  .
  • Ist   negativ und   nicht, so ist nicht  .
  • Sind   und   beide negativ, so gilt   genau dann, wenn   gilt.

Rationale Zahlen lassen sich als Bruch darstellen. Seien also zwei rationale Zahlen durch Brüche   und   gegeben (dabei seien   ganze Zahlen und   positive, natürliche Zahlen). Dann ist   definiert durch  .

Ordnungstheoretisch lassen sich die reellen Zahlen als Dedekindsche Schnitte rationaler Zahlen definieren. Sind  , Teilmengen der rationalen Zahlen, Untermengen zu den reellen Zahlen   (das heißt   bzw.   ist die Menge aller rationalen Zahlen kleiner als   bzw.  ), so ist   genau dann, wenn   Teilmenge von   ist.

Reelle Zahlen lassen sich auch als Cauchy-Folgen rationaler Zahlen repräsentieren. Seien   und   rationale Cauchy-Folgen, die die reellen Zahlen   bzw.   repräsentieren. Es gelte dann   genau dann, wenn   (also die Äquivalenz der beiden Cauchy-Folgen) oder für alle   bis auf endlich viele   gilt.

Gemeinsame Ordnungseigenschaften Bearbeiten

Für Zahlen   mit   und   gilt stets auch  . Diese Eigenschaft wird Transitivität von   genannt. Zudem gilt stets entweder   oder   oder  . Diese Eigenschaft wird Trichotomie genannt. Ausgehend von diesen beiden Eigenschaften der Ordnung auf besagten Zahlbereichen abstrahiert man in der Mathematik und nennt jede Relation von mathematischen Objekten, die diese beiden Eigenschaften erfüllt, eine strenge Totalordnung. In diesem Sinne ist auch   eine strenge Totalordnung. Aus diesen Eigenschaften folgt auch die Irreflexivität: Für keine Zahl   aus dem jeweiligen Zahlbereich gilt  . Ebenso folgt die Asymmetrie: Gilt  , so gilt   nicht.

Auch für   gilt die Transitivität: Wenn   und  , so gilt stets auch  . Eine weitere Eigenschaft ist die Reflexivität: Für eine beliebige Zahl   aus dem jeweiligen Zahlbereich gilt  . Die Relation   ist antisymmetrisch: Für   können nicht zugleich   und   gelten. Die Eigenschaft, dass für je zwei Zahlen   zumindest   oder   gelten, wird Totalität genannt. Wiederum abstrahierend wird jede Relation, die diese Eigenschaften erfüllt, eine Totalordnung genannt. Diese Eigenschaften gelten analog für  , das somit ebenfalls eine Totalordnung bildet.

Verträglichkeit mit arithmetischer Struktur Bearbeiten

 
Aus   folgt  

Die Ordnung der natürlichen, reellen etc. Zahlen ist verträglich mit der Addition: Gilt   und ist   eine beliebige solche Zahl, so gilt auch  . Umgekehrt folgt aus   auch   und somit  . Falls die Subtraktion definiert ist (was für die natürlichen Zahlen nicht der Fall ist, aber etwa für die ganzen, die rationalen und die reellen Zahlen), gilt   genau dann, wenn  . Analog   genau dann, wenn  . Der Vergleich zwischen   und   ist also dadurch bestimmt, ob die Differenz positiv oder negativ ist.

Die Bildung des additiv Inversen, d. h. die Abbildung, die jeder Zahl   die Zahl   zuordnet (geometrisch gesprochen eine Spiegelung), ist dagegen nicht mit der Ordnung verträglich. Vielmehr gilt   genau dann, wenn  .

Im Falle der Multiplikation ist eine Unterscheidung notwendig: Die Verträglichkeit gilt völlig analog für die Multiplikation mit einer positiven Zahl. Eine beidseitige Multiplikation mit der Null dagegen führt stets zur Gleichheit:   für beliebige Zahlen  . Für   und   gilt daher zumindest noch eine Verträglichkeit mit der Multiplikation nicht negativer Zahlen: Gilt   und ist   nicht negativ, so gilt auch  . Umgekehrt folgt aus dieser Ungleichung jedoch nicht unbedingt  . Die Multiplikation mit einer negativen Zahl dagegen lässt sich als obige Spiegelung gefolgt von der Multiplikation mit einer positiven Zahl ausdrücken (z. B.  ). Somit gilt, dass für zwei Zahlen   mit   und negatives   die Ungleichung   gilt.

Für die mathematische Abstraktion dieser Verträglichkeitseigenschaften siehe geordneter Körper.

Spezielle Eigenschaften der jeweiligen Ordnungen Bearbeiten

Die hier dargestellten Ordnungen auf den natürlichen, den ganzen, den rationalen und den reellen Zahlen haben bestimmte Eigenschaften, die zwar unabhängig etwa von der arithmetischen Struktur sind, aber nicht für beliebige totale Ordnungen gelten.

Die Ordnung auf den natürlichen Zahlen   besitzt ein Minimum, die Zahl   (in manchen Definitionen auch  , hier sei der Einfachheit halber   stets in den natürlichen Zahlen enthalten). Jede natürliche Zahl   besitzt einen Nachfolger, d. h. eine minimale Zahl  , die größer als   ist. Dies ist gerade die Zahl  .

  • Die Ordnung von   ist eine diskrete.
  • Die natürlichen Zahlen sind (nach oben) unbeschränkt – es existiert keine maximale natürliche Zahl.
  • Die   besitzt als einzige natürliche Zahl keinen Vorgänger.
  • Die natürlichen Zahlen sind wohlgeordnet, d. h. jede nicht leere Teilmenge der natürlichen Zahlen besitzt ein Minimum.

Auch die ganzen Zahlen   bilden eine diskrete Ordnung. In ihnen besitzt jedes Element   einen Vorgänger   und einen Nachfolger  . Es existiert ebenfalls kein maximales, aber auch kein minimales Element. Sie sind daher nicht mehr wohlgeordnet.

Die rationalen Zahlen   bilden keine diskrete Ordnung: In den rationalen Zahlen hat keine Zahl einen Vorgänger oder einen Nachfolger, viel mehr liegt zwischen je zwei rationalen Zahlen   (mindestens) eine dritte rationale Zahl, bspw.   mit  . Damit bilden die rationalen Zahlen eine dichte Ordnung.

Die reellen Zahlen bilden ebenfalls eine dichte Ordnung. Eine zusätzliche wichtige Eigenschaft ist die Supremumseigenschaft bzw. Ordnungsvollständigkeit: Jede beschränkte Teilmenge besitzt ein Supremum und ein Infimum, d. h. eine kleinste obere bzw. eine größte untere Schranke. Die natürlichen Zahlen liegen konfinal in den rationalen und sogar den reellen Zahlen, d. h., zu jeder reellen Zahl existiert eine natürliche Zahl, die mindestens ebenso groß ist. Die Ordnung auf den reellen Zahlen hat somit abzählbare Konfinalität. Die Ordnungen induzieren jeweils eine Ordnungstopologie. Bzgl. der Ordnungstopologie der reellen Zahlen liegen die rationalen Zahlen dicht in den reellen Zahlen.

Berechnung Bearbeiten

Mittels Stellenwertsystemen lassen sich natürliche Zahlen als Ziffernfolgen darstellen. Anhand solcher Darstellungen lassen sich je zwei natürliche Zahlen vergleichen, d. h., es lässt sich berechnen, ob die durch die eine Ziffernfolge dargestellte Zahl kleiner als die andere ist. Sind zwei natürliche Zahlen   und   jeweils durch ihre Ziffernfolgen ohne führende Nullen in einem Stellenwertsystem gegeben, so gilt genau dann  , wenn

  • die Ziffernfolge zu   kürzer ist als die zu   oder
  • beide gleich lang sind und die Ziffernfolge zu   lexikographisch kleiner als die zu   ist.

Der lexikographische Vergleich baut dabei auf dem Vergleich einstelliger Zahlen auf. Mittels Stellenwertsystemen werden natürliche Zahlen auch in modernen Digitalrechnern dargestellt, aufbauend auf der Vergleiche möglich sind. Die Zahlen, mit denen arithmetisch-logische Einheiten solcher Rechner direkt umgehen können, haben feste Größen, enthalten also führende Nullen, sodass ein Vergleich gemäß der lexikographischen Ordnung möglich ist. Direkt mittels der obigen Definition der Ordnung lassen sich auch Vergleiche von beliebigen ganzen oder rationalen Zahlen berechnen. Bei Darstellung rationaler Zahlen in wissenschaftlicher Notation lassen sich zwei Zahlen vergleichen, indem man zunächst den Exponenten und dann, falls der Exponent bei beiden gleich ist, die Mantisse vergleicht. Das gilt insbesondere bei den dyadische Brüche darstellenden Gleitkommazahlen, die auf Digitalrechnern häufig für – insbesondere auch näherungsweise – Berechnungen verwendet werden. Für Vergleiche von Ganz- und Gleitkommazahlen stellen viele Prozessoren (etwa auf x86 basierende) eigene Instruktionen zur Verfügung.[1]

Da die reellen Zahlen eine überabzählbare Menge bilden, gibt es kein Schema, nach dem sich alle reellen Zahlen darstellen lassen. Somit erübrigt sich auch die Frage nach einer allgemeinen Berechnungsvorschrift zum Vergleichen. Ein wichtiger Grundansatz ist, bestimmte reelle Zahlen durch Berechnungsvorschriften darzustellen, die beliebig genaue obere und untere Schranken für die Zahl in Form von rationalen Zahlen berechnen können, etwa indem sie schrittweise weitere Nachkommastellen berechnen. Dies führt zum Begriff der berechenbaren Zahl. Zwei verschiedene berechenbare Zahlen lassen sich vergleichen, indem man für beide so lange immer genauere obere und untere Schranken berechnet, bis die beiden Intervalle voneinander getrennt sind (vgl. Intervallarithmetik). Dagegen ist die Gleichheit zweier so dargestellter Zahlen nicht berechenbar, somit sind auch für möglicherweise gleiche Zahlen die sonstigen Vergleiche nicht berechenbar. Für viele Anwendungen genügt es, etwa in der numerischen Analysis, eine Toleranz zuzulassen, d. h. der Vergleich wird korrekt durchgeführt, solange der Abstand der zwei Zahlen größer als eine feste, beliebig klein wählbare Toleranz ist, andernfalls werden die Zahlen als gleich angesehen.[2] Ein solcher Vergleich ist für allgemeine berechenbare Zahlen berechenbar. In wichtigen Spezialfällen ist dagegen auch ein exakter Vergleich möglich: Algebraische Zahlen lassen sich durch Polynome mit ganzzahligen Koeffizienten, deren Nullstelle sie sind, und ein Intervall mit rationalem Minimum und Maximum, das die jeweilige Nullstelle festlegt, darstellen. Auf algebraischem Wege lässt sich nun für zwei so dargestellte Zahlen bestimmen, ob sie gleich sind, indem man gemeinsame Nullstellen bestimmt. Diese sind gerade durch den größten gemeinsamen Teiler der beiden Polynome bestimmt. Im Falle von Ungleichheit lässt sich der Vergleich dann wiederum über obere und untere Schranken durchführen. Diese erlauben es auch, auf die algebraische Rechnung zu verzichten, wenn die Ungleichheit durch berechnete Schranken bereits bewiesen ist.[3] Unter der Voraussetzung, dass die bislang unbewiesene Vermutung von Schanuel gilt, wurde zudem ein Algorithmus konstruiert, der Vergleiche auch für Zahlen berechnet, die als Nullstellen von Gleichungssystemen, die elementare Funktionen enthalten können, gegeben sind.[4][5] Für algebraische Zahlen, die als Quadratwurzelausdrücke[6] oder als Nullstellen von Polynomen niedrigen Grades[7][8] gegeben sind, existieren spezielle Verfahren zum Vergleichen.

Solcherlei Verfahren für exakte Vergleiche finden Anwendung in Computeralgebrasystemen und der algorithmischen Geometrie.

Zusammenhang mit Arithmetik Bearbeiten

In den natürlichen Zahlen lässt sich mittels der Ordnung die   als das minimale Element definieren. Entsprechend ist eine Definition der Nachfolgerfunktion, also des Nachfolgers zu jeder Zahl, möglich. Mittels der Sukzessorfunktion lassen sich rekursiv auch die arithmetischen Operationen wie Addition und Multiplikation definieren. In den ganzen, rationalen und reellen Zahlen dagegen wird durch die Ordnung kein Element ausgezeichnet, weshalb sich die arithmetischen Operationen (welche etwa stets die   als neutrales Element der Addition auszeichnen würden) nicht mittels der Ordnung definieren lassen.

Umgekehrt lässt sich jedoch in all diesen Fällen die Ordnung über die Arithmetik definieren. Im Falle der natürlichen Zahlen ist eine elementare Definition allein mittels der Addition (d. h. in Presburger-Arithmetik) möglich: Es gilt genau dann  , wenn ein   existiert mit  . In den ganzen, den rationalen und den reellen Zahlen ist eine eindeutige Definition allein mittels der Addition nicht möglich, denn die Abbildung   in dem jeweiligen Zahlbereich ist ein Gruppenautomorphismus in der jeweiligen additiven Gruppe, der jedoch mit der Ordnung nicht kompatibel ist.[9] Unter Hinzunahme der Multiplikation, d. h. in der jeweiligen Ringstruktur, ist dagegen ebenfalls eine elementare Definition der Ordnung möglich. Besonders einfach ist dies in den reellen Zahlen und allgemeiner in jedem euklidischen Körper: Denn dort sind die nicht negativen Zahlen gerade dadurch charakterisiert, dass sie eine Quadratwurzel besitzen. Dies liefert die folgende Definition:

 

In den ganzen Zahlen ist eine entsprechende Definition unter Verwendung des Vier-Quadrate-Satzes möglich: Eine ganze Zahl ist genau dann nicht negativ, wenn sie als Summe von vier Quadratzahlen darstellbar ist. Dies liefert die Definition

 ,

die sich auf die rationalen Zahlen übertragen lässt (eine rationale Zahl ist genau dann nicht negativ, wenn sie Quotient von zwei Summen je vierer Quadratzahlen ist).[10]

Erweiterungen Bearbeiten

  • Die reellen Zahlen lassen sich zu den hyperreellen Zahlen erweitern, die ebenfalls eine mit der Addition und Multiplikation verträgliche Ordnung, jedoch wiederum andere ordnungstheoretische Eigenschaften besitzen.
  • Die natürlichen Zahlen lassen sich zu den Kardinalzahlen und zu den Ordinalzahlen erweitern, die immer noch wohlgeordnet sind.
  • Die surrealen Zahlen bilden einen weiteren mit einer Ordnung versehenen Zahlbereich.

Siehe auch Bearbeiten

Einzelnachweise Bearbeiten

  1. 8086/88 Assembler Befehlsreferenz. Abgerufen am 7. September 2012.
  2. Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion und Hervé Brönnimann: The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra. In: International Congress on Mathematical Software. Band 3. Springer, 2010, S. 121–141 (online [PDF; 305 kB; abgerufen am 7. September 2012]). S. 4.
  3. Carl Witty: Field of Algebraic Numbers. 2007, abgerufen am 7. September 2012 (Dokumentation zum Computeralgebrasystem Sage).
  4. Daniel Richardson: How to Recognize Zero. In: Journal of Symbolic Computation. Band 24, Nr. 6. Elsevier, 1997, S. 627–645, doi:10.1006/jsco.1997.0157 (online [PDF; 275 kB; abgerufen am 7. September 2012]).
  5. Daniel Richardson, John Fitch: The identity problem for elementary functions and constants. In: Proceedings of the international symposium on Symbolic and algebraic computation. ACM, 1994, S. 285–290, doi:10.1145/190347.190429.
  6. Yu, Yap, Du, Pion, Brönnimann, S. 2.
  7. Ioannis Z. Emiris und Elias P. Tsigaridas: Comparison Of Fourth-Degree Algebraic Numbers And Applications To Geometric Predicates. 2000 (online [abgerufen am 7. September 2012]).
  8. Ioannis Z. Emiris und Elias P. Tsigaridas: Comparing Real Algebraic Numbers of Small Degree. In: Lecture Notes in Computer Science. Springer, Berlin 2004, ISBN 978-3-540-23025-0, S. 652–663, doi:10.1007/978-3-540-30140-0_58 (online [abgerufen am 7. September 2012]).
  9. Wolfgang Rautenberg: Einführung in die Mathematische Logik. Ein Lehrbuch. 3., überarbeitete Auflage. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2, doi:10.1007/978-3-8348-9530-1.
  10. Yiannis Nicholas Moschovakis: Logic Notes. 2012, S. 21 (online [PDF; 1,3 MB; abgerufen am 6. September 2012]).