Menge (Mengenlehre)

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 4 (großteils überprüft)

Umfang: 3 (einige wichtige Fakten fehlen)

Quellenangaben: 5 (vollständig vorhanden)

Quellenarten: 5 (ausgezeichnet)

Konformität: 5 (ausgezeichnet)

Definition (Bolzano (ca. 1840))

Inbegriffe nun, bey welchen auf die Art, wie ihre Theile mit einander verbunden sind, gar nicht geachtet werden soll, an denen somit Alles, was wir an ihnen unterscheiden, bestimmt ist, sobald nur ihre Theile <selbst> bestimmt sind, verdienen es eben um dieser Beschaffenheit willen, mit einem eigenen Nahmen bezeichnet zu werden. In Ermangelung eines andern tauglichen Wortes erlaube ich mir das Wort Menge zu diesem Zwecke zu brauchen; da es von Mengen abgeleitet wird, auch im gemeinen Leben nur zur Bezeichnung solcher Inbegriffe, bey denen man keine Ordnung der Theile beachtet, angewandt wird, ...

Anmerkungen

Der Begriff Menge als Zusammenfassung von Theilen geht gemäß dieser Definition auf Bernard Bolzano zurück. Bolzano betont, dass es nicht darauf ankommt ob und wie diese Theile verbunden sind. Beispielsweise ist ein Uhrwerk, das aus Rädern, Federn und dergleichen besteht, für Bolzano keine Menge, da es hier darauf ankommt, wie diese Theile verbunden sind.

Bolzanos Definition ist allerdings nicht sonderlich befriedigend, da er zur Definition des Begriffs „Menge“ den Begriff „Inbegriff“ verwendet, der lange Zeit als Synonym für „Menge“ verwendet wird (vgl. nachfolgende Definition von Cantor).

Definition (Cantor (1883b), S. 557, Anmerkung 1)

Unter einer Mannichfaltigkeit oder Menge verstehe ich nähmlich allgemein jedes Viele, welches sich als Eines denken lässt, d. h. jeden Inbegriff bestimmter Elemente, welcher durch ein Gesetz zu einem Ganzen verbunden werden kann [...]

Anmerkungen

Laut Wußing wurde die eigentliche Mengenlehre 1874 von Georg Cantor mit der Abhandlung „Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen“begründet. In dieser Schrift beweist Cantor, dass die Menge der algebraischen Zahlen abzählbar, also genauso mächtig wie die Menge der natürlichen Zahlen ist, aber die Menge der reellen Zahlen überabzählbar, d. h. echt mächtiger als die Menge der natürlichen Zahlen ist. (Insbesondere hat er damit die Existenz transzendernter Zahlen, also nicht-algebraischer reeller Zahlen bewiesen.) In den folgenden Jahren verfeinert Cantor die Grundideen der Mengenlehre in mehreren Abhandlungen zum Thema „Mannichfaltigkeitslehre“. Später ersetzt er die Begriffe „Inbegriff“ und „Mannichfaltigkeit“ durch den von Bolzano geprägten Begriff „Menge“.

Cantor merkt im Anschluss an seine Definition von 1883 an, dass diese Begriffe pythagoreischen Ursprungs sind:

[...] und ich glaube hiermit etwas zu definiren, was verwandt ist mit dem Platonischen eἶδος oder ίδέα, wie auch mit dem, was Platon in seinem Dialoge „Philebos oder das höchste Gut“ μιϰτóν nennt. Er setzt dieses dem ἄπειρον, d. h. dem Unbegrenzten, Unbestimmten, welches ich Uneigentlich-unendliches nenne, sowie dem πέρας d. h. der Grenze entgegen und erklärt es als ein geordnetes „Gemisch“ der beiden letzteren. Dass diese Begriffe Pythagoreischen Ursprungs sind, deutet Platon selbst an; man vergleiche A. Boeckh, Philolaos des Pythagoreers Lehren. Berlin 1819.

Außerdem wird anhand dieser Anmerkung klar, dass Cantor tatsächlich vor allem an Mengen mit unendlich vielen Elementen interessiert war.

Definition (Cantor (1895))

