Abbildung/Surjektiv/Geeignete Einschränkung/Aufgabe/Lösung


Wegen der Surjektivität von gibt es zu jedem mindestens ein mit . Wir wählen nun zu jedem ein solches zugehöriges . Es sei die Vereinigung all dieser gewählten . Die auf eingeschränkte Abbildung

ist nach wie vor surjektiv, da ja jedes von einem (dem gewählten) erreicht wird. Die Abbildung ist injektiv, da es zu jedem

in nur das eine gewählte Urbild gibt. Insgesamt ist also bijektiv.