Menge (Mengenlehre)

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

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

Umfang: 4 (unwichtige 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. die nachfolgenden Anmerkungen zu Cantors Definition).

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

Laut Wußing wurde die eigenltiche 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 reellen Zahlen echt mächtiger als die Menge der natürlichen Zahlen ist. In den folgenden Jahren verfeinert Cantor die Grundideen der Mengenlehre in mehreren Abhabhandlungen zum Thema „Mannichfaltigkeitslehre“. Später ersetzt er die Begriffe „Inbegriff“ und „Mannichfaltigkeit“ durch den von Bolzano geprägten Begriff „Menge“.

Cantors Definition führt, wenn man eine uneingeschränkte Mengenbildung zulässt, zu Antinomien, d.h. zu logischen Paradoxien. Die berühmteste dieser Antonomienn, 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:

• Bereits 1897 bewies Cantor in einen Brief an Hilbert, dass die Klasse aller Kardinalzahlen keine „fertige Menge“ ist.
• 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.

Laut Wußing „nahm [Cantor] die Existenz von Antinomien relative 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, die Klasse aller Ordinalzahlen, die Klasse aller Kardinalzahlen sowie die Russellsche Klasse alles Unmengen,

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 Universum von „Mengen“ gibt, für das bestimmte Regeln gelten. 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 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 \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.

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 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 folgenden 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 (Reihenfolge der Elemente liegt fest; Element können mehrfach vorkommen)
• 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).

TO BE DONE

Freges axiomatische Mengendefinition