Maßtheorie/Belegungsfunktion/Abzählbarer Träger/Sigma-endlich/Aufgabe

Es sei

eine Belegungsfunktion mit dem zugehörigen Summationsmaß . Es sei

Zeige, dass genau dann -endlich ist, wenn abzählbar ist.