Menge (Mengenlehre)

Definition nach Bolzano

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, ...

Definition nach Cantor (1895)

Unter einer Menge verstehen wir jede Zusammenfassung $ M $ von bestimmten wohlunterscheidbaren Objekten $ m $ unserer Anschauung und unseres Denkens (welche Elemente von $ M $ genannt werden) zu einem Ganzen.

Anmerkungen

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

Die Definition von Cantor führt, wenn man eine uneingeschränkte Mengenbildung zulässt, zu einer Antinomie, d.h. zu einem logischen Paradoxon. Dieses wurde 1902 erstmals von Bertrand Russell beschrieben und ist heute unter dem Namen Russellsche Antinomie bekannt.

Um diese Paradoxon zu vermeiden, muss man die Mengenbildung einschränken. Man muss also zusätzlich festlegen, welches die „bestimmten“ Objekte sind, die man in einer Menge zusammenfassen darf. Man beachte, dass die Einschränkung auf „bestimmte“ Objekt bereits von Cantor gefordert wurde. Nur war ihm damals vermutlich noch nicht bewusst, wie wichtig dieser einschränkende Zusatz ist.

Anschauliche Definition: Kumulative Typenstruktur

Gegeben sei ein „Vorrat“ von wohlunterscheidbaren Urelementen. Unter diesen Elementen befinde sich keine der nachfolgend definierten Mengen.

• Eine Menge der $1$. Stufe ist eine Zusammenfassung von Urelementen.
• Eine Menge der $n+1$. Stufe ist eine Zusammenfassung von Urelementen und/oder Mengen einer niedrigeren Stufe $i \le n$.

Anmerkungen

Die kumulative Typenstruktur vereitelt die Russellsche Antinomie, indem sie Definition der so genannten Russell-Menge („Menge aller Mengen, die sich nicht selbst enthalten“) unterbindet.

Geschichte und weitere Varianten der hierarchischen Typenstrukturen: siehe Hauptartikel Kumulative Typenstruktur.

Formale mathematische Definitionen

In der Mathematik werden „Mengen“ selbst nicht definiert (genauso wenig wie „Punkte“, „Gruppen“ etc.). Stattdessen geht man davon aus, dass es ein Universum von „Mengen“ gibt, für das bestimmte Regeln gelten. Diese Regeln werden im Rahmen der sogenannten Mengenlehre mit Hilfe der Prädikatenlogik erster Stufe formal festgelegt.

Heutzutage werden im Wesentlichen zwei prädikatenlogische Axiomensystem eingesetzt:

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

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

• $x \subseteq y \quad :\leftrightarrow\quad \forall e: e \in x \leftrightarrow e \in y$
• $x = y \quad :\leftrightarrow\quad x \subseteq y \wedge y \subseteq x$
• etc.

Während der Zermelo-Fraenkel-Mengenlehre ein Universum von „Mengen“ zugrunde liegt, wird in der Neumann-Bernays-Gödel-Mengenlehre ein allgemeiners Universum betrachtet: Ein Universum von „Klassen“. In diesem Univesum gibt es zwei Arten von Klassen: „Mengen“ und „Unmengen“. Eine Menge zeichnet sich dadurch aus, dass sie Element einer beliebigen Klasse ist. Eine Unmenge ist dagegen kein Element irgendeiner Klasse.

Anmerkungen

Die Russellsche Antinomie wird in jedem der zuvor beschriebenen Axiomensystemen durch eine (axiomatische) Beschränkung der Mengenbildung vermieden. In der Zermelo-Fraenkel-Mengenlehre kann die Russell-Menge 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 Unmenge. Es gibt also auch hier keine Russelmenge.

Die Frage, ob die Axiomensystemen der Mengenlehre nun, da die Russellsche Antinomie beseitigt wurde, widerspruchsfrei sind, oder ob es weitere Antinomien gibt, kann nicht bewiesen 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 Artihmetik 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 ... 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 folgenden zwei Eigenschaften:

• 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$.
• Die Element-Beziehung legt keine Reihenfolge der Elemente fest: $\{a,b,c\} = \{c,b,a\} = \{b,a,c\} \ldots$

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

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

Alle diese Arten von Containern werden vor Allem im Programmiersprachen verwendet. Aus mengentheoretischer Sicht reicht es aus, das Paarmengenaxiom zu fordern. Damit können alle diese Arten von Containern mit Hilfe von Mengen nachgebildet werden (siehe insbesondere folgenden Artikel: Tupel).

Quelle

6. Schwichtenberg (2000): Helmut Schwichtenberg; Mathematische Logik; Hochschule: Ludwig-Maximilians-Universität; Adresse: München; Web-Link; 2000; Quellengüte: 5 (Skript)
7. Schwichtenberg (1985): Helmut Schwichtenberg; Mengenlehre; Hochschule: Ludwig-Maximilians-Universität; Adresse: München; 1985; Quellengüte: 4 (Skript)

Siehe auch

Wikipedia:Menge (Mathematik)