Maß/Alternierende Formel/Aufgabe

Es sei ${}(M,{\mathcal {A}},\mu )$ ein Maßraum und seien ${}T_{i}\subseteq M$, ${}i=1,\ldots ,n$, messbare Teilmengen mit ${}\mu (T_{i})<\infty$. Für eine Teilmenge ${}J\subseteq \{1,\ldots ,n\}$ sei

${}T_{J}=\bigcap _{i\in J}T_{i}\,.$

Beweise die Formel

${}\mu {\left(\bigcup _{i=1}^{n}T_{i}\right)}=\sum _{k=1}^{n}(-1)^{k+1}{\left(\sum _{J\subseteq \{1,\ldots ,n\},\,{\#\left(J\right)}=k}\mu (T_{J})\right)}\,.$

Zur Lösung, Alternative Lösung erstellen