Unter einer ‚Menge‘ verstehen wir jede Zusammenfassung $ M $ von bestimmten wohlunterscheidbaren Objecten $ m $ unserer Anschauung oder unseres Denkens (welche die Elemente von $ M $ genannt werden) zu einem Ganzen.

Anmerkungen

Cantors Definitionen führen, wenn man eine uneingeschränkte Mengenbildung zulässt, zu Antinomien, d.h. zu logischen Paradoxien. Die berühmteste dieser Antonomien, nämlich dass es keinen Menge geben kann, die alle Menge enthält, die sich nicht selbst enthalten, wurde 1902 erstmals von Bertrand Russell beschrieben und ist heute unter dem Namen Russellsche Antinomie bekannt. Allerdings waren Cantor ähnliche Antinomien bereits deutlich früher bekannt:

• 1897, d.h. fünf Jahre vor Russell bewies Cantor in einen Brief an Hilbert, dass die Klasse aller Kardinalzahlen keine „fertige Menge“ ist (Erste Cantorsche Antinomie).
• 1899 beschrieb Cantor in einem Brief an Dedekind, dass auch die Klasse aller Ordinalzahlen keine Menge ist. Diese Tatsache wurde allerdings schon 1887 von Burali-Forti beweisen und ist daher heute unter dem Namen „Burali-Forti-Paradoxon“ bekannt.
• Im zuvor genannten Brief sowie in einem weiteren Brief an Dedekind bewies Cantor außerdem, dass „der Inbegriff alles Denkbaren“ bzw. „das System aller denkbaren Klassen“, d.h. die Allklasse, wie wir sie heue nennen, keine Menge ist (Zweite Cantorsche Antinomie).

Laut Wußing „nahm [Cantor] die Existenz von Antinomien relativ gelassen auf“. Um derartige Paradoxien zu vermeiden, muss man die Mengenbildung einschränken. Man muss also zusätzlich festlegen, welches die „bestimmten“ Objekte sind, die man gemäß der Definition von Cantor in einer Menge zusammenfassen darf. Cantor hat in seinem Brief an Dedekind den Vorschlag gemacht, zwischen „Mengen“ und „inkonsistenten Vielfachheiten“ zu unterscheiden und damit die heute übliche Unterscheidung zwischen „Mengen“ und „Unmengen“ (= „echte Klassen“) vorweggenommen. Gemäß den Erkenntnissen von Cantor und Russell sind beispielweise die Allklasse $\{x:x=x\}$, die Klasse aller Ordinalzahlen, die Klasse aller Kardinalzahlen sowie die Russellsche Klasse $\{x:x\not\in x\}$ Unmengen.

Definition (Felscher (1978))

Wir stellen uns irgendwelche Dinge vor, die wir MENGEN nennen wollen, von denen wir aber nur zu wissen brauchen, dass zwischen je zweien von ihnen, $a$ und $b$ , eine gewisse Beziehung, die ELEMENT-BEZIEHUNG , entweder besteht oder nicht besteht: $a \,\epsilon\ b$ oder $\text{nicht}\, a \,\epsilon\, b$ . Wir sprechen dann von einem MODELL DER MENGENLEHRE , wenn diese Element-Beziehung gewisse Eigenschaften besitzt, die wir alsbald, in noch gesondert zu nennenden Axiomen, aufführen werden. Es ist dabei gleichgültig, ob die vorgestellten Dinge wirklich Mengen (von Erbsen, von kleinen Jungen oder von Zahlen) sind, oder ob es sich um Tische, Stühle oder Biergläser handelt; von Bedeutung ist allein, dass man zwischen ihnen eine Element-Beziehung erklären kann, welche den anzugebenden Axiomen genügt.

Formale mathematische Definitionen

In der modernen Mathematik werden „Mengen“ selbst nicht mehr definiert (genauso wenig wie „Punkte“, „Gruppen“ etc.). Stattdessen geht man davon aus, dass es ein Programmiersprache C von „Mengen“ gibt, für das bestimmte Regeln gelten (siehe die vorangegangene Definition von Felscher). Diese Regeln werden im Rahmen der sogenannten Mengenlehre meist mit Hilfe der Prädikatenlogik erster Stufe oder der Prädikatenlogik erster Stufe mit Gleichheit formal festgelegt.

Heutzutage werden prädikatenlogische Axiomensysteme eingesetzt, wie z.B.:

• Zermelo-Fraenkel-Mengenlehre
• Neumann-Bernays-Gödel-Mengenlehre
• Klassenlogik

In derartigen Axiomensystemen gibt es ein zentrales Prädikat, die so genannte Elementbeziehung: $x \in y$ („$x$ ist Element von $y$“). Weitere Prädikate, wie die Teilmengenbeziehung ($x \subseteq y$), die Gleichheit zweier Mengen ($x=y$) etc. können mit Hilfe der Elementbeziehung definiert werden:

• $x \subseteq y \quad :\leftrightarrow\quad \forall e: e \in x \rightarrow e \in y$
• $x = y \quad :\leftrightarrow\quad x \subseteq y \wedge y \subseteq x$ (in einer Prädikatenlogik mit Gleichheit ist dies ein beweisbarer Satz)
• etc.

Die von Cantor und Russell entdeckten Antinomien werden in jedem dieser Axiomensysteme durch eine (axiomatische) Beschränkung der Mengenbildung vermieden. Beispielsweise kann die Russell-Menge in der Zermelo-Fraenkel-Mengenlehre nicht definiert werden, in der Neumann-Bernays-Gödel-Mengenlehre kann zwar die Russell-Klasse definiert werden. Bei dieser Klasse handelt es sich jedoch um eine echte Klasse (virtuelle Klasse, Unmenge). Es gibt also auch hier keine Russell-Menge.

Die Frage, ob die Axiomensystemen der Mengenlehre nun, da die Russellsche Antinomie beseitigt wurde, widerspruchsfrei sind, kann nicht positiv beantwortet werden. In seinem zweiten Unvollständigkeitssatz beweist Kurt Gödel, dass hinreichend starke widerspruchsfreie Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können. Mit „hinreichend stark“ ist hier gemeint, dass die Arithmetik der natürlichen Zahlen im System formalisiert werden kann. Dies ist bei den Mengenlehreaxiomen der Fall.

Allerdings gibt es zahlreiche Beweise der Art „Wenn die Zermelo-Fraenkelsche-Mengenlehre widerspruchsfrei ist, dann ist auch das erweiterte/eingeschränkte System XYZ widerspruchsfrei“.

Weitere Zusammenfassungen von Objekten

Mengen sind nicht die einzige Möglichkeit, „Objekte unserer Anschauung und unseres Denkens“ zu einer Einheit zusammenzufassen.

Die Definition von Cantor ist hinsichtlich des Aufbaus von Mengen etwas unpräzise. Für axiomatisch definierte Mengen und Klassen gelten jedoch folgende zwei Eigenschaften:

• Die Element-Beziehung legt keine Reihenfolge der Elemente fest: $\{a,b,c\} = \{c,b,a\} = \{b,a,c\} \ldots$
  (vgl. insbesondere Bolzanos Definition).
• Zwei Klassen, die dieselben Elemente enthalten, werden als gleich bezeichnet und behandelt, unabhängig davon, wie oft eine Klasse ein Element enthält. Anschaulich bedeutet das, das eine Klasse jedes Element höchstens einmal enthält: $\{a,b,c\} = \{a,a,a,b,b,c,c,c,c,c\} = \{a,b,a,c,a\} \ldots$.

Andere Arten von „Objekt-Zusammenfassungen“ berücksichtigen die Anzahl und/oder die Reihenfolge der Elemente:

• Tupel (die Reihenfolge der Elemente liegt fest; Elemente können mehrfach vorkommen)
• Liste (die Reihenfolge der Elemente liegt fest; Elemente können mehrfach vorkommen)
• Feld/Array (die Reihenfolge und die Anzahl der Elemente liegen fest; Elemente können mehrfach vorkommen)
• assoziatives Feld (jedes Element hat einen eigenen Bezeichner; Elemente können mehrfach vorkommen)
• Multimenge (die Reihenfolge der Elemente ist undefiniert; Elemente können mehrfach vorkommen)

Diese Arten von Containern werden vor allem im Programmiersprachen verwendet. Aus mengentheoretischer Sicht können sie mit Hilfe von geordneten Paaren nachgebildet werden (siehe auch folgenden Artikel: Tupel).

Siehe auch

• Container