Věta: Inkluze a exkluze Nechť jsou konečné množiny. Potom
také lze zapsat jako
Důkaz: Hlavní otázka je kolikrát započteme prvek na pravé straně rovnosti. Nechť počet ve kterých se vyskytuje . Vezmeme-li postupně jedno po druhém, tak máme příspěvek nulový, ale pro máme -tic obsahujících a celkem tedy přispějí . Pozorování: Dle binomické věty máme Sečtením přes všechna máme
kde aplikujeme pozorování o a tedy
Problém šátnářky
Pravděpodobnostní prostor: . dostal svůj kolobouk , neboli je to pevný bod Úloha: Jaká je pravděpodobnost, že náhodná permutace nemá žádný pevný bod?
Pro spočtení pravděpodobnosti se můžeme zabývat doplňkem a sice, jaká je pravděpodobnost existence alespoň jednoho pevného bodu. Zadefinujeme a pomocné množiny pro všechna . Můžeme pozorovat, že . Zároveň je vidět a stačí dosadit do principu inkluze a exkluze:
Eulerova funkce
Definice Eulerova funkce značí pro přirozené počet , nesoudělných s , tedy .
Počet surjekcí
Počet všech funkcí z do je () a mi chceme eliminovat ty, které nejsou na, tedy takové funkce, kde , které není obrazem žádného . Pro každé zavedeme
Takže počet surjekcí je
Ve vzorci inkluze–exkluze pro sjednocení platí:
Potřebujeme tedy spočítat:
Podmínka znamená, že funkce nepoužije žádné z prvků . Tedy hodnotu si ve skutečnosti vybírá jen z množiny
která má prvků. Každý z prvků z může zvolit libovolný z těchto cílů, takže
Z množiny o velikosti vybereme přesně prvků, které nebudou v obrazu. To lze udělat způsoby.
Vložením do vzorce inkluze-exkluze za a v úvahu, že existuje možností, jak vybrat unikátních prvků z , dostaneme:
Proto je počet surjektivních funkcí
Kde posunem a zařazením přepíše jako
Tedy výsledná forma je: