Mengen
Definition FAKT
Eine Menge ist eine Sammlung wohldefinierter Objekte, ihrer Elemente. Zum Beispiel
A={2,4,6}
und 4∈A bedeutet, dass 4 zu A gehört. Dagegen gilt 5∈/A.
Reihenfolge und Wiederholungen ändern eine Menge nicht: {2,4,6}, {6,4,2} und {2,2,4,6} bezeichnen dieselbe Menge. Entscheidend ist nur, welche Elemente dazugehören.
Eine Menge beschreiben FAKT
Man kann ihre Elemente aufzählen:
B={a,e,i,o,u}
oder sie durch eine Eigenschaft definieren:
C={n∈N∣n<5}={0,1,2,3,4}
Hier gilt die Konvention 0∈N. Der senkrechte Strich wird „so dass“ gelesen. Die Eigenschaft muss eindeutig entscheiden, ob ein Objekt zur Menge gehört.
Leere Menge, Gleichheit und Kardinalität FAKT
Die leere Menge ∅ enthält kein Element. Sie ist nicht mit {∅} zu verwechseln, das ein Element enthält: die leere Menge selbst.
Zwei Mengen sind gleich, wenn sie genau dieselben Elemente haben. Für eine endliche Menge A ist ihre Kardinalität $|A|$ die Zahl ihrer Elemente. Für A={2,4,6} gilt $|A|=3$.
Inklusion und Teilmengen FAKT
A⊆B bedeutet, dass jedes Element von A auch zu B gehört. Zum Beispiel
{2,4}⊆{1,2,3,4}
Zugehörigkeit und Inklusion sind verschieden: 2∈A vergleicht ein Objekt mit einer Menge; A⊆B vergleicht Mengen. Jede Menge ist in sich selbst enthalten, und die leere Menge ist in jeder Menge enthalten.
Drei grundlegende Operationen FAKT
Seien A={1,2,3} und B={3,4}.
| Operation | Bedeutung | Ergebnis |
|---|---|---|
| Vereinigung A∪B | Elemente in A oder B | {1,2,3,4} |
| Schnitt A∩B | Gemeinsame Elemente von A und B | {3} |
| Differenz A∖B | Elemente aus A, die nicht in B sind | {1,2} |
Das „oder“ der Vereinigung ist inklusiv: Ein Element in beiden Mengen gehört zur Vereinigung, erscheint dort aber nur einmal. Bei festgelegter Universalmenge U ist das Komplement von A in U gleich U∖A. Ohne Universum ist „das Komplement von A“ unvollständig.
Diagramme helfen, definieren aber nicht FAKT
Ein Venn-Diagramm stellt Mengen als Regionen dar. Überlappung visualisiert den Schnitt, die vereinigten Regionen visualisieren die Vereinigung. Es ist eine Denkhilfe, keine Definition: Ein Beweis kehrt zu Zugehörigkeitsbedingungen zurück.
Für A∩B⊆A wählt man x∈A∩B. Nach Definition gilt x∈A und x∈B, also x∈A.
Warum die Abstraktion nützlich ist FAKT
Mengen liefern Mathematik und Informatik ein gemeinsames Vokabular. Wertebereiche, Abfrageergebnisse, Graphknoten oder von einer Regel akzeptierte Fälle lassen sich als Mengen behandeln. Relationen werden Mengen geordneter Paare, Funktionen nutzen Definitions- und Zielmenge. Mengen sind daher Voraussetzung für Relationen, Funktionen, Datenbanken, Wahrscheinlichkeit und Graphen.
Zusammenfassung
Eine Menge wird durch ihre Elemente bestimmt: Zugehörigkeit verbindet ein Objekt mit einer Menge; Inklusion vergleicht Mengen; Vereinigung, Schnitt und Differenz bilden neue Mengen.