2^M soll die potenzmenge von M sein!
satz: es existiert kein w-maß auf 2^[0,1) mit der eigenschaft P(x+A) = P(A) für alle x aus [0,1), A aus 2^[0,1)
beweis: auf [0,1) wird durch x~y :<=> x-y \in Q
eine äquivalenzrelation definiert. das auswahlaxiom erlaubt es, aus jeder der (überabzählbar vielen) zugehörigen äquivalenzklassen ein element auszuwählen; sei A die so erhaltene menge.
da die äquivalenzklassen diskunkt sind, enthält A von jeder äquivalenzklasse genau ein element. wir behaupten nun:
(i) (A+x) schnitt (A+y) = leer für alle x,y aus Q schnitt [0,1) mit x != y
(ii) die vereinigung über alle x aus Q schnitt [0,1) von (x+A) ist gleich [0,1)
ok, man könnt jetzt noch erklären, warum das beides gilt... ist hier an dieser stelle unwesentlich, weil es imo einfach ist und ich dazu keine frage habe
aber dann gehts weiter:
ist nun P ein wmaß auf 2^[0,1) mit der obigen eigenschaft, so muss P auch der menge A einen wert zuordnen. mit der eigenschaft, (ii) und der sigma-additivität von P (deren anwendbarkeit (i) benötigt) würde dann
summe von x aus Q schnitt [0,1) von P(A) = 1 folgen - dies ist unmöglich
meine frage: warum ist das unmöglich? einfach weil man P(A) keinen vernünftigen wert zuordnen kann, oder?
angenommen P(A) = 0

fail
angenommen P(A) := t > 0
dann würde man in der summe unendlich mal t stehen haben

inf
ist das so richtig?