Leere Menge

Leere Menge ist ein Begriff aus der Mengenlehre.

Eine Menge A, die keine Elemente besitzt bzw. enthält, bezeichnet man als leere Menge. Ihre Definition ist im Abschnitt über die Eigenschaften aufgeführt.

Zwei Mengen, deren Durchschnitt leer (die leere Menge) ist, werden disjunkt (oder elementfremd) genannt.

Notation

Als Zeichen für die leere Menge hat sich das von Nicolas Bourbaki verwendete Zeichen Symbol $\varnothing$ (ein durchgestrichener Kreis) weitgehend durchgesetzt. Eine typographische Variante davon ist $\emptyset$ (eine durchgestrichene Null).

Als typographischer Ersatz dient oft auch der skandinavische Buchstabe "Ø": ø oder Ø (ein durchgestrichenes o bzw. O), manchmal – wegen des ähnlichen Aussehens – auch eine Variante des griechischen Buchstabens "φ": $\;\phi$ , mit dem es jedoch nicht verwechselt werden sollte. In manchen älteren Büchern wird auch 0 (Null) verwendet.

In der Schulmathematik schließlich wird oft $\{\}$ (leere Mengenklammern) geschrieben.

Eigenschaften

Die leere Menge $\varnothing \$ ist wie folgt definiert:

M=\varnothing :\Leftrightarrow (\forall x)\,x\not \in M

Das heißt, : $M=\varnothing$ genau dann und nur dann ,wenn für alle x gilt: x ist nicht Element von M.

Da die leere Menge keine Elemente hat, sind Eigenschaften der Art

„für alle Elemente der Menge gilt…“

für die leere Menge stets erfüllt, da es keine Elemente gibt, für die die fragliche Eigenschaft nachgeprüft werden müsste.

Kardinalzahl der leeren Menge

Die leere Menge ist die einzige Menge mit der Mächtigkeit null:

\left\vert \varnothing \right\vert =0

Sie ist daher auch der einzige Repräsentant der Kardinalzahl 0 und der Ordinalzahl 0.

Aus der Definition der leeren Menge ergeben sich unter anderem die folgenden Eigenschaften:

Für jede Menge ist die leere Menge eine Teilmenge: $(\forall A)\,\varnothing \subset A$
Jede Menge bleibt bei Vereinigung mit der leeren Menge unverändert: $(\forall A)\,\varnothing \cup A=A$
Für jede Menge ist der Durchschnitt mit der leeren Menge die leere Menge: $(\forall A)\,\varnothing \cap A=\varnothing$
Für jede Menge ist das kartesische Produkt mit der leeren Menge die leere Menge: $(\forall A)\,\varnothing \times A=\varnothing$
Die einzige Teilmenge der leeren Menge ist die leere Menge: $(\forall A)\,A\subset \varnothing \Rightarrow A=\varnothing$