Endliche Menge/Permutationen/Fakultät/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
Wir zeigen etwas allgemeiner, dass es zwischen zwei endlichen Mengen und , die beide Elemente besitzen, bijektive Abbildungen gibt. Dies zeigen wir durch Induktion nach , wobei der Fall klar ist. Die Aussage sei nun für schon bewiesen und es liegen zwei -elementige Mengen und vor. Es sei ein fixiertes Element. Dann gibt es für die Bilder genau Möglichkeiten, nämlich die Anzahl der Menge . Wenn dies festgelegt ist, so entsprechen die bijektiven Abbildungen von nach mit
den bijektiven Abbildungen von nach . Nach Induktionsvoraussetzung gibt es solche bijektiven Abbildungen. Daher ist die Anzahl der bijektiven Abbildungen zwischen und gleich