.. index:: Menge .. _Mengen und ihre Eigenschaften: Mengen und ihre Eigenschaften ============================= Der Begriff "Menge" wurde erstmals von `Georg Cantor `_ benutzt. Er bezeichnete damit eine "Zusammenfassung von bestimmten, klar unterscheidbaren Objekten unserer Anschauung und unseres Denkens zu einem Ganzen." Eine Menge (Kurzschreibweise: :math:`\mathbb{M}`) hat damit folgende Eigenschaften: [#]_ * Eine Menge ist genau dann festgelegt, wenn sich von allen Objekten festlegen lässt, ob sie zur Menge gehören oder nicht. * Ein Objekt darf nicht mehrfach in der Menge enthalten sein. .. index:: Element .. _Element: Die in einer Menge enthaltenen Objekte werden als Elemente bezeichnet. *Beispiele:* * Die Teilnehmer eines bestimmten Lehrgangs sind wohlunterschiedene Objekte unserer Anschauung, sie bilden also eine Menge. * Die natürlichen Zahlen sind wohlunterschiedene Objekte unseres Denkens und bilden somit eine Menge. * Die abstrakten Objekte :math:`2`, :math:`\sqrt{4}`, :math:`\frac{4}{2}`, :math:`\frac{12}{6}` bilden eine einelementige Menge, da sie untereinander gleich sind. * Die Menge der Primzahlen enthält unendlich viele Elemente. * Die umgangssprachlichen Bezeichnungen: "eine Menge Geld", "eine Menge Wasser" usw. werden in der Mathematik nicht als Mengen angesehen, da sich nicht genau angeben lässt, welche Objekte dazugehören. .. index:: Menge; Leere Menge .. _Leere Menge: Als Variablen für Mengen werden Großbuchstaben, als Variablen für Elemente einer Menge Kleinbuchstaben verwendet. :math:`\mathbb{M}` ist eine Menge, wenn für jedes konkrete oder abstrakte Objekt :math:`x` der Satz ":math:`x \in \mathbb{M}`" eine wahre oder falsche Aussage ist. Gehört zu einer Menge kein konkretes oder abstraktes Objekt, so wird sie als leere Menge bezeichnet und mit dem Symbol :math:`\emptyset` dargestellt. Die mathematische Kurzschreibweise :math:`x \in \mathbb{M}` bedeutet, dass das Element :math:`x` in der Menge :math:`\mathbb{M}` enthalten ist. Ist dieser Satz * für alle :math:`x` falsch, so ist :math:`\mathbb{M}` eine leere Menge, * für endlich viele :math:`x` wahr, so ist :math:`\mathbb{M}` eine endliche Menge, * für unendlich viele :math:`x` wahr, so ist :math:`\mathbb{M}` eine unendliche Menge. Ist ein Element :math:`x` nicht in der Menge :math:`\mathbb{M}` enthalten, so schreibt man :math:`x \notin \mathbb{M}`. .. _Darstellung von Mengen: Darstellung von Mengen ---------------------- Mengen lassen sich auf verschiedene Arten angeben: * Aufzählende Form: Die Symbole der Objekte werden in geschweiften Klammern, durch Komma getrennt, aufgelistet. *Beispiele:* * :math:`\mathbb{M} _1 = \{ 1, 2, 3, \ldots \}` * :math:`\mathbb{M} _2 = \{ a, b, c, d \}` * Kennzeichnende Form: In der geschweiften Klammer wird eine Regel aufgeschrieben, anhand derer festgelegt ist, ob ein bestimmtes Element zur Menge gehört oder nicht. *Beispiel:* * :math:`\mathbb{M}_3 = \{ x \; | \; \text{$x$ ist eine Primzahl} \}` Die Schreibweise :math:`\mathbb{M} = \{ x | A(x) \}` bedeutet somit, dass genau dann :math:`x \in \mathbb{M}` gilt, wenn die :ref:`Aussageform ` :math:`A(x)` wahr ist. * Mengendiagramme: Die Elemente der Menge werden innerhalb einer geschlossenen Kurve dargestellt ("Venn-Diagramm") .. figure:: ../pics/mengenlehre/venn-diagramm.png :name: fig-venn-diagramm :alt: fig-venn-diagramm :align: center :width: 35% Beispiel eines Venn-Diagramms. .. only:: html :download:`SVG: Venn-Diagramm <../pics/mengenlehre/venn-diagramm.svg>` .. _Mengengleichheit: .. rubric:: Mengengleichheit Zwei Mengen :math:`\mathbb{M}_1` und :math:`M_2` sind gleich, wenn jedes Element von :math:`\mathbb{M}_1` auch Element von :math:`\mathbb{M}_2` ist, in Kurzschreibweise :math:`\mathbb{M} _1 = \mathbb{M}_2`. .. math:: \mathbb{M}_1 = \mathbb{M}_2 \quad \Longleftrightarrow \quad (\mathbb{M}_1 \subset \mathbb{M}_2 \wedge \mathbb{M}_2 \subset \mathbb{M}_1 ) .. index:: Menge; Teilmenge, Menge; Obermenge .. _Teilmenge und Obermenge: Teilmenge und Obermenge ----------------------- Sind alle Elemente der Menge :math:`\mathbb{M}_1` auch Elemente der Menge :math:`\mathbb{M}_2`, so ist :math:`\mathbb{M}_1` eine Teilmenge von :math:`\mathbb{M}_2`, in Kurzschreibweise :math:`\mathbb{M}_1 \subset \mathbb{M}_2`. Hierbei gibt es zwei Möglichkeiten: * :math:`\mathbb{M}_1` heißt *echte* Teilmenge von :math:`\mathbb{M}_2`, wenn :math:`\mathbb{M}_1 \subset \mathbb{M}_2` gilt und :math:`\mathbb{M}_2` mindestens ein Element besitzt, das nicht zu :math:`\mathbb{M}_1` gehört. * :math:`\mathbb{M}_1` heißt *unechte* Teilmenge von :math:`\mathbb{M}_2`, wenn :math:`\mathbb{M}_1 \subset \mathbb{M}_2` gilt und :math:`\mathbb{M}_2` kein Element besitzt, das nicht zu :math:`\mathbb{M}_1` gehört -- es gilt :math:`\mathbb{M}_1 = \mathbb{M}_2`. .. math:: \mathbb{M}_1 \subset \mathbb{M}_2 \quad \Leftrightarrow \quad \left( x \in \mathbb{M}_1 \Rightarrow x \in \mathbb{M}_2 \right) In beiden Fällen wird die Menge :math:`\mathbb{M}_2`, die auch alle Elemente von :math:`\mathbb{M}_1` enthält, als Obermenge von :math:`\mathbb{M}_1` bezeichnet. *Beispiel:* * :math:`\mathbb{M}_1 = \{ 3,\, 5,\, 7 \}, \; \mathbb{M}_2 = \{ 1,\,3,\, 5,\,7,\,9 \} \; \Rightarrow \; \mathbb{M}_1 \subset \mathbb{M}_2` .. figure:: ../pics/mengenlehre/venn-diagramm-teilmenge.png :name: fig-venn-diagramm-teilmenge :alt: fig-venn-diagramm-teilmenge :align: center :width: 35% Venn-Diagramm einer Teilmenge. .. only:: html :download:`SVG: Venn-Diagramm Teilmenge <../pics/mengenlehre/venn-diagramm-teilmenge.svg>` .. index:: Mengenoperation .. _Mengenoperationen: Mengenoperationen ----------------- .. index:: Mengenoperation; Schnittmenge .. _Schnittmenge: Die Schnittmenge ^^^^^^^^^^^^^^^^ Unter der Schnittmenge zweier Mengen :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2` versteht man die Menge aller Objekte, die sowohl zu :math:`\mathbb{M}_1` als auch zu :math:`\mathbb{M}_2` gehören, in Kurzschreibweise :math:`\mathbb{M}_1 \cap \mathbb{M}_2`. .. math:: x \in \mathbb{M}_1 \cap \mathbb{M}_2 \quad \Longleftrightarrow \quad x \in \mathbb{M}_1 \wedge x \in \mathbb{M}_2 *Beispiel:* * :math:`\mathbb{M}_1 = \{ 1,\, 3,\, 5 \}, \; \mathbb{M}_2 = \{ 5,\,7,\,9 \} \; \Rightarrow \; \mathbb{M}_1 \cap \mathbb{M}_2 = \{ 5 \}` .. figure:: ../pics/mengenlehre/venn-diagramm-schnittmenge.png :name: fig-venn-diagramm-schnittmenge :alt: fig-venn-diagramm-schnittmenge :align: center :width: 35% Venn-Diagramm einer Schnittmenge. .. only:: html :download:`SVG: Venn-Diagramm Schnittmenge <../pics/mengenlehre/venn-diagramm-schnittmenge.svg>` Nach dem gleichen Prinzip lässt sich auch die Schnittmenge mehrerer Mengen bilden. Mengen, die keine gemeinsamen Elemente haben, werden als disjunkte oder elementefremde Mengen bezeichnet. .. index:: Mengenoperation; Vereinigungsmenge .. _Vereinigungsmenge: Die Vereinigungsmenge ^^^^^^^^^^^^^^^^^^^^^ Die Menge aller Objekte, die zu mindestens einer der Mengen :math:`\mathbb{M}_1` oder :math:`\mathbb{M}_2` gehören, heißt Vereinigungsmenge von :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2`, in Kurzschreibweise: :math:`\mathbb{M}_1 \cup \mathbb{M}_2`. .. math:: x \in \mathbb{M}_1 \cup \mathbb{M}_2 \quad \Longleftrightarrow \quad x \in \mathbb{M}_1 \vee x \in \mathbb{M}_2 *Beispiel:* * :math:`\mathbb{M}_1 = \{ 1,\, 3,\, 5 \}, \; \mathbb{M}_2 = \{ 5,\,7,\,9 \} \; \Rightarrow \; \mathbb{M} _1 \cup \mathbb{M}_2 = \{ 1,\, 3,\, 5,\, 7,\, 9 \}` .. figure:: ../pics/mengenlehre/venn-diagramm-vereinigungsmenge.png :width: 35% :align: center :name: fig-venn-diagramm-vereinigungsmenge :alt: fig-venn-diagramm-vereinigungsmenge Venn-Diagramm einer Vereinigungsmenge. .. only:: html :download:`SVG: Venn-Diagramm Vereinigungsmenge <../pics/mengenlehre/venn-diagramm-vereinigungsmenge.svg>` Nach dem gleichen Prinzip lässt sich auch die Vereinigungsmenge mehrerer Mengen bilden. .. index:: Mengenoperation; Differenzmenge, Mengenoperation; Komplementärmenge .. _Differenz- und Komplementärmenge: Die Differenz- und Komplementärmenge ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Die Menge aller Objekte, die zu :math:`\mathbb{M}_1` gehören, ohne zugleich auch zu :math:`\mathbb{M}_2` zu gehören, heißt Differenzmenge (oder auch Restmenge) der Mengen :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2`, in Kurzschreibweise :math:`\mathbb{M}_1 \setminus \mathbb{M}_2`. .. math:: x \in \mathbb{M}_1 \setminus \mathbb{M}_2 \quad \Longleftrightarrow \quad x \in \mathbb{M}_1 \wedge x \notin \mathbb{M}_2 *Beispiel:* * :math:`\mathbb{M}_1 = \{ 1,\, 3,\, 5 ,\, 7 ,\, 9 \}, \; \mathbb{M}_2 = \{ 7,\,9 \} \; \Rightarrow \; \mathbb{M}_1 \setminus \mathbb{M}_2 = \{ 1 ,\, 3 ,\, 5 \}` .. figure:: ../pics/mengenlehre/venn-diagramm-differenzmenge.png :name: fig-venn-diagramm-differenzmenge :alt: fig-venn-diagramm-differenzmenge :align: center :width: 35% Venn-Diagramm einer Differenzmenge. .. only:: html :download:`SVG: Venn-Diagramm Differenzmenge <../pics/mengenlehre/venn-diagramm-differenzmenge.svg>` Die Komplementärmenge :math:`\mathbb{M}^{*}_1` einer Menge :math:`\mathbb{M}_1` ist diejenige Menge bezüglich einer Obermenge :math:`\mathbb{M}`, deren Elemente zwar zu :math:`\mathbb{M}`, aber nicht zu :math:`\mathbb{M}_1` gehören. Somit gilt :math:`\mathbb{M}^{*}_1 = \mathbb{M} \setminus \mathbb{M}_1`. .. index:: Mengenoperation; Produktmenge .. _Produktmenge: Die Produktmenge ^^^^^^^^^^^^^^^^ Die Produktmenge (auch Kreuzmenge oder kartesisches Produkt) der Mengen :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2` ist die Menge sämtlicher geordneter Paare, die mit den Elementen der Menge :math:`\mathbb{M} _1` (an erster Stelle) und denen der Menge :math:`\mathbb{M}_2` (an zweiter Stelle) gebildet werden können, in Kurzschreibweise :math:`\mathbb{M}_1 \times \mathbb{M}_2`: [#]_ .. math:: (x \, , \, y) \in \mathbb{M}_1 \times \mathbb{M}_2 \quad \Longleftrightarrow \quad x \in \mathbb{M}_1 \wedge y \in \mathbb{M}_2 .. figure:: ../pics/mengenlehre/venn-diagramm-produktmenge.png :name: fig-venn-diagramm-produktmenge :alt: fig-venn-diagramm-produktmenge :align: center :width: 55% Venn-Diagramm einer Produktmenge. .. only:: html :download:`SVG: Venn-Diagramm Produktmenge <../pics/mengenlehre/venn-diagramm-produktmenge.svg>` Ordnet man die Elemente von :math:`\mathbb{M}_1` als Punkte eines Zahlenstrahls und die Elemente von :math:`\mathbb{M}_2` auf einem dazu senkrecht stehenden Zahlenstrahl an, dann stellen sich die Elemente :math:`(x _{\mathrm{i}} \, , \, y _{\mathrm{i}})` von :math:`\mathbb{M}_1 \times \mathbb{M}_2` als Punkte der Ebene dar, die von den beiden Zahlenstrahlen aufgebaut wird. Führt man diesen Gedanken fort, so findet man, dass alle Punkte einer :math:`xy`-Koordinatenebene mit :math:`x \in \mathbb{R}` und :math:`y \in \mathbb{R}` durch die Elemente von :math:`\mathbb{R} ^2 = \mathbb{R} \times \mathbb{R}` dargestellt werden können. .. _Rechenregeln für Mengenoperationen: Rechenregeln für Mengenoperationen ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Für Mengenverknüpfungen gelten ähnliche Rechenregeln wie beim Rechnen mit Zahlen. Es gilt: * Kommutativgesetz: .. math:: \mathbb{M}_1 \cap \mathbb{M}_2 &= \mathbb{M}_2 \cap \mathbb{M}_1 \\ \mathbb{M}_1 \cup \mathbb{M}_2 &= \mathbb{M}_2 \cup \mathbb{M}_1 \\ * Assoziativgesetz: [#]_ .. math:: \mathbb{M}_1 \cap (\mathbb{M}_2 \cap \mathbb{M}_3) &= (\mathbb{M}_1 \cap \mathbb{M}_2) \cap \mathbb{M} _3 \\ \mathbb{M}_1 \cup (\mathbb{M}_2 \cup \mathbb{M}_3) &= (\mathbb{M}_1 \cup \mathbb{M}_2) \cup \mathbb{M} _3 \\ * Distributivgesetz: [#]_ .. math:: \mathbb{M}_1 \cap (\mathbb{M}_2 \cup \mathbb{M} _3) &= (\mathbb{M}_1 \cap \mathbb{M}_2) \cup (\mathbb{M}_1 \cap \mathbb{M}_3) \\ \mathbb{M}_1 \cup (\mathbb{M}_2 \cap \mathbb{M} _3) &= (\mathbb{M}_1 \cup \mathbb{M}_2) \cap (\mathbb{M}_1 \cup \mathbb{M}_3) Zusätzlich gilt für beliebige Mengen: .. math:: \mathbb{M}_1 \setminus (\mathbb{M}_2 \cup \mathbb{M}_3) &= (\mathbb{M}_1 \setminus \mathbb{M}_2) \cap (\mathbb{M}_1 \setminus \mathbb{M}_3) \\ \mathbb{M}_1 \setminus (\mathbb{M}_2 \cap \mathbb{M}_3) &= (\mathbb{M}_1 \setminus \mathbb{M}_2) \cup (\mathbb{M}_1 \setminus \mathbb{M}_3) .. math:: \mathbb{M}_1 \times (\mathbb{M}_2 \cup \mathbb{M}_3) &= (\mathbb{M}_1 \times \mathbb{M}_2) \cup (\mathbb{M}_1 \times \mathbb{M}_3) \\ \mathbb{M}_1 \times (\mathbb{M}_2 \cap \mathbb{M}_3) &= (\mathbb{M}_1 \times \mathbb{M}_2) \cap (\mathbb{M}_1 \times \mathbb{M}_3) Für Verknüpfungen mit der leeren Menge :math:`\emptyset` gilt: .. math:: \mathbb{M} \cup \emptyset &= \mathbb{M} \\ \mathbb{M} \cap \emptyset &= \emptyset \\ \mathbb{M} \setminus \emptyset &= \mathbb{M} \\ \emptyset \setminus \mathbb{M} &= \emptyset \\ .. index:: Mächtigkeit .. _Mächtigkeit von Mengen: Die Mächtigkeit von Mengen -------------------------- Haben zwei endliche Mengen :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2` die gleiche Anzahl an Elementen, so bezeichnet man :math:`\mathbb{M}_1` und :math:`\mathbb{M}_2` als gleichmächtig. Die Anzahl :math:`A` aller Elemente einer endlichen Menge :math:`\mathbb{M}` wird auch Kardinalzahl genannt. .. index:: Abzählbarkeit .. _Abzählbarkeit: .. rubric:: Die Abzählbarkeit Die Mächtigkeit von unendlichen Mengen wird an der Menge der natürlichen Zahlen :math:`\mathbb{N} = \{ 0 ,\, 1 ,\, 2 ,\, \ldots \}` gemessen. Lässt sich jedes Element einer Menge :math:`\mathbb{M}` in eindeutiger Weise einem Element aus :math:`\mathbb{N}` zuordnen, so wird die Menge :math:`\mathbb{M}` als abzählbar bezeichnet; die Elemente von :math:`\mathbb{M}` lassen sich also mit Hilfe der natürlichen Zahlen "numerieren". *Beispiel:* * Jeder Zahl :math:`n` aus der Menge der natürlichen Zahlen :math:`\mathbb{N}` kann durch die Zuordnung :math:`2 \cdot n` eine geradzahlige natürliche Zahl zugeordnet werden. Die (unendliche) Menge der geradzahligen natürlichen Zahlen ist somit ebenfalls abzählbar. Ist eine Menge nicht abzählbar, wie beispielsweise die Menge :math:`\mathbb{R}` der reellen Zahlen, so wird sie überabzählbar genannt. .. raw:: html
.. only:: html .. rubric:: Anmerkungen: .. [#] Genaugenommen lassen sich, wenn man den Begriff "Menge" nicht genauer fasst, paradoxe Aussagen formulieren. Am bekanntesten ist die `Russelsche Antinomie `_: "Gibt es eine Menge, die nur Elemente enthält mit der Eigenschaft, dass sie in keiner Menge enthalten sind?" Durch eine Formulierung von bestimmten Bedingungen, die jede Menge erfüllen muss, konnten die Mathematiker `Ernst Zermelo `_ und `Abraham Adolf Fränkel `_ im Jahr 1930 eine widerspruchsfreie Mengenlehre einführen. Für die meisten alltäglichen Mathematik-Aufgaben genügt allerdings der `ursprüngliche Mengenbegriff `_. .. [#] Ein Element :math:`(x,y)` einer Produktmenge ist nicht mit einer Menge :math:`\{ x,y \}` zu verwechseln. Während in letzterer die Reihenfolge von :math:`x` und :math:`y` keine Rolle spielt, d.h. :math:`\{ x,y \} = \{ y,x \}` gilt, sind zwei Elemente einer Produktmenge nur gleich, wenn ihre Komponenten paarweise gleich sind, wenn also gilt: .. math:: (x_1 ,\, y_1 ) = (x_2 ,\, y_2 ) \Leftrightarrow (x_1 = x_2) \wedge (y_1 = y_2) .. [#] Da hierbei die Reihenfolge der Zusammenfassung beliebig ist, kann auf die Klammern verzichtet werden. .. [#] Genau genommen entspricht die obige Darstellung nur der "linksseitigen" Distributivität. Für zwei Mengen gilt jedoch ebenso die "rechtsseitige" Distributivität: .. math:: (\mathbb{M}_2 \cup \mathbb{M}_3) \cap \mathbb{M}_1 &= (\mathbb{M}_1 \cap \mathbb{M}_2) \cup (\mathbb{M}_1 \cap \mathbb{M}_3) \\ (\mathbb{M}_2 \cap \mathbb{M}_3) \cup \mathbb{M} _1 &= (\mathbb{M}_1 \cup \mathbb{M}_2) \cap (\mathbb{M}_1 \cup \mathbb{M}_3) Gelten sowohl die linksseitige wie auch die rechtsseitige Distributivität, wird allgemein von "Distributivität" gesprochen. .. raw:: html
.. hint:: Zu diesem Abschnitt gibt es :ref:`Übungsaufgaben `.