Mengen und Mengenoperationen¶
Was ist eine Menge?¶
Eine Menge ist eine Zusammenfassung wohlunterschiedener Objekte (Elemente) zu einem Ganzen. Notation: Geschweifte Klammern.
Das Symbol \(\in\) bedeutet „ist Element von": \(2 \in A\). Das Symbol \(\notin\) bedeutet „ist kein Element von": \(5 \notin A\).
Beschreibende Notation¶
Mengen können durch eine Eigenschaft definiert werden:
Besondere Mengen¶
| Symbol | Menge |
|---|---|
| \(\emptyset\) oder \(\{\}\) | Leere Menge (enthält kein Element) |
| \(\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 |
| \(\mathbb{R}\) | Reelle Zahlen |
| \(\mathbb{C}\) | Komplexe Zahlen |
Teilmengen¶
\(A\) ist Teilmenge von \(B\) (\(A \subseteq B\)), wenn jedes Element von \(A\) auch in \(B\) liegt:
Beispiel. \(\{1, 3\} \subseteq \{1, 2, 3, 4\}\).
\(A \subset B\) (echte Teilmenge) bedeutet \(A \subseteq B\) und \(A \neq B\).
Mengenoperationen¶
Vereinigung (∪)¶
Beispiel. \(\{1, 2\} \cup \{2, 3\} = \{1, 2, 3\}\).
Durchschnitt (∩)¶
Beispiel. \(\{1, 2, 3\} \cap \{2, 3, 4\} = \{2, 3\}\).
Differenz (∖)¶
Beispiel. \(\{1, 2, 3\} \setminus \{2, 4\} = \{1, 3\}\).
Komplement¶
Das Komplement \(\overline{A}\) (oder \(A^c\)) enthält alle Elemente, die nicht in \(A\) liegen (bezogen auf eine Grundmenge \(U\)):
Potenzmenge¶
Die Potenzmenge \(\mathcal{P}(A)\) ist die Menge aller Teilmengen von \(A\):
Für eine Menge mit \(n\) Elementen hat die Potenzmenge \(2^n\) Elemente.
Kartesisches Produkt¶
Das kartesische Produkt \(A \times B\) ist die Menge aller geordneten Paare:
Beispiel. \(\{1, 2\} \times \{a, b\} = \{(1, a), (1, b), (2, a), (2, b)\}\).
Zusammenfassung¶
| Operation | Symbol | Ergebnis |
|---|---|---|
| Element von | \(\in\) | \(x \in A\) |
| Teilmenge | \(\subseteq\) | Alle Elemente von \(A\) in \(B\) |
| Vereinigung | \(\cup\) | Elemente in \(A\) oder \(B\) |
| Durchschnitt | \(\cap\) | Elemente in \(A\) und \(B\) |
| Differenz | \(\setminus\) | Elemente in \(A\), nicht in \(B\) |
| Potenzmenge | \(\mathcal{P}(A)\) | Alle Teilmengen von \(A\) |
Quellen¶
- Halmos, Paul R.: Naive Set Theory. Springer, 1974.