Autor |
Beitrag |
Pitt
| Veröffentlicht am Mittwoch, den 06. Dezember, 2000 - 12:50: |
|
Kann mir jemand helfen? Aufgabe: Konstruiere eine nicht Lebesguemessbare Teilmenge von R ohne das Auswahlaxiom zu benutzen. |
Zaph (Zaph)
| Veröffentlicht am Mittwoch, den 06. Dezember, 2000 - 21:16: |
|
Glaube nicht, dass das geht! |
Grmph
| Veröffentlicht am Donnerstag, den 07. Dezember, 2000 - 13:51: |
|
Geht nicht, denn die Existenz nichtlebesguemessbarer Teilmengen von R ist unabhaengig von ZF, wie von Solovay (glaube ich) gezeigt wurde. Allerdings benoetigt man Forcing um solch ein Modell (abzaehlbar, transitiv, also 'nur' Modell einer beliebigen endlichen TM von ZF) in dem jede TM von R L-messbar ist zu konstruieren. Die Arbeit heisst: " A model of set theory where every set of Reals is L-measureable " oder so aehnlich. |
|