Mengenlehre — Die Sprache der Mathematik

Einführung

Die Mengenlehre ist das Fundament der modernen Mathematik. Bevor man über Zahlen, Funktionen oder Wahrscheinlichkeiten sprechen kann, braucht man eine präzise Sprache — und genau das liefert die Mengenlehre. Georg Cantor entwickelte sie Ende des 19. Jahrhunderts, und heute steckt sie hinter Datenbankabfragen, Logik, Informatik und der Wahrscheinlichkeitsrechnung.

Grundidee

Eine Menge ist eine Zusammenfassung von bestimmten, wohlunterschiedenen Objekten zu einem Ganzen. Die Objekte heißen Elemente der Menge. Wichtig: Es kommt nur darauf an, ob ein Objekt in der Menge ist oder nicht — nicht wie oft und nicht in welcher Reihenfolge.

Mengen schreibt man mit geschweiften Klammern. Die Menge der geraden Zahlen von 2 bis 8: $\{2, 4, 6, 8\}$ .

Erklärung

Notation und Schreibweisen

Mengen können auf verschiedene Weisen beschrieben werden:

Aufzählung: $A = \{1, 2, 3, 4, 5\}$

Beschreibende Notation: $A = \{x \mid x \in \mathbb{N},\ x \leq 5\}$ (lies: „alle $x$ , für die gilt: $x$ ist eine natürliche Zahl und $x \leq 5$ ”)

Wichtige Zahlenmengen:

Symbol	Bedeutung	Beispiele
$\mathbb{N}$	Natürliche Zahlen	$0, 1, 2, 3, \ldots$
$\mathbb{Z}$	Ganze Zahlen	$\ldots, -2, -1, 0, 1, 2, \ldots$
$\mathbb{Q}$	Rationale Zahlen	$\frac{1}{2}, -3, 0{,}75, \ldots$
$\mathbb{R}$	Reelle Zahlen	$\pi, \sqrt{2}, 1{,}5, \ldots$

Es gilt: $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ .

Element-Relation

Ob ein Objekt $x$ zur Menge $A$ gehört, schreibt man:

$x \in A \quad \text{(x ist Element von A)}$ $x \notin A \quad \text{(x ist kein Element von A)}$

Beispiel: Für $A = \{2, 4, 6\}$ gilt: $4 \in A$ , aber $5 \notin A$ .

Kardinalzahl

Die Kardinalzahl (oder Mächtigkeit) $|A|$ gibt an, wie viele Elemente eine Menge hat.

$|A| = |\{2, 4, 6\}| = 3$

Teilmengen

$A$ ist eine Teilmenge von $B$ (geschrieben $A \subseteq B$ ), wenn jedes Element von $A$ auch in $B$ enthalten ist:

$A \subseteq B \iff \forall x: x \in A \Rightarrow x \in B$

$A$ ist eine echte Teilmenge ( $A \subsetneq B$ ), wenn zusätzlich $A \neq B$ gilt.

Beispiel: $\{2, 4\} \subseteq \{1, 2, 3, 4, 5\}$ , aber $\{2, 7\} \not\subseteq \{1, 2, 3, 4, 5\}$ .

Schnittmenge

Die Schnittmenge $A \cap B$ enthält alle Elemente, die gleichzeitig in $A$ und in $B$ sind:

$A \cap B = \{x \mid x \in A \text{ und } x \in B\}$

Beispiel: $\{1, 2, 3, 4\} \cap \{3, 4, 5, 6\} = \{3, 4\}$

Vereinigungsmenge

Die Vereinigungsmenge $A \cup B$ enthält alle Elemente, die in $A$ oder in $B$ (oder in beiden) sind:

$A \cup B = \{x \mid x \in A \text{ oder } x \in B\}$

Beispiel: $\{1, 2, 3\} \cup \{3, 4, 5\} = \{1, 2, 3, 4, 5\}$

Komplement

Das Komplement $\overline{A}$ (oder $A^c$ ) enthält alle Elemente des Grundraums $\Omega$ , die nicht in $A$ sind:

$\overline{A} = \{x \in \Omega \mid x \notin A\}$

Beispiel: Grundraum $\Omega = \{1, 2, 3, 4, 5, 6\}$ , $A = \{1, 2, 3\}$ , dann $\overline{A} = \{4, 5, 6\}$ .

Leere Menge

Die leere Menge $\emptyset = \{\}$ enthält kein Element. Sie ist Teilmenge jeder Menge: $\emptyset \subseteq A$ für alle $A$ .

Wenn $A \cap B = \emptyset$ , nennt man $A$ und $B$ disjunkt (überschneidungsfrei).

Venn-Diagramme

Venn-Diagramme visualisieren Mengenoperationen durch Kreise in einem Rechteck (= Grundraum):

  Grundraum Ω
 ┌─────────────────────┐
 │   ┌───┐   ┌───┐     │
 │   │ A │ ∩ │ B │     │
 │   │   │███│   │     │
 │   └───┘   └───┘     │
 └─────────────────────┘
    A∪B: alles in A oder B
    A∩B: ███ (Überlappung)

Potenzmenge

