Für eine natürliche Zahl n ⊆N setzen wir Vn ⇔{m|∀k∈N:m=k·n}. Das ist offenbar die Menge der Vielfachen von n. Wir wollen zeigen, dass Vn mit dem Bild μ∗N der Abbildung μ mit k → k · n übereinstimmt, d. h. dass μ∗N ⇔ Vn
Wir zeigen x∈Vn =x∈μ∗N.
Nun ist aber x element Vn ⇔{m|m=k·n} äquivalent zu {m | μ(k)} und die zweite Menge ist offensichtlich das Bild μ∗N von μ
Kann mir jemand bitte sagen was daran falsch ist ?