Binomialkoeffizient/Explizit/Teilmengenanzahl/Abbildung/Faseranzahl/Aufgabe

Aus Wikiversity

Es sei eine -elementige Teilmenge. Wir bezeichnen mit die Menge der -elementigen Teilmengen von und mit die Menge der bijektiven Abbildungen von nach (also alle Nummerierungen von ). Beweise Fakt unter Verwendung der Abbildung

und

Fakt.