Mengenlehre

Mengenlehre

Die Mengenlehre ist das grundlegende Teilgebiet der Mathematik. Die gesamte Mathematik, wie sie heute üblicherweise gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf den Axiomen der Mengenlehre auf. Alle mathematischen Objekte, die in Teilbereichen wie Algebra, Analysis, Geometrie, Stochastik oder Topologie behandelt werden, um nur einige wenige zu nennen, sind Mengen. Gemessen daran ist die Mengenlehre eine recht junge Wissenschaft; erst nach der Überwindung der Grundlagenkrise der Mathematik zu Beginn des 20. Jahrhunderts konnte die Mengenlehre ihren heutigen, zentralen und grundlegenden Platz in der Mathematik einnehmen.

Inhaltsverzeichnis

Geschichte

19. Jahrhundert

Menge als gedankliche Zusammenfassung von Objekten

Die Mengenlehre wurde von Georg Cantor in den Jahren 1874 bis 1897 begründet. Statt des Begriffs Menge benutzte er anfangs Wörter wie „Inbegriff“ oder „Mannigfaltigkeit“; von Mengen und Mengenlehre sprach er erst später. 1895 formulierte er folgende Mengendefinition:

„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.“

Georg Cantor[1]

Cantor klassifizierte die Mengen, insbesondere die unendlichen, nach ihrer Mächtigkeit. Für endliche Mengen ist das die Anzahl ihrer Elemente. Er nannte zwei Mengen äquivalent (gleichmächtig), wenn sie sich bijektiv aufeinander abbilden lassen. Die Mächtigkeit oder Kardinalzahl einer Menge M ist nach Cantor die Äquivalenzklasse der zu M äquivalenten (gleichmächtigen) Mengen. Er beobachtete wohl als Erster, dass es verschiedene unendliche Mächtigkeiten gibt. Die Menge der natürlichen Zahlen und alle dazu gleichmächtigen Mengen heißen nach Cantor abzählbar, alle anderen unendlichen Mengen heißen überabzählbar.

Wichtige Ergebnisse von Cantor

Cantor benannte das Kontinuumproblem: Gibt es eine Mächtigkeit zwischen derjenigen der Menge der natürlichen und der Mächtigkeit der Menge der reellen Zahlen? Er selbst versuchte es zu lösen, blieb aber erfolglos. Später stellte sich heraus, dass die Frage grundsätzlich nicht entscheidbar ist.

Neben Cantor war auch Richard Dedekind ein wichtiger Wegbereiter der Mengenlehre. Er sprach von Systemen statt von Mengen und entwickelte 1872 eine mengentheoretische Konstruktion der reellen Zahlen[2] und 1888 eine verbale mengentheoretische Axiomatisierung der natürlichen Zahlen.[3]

Giuseppe Peano, der Mengen als Klassen bezeichnete, schuf bereits 1889 den ersten formalen Klassenlogik-Kalkül als Basis für seine Arithmetik mit den Peano-Axiomen, die er erstmals in einer präzisen mengentheoretischen Sprache formulierte. Er entwickelte damit die Grundlage für die heutige Formelsprache der Mengenlehre und führte viele heute gebräuchliche Symbole ein, darunter das Symbol \in für das Elementprädikat, das als „ist Element von“ verbalisiert wird.[4]

Eine andere mengentheoretische Begründung der Arithmetik versuchte Gottlob Frege wenig später in seinem Kalkül von 1893. In diesem entdeckte Bertrand Russell 1902 einen Widerspruch, der als Russellsche Antinomie bekannt wurde. Dieser Widerspruch und auch andere Widersprüche entstehen aufgrund einer uneingeschränkten Mengenbildung, weshalb die Frühform der Mengenlehre später als naive Mengenlehre bezeichnet wurde. Cantors Mengendefinition beabsichtigt aber keine solche naive Mengenlehre, wie sein Beweis der Allklasse als Nichtmenge durch die zweite Cantorsche Antinomie belegt.[5]

Cantors Mengenlehre wurde von seinen Zeitgenossen in ihrer Bedeutung kaum erkannt und keineswegs als revolutionärer Fortschritt angesehen, sondern stieß bei manchen Mathematikern, etwa bei Leopold Kronecker, auf Ablehnung. Noch mehr geriet sie in Misskredit, als Antinomien bekannt wurden, so dass etwa Henri Poincaré spottete: „Die Logik ist gar nicht mehr steril – sie zeugt jetzt Widersprüche.“

