Aufgabe: Für welche Mengen B ist die Abbildung surjektiv, injektiv, bzw. bijektiv?
Problem/Ansatz: Gegeben ist die Abbildung
f: Bn/∼ →ℕ0B, (a1,...,an) ↦( B→ℕ0, a↦ #{ t∈{1, . . . ,n} | at=a })
# steht dabei für die Mächtigkeit und (a1,...,an) ist eine Äquivalenzklasse und Bn/∼ ist die Quotientenmenge der Äquivalenzrelation ∼.
Für welche Mengen B ist also die Abbildung surjektiv, für welche injektiv und für welche bijektiv? Eine Begründung wäre auch ganz nett:)