Benutzer:Stabacs/ Mengenlehre

Mengenlehre

Geschichtliches

Nach der Definition des MathematikersGeorg Cantor,der als Begründer derMengenlehregilt, ist eine Menge"eine Zusammenfassung von bestimmten wohl unterschiedenen Objekten der Anschauung oder des Denkens, welche die Elemente der Menge genannt werden, zu einem Ganzen".

Grundlage

Die Definition von Cantor klingt heute etwas geschwollen. Es ist der sogenanntenaive Standpunkt.Kurz gesagt ist eine Menge nach demnaiven StandpunkteineZusammenfassung unterscheidbarer Objektewobei diese Objekte als Elemente bezeichnet werden. Dasunterscheidbarin obigem Satz ist wichtig, weil in einer Menge kein Element doppelt vorkommen darf. So ein Objekt kann also zum Beispiel eine Zahl sein, ein Wort oder eben alles Andere, was voneinander unterscheidbar ist.

Angeben einer Menge

Im Prinzip gibt es drei verschiedene Möglichkeiten eine Menge anzugeben:

1. durch explizites Aufzählen aller Elemente, die in der Menge enthalten sind, und zwar in geschweiften Klammern. Zum Beispiel$M:={\big \{}7,8,5,12{\big \}}$oder$M:={\big \{}14.87,45.122{\big \}}$oder aber auch sowas wie$M:={\big \{}\mathrm {Baum},\mathrm {Strauch},\mathrm {Blume} {\big \}}$.Die Elemente müssen bei so einer Aufzählung deutlich voneinander getrennt sein, deswegen verwendet man üblicherweise einenBeistrichzwischen den Elementen. Bei Zahlen ist aber (gerade wenn am Computer geschrieben wird) auch einfach nur ein Leerzeichen denkbar. Wenn mit der Hand geschrieben wird, sind Zwischenräume aber eher ungünstig, weil die meistens mit der Zeit so eng werden, dass nicht mehr wirklich gesagt werden kann, ob es noch eine Lücke ist oder nicht.
2. durch implizites Aufzählen aller Elemente, welche in der Menge enthalten sind. Dabei werden charakteristische Elemente der Menge angegeben und dem Leser durch "..." angezeigt, dass es mehr als die angegeben Elemente gibt, die einer bestimmten Form genügen. So kann man zum Beispiel die Menge$P$aller Primzahlen durch$P:={\big \{}2,3,5,7,11,13,...{\big \}}$angeben.
3. durch Definieren ihrer Eigenschaft, z.B. mittels$M:={\big \{}n\mid 50\ \mathrm {kleiner\ als} \ n,\ n\ \mathrm {ganze\ Zahl} {\big \}}$Damit wären alle ganzen Zahlen größer als 50 in$M$enthalten. Also$M:={\big \{}51,52,53,54,55,...{\big \}}$

Um ein Element einer Menge anzuzeigen, schreibt man$a\in A$.Beispiele:

• $3\in P:={\big \{}2,3,5,7,11,13,\ldots {\big \}}$
• $4\notin P$

Die leere Menge

$\emptyset$ist die sogenannte leere Menge. Sie kann verschieden definiert werden. Hier ein paar Beispiele:

• $\emptyset:=\{\ \}$
• $\emptyset:={\big \{}x\mid x\neq x{\big \}}$

Relationen und Operationen auf Mengen

Symbol	Bedeutung	Beispiel
$m\in M$	m istElementvon M.	$3\in \mathbb {N}$
$M\subseteq N$	M istTeilmengevon N, das heißt, jedes Element von M ist auch Element von N.	$\mathbb {Z} \subseteq \mathbb {Z}$und$\mathbb {Z} \subseteq \mathbb {Q}$
$M\subsetneq N$	M istechte Teilmengevon N, das heißt, M ist Teilmenge von N, aber nicht gleich N.	$\mathbb {N} \subsetneq \mathbb {Z}$,aber nicht:$\mathbb {Z} \subsetneq \mathbb {Z}$
$M\cup N$	Vereinigungvon M und N: die Menge aller Elemente, die Element von M oder N (oder beiden) sind	$\mathbb {Z} =\left\{0,-1,-2,-3,\ldots \right\}\cup \mathbb {N}$
$M\cap N$	Schnittmengevon M und N: die Menge aller Elemente, die Element sowohl von M als auch von N sind	$\mathbb {N} =\mathbb {Z} \cap \mathbb {R} _{+}$
$M\setminus N$	Mengendifferenzvon M und N: die Menge aller Elemente, die Element von M sind, aber nicht Element von N	$\mathbb {Z} \setminus \mathbb {N} =\left\{0,-1,-2,-3,\ldots \right\}$
$M\Delta N\,$	Symmetrische Differenzvon M und N: die Menge aller Elemente, die Element der Vereinung$M\cup N$sind, aber nicht Element des Durchschnitts$M\cap N$.Mit anderen Worten$M\Delta N:=(M\cup N)\setminus (M\cap N)=(M\setminus N)\cup (N\setminus M)$	$\left\{a,b,c\right\}\Delta \left\{c,d\right\}=\left\{a,b,d\right\}$

Zu einer gegebenen Menge$A$heißt$|A|$dieKardinalitätvon$A$.Für eine endliche Menge$A$mit$n$Elementen gilt gerade$|A|=n$.

Die Menge aller Teilmengen von$A$wird alsPotenzmengebezeichnet:

$P(A):=\{U\colon U\subseteq A\}$

Falls$A$endlich, gilt$|P(A)|=2^{|A|}$.

Für zwei Mengen$A,B\,$ist die Menge aller geordneten Paare$(a,b)\,$mit$a\in A$und$b\in B$daskartesische Produktvon$A\,$und$B\,$.Man schreibt dies als

$A\times B:=\{(a,b)\colon a\in A,b\in B\}$

und es gilt:$|A\times B|=|A|\cdot |B|$.Falls$A=B\,$schreibt man auch abkürzend$A^{2}:=A\times A.$,bzw. allgemeiner$A^{n}:=\underbrace {A\times A\times \ldots \times A} _{n-\mathrm {mal} }$.

Mengenlehre 2

Beschreibungen von Mengen

1. Beschreibung durch Aufzählung der Elemente:
   Die Elemente stehen in einer geschweiften Klammer und sind durch Komma getrennt.
   Beispiel: M = { a, b, c }.
2. Beschreibung durch eine Eigenschaft:
   Die Elemente werden durch ein Zeichen (meist ein Buchstabe) repräsentiert, nach einem Längsstrich wird die Eigenschaft angegeben: { x | x hat die Eigenschaft E }.
   Beispiel: M = { t | t ist ein Wikibook }.
3. Ob Elemente zur Menge gehören oder nicht, wird wie folgt ausgedrückt:
   x ∈ M anstelle von "x ist Element von M".
   x ∉ M anstelle von "x ist nicht Element von M".
4. Gleichheit von Mengen:Die Mengen A und B sind genau dann gleich, A = B, wenn sie die gleichen Elemente haben.
   M = N ⇔ Für alle x gilt: (x ∈ M ⇔ x ∈ N).
   Der Doppelpfeil besagt, dass die vor und nach ihm angegebenen Aussagen äquivalent sind, d. h. sich gegenseitig implizieren (A ⇔ B steht also für "sowohl A⇒B als auch B⇒A" ).

Teilmengen

Definition

A istTeilmenge (Untermenge)der Menge B ⇔ Für alle x gilt: (x ∈ A ⇒ x ∈ B).
Man nennt B dann eineObermengevon A.

Symbolisch wird dies durchA ⊂ Bbzw.B ⊃ Aausgedrückt.

Rechenregeln

Seien M, N und O Mengen. Dann gilt:

1. M ⊂ M
2. M ⊂ N und N ⊂ M ⇒ M = N
3. M ⊂ N und N ⊂ O ⇒ M ⊂ O

Beispiel - Beweis zu 2:
Vorausgesetzt sei M ⊂ N und N ⊂ M. Aus der obigen Definition von "Teilmenge" folgt sofort:
Falls x ∈ M, so gilt wegen M ⊂ N auch x ∈ N, und
falls x ∈ N, so gilt wegen N ⊂ M auch x ∈ M, also zusammengefasst:
"Wenn x ∈ M, so auch x ∈ N" und "wenn x ∈ N, so auch x ∈ M". Damit ist gezeigt:
"x ∈ M genau dann, wenn x ∈ N". Dies aber ist genau die Definition der Gleichheit von Mengen.

Vereinigung und Durchschnitt von Mengen

Definitionen

A ∩ B:= { x | x ∈ A und x ∈ B } heißtDurchschnittder Mengen A und B.
A ∪ B:= { x | x ∈ A oder x ∈ B } heißtVereinigungder Mengen A und B.

Das "Oder" wird bei der Vereinigung im Sinne eines nicht ausschließenden Oder (lat.: vel - daher auch das Zeichen$\vee$) gebraucht, d. h. es muss mindestens eine der beiden Aussagen zutreffen, evtl. können auch beide zutreffen.

Beispiel: { A, B, C, D } ∪ { B, D, F, G } = { A, B, C, D, F, G }.

Vielleicht ist dir das Zeichen ":=" aufgefallen. Es soll bedeuten, dass hier die Gleicheit nach Definition gilt und nicht etwa errechnet oder bewiesen wurde.

Leere Mengen, disjunkte Mengen

Definition

Die Menge, die keine Elemente enthält, heißtleere Menge.Symbol:$\emptyset$.

In der Mathematik betrachtet man formal auch die "Zusammenfassung von nichts" als Menge! Das mag seltsam anmuten, hat aber etwas damit zu tun, wie in der Logik Subjunktion bzw. Implikation festgelegt sind. Danach hat man jetzt$\emptyset$⊂ M für alle Mengen M.

Definition

Zwei Mengen A und B, für die gilt A ∩ B =$\emptyset$,heißendisjunkt(punktfremd)

Verallgemeinerte Definition von Vereinigung und Durchschnitt

Um Durchschnitt und Vereinigung einer größeren Anzahl (sogar unendlich vieler) Mengen darstellen zu können, lässt man in den folgenden Definitionen beliebige Mengen als Indexmengen zu:

Definitionen

I sei eine nicht-leere Menge, und für jedes i ∈ I sei eine Menge$M_{i}$gegeben. Dann ist

a) der (verallgemeinerte) Durchschnitt der Mengen$M_{i}$über alle i ∈ I definiert als

$\bigcap _{i\in I}M_{i}:=\lbrace x\mid \forall i\in I:x\in {M_{i}}\,\rbrace.$.

b) die (verallgemeinerte) Vereinigung der Mengen$M_{i}$über alle i ∈ I definiert als

$\bigcup _{i\in I}M_{i}:=\lbrace x\mid \,\exists i\in I:x\in {M_{i}}\rbrace.$.

Mit diesen so definierten Verallgemeinerungen lassen sich jetzt z. B. folgende Sachverhalte prägnant darstellen:

Für alle$n\in \mathbb {N}$sei$\mathbb {N} _{n}:=\lbrace 1,2,3,....,n\rbrace$. Dann gilt:$\bigcup _{n\in \mathbb {N} }\mathbb {N} _{n}=\mathbb {N}$und$\bigcap _{n\in \mathbb {N} }\mathbb {N} _{n}=\lbrace 1\rbrace$.

An dieser Stelle wird erstmals in diesem Buch das Symbol$\mathbb {N}$für die Menge der natürlichen Zahlen verwendet. Diese Zahlen werden später im KapitelNatürliche Zahlenausführlich besprochen.

Differenz von Mengen, Komplement

Eine andere Möglichkeit, neue Mengen zu erzeugen, bietet die Wegnahme von Elementen aus einer Menge.

Definition

A\B:= { x | x ∈ A und x ∉ B }
heißt dieDifferenz der Mengen A und B.

Falls B ⊂ A gegeben ist, so liegt damit automatisch eine weitere Menge fest, nämlich die Menge derjenigen Elemente von A, die nicht zu B gehören. Hierzu folgende

Definition

Ist B ⊂ A, so heißt A\B dasKomplement von B bezüglich A.

Potenzmenge

Man kann auch Mengen wieder als Elemente auffassen und sie zu einer neuen "Menge von Mengen" zusammenfassen. Diese erhält dann einen eigenen Namen.

Definition

Es sei R eine Menge. Dann nennt man

${\mathfrak {P}}(R):=\lbrace S\mid S\subset R\rbrace$diePotenzmengevon R.

Zwei Beispiele sollen die Definition verdeutlichen:

${\mathfrak {P}}(\emptyset )=\lbrace \emptyset \rbrace \not =\emptyset$;die Potenzmenge einer Menge ist also stets nicht-leer! Sie enthält ja mindestens die leere Menge als Element.

${\mathfrak {P}}(\lbrace 1,2,3\rbrace )=\lbrace \emptyset,\lbrace 1\rbrace,\lbrace 2\rbrace,\lbrace 3\rbrace,\lbrace 1,2\rbrace,\lbrace 1,3\rbrace,\lbrace 2,3\rbrace,\lbrace 1,2,3\rbrace \rbrace$.

Eine Teilmenge einer Potenzmenge nennt man auchMengensystemoderMengenfamilie.

Relationen

Paarmengen und kartesisches Produkt (Kreuzprodukt)

Wie allgemein bekannt lässt sich die Lage eines Punktes in der Ebene durch zwei Zahlen beschreiben. Dazu benutzt man ein rechtwinkliges (kartesisches) Koordinatensystem mit einer x-Achse und y-Achse, die senkrecht aufeinander stehen. Bezeichnet man beispielsweise mit x₁den Abstand eines Punktes P₁von der y-Achse (dieser ist negativ, wenn P₁links der Y-Achse liegt) und mit y₁man den Abstand eines Punktes P₁von der x-Achse (dieser ist negativ, wenn P₁unterhalb der der X-Achse liegt), so wird durch das Zahlenpaar (x₁,y₁) die Lage des Punktes im Koordinatensystem beschrieben. Bei dem Zahlenpaar (x₁,y₁) ist die Reihenfolge wesentlich. So beschreiben beispielsweise die Zahlenpaare (1,2) und (2,1) unterschiedliche Punkte im Koordinatensystem, es gilt also (1,2) ≠ (2,1).

Diese Paarbildung wird mit den folgenden Definitionen auf allgemeine Mengen erweitert:

Definitionen

Sind M und N Mengen und ist x∈M und y∈N

1. geordnetes Paar:
   (x,y) heißt geordnetes Paar.
2. Gleichheit von geordneten Paaren
   Zwei geordnete Paare "(x₁,y₁) und (x₂,y₂) sind gleich "⇔" x₁= x₂und y₁= y₂"
3. Paarmenge
   Die Paarmenge (kartesisches Produkt, Kreuzprodukt) von M und N wird wie folgt definiert:
   M×N:= { (x,y) | x ∈ M und y ∈N }

Normalerweise spricht man nur von Paaren (statt von geordneten Paaren), die Reihenfolge der Elemente ist aber wesentlich.

Die Menge M×N nennt man auch Rechteckmenge. Man kann die Elemente von M×N in Form von Rechtecken im kartesischen Koordinatensystem aufschreiben. Hierzu folgendes Beispiel: M:={1,2,3,4} und N:={1,2,3}. M×N = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3)}. Die Abbildung rechts veranschaulicht diese Rechteckmenge
	Rechteckmenge M×N

In vielen mathematischen Sachverhalten stehen Objekte in bestimmten Zusammenhängen z. B. "10 ist größer als 5". Der Zusammenhang "10 ist größer als 5" kann auch in der ungewöhnlichen Weise "(10,5) steht in der Relation größer" dargestellt werden. Das Beispiel zeigt aber, wie der Begriff der Relation auf den Mengenbegriff zurückgeführt werden kann.

Definition Relation

M und N seien Mengen
Rheißt eine "Relation zwischen M und N"⇔"R ⊂ M×N "
IstM=N,so heißtReineRelation auf M

Gilt (x,y)∈R dann "erfüllen x und y die Relation R" oder "stehen in der Relation R". Oft wird hierfür auch "xRy" geschrieben.

Stellt man sich zwei Mengen M und N als Punktmengen in einer Ebene vor, kann man die Relation R ⊂ M×N durch Verbindungslinien zwischen den in Relation stehenden Punktepaaren kennzeichnen. Ein Pfeil von einem m∈M zu einem n∈N bedeutet (m,n)∈R:
	Relation zwischen M und N

Beispiel: Sei M eine beliebige Menge. Durch ΔM:= { (x,x) | x∈ M } ist eine Relation auf M definiert: die Gleichheitsrelation. Diese lässt sich anschaulich als Diagonale darstellen.
	Gleichheitsrelation

Beispiel:
$G:=\lbrace (x,y)\mid x\in \mathbb {N} {\text{ und }}y\in \mathbb {N} {\text{ und x ist groesser als y }}\rbrace$
ist eine Relation auf$\mathbb {N}$und definiert die oben erwähnte "Größer-Relation".

Äquivalenzrelation

Viele Probleme lassen sich vereinfachen, indem man Objekte, die gewissen gemeinsamen Kriterien genügen, als äquivalent betrachtet, obwohl sie sich hinsichtlich anderen Kriterien unterscheiden können. Hierzu benutzt man in der Mathematik die Äquivalenzrelation.

Definitionen

Seien M eine Menge und$\thicksim$eine Relation auf M

Äquivalenzrelation:
$\thicksim$ist eine Äquivalenzrelation auf M, wenn für alle x,y,z∈M gilt:

1. Reflexivität:$x\thicksim x$
2. Symmetrie:$x\thicksim y$⇒$y\thicksim x$
3. Transitivität:$x\thicksim y$und$y\thicksim z$⇒$x\thicksim z$

Äquivalenzklasse
Sei R eine Äquivalenzrelation auf M. Die Menge der zu x∈M äquivalenten Elemente von M

$[x]:=\lbrace y\in M\mid x\sim y\rbrace$

nennt man dieÄquivalenzklasse oder Faservon x bezüglich$\thicksim$.Das Element x heißtRepräsentantvon [x].

Beispiel:
Die oben erwähnte Gleichheitsrelation Δ_M:= { (x,x) | x∈ M } ist die "klassische" Äquivalenzrelation. Reflexivität, Symmetrie und Transitivität sind die bekannten Eigenschaften der Gleichheit. Außerdem gilt für alle x,y ∈ M: "(x,y) ∈ Δ_M⇔ x=y ". Die Äquivalenzklassen von M bezüglich Δ_Msind also Mengen mit genau einem Element, d.h. [x]={x}.
In diesem Zusammenhang der Hinweis, dass eine Menge eine "Zusammenfassungwohl unterschiedenerObjekte "ist.

Beispiel und Übung:
Etwas spannender ist schon die Entscheidung, ob es sich bei der Relation

$R:=\lbrace (x,y)\mid x,y\in \mathbb {N} {\text{ und (x=y oder }}x\cdot y=12)\rbrace$

um eine Äquivalenzrelation handelt. Es ist also zu prüfen, ob R auf der Menge$\mathbb {N}$reflexiv, symmetrisch und transitiv ist.

Satz

Sei$\thicksim$eine Äquivalenzrelation auf M, dann gilt

$[x]\cap [y]\not =\emptyset \Leftrightarrow [x]=[y]$

Beweis

Sei$z\in [x]\cap [y]$.Dann ist$x\thicksim z$und$y\thicksim z$,und wegen der Transitivität und der Symetrie gilt daher$x\thicksim y$.Für jedes$a\in [x]$gilt daher$a\thicksim x\thicksim y$und wegen der Transitivität auch$a\thicksim y$.Daraus folgt$[x]\subseteq [y]$.Ganz analog zeigt man$[y]\subseteq [x]$.Damit gilt$[x]=[y]$.

Dass$[x]=[y]\Rightarrow [x]\cap [y]\not =\emptyset$gilt ist klar.

Bemerkung:Dieser Satz besagt, dass Äquivalenzklassen disjunkt oder gleich sein müssen. D.h. eine Äquivalenzrelation auf der Menge M, bildet eine disjunkte Partition der Menge M.

Ordnungsrelation

Mengen kann man über die Teilmengenbeziehung "⊂" der Größe nach ordnen. Solche Ordnungen werden durch Eigenschaften wie Reflexivität, Antisymmetrie und Transitivität charakterisiert. Dies führt zu der sehr allgemeinen Definition der Ordnungsrelation

Definition - Ordnungsrelation

Seien M eine Menge und R eine Relation auf M

Ordnungsrelation:
R ist eine Ordnungsrelation auf M, wenn für alle x,y,z∈M gilt:

1. Reflexivität: (x,x)∈R
2. Antisymmetrie: (x,y)∈R und (y,x)∈R ⇒ x=y
3. Transitivität: (x,y)∈R und (y,z)∈R ⇒ (x,z)∈R

Ist R eine Ordnungsrelation auf M, so heißt das Paar (M,R) einegeordnete Mengeund R eineOrdnungauf M. Die Namensgebung ist hier leider nicht sehr einheitlich. Man sagt statt Ordnung auchHalbordnung, Partialordnungoderteilweise Ordnung.

Statt (x,y)∈ R schreibt man oft xRy, und auch, wie sicherlich vertraut, x≤y [sprich x kleiner oder gleich y].

(M,R) istlinear (total) geordnet,wenn für alle x,y∈M gilt: "(x,y)∈R oder (y,x)∈R"

Definition - Kette

1. Eine nicht-leere Teilmenge K⊂M einer geordneten Menge (M,≤) heißt Kette von (M,≤), falls (K, ≤ ∩ K × K) eine total Ordnung ist.

Die vertraute Schreibweise "≤" könnte zu dem Fehlschluss verleiten, dass die Definition nur "gut bekannte" geordnete Mengen, wie z. B. die natürlichen Zahlen beschreibt. Das ist nicht der Fall, der Begriff ist viel allgemeiner. Das sollen die folgenden Beispiele verdeutlichen:

Beispiel:
Die oben erwähnte Gleichheitsrelation Δ_M:= { (x,x) | x∈ M } ist eine Ordnungsrelation auf M. Wie schon gesagt ist Δ_Meine Äquivalenzrelation, also ist sie reflexiv und transitiv. Falls (x,y)∈Δ_Mund (y,x)∈Δ_Mfolgt aus der Definition der Gleicheitsrelation x=y, d. h. auch die Antisymmetrie ist erfüllt.

Beispiel und Übung:
Potenzmenge: Sei M eine Menge und${\mathfrak {P}}(M)$die Potenzmenge von M. Durch
U ≤ V:= U ⊂ V ⊂ M
wird eine Ordnungsrelation auf${\mathfrak {P}}(M)$definiert. Beweisen lässt sich dies mit den Rechenregeln derTeilmengenbeziehung.

Zum Schluss dieses Abschnitts noch eine Übungsaufgabe, bei der vielleicht erst mit dem "zweiten Blick" klar wird, was hier eigentlich definiert wird:

Übungsaufgabe:
Zeige:
Sei M eine Menge und ≤ eine Ordnung auf M. Für jede Teilmenge N⊂M wird durch
≤_N:= ≤ ∩ (N×N)
eine Ordnung auf N definiert. ≤ läßt sich also auf Teilmengen N einschränken.

Hinweise:
Es wird vorausgesetzt, dass M eine Menge und (M,≤) eine geordnete Menge ist.
Sei nun N eine Teilmenge von M. (N×N) ist dann eine Relation auf N, bei der alle Elemente von N miteinander in Beziehung stehen, d. h. für alle x,y∈N gilt (x,y)∈ (N×N).
"≤" steht als Symbol für die vorausgesetzte Ordnungsrelation, d. h. "≤" symbolisiert eine Relation oder Teilmenge von (M×M), also insbesondere ist "≤" einePaarmenge.
Aus den beiden Paarmengen ≤ und (N×N) wird dann der Durchschnitt "≤ ∩ (N×N)" gebildet. Dieser Durchschnitt ist wieder eine Paarmenge. Und genau für diese Paarmenge soll gezeigt werden, dass sie eine Ordnungsrelation, d. h. reflexiv, antisymmetrisch und transitiv, ist.

Im Folgenden werden ausgezeichnete Elemente geordneter Mengen bezüglich gegebener Teilmengen beschrieben. Diese Begriffe werden in der Analysis und auch vielen anderen Gebieten der Mathematik häufig verwendet.

Maximum - Minimum

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

1. "x heißtMaximumodergrößtes ElementvonN":⇔" x∈N und ∀y∈N gilt y≤x "
   
2. "x heißtMinimumoderkleinstes ElementvonN":⇔" x∈N und ∀y∈N gilt x≤y "

Satz

Eine Teilmenge einer geordneten Menge besitzt höchstens ein Maximum (Minimum)

Beweis

Seien also a und b Maxima von N. Dann gilt a,b∈N und a≤b (b ist Maximum) sowie b≤a (b ist Maximum. Daraus folgt wegen der Antisymmetrie der Ordnungsrelation sofort a=b.

Eine geordnete Menge muss kein Maximum oder Minimum besitzen, z.B. die Menge$\{x|0<x<1\}$,besitzt weder ein Maximum noch ein Minimum, obwohl sie geordnet ist.

Da Maximum und Minimum einer Teilmenge N eindeutig bestimmt sind (vorausgesetzt sie existieren!) definiert man weiter:

Definition

Sei N eine Teilmenge einer geordneten Menge (M,≤) und x sei ein Maximum von N, so setzt man: max N:= x (min N:= x)

Obere Schranke - untere Schranke

Im Allgemeinen existieren zu einer Teilmenge N einer geordneten Menge (M,≤) weder Minimum noch Maximum. Für solche Teilmengen N ist die obige Definition nicht anwendbar. Mit der folgenden Definition erweitert man Menge der "möglichen Elemente" indem man auch Elemente der Menge M zuläßt.

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

1. "x heißtobere SchrankevonN (in M)":⇔" x∈M und ∀y∈N gilt y≤x "
   
2. "x heißtuntere SchrankevonN (in M)":⇔" x∈M und ∀y∈N gilt x≤y "
   
3. Sei${\overline {S}}(N)$:= { x | x ist obere Schranke von N (in M) }.
   "N heißtnach oben beschränkt":⇔"${\overline {S}}(N)\neq \emptyset$,d. h. N hat (mindestens) eine obere Schranke "
4. Sei${\underline {S}}(N)$:= { x | x ist untere Schranke von N (in M) }.
   "N heißtnach unten beschränkt":⇔"${\underline {S}}(N)\neq \emptyset$,d. h. N hat (mindestens) eine untere Schranke "
5. "N heißtbeschränkt":⇔" N ist nach oben und unten beschränkt "

Supremum - Infimum

Falls ein minimales Element der Menge${\overline {S}}(N)$:= { x | x ist obere Schranke von N (in M) } existiert, so ist es nach dem oben bewiesenen Satz eindeutig und dieses Element nennt man dannSupremum von N.Die Existenz eines solchen Elementes ist jedoch keinesfalls gesichert und im "Einzelfall" nachzuweisen. Erst nachdem dieser Nachweis geglückt ist, dürfen also die folgende Definitionen benutzt werden:

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

"x heißtSupremumoderkleinste obere Schrankeodersup Nvon N (in M) ":⇔" x:= min${\overline {S}}(N)$".

"x heißtInfimumodergrößte untere Schrankeoderinf Nvon N (in M) ":⇔" x:= max${\underline {S}}(N)$"

Satz

(M,≤) sei eine geordnete Menge, N eine Teilmenge von M und x∈ M. Dann gilt:

1. x = max N ⇔ x∈${\overline {S}}(N)$und x∈N ⇔ x = sup N und x∈N
2. x = min N ⇔ x∈${\underline {S}}(N)$und x∈N ⇔ x = inf N und x∈N

Sup N muss im Gegensatz zum max N nicht zur Teilmenge N gehören. Ein Beispiel hierzu ist die Menge N:= { x | x ∈$\mathbb {R}$,1 < x < 2 } ($\mathbb {R}$steht für die Menge der reellen Zahlen). Später werden wir solche Beispiele genauer untersuchen.

Wohlordnung

Zum Schluss diese Abschnitts wird noch der Begriff der Wohlordnung eingeführt. Ein Beispiel für eine wohlgeordnete Menge sind die natürlichen Zahlen mit der "natürlichen" Ordnung. Dagegen sind die "normalen" Ordnungen der ganzen oder positiven reellen Zahlen nicht wohlgeordnet.

Definition

Eine Ordnung ≤ auf einer Menge M heißt Wohlordnung ⇔ ∀ L ⊂ M mit$L\neq \emptyset$existiert min L.

Zahlenmengen

Die natürlichen Zahlen$(\mathbb {N} )$

$\mathbb {N}:=\left\{1,2,3,4,5,...\right\}$sind die sogenanntennatürlichen Zahlen.Es sind alle ganzen Zahlen von Eins anfangend. Das folgende Axiomensystem vonGiuseppe Peanobeschreibt alle Eigenschaften dieser Menge.

Axiomensystem von G. Peano

1. $1\,$ist eine natürliche Zahl
2. Jede natürliche Zahl$n\in \mathbb {N}$hat einen eindeutig bestimmten Nachfolger$n'(\,=n+1)\in \mathbb {N}$.
3. $1\,$ist kein Nachfolger einer natürlichen Zahl
4. Für jede Menge$M\subseteq \mathbb {N}$,die$1\,$und mit$m\,$auch jeden Nachfolger$m'\,$enthält, gilt$M=\mathbb {N}$.

Beweisprinzip der vollständigen Induktion

Das Axiomensystem von G. Peano führt auf das sehr wichtige Beweisprinzip der vollständigen Induktion: $A(n)\,$sei eine Aussage, in der eine natürliche Zahl$n\in \mathbb {N}$vorkommt. Wenn dann

1. $A(1)\,$ist wahr
2. Falls$A(n)\,$wahr ist, ist auch$A(n+1)\,$wahr

gilt, ist die Aussage$A(n)\,$für jede natürliche Zahl wahr.

Häufig gebrauchte Varianten

• Man startet bei$A(k)\,$.Die Aussage ist dann allerdings nur für$n>=k\,$wahr.
• Falls$A(1),A(2),\ldots,A(n)$wahr sind, ist auch$A(n+1)\,$wahr.

Die Ganzen Zahlen$(\mathbb {Z} )$

DieGanzen Zahlensind eine Erweiterung der natürlichen Zahlen um deren negative Gegenstücke. Also zum Beispiel: $\mathbb {Z}:=\left\{0,1,-1,2,-2,3,-3,\ldots \right\}$.

Aufbau der ganzen Zahlen

Hier soll beschrieben werden, wie man aus$\mathbb {N}$$\mathbb {Z}$gewinnt.

Die rationalen Zahlen$(\mathbb {Q} )$

DieRationalen ZahlenoderBrüchesind alle Zahlen, die sich als Bruch${\frac {p}{q}}\ \mathrm {mit} \ p,\ q\in \mathbb {Z}$schreiben lassen. Also:

$\mathbb {Q}:={\big \{}x{\big |}x={\frac {p}{q}};\quad p\in \mathbb {Z},q\in \mathbb {N} {\big \}}$

Aufbau der rationalen Zahlen

Die reellen Zahlen$(\mathbb {R} )$

Die reellen Zahlen bestehen aus denrationalenund denirrationalenZahlen. Auf die Definition kommen wir noch später zu sprechen, jedoch einige Beispiele fürirrationale Zahlen:

• ${\sqrt {2}}$
• allgemein:${\sqrt[{q}]{p}}\ \mathrm {mit} \ q\in \mathbb {N} \ \mathrm {und} \ p\ \mathrm {Primzahl}$
• $\pi \,$(Die Kreiszahl Pi)
• $e\,$(Die eulersche Zahl)

Die komplexen Zahlen$(\mathbb {C} )$

Diekomplexen Zahlensind eine gedanklich geschaffene Zahlenmenge, um mit Zahlen rechnen zu können die in der Menge der Reellen Zahlen nicht existieren. Man kann sie als eine Art Hilfsmittel betrachten, mit denen bestimmte Berechnungen (z.B. in der Elektrotechnik) gelöst werden können. Ohne die Komplexen Zahlen wäre dies häufig nicht, oder nur mit erheblich größerem Aufwand möglich.

Eine komplexe Zahl Z hat immer die folgende Form:

$Z=a+b\cdot i$

a und b sind jeweils reelle Zahlen. a heißtRealteil,bImaginärteil.i wird alsImaginäre Einheitbezeichnet.

Die Imaginäre Einheit i ist die Zahl, die aus der folgenden Gleichung resultiert:$\ i^{2}=-1$ Daraus folgt, dass i den Wert$\ i={\sqrt {-1}}$haben müsste. Die Wurzel von negativen Zahlen ist jedoch nicht definiert. Deshalb wird der Buchstabe i als Platzhalter verwendet. (In der Elektrotechnik wird statt "i" der Buchstabe "j" verwendet.) Es gelten dieselben Rechenregeln wie für die Reellen Zahlen. Übrigens kann jede reelle Zahl auch als komplexe Zahl angegeben werden. Hierbei ist der Imaginärteil einfach 0.

Ist der Imaginärteil des Ergebnisses einer komplexen Berechnung nicht Null, so muss das Ergebnis je nach Anwendungsgebiet speziell interpretiert werden.

Beispiele:

• $\ 3+2\cdot i$(3 ist der Realteil, 2 der Imaginärteil.)
• $\ 1+3,7774\cdot i$
• $\ {\sqrt {3}}+1\cdot i$
• $\ 2+0\cdot i=2$

Weitere häufig benutzte Mengen

• $\mathbb {F} _{2}=\mathbb {Z} _{2}=\mathbb {Z} /2\mathbb {Z} =\left\{0,1\right\}$
• $\mathbb {F} _{3}=\mathbb {Z} _{3}=\mathbb {Z} /3\mathbb {Z} =\left\{0,1,2\right\}$

Wikipedia zu Mengen

DieMengeist eines der wichtigsten und grundlegenden Konzepte derMathematik.Man fasst im Rahmen derMengenlehreeinzelneElemente(beispielsweise Zahlen) zu einer Menge zusammen. Eine Menge muss kein Element enthalten (diese Menge heißt die „leere Menge“). Bei der Beschreibung einer Menge geht es ausschließlich um die Frage, welche Elemente in ihr enthalten sind. Es wird nicht danach gefragt, ob ein Element mehrmals enthalten ist, oder ob es eine Reihenfolge unter den Elementen gibt.

Begriff und Notation von Mengen

Menge als gedankliche Zusammenfassung von Objekten

Der Begriff Menge geht aufBernard BolzanoundGeorg Cantorzurück. In Bolzanos Manuskripten aus den Jahren zwischen 1830 bis 1848 heißt es: „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] besimmt 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 WortMengezu diesem Zwecke zu brauchen; “.Cantor beschrieb eine Menge „naiv “als eine Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens zu einem Ganzen beschrieb. Die Objekte der Menge heißen Elemente der Menge. Weder der Begriff Menge noch der Begriff Element werden im mathematischen Sinn definiert; sie werden auch nicht als oder inAxiomendefiniert. Die moderne Mengenlehre und damit ein Großteil der Mathematik basiert auf denZermelo-Fraenkel-Axiomen,Neumann-Bernays-Gödel-Axiomenoder anderen Axiomensystemen. Wir haben ein natürliches, intuitiv richtiges Verständnis für Mengen; allerdings führt der Begriff „die Menge aller Mengen, die sich nicht selbst als Element enthalten “zu einem Widerspruch, derRussell’schen Antinomie;ebenso wie „die Menge aller Mengen “.

Eine Veranschaulichung des Mengenbegriffs, dieRichard Dedekindzugeschrieben wird, ist das Bild eines Sackes, der gewisse (als Einzelne abgrenzbare) Dinge enthält. Nützlich ist diese Vorstellung zum Beispiel für die leere Menge: ein leerer Sack. Die leere Menge ist also nicht „nichts “, sondern der Inhalt eines Behältnisses, das keine der für es als Inhalt vorgesehenen Dinge enthält. Das „Behältnis “selbst verweist nur auf die bestimmte zu zählende Sorte und Art von Elementen.

Endliche Mengen können (insbesondere wenn sie relativ wenig Elemente haben) durch Aufzählen ihrer Elemente (aufzählende Mengenschreibweise) angegeben werden, etwaM= {blau, gelb, rot}, wobei es wie gesagt nicht auf eine Reihenfolge ankommt oder darauf, ob ein Element mehr als einmal genannt wird. D.h. es gilt: {blau, gelb, rot} = {blau, blau, gelb, rot}

Oft ist es ungünstig oder (bei unendlichen Mengen) unmöglich, die Elemente einer Menge aufzuzählen. In diesen Fällen gibt es eine andere Notation, in der die Elemente einer Menge durch eine Eigenschaft festgelegt werden, zum BeispielM= { x | x ist eine Grundfarbe }.

Weiterhin prägte Dedekind das Synonym desSystemszu welchem er Elemente zusammenfasste, diese Bezeichnung ist heute noch teilweise üblich, so nennt man eine „Menge vonVektoren“auch kurz einVektorsystem.

Andere Schreibweisen

Andere Schreibweisen für Mengen können als Abkürzungen für die intensionale Notation angesehen werden:

• die aufzählende SchreibweiseM= { blau, gelb, rot } kann als eine Abkürzung für die umständlichere SchreibweiseM= {x|x= blau oderx= gelb oderx= rot } verstanden werden.
• bei derelliptischenSchreibweise werden nur einige Elemente als Beispiele aufgeführt, etwa:M= { 3, 6, 9, 12,…, 96, 99 }. Sie ist nur verwendbar, wenn das Bildungsgesetz aus diesen Beispielen oder aus dem Zusammenhang klar ist. Hier ist offenbar die Menge gemeint, die sich intensional alsM= {x|xist eine durch 3 teilbare Zahl zwischen 1 und 100 } schreiben lässt. Diese Schreibweise wird häufig für unendliche Mengen angewendet. So beschreibtG= { 4, 6, 8, 10,… } die Menge der geraden, natürlichen Zahlen, die größer sind als 2 (also das obige BeispielG).
• Neue Mengen kann man auch durchMengenoperationenbilden, wie ausAundBdie Schnittmenge$M=A\cap B$.Diese kann intensional geschrieben werden alsM= {x|xist inAundxist inB}
• ferner gibt es noch dieinduktive Definitionvon Mengen.

Grundlegende Beziehungen zwischen Mengen

Die Dinge, die in einer Menge enthalten sind, heißen Elemente. Ist ein Objekt$x$Element einer Menge$M$,so schreibt man dafür formal:$x\in M$.Die Verneinung ($x$ist kein Element von$M$) schreibt man als:$x\notin M$. Historisch geht das Symbol$\in$zurück auf den griechischen Buchstabenεals Anfangsbuchstabe von εστί.

Gleichheit von Mengen und Extensionalität

Gleichheit

Zwei Mengen heißengleich,wenn sie dieselben Elemente enthalten.

Diese Definition bezeichnet dieExtensionalitätund damit die grundlegende Eigenschaft von Mengen. Formal:

$A=B:\Longleftrightarrow \forall x\left(x\in A\,\leftrightarrow x\in B\right)$

Tatsächlich muss eine Menge$A$aber meistintensionalbeschrieben werden. Das heißt: Es wird eineAussageform$P(x)$angegeben (mit einer Objektvariablen$x$,die eine wohlbestimmteDefinitionsmenge$D$haben sollte), sodass$x\in A$genau dann gilt, wenn$P(x)$zutrifft. Dafür schreibt man dann:

$A=\{x\in D\mid {\mathit {P}}(x)\}$

Zu jeder Menge$A$gibt es viele verschiedene Aussageformen$P(x)$,die diese beschreiben. Die Frage, ob zwei gegebene Aussageformen$P(x)$und$Q(x)$dieselbe Menge beschreiben, ist keineswegs trivial. Im Gegenteil: Viele Fragestellungen der Mathematik lassen sich in dieser Form formulieren: „Sind$\{x\in D\mid {\mathit {P}}(x)\}$und$\{x\in D\mid {\mathit {Q}}(x)\}$die gleiche Menge? “

Viele Gleichheitsbeweise benutzen die Äquivalenz$A=B\iff (A\subseteq B\land B\subseteq A)$.

Extensionalität

Vorlage:Hauptartikel Wenn zwei Mengen dieselben Elemente enthalten, so sind sie gleich. Auf die Art und Weise, wie die Zugehörigkeit der Elemente zu den Mengen beschrieben ist, kommt es dabei nicht an. Die für Mengen charakteristische Eigenschaft, dass es auf die Art der Beschreibung nicht ankommt, nennt man ihre Extensionalität (vonlateinischextensio= Ausdehnung; betrifft den Umfang des Inhaltes).

Unendliche Mengen müssen aber meist „intensional “(beschreibende Mengenschreibweise) beschrieben werden (von lateinischintensio= Spannung; betrifft die Merkmale des Inhaltes). Das heißt: Eine Menge wird durch eine bestimmte Bedingung oder Eigenschaft beschrieben, die alle Elemente der Menge (und nur diese) erfüllen: beispielsweiseG:= {x|xist eine gerade natürliche Zahl und größer als 2 }, gelesen „seiGdie Menge allerx,für die gilt:xist eine gerade natürliche Zahl und größer als 2 “, oder kürzer: „seiGdie Menge aller geraden natürlichen Zahlen > 2 “.

Es ist teilweise schwer zu entscheiden, ob zwei intensional beschriebene Mengen gleich sind. Dafür muss festgestellt werden, ob die Eigenschaften aus den intensionalen Beschreibungenlogisch äquivalentsind (wenn die eine Eigenschaft wahr ist, ist es auch die andere, und umgekehrt).

Aus der Extensionalität folgt unmittelbar, dass es nur eine leere Menge gibt: Jede andere Menge, die die gleichen (also keine) Elemente enthält, wäre dieser gleich.

Teilmenge

Aist eine (echte) Teilmenge vonB

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

$B$wird dann Obermenge (selten: Übermenge) von$A$genannt. Formal:

${A}\subseteq {B}:\Longleftrightarrow \forall x\left({x}\in A\rightarrow x\in B\right)$.

$A$istechte Teilmengevon$B$(oder$B$ist echte Obermenge von$A$), wenn$A$Teilmenge von$B$ist, aber von$B$verschieden, also jedes Element aus$A$auch Element von$B$ist, aber (mindestens) ein Element in$B$existiert, das nicht in$A$enthalten ist.

DieRelation„ist Teilmenge von “bildet eineHalbordnung.Die Relation „echte Teilmenge “ist eine strenge Halbordnung.

Es gibt zwei Notationen:

• ${A}\subseteq {B}$für „Teilmenge “und${A}\subset {B}$für „echte Teilmenge “oder
• ${A}\subset {B}$für „Teilmenge “und$A\subsetneq B$für „echte Teilmenge “.

In diesem Artikel wird das erstgenannte System verwendet, es sind jedoch beide weit verbreitet.

Die Negation der Relationen$\in$,$\subset$und$\subseteq$kann durch das durchgestrichene jeweilige Relationssymbol bezeichnet werden, also zum Beispiel durch$\notin$.Außerdem ist es möglich, die Reihenfolge der beiden Argumente zu vertauschen, wenn dabei auch das Relationssymbol umgedreht wird. So kann also anstelle von$x\in A$auch$A\ni x$,anstelle von$A\subseteq B$auch$B\supseteq A$und anstelle von$A\subset B$auch$B\supset A$geschrieben werden. Auch ein gleichzeitiges Durchstreichen und Umdrehen dieser Relationssymbole ist denkbar.

---

Wenn alle Elemente in einer Menge$A$auch in einer zweiten Menge$B$enthalten sind, so nennt man Menge$A$eine Teilmenge von Menge$B$.Die Menge$B$enthält dann mindestens so viele Elemente wie die Menge$A$.Für Teilmengen wird das Zeichen$\subseteq$verwendet.

Formal: Es gilt$A\subseteq B$,wenn aus$x\in A$folgt, dass$x\in B$ist.

Nach dieser Definition ist jede Menge auch Teilmenge von sich selbst:$A\subseteq A$.Der Unterstrich in dem Zeichen$\subseteq$soll das andeuten, indem er an≤erinnert. Eine echte Teilmenge von$B$ist eine Teilmenge, die nicht$B$selbst ist, geschrieben$A\subset B$.

Hinweis

Die Notation der Teilmengenrelation ist uneinheitlich, die beiden folgenden Möglichkeiten sind heute üblich, wobei die erste der ursprünglich vonBertrand Russell(vgl.Principia Mathematica) eingeführten entspricht:

• $\subseteq$steht für „Teilmenge “,$\subset$für „echte Teilmenge “
• $\subset$steht für „Teilmenge “,$\subsetneq$für „echte Teilmenge “.

Durchschnitt (Schnittmenge, Schnitt)

Schnitt$A\cap B$

Vorlage:Hauptartikel Die Schnittmenge zweier Mengen$A$und$B$besteht aus allen Elementen, die in jeder der beiden Mengen enthalten sind (also sowohl in$A$als auch in$B$). Die Schnittmenge von$A$und$B$wird$A\cap B$geschrieben.

Formal: Es gilt$x\in A\cap B$genau dann, wenn$x\in A$und$x\in B$.

Besitzen zwei Mengen kein gemeinsames Element, heißen sie elementfremd oderdisjunkt.Ihre Schnittmenge ist die leere Menge.

Leere Menge

Vorlage:Hauptartikel Die Menge, die kein Element enthält, heißtleere Menge.Sie wird mit$\emptyset$oder auch$\{\}$bezeichnet. Aus der Extensionalität der Mengen folgt, dass es nureineleere Menge gibt: Jede „andere “leere Menge enthält dieselben Elemente (nämlich keine), ist also gleich. Folglich sind$\emptyset$und$\{\emptyset \}$verschieden, da letztere Menge eine andere Menge als Element enthält. Die leere Menge ist Teilmenge einer jeden Menge.

Schnittmenge

Schnittmenge von$A$und$B$

Gegeben ist eine nichtleere Menge$U$von Mengen. Die Schnittmenge (auchDurchschnittsmenge) 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\}$.

Ist$U$einePaarmenge,also$U\,=\{A,B\}$,so schreibt man für$\bigcap U$gewöhnlich

${A}\cap {B}:=\{x\mid \left(x\in {A}\right)\land \left(x\in {B}\right)\}$

und liest dies:$A$geschnitten mit$B$(oder: Der Durchschnitt von$A$und$B$) ist die Menge aller Elemente, die sowohl in$A$als auch in$B$enthalten sind.

Diese Schreibweise lässt sich leicht auf den Durchschnitt aus endlich vielen Mengen${A_{1},A_{2},\ldots,A_{n}}$verallgemeinern.

Abweichende Schreibweise für den Durchschnitt aus beliebig vielen Mengen:

Die Elemente der Menge$U$,die ja selbst wieder Mengen sind, werden mit$A_{\lambda }$bezeichnet. Es wird eine „Indexmenge“$\Lambda$(Lambda) eingeführt, sodass$U=\{A_{\lambda }\mid \lambda \in \Lambda \}$ist. Die Schnittmenge$\bigcap U$wird dann geschrieben als:

$\bigcap _{\lambda \in \Lambda }A_{\lambda }:=\{x\mid \forall \lambda \in \Lambda:x\in A_{\lambda }\}$,

also die Menge aller Elemente, die in sämtlichen Mengen$A_{\lambda }$enthalten sind.

Eine ältere Bezeichnung für den Durchschnitt ist inneres Produkt oder Produkt erster Art. Dieses wird dann auch als

$A_{1}\cdot A_{2}\cdot \ldots \cdot A_{n}$oder$\prod _{i=1}^{n}A_{i}$.

geschrieben. Insbesondere die letzte Schreibweise ist von vielen Autoren für das kartesische Produkt (siehe unten) reserviert.

Vereinigungsmenge

Vereinigungsmenge von$A$und$B$

Dies ist der zurSchnittmengedualeBegriff: 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\}$.

Im Gegensatz zu$\bigcap U$ist$\bigcup U$auch dann erklärt, wenn$U$leer ist, und zwar ergibt sich$\bigcup \emptyset =\emptyset$.

Für$U\,=\{A,B\}$schreibt man wieder

${A}\cup {B}:=\{x\mid \left(x\in {A}\right)\lor \left(x\in {B}\right)\}$

und liest dies:$A$vereinigt mit$B$(oder: Die Vereinigung von$A$und$B$) ist die Menge aller Elemente, die in$A$oder in$B$enthalten sind. Das „oder “ist hier nicht-ausschließend zu verstehen. Die Vereinigung umfasst auch die Elemente, die inbeidenMengen enthalten sind.

Unter Verwendung einer geeigneten Indexmenge$\Lambda$schreibt man:

$\bigcup _{\lambda \in \Lambda }A_{\lambda }:=\{x\mid \exists \lambda \in \Lambda:x\in A_{\lambda }\}$.

Diese Schreibweise ist auch für die Vereinigung endlich vieler Mengen${A_{1},A_{2},\ldots,A_{n}}$geeignet.

Als ältere Bezeichnung hierfür wird zuweilen noch die Summe verwendet und dann geschrieben

$A_{1}+A_{2}+\ldots +A_{n}$oder$\sum _{i=1}^{n}A_{i}$.

Vorsicht:Der Begriff Summe wird heute auch für diedisjunkte Vereinigungvon Mengen benutzt.

Differenz und Komplement

$A$ohne$B$

Die Differenz wird gewöhnlich nur fürzweiMengen definiert: Die Differenzmenge (auchRestmenge) von$A$und$B$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)\land \left(x\not \in B\right)\}.$

Ist$B\subseteq A$,so heißt die Differenz$\!\ A\setminus B$auch Komplement von$B$in$A$.Dieser Begriff wird vor allem dann verwendet, wenn$A$eine Grundmenge ist, die alle in einer bestimmten Untersuchung in Frage stehenden Mengen umfasst. Diese Menge muss dann im Folgenden nicht mehr erwähnt werden, und

$B^{\mathsf {C}}:=\{x\mid x\not \in B\}$

heißt einfach dasKomplementvon$B$.Andere Schreibweisen für$B^{\mathsf {C}}$sind${\overline {B}}$,$\complement B$oder$\displaystyle B'$.

Symmetrische Differenz:
„A ohne B “vereinigt „B ohne A “

Die Menge

$A\,\triangle \,B:=\left(A\setminus B\right)\cup \left(B\setminus A\right)=(A\cup B)\setminus (A\cap B)$

wird gelegentlich als symmetrische Differenz von$A$und$B$bezeichnet. Es handelt sich um die Menge aller Elemente, die jeweils in einer, aber nicht in beiden Mengen liegen. Bei Verwendung desausschließenden Oder(XORoder$\oplus$) kann man dafür auch

$A\,\triangle \,B:=\{x\mid \left(x\in A\right)\oplus \left(x\in B\right)\}$

schreiben.

Kartesisches Produkt

Die Produktmenge oder daskartesische 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.

Die Elemente des kartesischen Produkts sind also keine Elemente der Ausgangsmengen, sondern komplexere Objekte, nämlichgeordnete Paare.Formal:

$A\times B:=\{\left(a,b\right)\mid a\in A\land b\in B\}$

Unter der Verwendung vonn-Tupelnlässt sich der Begriff leicht für die Verknüpfung endlich vieler Mengen verallgemeinern:

$A_{1}\times A_{2}\times \ldots \times A_{n}:=\{\left(a_{1},a_{2},\ldots,a_{n}\right)\mid a_{1}\in A_{1}\land a_{2}\in A_{2}\land \ldots \land a_{n}\in A_{n}\}$

Die Produktbildung ist weder kommutativ noch assoziativ. So sind$A\times B\times C$,$(A\times B)\times C$und$A\times (B\times C)$drei verschiedene Mengen, nämlich$\{(a,b,c)\mid a\in A\land b\in B\land c\in C\}$,$\{((a,b),c)\mid a\in A\land b\in B\land c\in C\}$sowie$\{(a,(b,c))\mid a\in A\land b\in B\land c\in C\}$.AufgrundBijektionenwie$((a,b),c)\mapsto (a,(b,c))$und der daraus folgendenIsomorphiewerden diese Mengen oft nicht unterschieden. DieAssoziativitätbis auf Isomorphie erlaubt es, beliebige Produktmengen aus einer endlichen Anzahl$n$von Mengen$A_{\lambda _{i}}:i\in \mathbb {N},1\leq i\leq n$mit der Menge der$n$-Tupel zu identifizieren und ohne Rücksicht auf die konkrete Klammerung mit$A_{\lambda _{1}}\times A_{\lambda _{2}}\times \cdots \times A_{\lambda _{n}}$zu bezeichnen.

