Urelement

Urelemente sind in der Mengenlehre Elemente, die selbst keine Elemente enthalten.^[1][2] Sie bilden also einen echten Teilbereich der Elemente. Urelemente sind von Individuen zu unterscheiden, da letztere heute in der Mathematik meist mit Elementen gleichgesetzt werden.

Formal bilden die Urelemente die Klasse $\{X |\forall Y\colon Y \notin X\}$.

Als Urelemente können mathematisch nicht näher bestimmte, vorgegebene Objekte und Dinge aufgefasst werden, etwa Äpfel, Birnen, Menschen, Pferde etc., die sich wie andere Elemente in Mengen zusammenfassen lassen. Sie entsprechen den Objekten der Anschauung in der Mengendefinition von 1895 von Georg Cantor:

Unter einer „Menge“ verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die „Elemente“ von M genannt werden) zu einem Ganzen.^[3]

An dieser Definition orientierte sich Zermelo in seiner Axiomatisierung von Cantors Mengenlehre: Sowohl die Zermelo-Mengenlehre von 1907 als auch das originale ZF-System von 1930 setzen einen Bereich von Dingen voraus, der als echten Teilbereich die Mengen enthält und darüber hinaus auch andere Dinge, denen er 1930 den Namen „Urelemente“ gab; diese Urelemente enthalten keine Elemente, da er elementhaltige Dinge stets als Mengen ansah.^[4] Eine solche Mengenlehre mit Urelementen kommt dem philosophischen Bedürfnis nach einer allgemeinen logischen Sprache entgegen. Der Mathematiker Abraham Fraenkel plädierte 1921 erstmals für eine reine Mengenlehre ohne zusätzliche Urelemente. Mit seinem Ersetzungsaxiom kann man nämlich eine Menge mit Urelementen auf eine gleichmächtige Menge ohne Urelemente abbilden. Daher kommt man bei der mengentheoretischen Beschreibung irgendwelcher Sachverhalte ohne zusätzliche Urelemente aus. Bereits die erste Formalisierung der ZF-Mengenlehre von Thoralf Skolem 1929 verzichtete auf zusätzliche Urelemente. Das machte dann Schule, so dass heutige ZF-Axiomensysteme in der Regel eine reine ZF-Mengenlehre beschreiben (das einzige Urelement ist hier die leere Menge). Die reine Mengenlehre hat auch den Vorzug der Einfachheit, da ihre einfacheren Axiome einfachere Beweise gestatten. Für Urelemente braucht man vor allem eine abgeschwächte Extensionalität, die nur für Mengen gilt und nicht für Urelemente; formale Beweise werden dann mühsamer, da immer zusätzliche Mengenbedingungen (auch bei anderen Axiomen) mitgeschleppt werden müssen. Es gibt aber auch noch moderne Mengenlehren, die Urelemente einkalkulieren, etwa die Ackermann-Mengenlehre (Variante) oder die allgemeine Mengenlehre von Arnold Oberschelp, die auf einer Klassenlogik aufbaut.

Andere Definition

Mitunter werden Urelemente auch als Elemente, die keine Mengen sind, definiert.^[5][6] Bei dieser Festlegung scheidet dann die leere Menge als Urelement aus, dafür sind theoretisch aber echte Klassen als Urelemente möglich, was nicht zu Zermelos Urelement-Intention passt, aber interessante Formen der Mengenlehre mit realen echten Klassen ermöglicht.^[7]

Literatur (chronologisch)

• Zermelo, Ernst: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908) S. 261-281
• Fraenkel, Adolf: Einleitung in die Mengenlehre. Springer Verlag, Berlin-Heidelberg-New York 1928. Neudruck: Dr. Martin Sändig oHG, Walluf 1972, ISBN 3-500-24960-4.
• Skolem, Thoralf: Über einige Grundlagenfragen der Mathematik, 1929, in: selected works in logic, Oslo, 1970, S. 227-273
• Zermelo, Ernst: Über Grenzzahlen und Mengenbereiche, in: Fundamenta Mathematicae 16 (1930), S. 29-47
• Oberschelp, Arnold: Allgemeine Mengenlehre, Mannheim, Leipzig, Wien, Zürich, 1994

Einzelnachweise

1. ↑ Felscher: Naive Mengen und abstrakte Zahlen I, S. 49
2. ↑ Oberschelp, Allgemeine Mengenlehre, S. 28
3. ↑ Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre. In: Mathematische Annalen 46 (1895), S. 31.
4. ↑ Zermelo: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908), S. 262 (2.)
5. ↑ Meschkowsi: Mathematisches Begriffswörterbuch, Mannheim 1976, S. 279
6. ↑ en: Urelement
7. ↑ Oberschelp: Eigentliche Klassen als Urelemente in der Mengenlehre, in Mathematische Annalen 157 (1964), S.234-260