20. Jahrhundert

Im 20. Jahrhundert setzten sich Cantors Ideen immer mehr durch; gleichzeitig vollzog sich innerhalb der sich entwickelnden Mathematischen Logik eine Axiomatisierung der Mengenlehre, mittels derer zuvor herrschende Widersprüche überwunden werden konnten.

1903/1908 entwickelte Bertrand Russell seine Typentheorie, in der Mengen stets einen höheren Typ als ihre Elemente haben, damit problematische Mengenbildungen unmöglich würden. Er wies den ersten Ausweg aus den Widersprüchen und zeigte in den Principia Mathematica von 1910–1913 auch ein Stück der Leistungsfähigkeit der angewandten Typentheorie. Letztlich erwies sie sich aber als unzulänglich für Cantors Mengenlehre und konnte sich auch wegen ihrer Kompliziertheit nicht durchsetzen.

Handlicher und erfolgreicher war dagegen die von Ernst Zermelo 1907 entwickelte axiomatische Mengenlehre, die er gezielt zur widerspruchsfreien Begründung der Mengenlehre von Cantor und Dedekind schuf. Abraham Fraenkel bemerkte 1921, dass dazu zusätzlich sein Ersetzungsaxiom nötig sei. Zermelo fügte es in sein Zermelo-Fraenkel-System von 1930 ein, das er kurz ZF-System nannte. Er konzipierte es auch für Urelemente, die keine Mengen sind, aber als Mengenelemente in Frage kommen und Cantors „Objekte unserer Anschauung“ einkalkulieren. Die heutige Zermelo-Fraenkel-Mengenlehre ist dagegen nach Fraenkels Vorstellung eine reine Mengenlehre, deren Objekte ausschließlich Mengen sind.

Viele Mathematiker setzten aber statt auf eine konsequente Axiomatisierung auf eine pragmatische Mengenlehre, die Problem-Mengen mied, so etwa die oft aufgelegten Mengenlehren von Felix Hausdorff ab 1914 oder von Erich Kamke ab 1928. Nach und nach wurde es immer mehr Mathematikern bewusst, dass die Mengenlehre eine unentbehrliche Grundlage für die Strukturierung der Mathematik ist. Das ZF-System bewährte sich in der Praxis, weshalb es heute als Basis der modernen Mathematik von der Mehrheit der Mathematiker anerkannt ist; keinerlei Widersprüche konnten mehr aus dem ZF-System abgeleitet werden. Die Widerspruchsfreiheit konnte allerdings nur für die Mengenlehre mit endlichen Mengen nachgewiesen werden, aber nicht für das komplette ZF-System, das Cantors Mengenlehre mit unendlichen Mengen enthält; nach Gödels Unvollständigkeitssatz von 1931 ist ein solcher Nachweis der Widerspruchsfreiheit prinzipiell nicht möglich. Gödels Entdeckungen steckten nur Hilberts Programm, die Mathematik und Mengenlehre auf eine nachweislich widerspruchsfreie axiomatische Basis zu stellen, eine Grenze, aber hinderten den Erfolg der Mengenlehre in keiner Weise, so dass von einer Grundlagenkrise der Mathematik, von der Anhänger des Intuitionismus sprachen, in Wirklichkeit nichts zu spüren war.

Die endgültige Anerkennung der ZF-Mengelehre in der Praxis zog sich allerdings noch über längere Zeit hin. Die Mathematiker-Gruppe mit Pseudonym Nicolas Bourbaki trug wesentlich zu dieser Anerkennung bei; sie wollte die Mathematik auf der Basis Mengenlehre einheitlich neu darstellen und setzte dies ab 1939 in zentralen Mathematikgebieten erfolgreich um. In den 1960er Jahren wurde es dann allgemein bekannt, dass sich die ZF-Mengenlehre als Grundlage der Mathematik eignet. Es gab sogar einen vorübergehenden Zeitraum, in dem die Mengenlehre in der Grundschule behandelt wurde.

Parallel zur Erfolgsgeschichte der Mengenlehre blieb jedoch die Diskussion der Mengenaxiome in der Fachwelt aktuell. Es entstanden auch alternative axiomatische Mengenlehren, etwa 1940 die Neumann-Bernays-Gödel-Mengenlehre, die ZF auf Klassen verallgemeinert, oder 1955 die Ackermann-Mengenlehre, die neu an Cantors Mengendefinition anknüpfte.

