TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 91

Untersuchen Sie, ob die Relation $ARB\Leftrightarrow A\bigtriangleup B=A$ ($\bigtriangleup$ die symmetrische Differenz) auf der Potenzmenge einer Menge M eine Äquivalenzrelation bildet.

Siehe auch f.thread:23103 , f.thread:22874

Definition der symmetrischen Differenz

$A\bigtriangleup B=(A\setminus B)\cup (B\setminus A)$

C heißt symmetrische Differenz der Mengen A und B,

$C=A\triangle B$,

wenn C alle Elemente aus A enthält, die nicht zu B gehören und alle Elemente aus B, die nicht zu A gehören, d.h.:

$A\triangle B=(A-B)\cup (B-A)$

VENN-Diagramm:

Reflexivität

Reflexivität heißt, dass jedes Element in Relation zu sich selbst steht:

die Relation ist definiert : A $\bigtriangleup$ B = A

dh: wenn A in relation mit A steht => A $\bigtriangleup$ A = A

Aber das ergibt nicht A, sondern eine leere Menge => nicht reflexiv

Symmetrie

$ARB\Rightarrow BRA$?

Symmetrie heißt, wenn für alle a,b mit aRb auch bRa folgt.

$\forall {\text{ a,b }}\in {\text{ }}A^{2}:{\text{ (a,b) }}\in {\text{ R }}\qquad \Rightarrow \qquad {\text{ (b,a) }}\in {\text{ R }}$

Aus der Definition der symmetrischen Differenz folgt:

${\begin{array}{rcl}A\bigtriangleup B=A&\Leftrightarrow &A=\emptyset \\B\bigtriangleup A=B&\Leftrightarrow &B=\emptyset \end{array}}$

Daher ist die Relation R nur dann symmetrisch, wenn A = B. D. h. sie ist im allgemeinen nicht symmetrisch.

Transitivität

$ARB\land BRC\Rightarrow ARC$?

Eine Relation R transitiv, wenn stets gilt: (a,b) aus R UND (b,c) aus R FOLGT (a,c) aus R

$\forall {\text{ a,b }}\in {\text{ R }}:{\text{ (a,b) }}\in {\text{ R }}\wedge {\text{ (b,c) }}\in {\text{ R }}\qquad \Rightarrow \qquad {\text{ (a,c) }}\in {\text{ R }}$

Zwei Mengen A und B können entweder disjunkt sein ...

---

Die Mengen A und B heißen disjunkt, wenn gilt:

$A\cap B=\varnothing$

$\varnothing$ symbolisiert eine leere Menge.

Als VENN-Diagramm dargestellt:

---

... oder sich schneiden. Anhand der oben angeführten Definition der symmetrischen Differenz sieht man leicht, daß $A\bigtriangleup B$ die Menge $A\cup B$ ist, wenn die Mengen disjunkt sind, oder aber die Vereinigung zweier echter Teilmengen von jeweils A und B umfaßt, wenn sie nicht disjunkt sind. Daher kann $A\bigtriangleup B=A$ nur gelten, wenn $B=\emptyset$ und damit $A\bigtriangleup B=A\bigtriangleup \emptyset =(A\setminus \emptyset )\cup (\emptyset \setminus A)=A$ gilt.

Daraus kann man folgern:

${\begin{array}{rcl}A\bigtriangleup B=A&\Longleftrightarrow &B=\emptyset \\B\bigtriangleup C=B&\Longleftrightarrow &C=\emptyset \end{array}}$

Und damit gilt:

$A\bigtriangleup C=A\bigtriangleup \emptyset =A$

Daraus folgt, daß die Relation R transitiv ist.