Beweisarchiv: Mengenlehre: Charakteristikum unendlicher Mengen
In einer Arbeit aus dem Jahre 1952 behandelt der Mathematiker Jürgen Schmidt die Frage, wie sich die in der Algebra auftretenden Hüllenoperatoren und die zugehörigen Hüllensysteme ordnungs- und mengentheoretisch beschreiben lassen. Er formuliert dabei den folgenden Hauptsatz über algebraische Hüllensysteme:[1]
- Ein Hüllensystem ist algebraisch genau dann, wenn es induktiv ist.
Bei der Herleitung dieses Hauptsatzes benutzt er an entscheidender Stelle den folgenden Hilfssatz:[2]
- Jede unendliche Menge ist darstellbar als Vereinigungsmenge einer Inklusionskette[3] , deren Mengen allesamt eine Mächtigkeit haben, welche stets echt kleiner ist als die Mächtigkeit von selbst.
Dieser Hilfssatz ist, wie sich zeigen lässt und was hier gezeigt wird, auf direktem Wege unter Anwendung des zornschen Lemmas herleitbar.
Beweisschritt I
BearbeitenWir setzen
und zeigen, dass die teilweise geordnete Menge nicht induktiv ist.
Nimmt man nämlich – im Widerspruch dazu! – die Induktivität von als gegeben an, so folgt durch Anwendung des zornschen Lemmas, dass es in ein maximales Element geben muss. Wegen muss dann auch gelten und man hat ein Element . Aus Maximalitätsgründen folgt . Also ist auch unendlich und man gewinnt die Gleichung . Damit gilt und zugleich , was in sich widersprüchlich ist.
Beweisschritt II
BearbeitenEs ist also nicht induktiv und damit gibt es eine -Kette , welche die Gleichung
erfüllt. Es existiert folglich eine bijektive Abbildung .
Zu diesem setzen wir nun
Hierzu gilt nun
- 1.
und
- 2.
und alles ist gezeigt.
Charakteristische Eigenschaft
BearbeitenDass der genannte Hilfssatz tatsächlich eine charakteristische Eigenschaft unendlicher Mengen angibt, also für eine endliche Menge nie gilt, sieht man wie folgt:
Für eine solche endliche Menge ist stets auch die Potenzmenge endlich. Folglich gilt dies auch für jede Inklusionskette von echten -Teilmengen. Somit wird man als Vereinigungsmenge einer solchen stets nur die größte der in dieser Inklusionskette enthaltenen -Teilmengen erhalten, welche gemäß Voraussetzung von einer Mächtigkeit echt kleiner als die der endlichen Menge selbst sein muss.
Literatur
Bearbeiten- Jürgen Schmidt: Über die Rolle der transfiniten Schlussweisen in einer allgemeinen idealtheorie. In: Mathematische Nachrichten. 7, S. 165–182.