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

Aus Wikiversity

Es sei

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

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

ist.