Für die Produktmenge beliebig vieler Mengen, die durch die Indexmenge$\Lambda$benannt werden, schreibt man$\prod _{\lambda \in \Lambda }A_{\lambda }$oder, wenn diese Notation schon für „Produkte erster Art “verwendet wird,${}^{\times }\prod _{\lambda \in \Lambda }A_{\lambda }$.Für die Definition einer solchen Produktmenge wird ein allgemeinerFunktionsbegriffbenötigt. Sie ist die Menge aller Funktionen, die jedem Indexelement$\lambda$ein Element der Menge$A_{\lambda }$zuordnen. Formal:

${}^{(\times )}\prod _{\lambda \in \Lambda }A_{\lambda }:=\{f:\Lambda \to \bigcup _{\lambda \in \Lambda }A_{\lambda }\mid \forall \lambda \in \Lambda:f\left(\lambda \right)\in A_{\lambda }\}$

Ob ein solches kartesisches Produkt nicht leer ist, das heißt ob es überhaupt stets solche Funktionen wie auf der rechten Seite dieser Definitionsgleichung angegegeben gibt, hängt eng mit demAuswahlaxiomzusammen.

Für das Mengenprodukt aus identischen Faktoren gibt es abkürzende Schreibweisen:

• Anstelle des$n$-fachen endlichen Mengenprodukts$A\times A\times \cdots \times A$schreibt man auch$A^{n}$.
• Das unendliche Mengenprodukt$\prod _{\lambda \in \Lambda }A$ist kanonisch isomorph zur Menge aller Abbildungen$\Lambda \rightarrow A$.In Analogie zum endlichen Fall wird dafür die Schreibweise$A^{\Lambda }$benutzt.

Die Mengen$A_{\lambda _{1}}\times A_{\lambda _{2}}$und$\prod _{\lambda \in \{\lambda _{1},\lambda _{2}\}}A_{\lambda }$sind nicht notwendig gleich, aber wegen der Bijektion$(a,b)\mapsto f_{a,b}$mit$f_{a,b}:\{\lambda _{1},\lambda _{2}\}\to \mathbb {X}$,$\lambda _{1}\mapsto a$,$\lambda _{2}\mapsto b$zueinander isomorph. Die Definition der zweistelligen Produktmenge ist also mit der Definition der Produktmenge beliebig vieler Mengen konsistent, weshalb für eine endliche nichtleere Produktmenge$\Lambda =\{\lambda _{1},\lambda _{2},\cdots,\lambda _{n}\}$in der Regel auch nicht zwischen$\prod _{\lambda \in \Lambda }A_{\lambda }$und$A_{\lambda _{1}}\times A_{\lambda _{2}}\times \cdots \times A_{\lambda _{n}}$unterschieden wird.

Potenzmenge

