Das Maßproblem

Diplomarbeit aus dem Jahr 2008 im Fachbereich Mathematik - Sonstiges, Note: 1,0, Humboldt-Universität zu Berlin, Sprache: Deutsch, Abstract: Als sich Henri Lebesgue 1902 in seiner Doktorarbeit Gedanken über ein sinnvolles und praktisch einsetzbares Konzept eines Maßes machte, ahnte er nicht, welche Größe das Problem haben würde, an dem er sich versuchte. Er suchte nach einer Funktion, welche jeder Menge von reellen Zahlen einen rellen Wert zuordnete, den man das "Maß der Menge" nennen konnte. Diese Funktion sollte positiv, abzählbar additiv und invariant unter längentreuen Abbildungen sein. Die Definition einer Maßfunktion mit diesen drei Eigenschaften, welche man als erwartbar ansah, schien auf den ersten Blick völlig natürlich und leicht durchführbar, stellte sich aber schon bald als schwere Aufgabe heraus, die vielleicht sogar unlösbar war. In dieser Arbeit wird die Frage nach der Lösbarkeit des Maßproblems behandelt. Neben dem historischen Kontext stehen dabei hauptsächlich die beiden Ergebnisse im Vordergrund, welche diese Frage beantworteten. Wie sich zwischen 1970 und 1984 entgegen den Erwartungen vieler Mathematiker zeigte, ist es nicht möglich, in ZF + DC die Lebesguemessbarkeit aller Teilmengen der reellen Zahlen zu fordern, ohne auch die Konsistenz von ZFC mit der Existenz einer unerreichbaren Kardinalzahl einzugestehen. Da jedoch diese Existenz nach den Gödelschen Unvollständigkeitssätzen in ZFC nicht entscheidbar ist, bedeutet dies, dass man sich für die Existenz eines vollen Lebesguemaßes auf eine Theorie stützen muss, die echt stärker ist als die übliche Grundlage ZFC, nämlich ZFC + "Es existiert eine unerreichbare Kardinalzahl".