Rationale Zahl
Eine rationale Zahl ist eine Zahl, die als Verhältnis 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. Man nennt rationale Zahlen auch Brüche, wobei man sich auf die Darstellung a/b bezieht.
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 eingebürgert.
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,2857 142857 142857... | = [1,01 001 001 001 ...]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 Binärsystem 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. 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.
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: 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. Siehe dazu auch: Cantor-Diagonalisierung
Verwandte Themen
Weblinks
- http://www.wakkanet.fi/%7Epahio/ohjelmi.html PC-Programm »Bruch«, berechnet gewöhnliche, partielle, ägyptische, pythagoräische und dyadische Brüche, Dezimal- und Binärentwicklungen (leider auf finnisch!?)