Um eine Bijektion zwischen natürlichen und rationalen Zahlen zu erhalten, ordnet man alle positiven Brüche so in einer Tabelle an, dass der Zähler der Zeile und der Nenner der Spalte entspricht (beispielsweise steht in der vierten Zeile der dritten Spalte ). Anschließend listet man die Brüche in dieser Reihenfolge auf: . Dann werden alle nicht vollständig gekürzten Brüche entfernt. In der Liste kommt nun jede positive rationale Zahl genau einmal vor. Jetzt wird hinter jeder positiven Zahl das Produkt dieser Zahl mit eingefügt und kommt an den Anfang der Liste. Dadurch erhält man eine Abzählung aller rationalen Zahlen. Die Abzählung wird durchnummeriert, man ordnet also jeder rationalen eine natürliche Zahl zu: . Diese Zuordnung ist eine Bijektion zwischen und , also müssen diese Mengen gleichmächtig sein.
Um eine Bijektion zwischen natürlichen und rationalen Zahlen zu erhalten, ordnet man alle positiven Brüche so in einer Tabelle an, dass der Zähler der Zeile und der Nenner der Spalte entspricht (beispielsweise steht in der vierten Zeile der dritten Spalte
). Anschließend listet man die Brüche in dieser Reihenfolge auf:
. Dann werden alle nicht vollständig gekürzten Brüche entfernt. In der Liste kommt nun jede positive rationale Zahl genau einmal vor. Jetzt wird hinter jeder positiven Zahl das Produkt dieser Zahl mit
eingefügt und
kommt an den Anfang der Liste. Dadurch erhält man eine Abzählung aller rationalen Zahlen. Die Abzählung wird durchnummeriert, man ordnet also jeder rationalen eine natürliche Zahl zu:
. Diese Zuordnung ist eine Bijektion zwischen
und
, also müssen diese Mengen gleichmächtig sein.
Sehr gut!