Mathe für Nicht-Freaks: Formeln der Mengenlehre

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}} Auf dieser Seite haben wir wichtige Formeln der Mengenlehre für dich aufgelistet. Die Beweise findest du in den folgenden Kapiteln:

• Durchschnitt von Mengen
• Vereinigung von Mengen
• Differenz, symmetrische Differenz und Komplement

Assoziativgesetze

• $(A\cap B)\cap C=A\cap (B\cap C)$
• $(A\cup B)\cup C=A\cup (B\cup C)$
• $\left(A\mathrm{△}B\right)\mathrm{△}C=A\mathrm{△}\left(B\mathrm{△}C\right)$

Kommutativgesetze

• $A\cap B=B\cap A$
• $A\cup B=B\cup A$
• $A\mathrm{△}B=B\mathrm{△}A$

Distributivgesetze

• $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$
• $A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$
• $A\cap (B\mathrm{△}C)=(A\cap B)\mathrm{△}(A\cap C)$

Idempotenzgesetze

• $A\cap A=A$
• $A\cup A=A$

Absorptionsgesetze

• $A\cap (A\cup B)=A$
• $A\cup (A\cap B)=A$

Neutralitätsgesetze

Im Folgenden sei $M$ die Grundmenge.

• $A\cap M=A$
• $A\cup \varnothing =A$
• $A\mathrm{△}\varnothing =A$

Extremalgesetze

Im Folgenden sei $M$ die Grundmenge.

• $A\cup M=M$
• $A\cap \varnothing =\varnothing$

De-Morgansche Regeln

• $(A\cap B{)}^{\complement }=A^{\complement }\cup B^{\complement }$
• $(A\cup B{)}^{\complement }=A^{\complement }\cap B^{\complement }$

Regeln zum Komplement

Im Folgenden sei $M$ die Grundmenge.

• $(A^{\complement }{)}^{\complement }=A$
• $M^{\complement }=\varnothing$
• ${\varnothing }^{\complement }=M$
• $A\cap A^{\complement }=\varnothing$
• $A\cup A^{\complement }=M$
• $A\mathrm{△}M=A^{\complement }$
• $A\mathrm{△}{A}^{\complement }=M$

Regeln zur Differenz

• $(A\setminus B)\setminus C=A\setminus (B\cup C)$
• $A\setminus (B\setminus C)=(A\setminus B)\cup (A\cap C)$
• $(A\cap B)\setminus C=(A\setminus C)\cap (B\setminus C)$
• $(A\cup B)\setminus C=(A\setminus C)\cup (B\setminus C)$
• $A\setminus (B\cap C)=(A\setminus B)\cup (A\setminus C)$
• $A\setminus (B\cup C)=(A\setminus B)\cap (A\setminus C)$

Regeln zur symmetrischen Differenz

Es gelten Assoziativität, Kommutativität, Distributivität und Neutralität, siehe dort.

• $A\mathrm{△}A=\varnothing$
• $A\mathrm{△}B=(A\cup B)\setminus (A\cap B)$
• $A\mathrm{△}B=(A\setminus B)\cup (B\setminus A)$
• $(A\mathrm{△}B{)}^{\complement }=(A^{\complement }\cap B^{\complement })\cup (A\cap B)$

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}