Endliche Mengen/Gleiche Anzahl/Bijektionen/Fakultät/Fakt/Beweis

Beweis

Wir führen Induktion über ${}n$, wobei der Fall ${}n=1$ klar ist. Die Aussage sei nun für ${}n$ schon bewiesen und es liegen zwei ${}(n+1)$-elementige Mengen ${}M$ und ${}N$ vor. Es sei ${}x\in M$ ein fixiertes Element. Dann gibt es für die Werte ${}\varphi (x)$ genau ${}n+1$ Möglichkeiten, nämlich die Anzahl der Menge ${}N$. Wenn dies festgelegt ist, so entsprechen die bijektiven Abbildungen von ${}M$ nach ${}N$ mit

${}\varphi (x)=y\,$

den bijektiven Abbildungen von ${}M\setminus \{x\}$ nach ${}N\setminus \{y\}$. Nach Induktionsvoraussetzung gibt es ${}n!$ solche bijektiven Abbildungen. Daher ist die Anzahl der bijektiven Abbildungen zwischen ${}M$ und ${}N$ gleich

${}(n+1)\cdot n!=(n+1)!\,.$

Zur bewiesenen Aussage