Zum Inhalt springen

Cantor-Menge/Überabzählbarkeit und Maß 0/Aufgabe

Aus Wikiversity

Die Cantor-Menge ist definiert durch

C={i=1zi3izi{0,2} für alle i+}.

a) Zeige, dass C überabzählbar ist.

b) Zeige, dass C eine Borel-Menge ist.

c) Zeige λ1(C)=0.