Rationale Zahl

Eine rationale Zahl ist eine Zahl, die als Verhältnis (lateinisch Ratio) zweier ganzer Zahlen ausgedrückt werden kann (für gewöhnlich schreibt man a / b, lies a geteilt durch b), wobei der Nenner (hier b) ungleich Null ist. Jede Zahl, die sich als Bruch zweier ganzer Zahlen darstellen lässt, ist also eine rationale Zahl.

Inhaltsverzeichnis
1 Definition
2 Zur Erklärung der rationalen Zahlen
3 Darstellungsformen
4 Konstruktion von Q aus Z
5 Eigenschaften
6 Verwandte Themen
7 Weblinks

Definition

Eine Zahl heißt dann rational, wenn man sie als Verhältnis zweier benennbarer ganzer Zahlen ausdrücken kann, also Zahlen, die zum Zählen benutzt werden können. So genannte rationale Zahlen umfassen somit die ganzen Zahlen und gewöhnliche Brüche. Diese werden dann unterschieden in

  1. Brüche, die sich auf ganze Zahlen zurückführen lassen,
  2. Brüche, die einen endlichen Dezimalbruch bilden,
  3. Brüche, die einen unendlichen Dezimalbruch bilden, bei dem sich eine oder mehrere Ziffern endlos periodisch wiederholen.

Hinweis: nicht endliche, nicht periodische Dezimalbrüche sind nicht rational.

Zur Erklärung der rationalen Zahlen

Jede rationale Zahl lässt sich im Dezimalsystem darstellen, wobei bestimmte Zahlen eine periodische Dezimalbruch-Entwicklung haben. Im Gegensatz dazu haben irrationale Zahlen (wie √2, √3, π oder manche Grenzwerte) eine unendliche, nichtperiodische Ziffernfolge.

Die Menge aller rationalen Zahlen bildet einen Körper, der mit Q (stark betont dargestellt) bezeichnet wird. Weil dies handschriftlich nicht darstellbar ist, hat sich das Symbol \mathbb{Q} eingebürgert.

siehe auch: reelle Zahlen, natürliche Zahlen, irrationale Zahlen

Darstellungsformen

Die rationalen Zahlen haben neben der Darstellung als gemeiner Bruch eine andere Darstellung, nämlich die Dezimalbruchentwicklung; z. B. ist

1/3 = 0,333333... = [0,01 01 01 ...]2
9/7 = 1,285714 285714... = [1,010 010 010...]2
1/2 = 0,50000... = [0,10000...]2
1 = 1/1 = 1,0000... = 0,9999... = [0,1111...]2

In den eckigen Klammern sind die entsprechenden Entwicklungen im Dualsystem angegeben. Die Dezimal-, Binär- und anderen b-adischen Entwicklungen rationaler Zahlen sind stets periodisch oder endlich (d.h. periodisch mit Periode 0). Mehrstellige Perioden sind hier jeweils durch Leerzeichen abgetrennt.

Die Bruchform einer rationalen Zahl kann man oft in so genannte Partialbrüche zerlegen, deren Nenner ganze Potenzen von Primzahlen sind; z. B.

5/6 = 1/2 + 1/3, 1/6 = 1/2 - 1/3, 1/72 = 1/8 - 1/9, 1/60 = -1/4 - 4/3 + 8/5.

Es gibt auch Zerlegungen als so genannte ägyptische Brüche (Stammbrüche), z. B.

3/7 = 1/3 + 1/11 + 1/231, 25/31 = 1/2 + 1/4 + 1/18 + 1/1116,

die alten Ägypter kannten nur solche Summen und haben mit diesen gerechnet.

Das Zahlentripel (1/5, 24/35, 5/7) ist ein Beispiel eines pythagoräischen Bruchs (siehe auch pythagoräisches Tripel), denn

(1/5)² + (24/35)² = (5/7)².

Konstruktion von Q aus Z

Mathematisch gesehen, definiert man Brüche als geordnete Paare ganzer Zahlen (a, b), wobei wieder b ungleich Null ist - oft wird b auch einfach als (nichtnegative) natürliche Zahl definiert. Dann definiert man Addition und Multiplikation mit diesen Paaren mit Hilfe folgender Regeln:

(a, b) + (c, d) = (a·d+b·c, b·d)
(a, b) · (c, d) = (a·c, b·d)

Einhergehend mit unserer Erwartung, dass 2/4 = 1/2 sein soll, führen wir eine Äquivalenzrelation ~ auf diesen Paaren mit der folgenden Regel ein:

(a, b) ~ (c, d) genau dann wenn, a·d = b·c.

Mit den obigen Rechenregeln bildet die Menge der Äquivalenzklassen modulo ~ einen Körper Q, dessen Elemente rationale Zahlen genannt werden. Die Äquivalenzklasse von (a, b) schreibt man als a/b.

Eigenschaften

Man kann zeigen, dass Q der kleinste Körper ist, der die natürlichen Zahlen N enthält. Q ist der Quotientenkörper der ganzen Zahlen Z.

Rationale Zahlen liegen "dicht" auf der Zahlengerade, das heißt: Jede reelle Zahl, i.e. jeder Punkt auf der Zahlengerade, kann beliebig genau durch rationale Zahlen angenähert werden.

Zwischen zwei rationalen Zahlen a und b liegt stets eine weitere rationale Zahl c (und somit beliebig viele). Man nehme einfach das arithmetische Mittel dieser beiden Zahlen:

c := (a+b)/2

Was zunächst überraschend klingt, ist die Tatsache, dass die Menge der rationalen Zahlen "gleichmächtig" zu der Menge der natürlichen Zahlen ist. Das heißt: es gibt eine bijektive Abbildung zwischen N und Q, die jeder rationalen Zahl q eine natürliche Zahl n zuweist und umgekehrt.

Verwandte Themen

Weblinks

See also: Rationale Zahl, Arithmetisches Mittel, Bewertungstheorie, Bijektive Abbildung, Bruchrechnung, Cantor-Diagonalisierung, Dezimalbruch, Dezimalbruchentwicklung, Dezimalsystem, Dualsystem