Die Potenzmenge $\mathcal{P}(A)$ enthält alle Teilmengen von $A$ (einschließlich $\emptyset$ und $A$ selbst):

$\mathcal{P}(\{1, 2\}) = \{\emptyset,\ \{1\},\ \{2\},\ \{1, 2\}\}$

Hat $A$ genau $n$ Elemente, so hat $\mathcal{P}(A)$ genau $2^n$ Elemente.

Merke dir

Schnitt $\cap$ bedeutet „und” (beide Bedingungen erfüllt), Vereinigung $\cup$ bedeutet „oder” (mindestens eine Bedingung erfüllt). Diese Grundlogik steckt in jeder Datenbankabfrage und jedem Wahrscheinlichkeitsraum.

Beispiel aus dem Alltag

Datenbankabfragen: Ein Onlineshop speichert Kunden in verschiedenen Kategorien. K_Neu = alle Neukunden, K_Prem = alle Premium-Kunden. Die Abfrage „alle Premium-Neukunden” entspricht $K_{Neu} \cap K_{Prem}$ , die Abfrage „alle Kunden, die Neu- oder Premium-Kunde sind” entspricht $K_{Neu} \cup K_{Prem}$ . SQL-Operatoren wie INTERSECT, UNION und EXCEPT sind direkte Umsetzungen der Mengenlehre.

Wahrscheinlichkeit: Beim Würfeln ist $\Omega = \{1, 2, 3, 4, 5, 6\}$ . Das Ereignis „gerade Zahl” ist $G = \{2, 4, 6\}$ , „Zahl größer 4” ist $H = \{5, 6\}$ . Die Wahrscheinlichkeit von $G \cup H = \{2, 4, 5, 6\}$ berechnet man über die Vereinigung.

Anwendung

Aufgabe: Sei $\Omega = \{1, 2, 3, 4, 5, 6, 7, 8\}$ , $A = \{1, 2, 3, 4\}$ , $B = \{3, 4, 5, 6\}$ .

Bestimme: (a) $A \cap B$ , (b) $A \cup B$ , (c) $\overline{A}$ , (d) $|A \cup B|$ , (e) $\mathcal{P}(\{5, 6\})$ .

Lösung:

(a) $A \cap B = \{3, 4\}$
(b) $A \cup B = \{1, 2, 3, 4, 5, 6\}$
(c) $\overline{A} = \{5, 6, 7, 8\}$
(d) $|A \cup B| = 6$
(e) $\mathcal{P}(\{5, 6\}) = \{\emptyset, \{5\}, \{6\}, \{5, 6\}\}$ , also $2^2 = 4$ Elemente

Typische Fehler

Verwechslung von $\in$ und $\subseteq$ : Das Symbol $\in$ beschreibt die Beziehung zwischen einem Element und einer Menge ( $3 \in \{1, 2, 3\}$ ). Das Symbol $\subseteq$ beschreibt die Beziehung zwischen zwei Mengen ( $\{1, 2\} \subseteq \{1, 2, 3\}$ ). Man schreibt nie $3 \subseteq \{1, 2, 3\}$ .

Häufiger Irrtum

Leere Menge vergessen: Die Potenzmenge von $\{a\}$ hat 2 Elemente: $\{\emptyset, \{a\}\}$ — nicht nur $\{\{a\}\}$ . Die leere Menge ist immer dabei.

Elemente doppelt zählen: $\{1, 2, 3\} \cup \{2, 3, 4\} = \{1, 2, 3, 4\}$ , nicht $\{1, 2, 2, 3, 3, 4\}$ . Jedes Element kommt in einer Menge nur einmal vor.

Zusammenfassung

Merke dir:

Eine Menge ist eine Sammlung eindeutiger Objekte in geschweiften Klammern
$x \in A$ (Element), $A \subseteq B$ (Teilmenge) — nicht verwechseln
$A \cap B$ : Schnitt — nur gemeinsame Elemente (logisches „und”)
$A \cup B$ : Vereinigung — alle Elemente aus beiden (logisches „oder”)
$\overline{A}$ : Komplement — alles im Grundraum außer $A$
Potenzmenge von $n$ -elementiger Menge hat $2^n$ Teilmengen
Die leere Menge $\emptyset$ ist Teilmenge jeder Menge

Quiz

Frage 1: Sei $A = \{a, b, c, d\}$ und $B = \{c, d, e, f\}$ . Was ist $A \cap B$ und $A \cup B$ ?

Frage 2: Wie viele Elemente hat die Potenzmenge von $\{1, 2, 3\}$ ?

Frage 3: Gilt $\{2, 4\} \subseteq \{1, 2, 3, 4, 5\}$ ? Und gilt $\{2, 7\} \subseteq \{1, 2, 3, 4, 5\}$ ? Begründe.

Frage 4: Bei einem Wurf mit einem normalen Würfel ( $\Omega = \{1,2,3,4,5,6\}$ ) sei $G = \{2,4,6\}$ (gerade) und $P = \{2,3,5\}$ (prim). Was ist $G \cap P$ und was bedeutet $\overline{G \cap P}$ ?