Mathematik-Online-Lexikon: Erläuterung zu Regeln für Mengenoperationen

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Lexikon: Erläuterung zu
	Regeln für Mengenoperationen

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Übersicht

Für Mengenoperationen gelten die folgenden Identitäten.

Assoziativgesetze:

$\displaystyle (A\cap B)\cap C$ $\displaystyle =$ $\displaystyle A \cap (B \cap C)$

$\displaystyle (A\cup B)\cup C$ $\displaystyle =$ $\displaystyle A \cup (B \cup C)$
Kommutativgesetze:

$\displaystyle A\cap B$ $\displaystyle =$ $\displaystyle B \cap A$

$\displaystyle A\cup B$ $\displaystyle =$ $\displaystyle B \cup A$
Morgansche Regeln:

$\displaystyle C\backslash(A\cap B)$ $\displaystyle =$ $\displaystyle (C\backslash A) \cup (C\backslash B)$

$\displaystyle C\backslash (A\cup B)$ $\displaystyle =$ $\displaystyle (C\backslash A) \cap (C\backslash B)$
Distributivgesetze:

$\displaystyle (A\cap B)\cup C$ $\displaystyle =$ $\displaystyle (A\cup C) \cap (B\cup C)$

$\displaystyle (A\cup B)\cap C$ $\displaystyle =$ $\displaystyle (A\cap C) \cup (B\cap C)$

Diese Regeln entsprechen den Gesetzen für logische Operationen, wenn man die Operatoren $\cup,\cap$ durch $\land,\lor$ ersetzt und $C\backslash$ durch $\lnot$ .

Exemplarisch wird die erste De Morgansche Regel bewiesen. Es gilt

$\displaystyle x\in C\backslash ( A\cap B)$	$\displaystyle \Leftrightarrow$	$\displaystyle x\in C\,\land x\notin (A\cap B)$
	$\displaystyle \Leftrightarrow$	$\displaystyle x\in C\,\land (x\notin A \lor x\notin B) \,.$

Nach den Distributivgesetzen ist der letzte Ausdruck äquivalent zu

$\displaystyle (x\in C\land x\notin A) \lor (x\in C \land x\notin B) \Leftrightarrow x \in (C\backslash A \cup C\backslash B) \,,$

womit die behauptete Identität gezeigt ist.

(Autor: K. Höllig)

[Zurück zur Aussage]

automatisch erstellt am 11. 6. 2007

$\displaystyle (A\cap B)\cap C$	$\displaystyle =$	$\displaystyle A \cap (B \cap C)$
$\displaystyle (A\cup B)\cup C$	$\displaystyle =$	$\displaystyle A \cup (B \cup C)$

$\displaystyle A\cap B$	$\displaystyle =$	$\displaystyle B \cap A$
$\displaystyle A\cup B$	$\displaystyle =$	$\displaystyle B \cup A$

$\displaystyle C\backslash(A\cap B)$	$\displaystyle =$	$\displaystyle (C\backslash A) \cup (C\backslash B)$
$\displaystyle C\backslash (A\cup B)$	$\displaystyle =$	$\displaystyle (C\backslash A) \cap (C\backslash B)$

$\displaystyle (A\cap B)\cup C$	$\displaystyle =$	$\displaystyle (A\cup C) \cap (B\cup C)$
$\displaystyle (A\cup B)\cap C$	$\displaystyle =$	$\displaystyle (A\cap C) \cup (B\cap C)$