Mathe für Nicht-Freaks: Leere Menge und Allklasse

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Leere Menge

Definition

Datei:Die leere Menge.webm Die leere Menge ist diejenige Menge, die keine Elemente enthält. Für die leere Menge werden die Symbole $\varnothing$ oder $\mathrm{\varnothing }$ oder die Schreibweise $\{\}$ verwendet. Dabei ist die leere Menge nicht „nichts“. Sie ist ein existentes Objekt, nämlich diejenige Menge, die nichts enthält.

Stellen wir uns vor, man trinkt ein Glas leer. Nachdem das Glas ganz ausgetrunken wurde, verbleibt keine Flüssigkeit mehr darin – das Glas ist also leer. Dem Inhalt des leeren Glases entspricht die leere Menge. Sie ist eine Menge, welche nichts umfasst und damit den leeren Inhalt repräsentiert.

Eigenschaften der leeren Menge Vorlage:Anker

Datei:Eigenschaften der leeren Menge.webm Für die leere Menge gelten folgende Eigenschaften:

1. Die leere Menge ist Teilmenge jeder Menge, das heißt für jede Menge $M$ ist $\varnothing \subseteq M$.
2. Die einzige Teilmenge der leeren Menge ist die leere Menge: $A\subseteq \varnothing ⟺A=\varnothing$.
3. Jede Existenzaussage über der leeren Menge ist falsch. Dies bedeutet, dass jede Aussage der Form $\mathrm{\exists }x\in \varnothing :A(x)$ und der Form $\mathrm{\exists }!x\in \varnothing :A(x)$ falsch ist, denn es gibt kein Objekt in der leeren Menge, welches $A(x)$ erfüllen würde.
4. Jede Allaussage über der leeren Menge ist wahr. Dies bedeutet, dass jede Aussage der Form $\mathrm{\forall }x\in \varnothing :A(x)$ wahr ist, weil es kein Objekt in der leeren Menge gibt, für das man $A(x)$ überprüfen müsste.
5. Nach dem Extensionalitätsprinzip gibt es nur eine leere Menge. Zwei Mengen sind nämlich identisch, wenn sie dieselben Elemente besitzen. Zwei leere Mengen besitzen dieselben Elemente (nämlich keine) und müssen deswegen ein- und dasselbe Objekt sein. Es ist also $\{x|x\ne x\}=\{x\in ℝ|x^2+1=0\}$, da beide Mengen leer sind.

Anmerkungen zu den Eigenschaften:

Eigenschaft 3 & 4: Um die Eigenschaften zu verstehen, müssen die Symbole $\mathrm{\forall }$ (Allquantor) und $\mathrm{\exists }$ (Existenzquantor) verstanden sein. So lautet etwa die Aussage $\mathrm{\exists }x\in \varnothing :A(x)$ ausgesprochen: Es gibt mindestens ein $x$ aus der leeren Menge, für welches die Aussage $A(x)$ wahr ist.

Allklasse

Definition

Das Gegenstück zur leeren Menge ist die Allklasse. Sie enthält alle Elemente des betrachteten Grundbereiches. Sie wird oft mit $𝒱$ bezeichnet, weil sie der Wertebereich der Variablen ist. Sie kann durch eine beliebige Aussage oder Aussageform definiert werden, die immer wahr ist. Wir nehmen hier die Aussageform $x=x$.

Die Allklasse hat folgende Eigenschaften:

1. Jede Menge ist Teilmenge der Allklasse, d.h. für jede Menge $M$ gilt $M\subseteq 𝒱$.
2. Die einzige Oberklasse der Allklasse ist sie selbst: $𝒱\subseteq M⟺M=𝒱$.
3. Es gibt nur eine Allklasse, denn eine zweite Allklasse $M$ müsste ebenfalls alle Elemente enthalten und nach dem Extensionalitätsprinzip gilt dann $M=𝒱$.

Ausblick: Warum ist die Allklasse keine Menge?

Warum heißt die Allklasse nicht Allmenge? Weil wir nicht sicher sind, dass sie wirklich eine Menge ist! Von Mengen erwarten wir bestimmte Eigenschaften, die wir im Kapitel „Axiomatische Mengenlehre“ näher kennen lernen werden. Eines können wir aber hier schon sagen: $𝒱$ wäre eine komische Menge! Wir erinnern uns an das Abstraktionsprinzip, das wir im Zusammenhang mit der beschreibenden Mengenschreibweise formuliert haben. Danach gilt $y\in \{x|A(x)\}⟺A(y)$ für beliebige $y$. Das wenden wir auf die Allklasse an. Die definierende Bedingung ist $x=x$ und es gilt sicherlich auch $𝒱=𝒱$. Also erfüllt $𝒱$ die definierende Bedingung und ist daher selbst ein Element von $\{x|x=x\}=𝒱$, es gälte also $𝒱\in 𝒱$. Diese Eigenschaft erwarten wir aber eigentlich nicht von Mengen. Deswegen wird die Allklasse auch nicht als Menge, sondern als sogenannte Klasse definiert, die wir später kennen lernen werden.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}