Mathematik: Analysis: Grundlagen: Rationale Zahlen

Analysis

Grundlagen

Mengen – Relationen – Funktionen– Natürliche Zahlen – Ganze Zahlen – Rationale Zahlen

Reelle Zahlen

Rationale Zahlen

Die Entdeckung der rationalen Zahlen ergab sich aus dem Wunsch, Brüche auch dann darstellen zu können, wenn der Quotient keine ganze Zahl ist. Nicht nur die Zielsetzung für die Konstruktion von $\mathbb {Q}$ aus $\mathbb {Z}$ ist analog zur Konstruktion von $\mathbb {Z}$ aus $\mathbb {N}$, auch eine analoge Vorgehensweise ist möglich, da für Brüche gilt:

${\frac {p_{1}}{q_{1}}}={\frac {p_{2}}{q_{2}}}\quad \Leftrightarrow \quad p_{1}\cdot q_{2}=p_{2}\cdot q_{1}$

Aus diesem Grund werden die Definitionen und Sätze hier ohne weitere Ausführungen angegeben.

Definition der rationalen Zahlen

Definition und Satz

1. Sei $\ \approx \$ eine Relation auf $\mathbb {Z} \times (\mathbb {Z} \setminus \{0\})$ definiert durch
   
   $\approx \ :=\lbrace ((p_{1},q_{1}),(p_{2},q_{2}))\ \in \ (\mathbb {Z} \times (\mathbb {Z} \setminus \{0\}))\times (\mathbb {Z} \times (\mathbb {Z} \setminus \{0\}))\ \mid \ p_{1}\cdot q_{2}=p_{2}\cdot q_{1}\rbrace$.
   
   Für zwei Elemente $(p_{1},q_{1}),(p_{2},q_{2})$ gilt also:
   
   "$(p_{1},q_{1})\ \approx (p_{2},q_{2})$" $\ \Leftrightarrow \$ "$p_{1}\cdot q_{2}=p_{2}\cdot q_{1}$".
   
   Dann ist $\ \approx \$ eine Äquivalenzrelation.
   
   
2. Die Äquivalenzklassen dieser Äquivalenzrelation heißen rationale Zahlen, d. h.
   
   $\mathbb {Q} \ :=\lbrace [(p,q)]\mid$ "$(p,q)\in \ (\mathbb {Z} \times (\mathbb {Z} \setminus \{0\}))\times (\mathbb {Z} \times (\mathbb {Z} \setminus \{0\}))$" und "$(p_{1},q_{1})\in \ [(p,q)]\ \Leftrightarrow \ p_{1}\cdot q=p\cdot q_{1}$" $\rbrace$.
   
   Die Klasse $[(0,1)]$ wird mit "Null" bzw. "0" bezeichnet.

Addition und Multiplikation

Definition und Satz

Seien $a=[(p_{1},q_{1})]$ und $b=[(p_{2},q_{2})]$ zwei rationale Zahlen. Auf $\mathbb {Q}$ wird durch

1. $\oplus :\mathbb {Q} \times \mathbb {Q} \ \rightarrow \ \mathbb {Q}$
   
   $[(p_{1},q_{1})]\oplus [(p_{2},q_{2})]:=[(p_{1}\cdot q_{2}+p_{2}\cdot q_{1},q_{1}\cdot q_{2})]$
   
   eine Abbildung, die Addition $\oplus$, definiert. Diese Abbildung ist assoziativ und kommutativ.
   
   

1. $\odot :\mathbb {Q} \times \mathbb {Q} \ \rightarrow \ \mathbb {Q}$
   
   $[(p_{1},q_{1})]\odot [(p_{2},q_{2})]:=[(p_{1}\cdot p_{2},q_{1}\cdot q_{2})]$
   
   eine Abbildung, die Multiplikation $\odot$, definiert. Diese Abbildung ist assoziativ und kommutativ.

Hinweis

Für Addition und Multiplikation wurden die Regeln   ${\frac {p_{1}}{q_{1}}}+{\frac {p_{2}}{q_{2}}}={\frac {p_{1}q_{2}+p_{2}q_{1}}{q_{1}q_{2}}}$   und   ${\frac {p_{1}}{q_{1}}}\cdot {\frac {p_{2}}{q_{2}}}={\frac {p_{1}p_{2}}{q_{1}q_{2}}}$   verwendet.

"Einbettung" der ganzen in die rationalen Zahlen

Satz

Die Abbildung

$\sigma :\ \mathbb {Z} \ \ \rightarrow \ \mathbb {Q}$
$\sigma (n):=[(n,1)]$

ist injektiv, additions- und multiplikationserhaltend, d. h. es gilt:

$\sigma (n,m)=\sigma (n)\oplus \sigma (m)$ und
$\sigma (n\cdot m)=\sigma (n)\odot \sigma (m)$.

Hinweis

Hier wurde die Regel   $n={\frac {n}{1}}\$ verwendet.

Quotienten

Definition und Satz

Sei $p,q\in \mathbb {Q}$. Dann gibt es genau ein $z\in \mathbb {Q}$ mit $q\cdot z=p$.

Dieses $z$ schreibt man auch   ${\frac {p}{q}}$   und nennt es den Quotienten von $p$ und $q$.

Die rationalen Zahlen lassen sich also als Menge aller Brüche aus ganzen Zahlen darstellen:

$\mathbb {Q} =\left\{{\frac {p}{q}}\quad |\quad p\in \mathbb {Z} ,\ q\in \mathbb {N} \right\}$

Der Fall $q=0$ ist per Definition ausgeschlossen.

Mächtigkeit der rationalen Zahlen

Satz

$\mathbb {N}$ und $\mathbb {Q}$ sind gleichmächtig , d. h. $\mathbb {Q}$ ist abzählbar.

Beweis

Eine Beweisidee beruht auf dem Cantorschen Diagonalverfahren. Details hierzu enthält der Wiki-Artikel Cantors erstes Diagonalargument.

Autorenliste

Bei der Erstellung diese Buches wurden bestehende Kapitel aufgeteilt. In diesem Kapitel sind Teile des aufgeteilten Kapitels Mathematik: Analysis: Grundlagen: Natürliche Zahlen und enthalten.

Dieser Artikel basiert auf dem Artikel Mathematik: Analysis: Grundlagen: Natürliche Zahlen aus dem freien Projekt wikibooks und steht unter der GNU Lizenz für freie Dokumentation und der CC-by-sa 3.0. Gemäß den Lizenzbestimmungen ist hier die Liste der Autoren zum Exportzeitpunkt 03. Dez. 2007 08:55:16 UTC wiedergegeben.

Benutzer

TheAy, Edits:9 Maddog1985, Edits:3 Schildwaechter, Edits:2 Yoshee, Edits:1 Pmatu, Edits:16 Duschgeldrache2, Edits:2

IP-Adressen

An dem Artikel haben keine IP's mitgearbeitet oder sie sind hier nicht angegeben.

Einen fertig ausgefüllten Textbaustein erstellt Duesentrieb's Contributor Tool auf dem Wikimedia Toolserver. Ist die Liste lang, ist es zweckmäßig, dafür eine neue Seite zu erstellen und von der Seite mit den importierten Inhalten darauf zu verweisen.