Schau mal unter
https://de.wikipedia.org/wiki/Cantorsche_Paarungsfunktion#Definition
Wenn du dann überlegst, dass es zu jeder positiven rat. Zahl x genau ein
Paar ( p;q) aus N
+ x N
+ gibt mit x = p/q :Auf diese Paare wendest du die Cantorsche Paarungsfunktion π an, also
bildest q + (1/2)(p+q)(p+q+1)
Dann hast du schon mal eine Injektive Abb. von Q
+ nach N
+Mit Q
- machst du das entsprechende : bildest Paare (p;q) mit x = -p / q
und setzt noch ein minus vor das π .
Damit bildest du Q
- Injektiv auf Z \ IN abund dann noch die 0 auf die 0.
Damit hast du eine Injektive Funktion von Q nach Z und
diese ist für Q nach Q betrachtet sicher nicht surjektiv, weil
z.B. 1/2 als Bild nicht vorkommt.