Sei eine überabzählbare Menge und sei
falls und für unendliche Mengen
Zeigen Sie, dass (a) ein Maß ist. (b) nicht -endlich ist.
Für muss ich folgendes prüfen: (1) (2) für mit
Und ist die -Additivität.
Für geht alles klar, denn also ist . Fertig.
Für denke ich möglicherweise zu kompliziert. Aber mir leuchtet nicht ein, wie ich für unendliche Mengen zeigen kann, dass diese Gleichheit gilt.
Und für haben wir folgendes aufgeschrieben: "Ein Maß heißt -endlich, falls mit und .
Wenn mein Maß -endlich wäre, dann müsste ja eben mein sein. Das gilt aber mMn nur für die leere Menge, sprich wenn . Sobald ich nun aber . habe, welche alle einelementigen Teilmengen von enthalten müsste, dann kann diese schon nicht mehr sein, da überabzählbar ist und die Potenzmenge eienr überabzählbaren Menge auch auf jeden Fall wieder überabzählbar ist. Dies gilt immerhin schon für abzählbare Mengen.
Aber wäre das ein zulässiger 'Beweis'?
Bräuchte dringend Hilfe bei und . Danke! :-)
|