Quiz der Woche: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
*m.g.* (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 21: | Zeile 21: | ||
| type="{}" } | | type="{}" } | ||
<u>Behauptung:</u> Die Einteilung von <math>\ M</math> in die Teilmengen <math>\ T_1, T_2, T_3, ..., T_n, ...</math> ist eine { Klasseneinteilung } von <math>\ M</math>. | <u>Behauptung:</u> Die Einteilung von <math>\ M</math> in die Teilmengen <math>\ T_1, T_2, T_3, ..., T_n, ...</math> ist eine { Klasseneinteilung } von <math>\ M</math>. | ||
Das bedeutet: | Das bedeutet, dass wir zu zeigen haben: | ||
( | (L) ist { reflexiv } | ||
(S) <math>R</math> ist { symmetrisch } | (S) <math>R</math> ist { symmetrisch } | ||
(T) <math>R</math> ist { transitiv } | (T) <math>R</math> ist { transitiv } | ||
</quiz> | </quiz> | ||
Version vom 13. Mai 2010, 21:18 Uhr
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: Zwei Elemente von $ \ M $ liegen genau dann in derselben Teilmenge, wenn sie in der Relation $ \ R $ zueinander stehen.
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:
