Siebformel per Induktion beweisen?

Aufrufe: 836     Aktiv: 17.12.2020 um 18:04

0

Hallo,

ich soll diese Formel (Siebformel) per Induktion beweisen:

Den Anfang habe ich hinbekommen, allerdings habe ich Probleme mit dem Induktionsschritt.

Ich habe bisher Folgendes:

#(\(\bigcap_{i=1}^{n+1}\)\(A_{i}\)) = #(\(\bigcup_{i=1}^{n}\)\(A_i\)\(\bigcup\)\(A_{n+1}\)) = #(\(\bigcup_{i=1}^{n}\)\(A_i\) + #\(\bigcup\)\(A_{n+1}\) - #(\(\bigcup_{i=1}^{n}\)\(A_i\)\(\bigcap\)\(A_{n+1}\)) = \(\sum_{J\in\ P({1,...,n})}\) (-1)\(^{\#J-1}\) #(\(\bigcap_{j\in\ J}\)\(A_j\)) + #\(A_{n+1}\) - #(\(\bigcup_{i=1}^{n}\)\(A_i\)\(\bigcap\)\(A_{n+1}\)) = \(\sum_{J\in\ P({1,...,n})}\)(-1)\(^{\#J-1}\) #(\(\bigcap_{j\in\ J}\)\(A_j\)) + #\(A_{n+1}\) - \(\sum_{L\in\ P({1,...,n})}\)(-1)\(^{\#L-1}\)#(\(\bigcap_{l\in\ L}\)\(A_l\)\(\bigcap\)\(A_{l+1}\))

Also die Induktionsvoraussetzung habe ich schon verwendet, ich weiß aber nicht, wie ich von nun an weiter machen soll, um auf das Richtige zu kommen.

Kann mir jemand helfen?

Vielen Dank und LG!

gefragt

 
Kommentar schreiben
1 Antwort
1

Ganz am Anfang muss die Vereinigung stehen, nicht der Durchschnitt. Deine dritten und vierten Gleichungen stimmen nicht, es sollte jeweils \(P(1,\dots,n)^*\) heißen (ich vermute, der Stern bedeutet ausschluss der leeren Menge). Außerdem muss Deine allerletzte Menge \(A_{n+1}\) statt \(A_{\ell+1}\) sein. Dann fasst Du im nächsten Schritt die beiden letzten Terme so zusammen: \begin{multline*}\#A_{n+1}-\sum_{L\in \mathcal{P}(1,\dots,n)^*}(-1)^{\#L-1}\cdot\#\left(\bigcap_{\ell\in L}(A_\ell\cap A_{n+1})\right)\\ \begin{aligned}&=-\sum_{L\in \mathcal{P}(1,\dots,n)}(-1)^{\#L-1}\cdot\#\left(\bigcap_{\ell\in L}(A_\ell\cap A_{n+1})\right)\\&=\sum_{L\in \mathcal{P}(1,\dots,n)}(-1)^{\#L}\cdot\#\left(\bigcap_{\ell\in L\cup\{n+1\}}A_\ell\right).\end{aligned}\end{multline*} Man definiert dabei \[\bigcap_{\ell\in \varnothing}(A_\ell\cap A_{n+1}):=A_{n+1}.\] Jetzt kannst Du die Terme nach Deinem letzten Gleichheitszeichen wie gewünscht zusammenfassen.

Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 4K

 

Hallo,

vielen Dank für die tolle Antwort! Nun sollte es passen.

Viele Grüße.
  ─   physikstudent(1.s) 17.12.2020 um 18:04

Kommentar schreiben