Quiz der Woche

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.

Übung zur Generierung einer Klasseneinteilung entsprechend obiger Idee.
Wir gehen von der folgenden Menge $ \ M $ aus:
$ \lbrace $-26, 17, 75, -40, -13, 17, -55, -15, 7, -35, 95, 65, -9, 40, 3, 0,91, 70, -62, -22, 12, 26, 31,33, 50, -15, -100, -83, -61, -17 $ \rbrace $
Die Relation $ \ R $ sei wie folgt festgelegt: Zwei Zahlen aus $ \ M $ stehen in Relation zueinander, wenn sie bei Division durch 4 denselben Rest lassen.

Insekt	Käfer	Datei:4706bee.web.jpg	Ameise	Motte
Obst	Pflaume	Datei:Rote Birne.jpg	Apfel	Kirsche	Banane
Nutztier	Datei:Gluecks schwein.jpg	Schaf	Rind

Pluspunkt für eine richtige Antwort:
Punkte für eine falsche Antwort:
Ignoriere die Fragen-Koeffizienten:

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, die

	Hallo
	Test

Im folgenden soll bewiesen werden, dass die so gewonnenen Teilmengen von $ M $ eine Klasseneinteilung von $ M $ sind. Ergänzen Sie dementsprechend die folgenden Ausführungen:

Pluspunkt für eine richtige Antwort:
Punkte für eine falsche Antwort:
Ignoriere die Fragen-Koeffizienten:

Überlegungen zur Voraussetzung

Voraussetzung: $ R $ ist eine

Das bedeutet:

(R) $ R $ ist

(S) $ R $ ist

(T) $ R $ ist

Pluspunkt für eine richtige Antwort:
Punkte für eine falsche Antwort:
Ignoriere die Fragen-Koeffizienten:

Ü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 .