Lexikon der Mathematik: Siebformel
Formel (1) im folgenden Satz:
Sei S eine endliche Menge, A1, A2,…,Am ⊆ S, und mpdie Anzahl der Elemente von S, die in genau p der Mengen Ailiegen, 0 ≤ p ≤ m.
Dann gilt (mit \(\displaystyle {\bigcap}_{i\in B}{A}_{i}=B\)für B = Ø)
Es stellt sich die Frage, ob es möglich ist, die Mächtigkeit mp durch beliebige Bewertungen auf der Booleschen Algebra \( {\mathcal B} (S)\) von S zu ersetzen. Dies ist tatsächlich der Fall, wie der folgende Satz zeigt. Die in ihm enthaltenen Formeln sind als allgemeine Siebformel bekannt:
Sei S eine endliche Menge, A1, A2,…,Am ⊆ S, und w eine Bewertung auf \( {\mathcal B} (S)\)mit w(Ø) = 0. Wir setzen Mp ≔ {b ∈ S : b gehört zu genau p der Mengen Ai}, mp ≔ w(Mp), 0 ≤ p ≤ m. Dann gilt:
- \(w(\displaystyle \underset{i=1}{\overset{m}{\bigcup}}{A}_{i})=\displaystyle \sum _{i=1}^{m}w({A}_{i})-\displaystyle \sum _{i\lt j}w({A}_{i}\cup {A}_{j})+\ldots +{(-1)}^{m}w(\displaystyle \underset{i=1}{\overset{m}{\bigcap}}{A}_{i}),\quad und\)
- \({m}_{p}=\mathop{\displaystyle\sum ^{m}}\limits_{k=p}{(-1)}^{k-p}\left(\begin{array}{c}k\\ p\end{array}\right)\displaystyle\sum _{\mathop{A\subseteq {{\mathbb{N}}}_{m}}\limits_{|A|=k}\,}w(\displaystyle \mathop{\bigcap}\limits_{i\in A}{A}_{i}).\)
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.