Hi,
Definieren Sie eine Bijektion zwischen ℤ und ℤ2v3 := { n ∈ ℤ: (2|n) ∨ (3|n) }
Es würde bereits genügen eine Injektion der Form f : ℤ -> ℤ2v3 zu finden.
Am Beispiel verdeutlicht müsste das ja heißen, dass ich mit jeder beliebigen ganzen Zahl so anfangen kann, dass für jede Zahl in ℤ genau eine Zahl in ℤ2v3 existiert. Da es eine Bijektion sein soll , muss ich durch die Umkehrfunktion wieder auf eine Zahl aus ℤ kommen. Konkret beispiel:
12 ist durch 3 teilbar, also wird 12 auf die 4 in ℤ2v3 abgebildet. Um wieder zurück zu ℤ zu gelangen, muss ja jetzt das 3 bzw. 2 fache von 4 auch wieder in ℤ enthalten sein.
Wie müsste jetzt aber eine formale Injektion bzw. Bijektion aussehen, die diese Eigenschaft erfüllt und durchch die sich alle ganzen Zahlen darstellen lassen ?