Definitionen

Hauptartikel: Menge (Mathematik)

In der reinen Mengenlehre ist das Elementprädikat \in die einzige notwendige Grundrelation. Alle mengentheoretischen Begriffe und Aussagen werden aus ihr mit logischen Operatoren der Prädikatenlogik definiert.

Teilmenge
A ist eine (echte) Teilmenge von B
Hauptartikel: Teilmenge

Eine Menge A heißt Teilmenge einer Menge B, wenn jedes Element von A auch Element von B ist.

Leere Menge

Die Menge, die kein Element enthält, heißt leere Menge. Sie wird mit \emptyset oder auch {} bezeichnet.

Schnittmenge
Schnittmenge von A und B

Gegeben ist eine nichtleere Menge U von Mengen. Die Schnittmenge (auch Durchschnittsmenge) von U ist die Menge der Elemente, die in jeder Elementmenge von U enthalten sind. Formal:

\bigcap U := \{x \mid \forall a\in U : x\in a\}.
Vereinigungsmenge
Vereinigungsmenge von A und B

Dies ist der zur Schnittmenge duale Begriff: Die Vereinigungsmenge von U ist die Menge der Elemente, die in mindestens einer Elementmenge von U enthalten sind. Formal:

\bigcup U := \{x \mid \exists a\in U : x\in a\}.
Gleichheit von Mengen

Zwei Mengen heißen gleich, wenn sie dieselben Elemente enthalten.

Diese Definition bezeichnet die Extensionalität und damit die grundlegende Eigenschaft von Mengen. Formal:

A=B :\Longleftrightarrow \forall x \left(x \in A \,\leftrightarrow x \in B \right)
Differenz und Komplement
A ohne B

Die Differenz wird gewöhnlich nur für zwei Mengen definiert: Die Differenzmenge (auch Restmenge) von A und B (umgangssprachlich auch "A ohne B", s. Abb.) ist die Menge der Elemente, die in A, aber nicht in B enthalten sind. Formal:

A \setminus B := \{ x \mid \left( x\in A \right) \and \left( x\not\in B \right) \}.

Man nennt die Differenz auch Komplement von B in Bezug auf A. Ist die Menge A als Grundmenge vorausgesetzt und B eine Teilmenge von A, spricht man einfach vom Komplement der Menge B und schreibt z.B.:

 B^C := \{ x \mid  x\not\in B  \}.
Symmetrische Differenz
Symmetrische Differenz von A und B

Bisweilen wird noch die "symmetrische Differenz" benötigt:

A \triangle B := \{ x \mid \left( \left( x\in A \right) \and \left( x\not\in B \right)  \right) \or \left( \left( x\in B \right) \and \left( x\not\in A \right) \right) \}.
Kartesisches Produkt

Die Produktmenge oder das kartesische Produkt, in älterer Terminologie auch Verbindungsmenge oder Produkt zweiter Art, soll hier ebenfalls zunächst als Verknüpfung von zwei Mengen definiert werden:

Die Produktmenge von A und B ist die Menge aller geordneten Paare, deren erstes Element aus A und deren zweites Element aus B ist.

Potenzmenge

Die Potenzmenge \mathcal P(A) von A ist die Menge aller Teilmengen von A.

Die Potenzmenge von A enthält immer die leere Menge und die Menge A. Somit ist \mathcal P(\emptyset)=\{\emptyset\}, also eine einelementige Menge.

Mächtigkeit und Kardinalzahl

Die Mächtigkeit (Kardinalität) einer Menge A wird mit | A | (zuweilen auch #A) bezeichnet. Bei endlichen Mengen bedeutet | A | die Anzahl der Elemente von A, also eine natürliche Zahl. Gleichwohl ist der Begriff Kardinalzahl eine Verallgemeinerung der Elementanzahl einer (endlichen) Menge. Unter Einbeziehung der Arithmetik der Kardinalzahlen wird die Mächtigkeit der Potenzmenge von A, auch bei unendlichen Mengen, mit 2 | A | bezeichnet.

Gesetzmäßigkeiten

Die Menge \mathcal P(X) ist bezüglich der Relation \subseteq partiell geordnet, denn für alle A,B,C\subseteq X gilt:

Die Mengen-Operationen Schnitt \cap und Vereinigung \cup sind kommutativ, assoziativ und zueinander distributiv:

Für die Differenzmenge gelten folgende Gesetzmäßigkeiten:

  • Assoziativgesetze: (A \setminus B) \setminus C = A \setminus (B \cup C) und A \setminus (B \setminus C) = (A \setminus B) \cup (A \cap C)
  • Distributivgesetze: (A \cap B) \setminus C = (A \setminus C) \cap (B \setminus C) und (A \cup B) \setminus C = (A \setminus C) \cup (B \setminus C) und A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C) und A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)

