Quiz der Woche 4 P (SoSe 12)

Es sei $\ R$ ein Äquivalenzrelation auf der Menge $\ M$. Wir zerlegen $\ M$ derart in Teilmengen $\ T_1, T_2, T_3, ..., T_n, ...$, dass gilt: Jede der Teilmengen besteht aus all den Elementen von $\ M$, die in der Relation $\ R$ zueinander stehen.
Satz:
Die Zerlegung von $\ M$ in die Teilmengen $\ T_1, T_2, T_3, ..., T_n, ...$ ist eine Klasseneinteilung von $\ M$.

Beispiel zu dieser Idee, Klassen einzuteilen

Pluspunkt für eine richtige Antwort:
Minuspunkte für eine falsche Antwort:
Ignoriere den Fragen-Koeffizienten:

1. Die Idee, eine Klasse durch eines ihrer Elemente zu beschreiben.
{Wir wollen versuchen, die Art und Weise der Generierung einer beliebigen der Teilmengen $\ T_1, T_2, T_3, ..., T_n, ...$ formal zu beschreiben. Diesbezüglich stellen wir fest, dass es sinnvoller ist, nicht mit Zahlen, sondern mit Elementen aus $\ M$ zu indizieren. Unter der Klasse $\ T_a$ verstehen wir dann alle Elemente von $\ M$, die mit dem Element $\ a$ aus M in der Relation $\ R$ stehen. Welche der folgenden formalen Definitionen ist bezüglich dieser Idee korrekt?

	$\bigwedge_{a \in M}: T_a:= \lbrace b| b \in M \wedge bRa \rbrace$
→	so liest sich das: Für alle $a$ aus $M$ legen wir die Teilmenge $T_a$ derart fest, dass zu ihr alle Elemente $b$ aus $M$ gehören, die mit $a$ in der Relation $R$ stehen.
	$\bigwedge_{b \in M}: T_b:= \lbrace x| x \in M \wedge xRb \rbrace$
→	Genau dasselbe wie zuvor, nur heißt $a$ jetzt $b$ und $b$ dafür $x$.

2. Überlegungen zur Voraussetzung

Voraussetzung: $R$ ist eine

Das bedeutet:

(R) $R$ ist

(S) $R$ ist

(T) $R$ ist

3. Überlegungen zur Behauptung

Behauptung: Die Einteilung von $\ M$ in die Teilmengen $\ T_1, T_2, T_3, ..., T_n, ...$ ist eine von $\ M$.

Das bedeutet, dass wir zu zeigen haben:

(L) Der Durchschnitt zweier verschiedener Teilmengen $\ T_i$ und $\ T_j$ ist die

(S) Die Vereinigungsmenge aller Teilmengen $\ T_1, T_2, T_3, ..., T_n, ...$ ist die Menge

(0) Weder $\ T_1$ noch $\ T_2$ noch irgendeine andere der Mengen $\ T_1, T_2, T_3, ..., T_n, ...$ ist .

Punkte: 0 / 0