Direkt zum Inhalt

Lexikon der Mathematik: Siebformel

Formel (1) im folgenden Satz:

Sei S eine endliche Menge, A1, A2,…,AmS, und mpdie Anzahl der Elemente von S, die in genau p der Mengen Ailiegen, 0 ≤ pm.

Dann gilt (mit \(\displaystyle {\bigcap}_{i\in B}{A}_{i}=B\)für B = Ø) \begin{eqnarray}{m}_{p}=\displaystyle \sum _{k=p}^{m}{(-1)}^{k-p}\left(\begin{array}{c}k\\ p\end{array}\right)\displaystyle \sum _{\mathop{A\subseteq {{\mathbb{N}}}_{m}}\limits_{|A|=k}}|\displaystyle \mathop{\bigcap}\limits_{i\in A}{A}_{i}|.\end{eqnarray}

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,…,AmS, und w eine Bewertung auf \( {\mathcal B} (S)\)mit w(Ø) = 0. Wir setzen Mp ≔ {bS : b gehört zu genau p der Mengen Ai}, mpw(Mp), 0 ≤ pm. Dann gilt:

  1. \(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\)
  2. \({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}).\)
  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

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.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.