Für die symmetrische Differenz gelten folgende Gesetzmäßigkeiten:

  • Assoziativgesetz: (A \triangle B) \triangle C = A \triangle (B \triangle C)
  • Kommutativgesetz: A \triangle B = B \triangle A
  • Distributivgesetz: (A \triangle B) \cap C = (A \cap C) \triangle (B \cap C)
A \triangle \emptyset = A \quad A \triangle A = \emptyset

Die Algebra der Mengen ist eine sogenannte Boolesche Algebra.

Siehe auch

Wikibooks Wikibooks: Mathe für Nicht-Freaks: Mengenlehre – Lern- und Lehrmaterialien
Wikibooks Wikibooks: Beweisarchiv: Mengenlehre – Lern- und Lehrmaterialien

Literatur

Weblinks

Wiktionary Wiktionary: Mengenlehre – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

  1. Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre. In: Mathematische Annalen 46 (1895), S. 481. online
  2. Richard Dedekind: Stetigkeit und irrationale Zahlen. Braunschweig 1872.
  3. Richard Dedekind: Was sind und was sollen die Zahlen? Braunschweig 1888.
  4. Giuseppe Peano: Arithmetices Principia nova methodo exposita. Turin 1889
  5. Brief von Cantor an Dedekind vom 31. August 1899, in: Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. ed. E. Zermelo, Berlin 1932, S. 448.

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Mengenlehre — Mengenlehre. Eine Punktmenge ist die Gesamtheit von unendlich oder endlich vielen Punkten. Grenzpunkte der Menge heißen die Punkte, in deren Umgebung, so klein sie auch sein möge, immer Punkte der Menge liegen. Die Grenzpunkte bilden selbst eine… …   Lexikon der gesamten Technik

  • Mengenlehre — 1 die Menge A, die Menge a,b,c,d,e,f,g 2 die Elemente n der Menge A 3 die Menge B, die Menge u,v,w,x,y,z 4 die Schnittmenge (der Durchschnitt, die Durchschnittsmenge) A НГ B = f,g,u 5 u. 6 die Vereinigungsmenge A НД B = a,b,c,d,e,f,g,u,v,w,x,y,z… …   Universal-Lexikon

  • Mengenlehre — Mẹn·gen·leh·re die; nur Sg, Math; ein Bereich der Mathematik, in dem man mit abstrakten Mengen (4) anstatt mit einzelnen Zahlen rechnet …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • Mengenlehre — kurz vor 1900 von G. Cantor begründete Disziplin, in der mit Mengen operiert bzw. gerechnet wird. Die grundlegenden Operationen sind das Bilden der Vereinigungsmenge (Operationszeichen ∪), das Bilden der ⇡ Schnittmenge (Operationszeichen ∩) und… …   Lexikon der Economics

  • Mengenlehre — Mẹn|gen|leh|re Plural selten (Mathematik, Logik) …   Die deutsche Rechtschreibung

  • Vereinigung (Mengenlehre) — Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik. Zahlreiche mathematische Disziplinen werden heute auf der Mengenlehre aufgebaut, darunter die Algebra, Analysis, Maßtheorie, Stochastik und Topologie. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Naive Mengenlehre — Der Begriff „naive Mengenlehre“ entstand am Anfang des 20. Jahrhunderts als Reaktion auf die Mengenlehre des 19. Jahrhunderts, in der eine ungeregelte oder unbeschränkte Mengenbildung praktiziert wurde.[1] Wegen Widersprüchen, die sich in ihr… …   Deutsch Wikipedia

  • Zermelo-Fraenkel-Mengenlehre — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… …   Deutsch Wikipedia

  • Axiomatische Mengenlehre — Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo Fraenkel Mengenlehre mit… …   Deutsch Wikipedia

  • Klasse (Mengenlehre) — Als Klasse wird heute in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte bezeichnet. Eine Klasse wird definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen. Vom Klassenbegriff ist der …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”