Vorlage:Hauptartikel DiePotenzmenge${\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. Die Potenzmenge einer einelementigen Menge$\{a\}$ist${\mathcal {P}}(\{a\})=\{\emptyset,\{a\}\}$,enthält also zwei Elemente. Allgemein gilt: Besitzt$A$genau$n$Elemente, so hat${\mathcal {P}}(A)$die Elementanzahl$2^{n}$.Dies motiviert auch die Schreibweise$2^{A}$anstelle${\mathcal {P}}(A)$.

Bei unendlichen Mengen ist der Begriff nicht unproblematisch: Es gibt nachweislich kein Verfahren, das alle Teilmengen auflisten könnte. (Siehe dazu:Cantors zweites Diagonalargument.) Bei einem axiomatischen Aufbau der Mengenlehre (etwaZFC) muss die Existenz der Potenzmenge durch ein eigenesPotenzmengenaxiomgefordert werden.

Konstruktive Mathematikerbetrachten deshalb die Potenzmenge einer unendlichen Menge als einen grundsätzlich unabgeschlossenen Bereich, zu dem – je nach Fortgang der mathematischen Forschung – immer noch neue Mengen hinzugefügt werden können.

Vereinigung (Vereinigungsmenge)

Vereinigung$A\cup B$

Die Vereinigungsmenge aus zwei Mengen$A$und$B$erhält man, indem man alle Elemente zusammenfasst, die in der einen oder in der anderen Menge enthalten sind (oder möglicherweise auch in beiden). Das Zeichen dafür ist$\cup$.

Formal: Es gilt$x\in A\cup B$,wenn$x\in A$oder$x\in B$;dasoderist hiernicht ausschließendzu verstehen, x ist also auch in der Vereinigung, wenn es in A und in B liegt. Um darzustellen, dass die vereinigten Mengendisjunktsind, verwendet man auch das Zeichen${\dot {\cup }}$.

Zwar wird die Vereinigung$A\cup B$durch denJunktor$\lor$(oder) definiert - die Verwendung der Zeichen ist in diesem Fall intuitiv.

• diedisjunkte Vereinigung$A{\mathbin {\dot {\cup }}}B$darf jedoch nicht mit der Mengenoperation verwechselt werden,
• die durch den Junktor${\dot {\vee }}$(ausschließendes oder)definiert wird, also dersymmetrischen Differenz- die Verwendung der Zeichen ist in diesem Fall kontraintuitiv.

Für die Verwendung dieser Zeichen gibt es jedoch keine allgemein anerkannten Konventionen, es ist also im Einzelfall zu prüfen, ob ein Autor mit$A{\dot {\cup }}B$nicht doch diesymmetrische Differenzmeint.

Differenz (Differenzmenge)

Differenz$A\setminus B$

Die Differenz zweier Mengen erhält man, indem man alle Elemente zusammenfasst, die in A, aber nicht in B enthalten sind. Das Zeichen dafür ist$\setminus$.Die Differenz ist im Gegensatz zu Schnitt und Vereinigung wederkommutativnochassoziativ.

Formal: Es gilt$x\in A\setminus B$,wenn$x\in A$und$x\not \in B$.

Beispiele für Mengenoperationen

Wir betrachten die Mengen$X=\{1,2,3\}$,$A=\{1,2\}$und$B=\{1,3\}$.Es gelten:

• $2\in A$,$2\notin B$
• $A\subset X$,$B\subset X$,$X\subseteq X$
• $A\subset X$,$B\subset X$,$A\nsubseteq B$
• $A\cap B=\{1\}$
• $A\cup B=X$
• Für die Komplemente bezüglich$X$gilt$A^{\mathsf {C}}=\{3\}$,$B^{\mathsf {C}}=\{2\}$,$X^{\mathsf {C}}=\emptyset$,$\emptyset ^{\mathsf {C}}=X$.
• $A\setminus B=\{2\}$,$B\setminus A=\{3\}$,$X\setminus A=\{3\}$,$A\setminus X=\emptyset$
• $A\triangle B=\{2,3\}$,$A\triangle X=\{3\}$,$B\triangle X=\{2\}$
• $|X|$= 3,$|A|$=$|B|$= 2,$|\emptyset |$= 0,$\left|\{\emptyset \}\right|$= 1
• ${\mathcal {P}}(A)=\{\emptyset,\{1\},\{2\},\{1,2\}\}$
• ${\mathcal {P}}(X)=\{\emptyset,A\cap B,B^{\mathsf {C}},B\setminus A,A,B,A\triangle B,A\cup B\}$
• $A\times B=\{(1,1),(1,3),(2,1),(2,3)\}$,$A\times \{3\}=\{(1,3),(2,3)\}$,$A^{2}=\{(1,1),(1,2),(2,1),(2,2)\}$,$\{3\}^{3}=\{(3,3,3)\}$
• $\emptyset \notin \emptyset$,$\emptyset \in \{\emptyset \}$,$\emptyset \subset A$
• ${\mathcal {P}}(\emptyset )=\{\emptyset \}$,${\mathcal {P}}\left(\{\emptyset \}\right)=\{\emptyset,\{\emptyset \}\}$
• $A\times \emptyset =\emptyset \times A=\emptyset$

Konkretere Beispiele sind hier nochmals benannt.

• Die Menge aller zweistelligen „Schnapszahlen“lautet$\lbrace 11,\,22,\,33,\,44,\,55,\,66,\,77,\,88,\,99\rbrace$.33 ist ein Element dieser Menge, 23 ist es nicht.
• Die Menge der natürlichen Zahlen$\mathbb {N} =\lbrace 1,\,2,\,3,\ldots \rbrace$ist eine echte Teilmenge der Menge der ganzen Zahlen$\mathbb {Z} =\lbrace \ldots,-3,\,-2,\,-1,\,0,\,1,\,2,\,3,\ldots \rbrace$.

Weitergehende Begriffe

• Teilmengen der reellen Geraden, der Ebene oder des dreidimensionalen euklidischen Raumes werden aus historischen Gründen oder, um einen Hinweis auf die darin enthaltenen Elemente zu geben, oftPunktmengengenannt. Dieser Begriff bezeugt die geometrische Herkunft der Mengenlehre.
• In der modernen Mathematik werden dieZahlenbereicherein mit den Methoden derMengenlehre(mit der leeren Menge als einzigem Grundbaustein) schrittweise aufgebaut, von dennatürlichen Zahlenüber dieganzen Zahlenund dierationalen Zahlenzu denreellen Zahlen(und evtl. weiter zu denkomplexen Zahlenund noch darüber hinaus).
• In der Schule hat die Mengenlehre unter dem SchlagwortNeue Mathematikzeitweise große Bedeutung erlangt.
• Beiunendlichen Mengentreten besondere Phänomene hinsichtlich der üblichenOrdnungsrelationenauf.
• Zur Veranschaulichung der Beziehungen zwischen Mengen dienenMengendiagramme.
• Beziehungen zwischen den Elementen einer Menge und denen einer anderen werden durch „Zuordnungen “(Relationen) beschrieben, eindeutige Zuordnungen durch „Abbildungen “(Funktionen).

Literatur

• Klaus Kursawe:Mengen, Zahlen, Operationen.Scripta Mathematica. Aulis Verlag Deubner, Köln 1973,ISBN 3-7614-0176-0.
• Hans-Dieter Gerster:Aussagenlogik, Mengen, Relationen.Studium und Lehre Mathematik. Franzbecker, Hildesheim 1998,ISBN 3-88120-287-0.
• Adolf Fraenkel:Einleitung in die Mengenlehre.Springer, Berlin/Heidelberg/New York 1928, Dr. Martin Sändig oHG, Walluf 1972 (Repr.),ISBN 3-500-24960-4.
• Erich Kamke:Mengenlehre.6. Aufl. Walter de Gruyter, Berlin 1969.
• Paul R. Halmos:Naive Mengenlehre.Vandenhoeck & Ruprecht, Göttingen 1968,ISBN 3-525-40527-8.
• H. Schinköthe:Mengen und Längen, Lehrbuch der elementaren Grundlagen mathematischen Denkens und seiner Entwicklung für die Bereiche: Kindergarten, Vorschule, Grundschule, Sonderschule, Rechenschwächetherapie.RESI, Volxheim 2000 (Libri/BoD),ISBN 3-8311-0701-7.
• Oliver Deiser:Einführung in die Mengenlehre.Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo.3. Auflage.Springer Verlag,Berlin, Heidelberg 2010,ISBN 978-3-642-01444-4(DOI:10.1007/978-3-642-01445-1).

Einzelnachweise

Aus Wikipedia über Mengenlehre / Geschichte

DieMengenlehreistdasgrundlegendeTeilgebiet der Mathematik.Die gesamte Mathematik, wie sie heute üblicherweise gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf denAxiomen der Mengenlehreauf. Alle mathematischen Objekte, die in Teilbereichen wieAlgebra,Analysis,Geometrie,StochastikoderTopologiebehandelt werden, um nur einige wenige zu nennen, sind Mengen. Gemessen daran ist die Mengenlehre eine recht junge Wissenschaft; erst nach der Überwindung derGrundlagenkrise der Mathematikzu Beginn des 20. Jahrhunderts konnte die Mengenlehre ihren heutigen, zentralen und grundlegenden Platz in der Mathematik einnehmen.

Geschichte

19. Jahrhundert

Menge als gedankliche Zusammenfassung von Objekten

Die Mengenlehre wurde vonGeorg Cantorin den Jahren 1874 bis 1897 begründet. Statt des BegriffsMengebenutzte er anfangs Wörter wie „Inbegriff “oder „Mannigfaltigkeit “; vonMengenundMengenlehresprach er erst später. 1895 formulierte er folgende Mengendefinition:

Unbekannt:„Unbekannt “

Quelle: Unbekannt

Cantor klassifizierte die Mengen, insbesondere die unendlichen, nach ihrerMächtigkeit.Für endliche Mengen ist das die Anzahl ihrer Elemente. Er nannte zwei Mengenäquivalent(gleichmächtig), wenn sie sichbijektivaufeinander abbilden lassen. DieMächtigkeitoderKardinalzahleiner MengeMist nach Cantor die Äquivalenzklasse der zuMä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 Cantorabzählbar,alle anderen unendlichen Mengen heißenüberabzählbar.

Wichtige Ergebnisse von Cantor

• Die Mengen dernatürlichen,derrationalen(Cantors erstes Diagonalargument) und deralgebraischenZahlensind abzählbar und damit gleichmächtig.
• Die Menge derreellenZahlen hat größere Mächtigkeit als die der natürlichen Zahlen, ist also nichtabzählbar (Cantors zweites Diagonalargument).
• Die Menge aller Untermengen einer MengeM(ihrePotenzmenge) hat stets größere Mächtigkeit alsM,das ist auch alsSatz von Cantorbekannt.
• Von je zwei Mengen ist mindestens eine gleichmächtig zu einer Untermenge der anderen. Das wird mit Hilfe der von Cantor ausführlich behandeltenWohlordnungbewiesen.
• Es gibt überabzählbar viele Mächtigkeiten.

Cantor benannte dasKontinuumproblem: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 auchRichard Dedekindein wichtiger Wegbereiter der Mengenlehre. Er sprach vonSystemenstatt von Mengen und entwickelte 1872 eine mengentheoretische Konstruktion der reellen Zahlenund 1888 eine verbale mengentheoretische Axiomatisierung der natürlichen Zahlen.

Giuseppe Peano,der Mengen alsKlassenbezeichnete, schuf bereits 1889 den ersten formalenKlassenlogik-Kalkül als Basis für seine Arithmetik mit denPeano-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.

Eine andere mengentheoretische Begründung der Arithmetik versuchteGottlob Fregewenig später in seinem Kalkül von 1893. In diesem entdeckteBertrand Russell1902 einen Widerspruch, der alsRussellsche Antinomiebekannt wurde. Dieser Widerspruch und auch andere Widersprüche entstehen aufgrund einer uneingeschränkten Mengenbildung, weshalb die Frühform der Mengenlehre später alsnaive Mengenlehrebezeichnet wurde. Cantors Mengendefinition beabsichtigt aber keine solche naive Mengenlehre, wie sein Beweis der Allklasse alsNichtmengedurch die zweiteCantorsche Antinomiebelegt.

Cantors Mengenlehre wurde von seinen Zeitgenossen in ihrer Bedeutung kaum erkannt und keineswegs als revolutionärer Fortschritt angesehen, sondern stieß bei manchen Mathematikern, etwa beiLeopold Kronecker,auf Ablehnung. Noch mehr geriet sie in Misskredit, als Antinomien bekannt wurden, so dass etwaHenri 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 entwickelndenMathematischen LogikeineAxiomatisierung der Mengenlehre,mittels derer zuvor herrschende Widersprüche überwunden werden konnten.

1903/1908 entwickelteBertrand RussellseineTypentheorie,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 denPrincipia Mathematicavon 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 vonErnst Zermelo1907 entwickelte axiomatische Mengenlehre, die er gezielt zur widerspruchsfreien Begründung der Mengenlehre von Cantor und Dedekind schuf.Abraham Fraenkelbemerkte 1921, dass dazu zusätzlich seinErsetzungsaxiomnötig sei. Zermelo fügte es in seinZermelo-Fraenkel-System von 1930ein, das er kurz ZF-System nannte. Er konzipierte es auch fürUrelemente,die keine Mengen sind, aber als Mengenelemente in Frage kommen und Cantors „Objekte unserer Anschauung “einkalkulieren. Die heutigeZermelo-Fraenkel-Mengenlehreist 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 vonFelix Hausdorffab 1914 oder vonErich Kamkeab 1928. Nach und nach wurde es immer mehr Mathematikern bewusst, dass die Mengenlehre eine unentbehrliche Grundlage für dieStrukturierungder 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. DieWiderspruchsfreiheitkonnte 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; nachGödels Unvollständigkeitssatzvon 1931 ist ein solcher Nachweis der Widerspruchsfreiheit prinzipiell nicht möglich. Gödels Entdeckungen steckten nurHilberts 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 einerGrundlagenkrise der Mathematik,von der Anhänger desIntuitionismussprachen, 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 mitPseudonymNicolas Bourbakitrug 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 dieMengenlehre in der Grundschulebehandelt wurde.

Parallel zur Erfolgsgeschichte der Mengenlehre blieb jedoch die Diskussion der Mengenaxiome in der Fachwelt aktuell. Es entstanden auch alternativeaxiomatische Mengenlehren,etwa 1940 dieNeumann-Bernays-Gödel-Mengenlehre,die ZF aufKlassenverallgemeinert, oder 1955 dieAckermann-Mengenlehre,die neu an Cantors Mengendefinition anknüpfte.