Sie sind auf Seite 1von 5

quivalenzrelationen und Reprsentantenunabhngigkeit

Suggestives Bsp fr Anfnger: x, y A 6 {x; x ist Auto} : R 6 {(x, y); y x} x y : x hat selbe Farbe wie y ist eine Teilmenge von A A (Def. )

Teilmengen von A A heissen Relationen (von A nach A). (vergl. Skript) quivalenzrelationen (auf A) erfllen zustzlich gewisse Eigenschaften. (vergl. Skript)
(Wahr)

(Reexiv) (Symmetrisch)

x A: x, y A:

x hat die selbe Farbe wie x x x x y


Def. ()

Def.

x hat selbe Farbe wie y y hat selbe Farbe wie x


Def. () Def.

yx

(Transitiv) x, y, z A: (x y y z) (x hat selbe Farbe wie y y hat selbe Farbe wie z) x hat selbe Farbe wie z
Def.

xz

ber die Korrektheit der Folgerungen mit (*) mssen wir uns natrlich auch einig sein. Sie werden jedenfalls nicht durch bisherige Theoreme gesichert ;). Wir haben hier fr die Relation R die Eigenschaften einer quivalenzrelation nachgewiesen. Nun knnen wir die Menge der Autos in Untermengen von Autos gleicher Farbe sortieren.

quivalenzklassen [x] 6 {y A| y x} = {y A|y hat selbe Farbe wie x}


Def.

(Heit quivalenzklasse von x bzgl.)

Nehmen wir jetzt ein spezielles schwarzes Auto (nennen wir es s1) aus A. (d.h. s1 A) [s1] 6 {y A| y s1} = {y A|y hat selbe Farbe wie s1}
Def.

ist dann oensichtlich die Menge der schwarzen Autos. (Fr diejenigen, die dies nicht oensichtlich nden: oensichtlich benutzen Mathematiker dieses oensichtlich sehr inationr. Statt den Kopf in den Sand zu stecken solltet ihr eine weile innehalten, euch die Zusammenhnge selber nochmal aufschreiben, und zur Not jemanden um Hilfe bitten, aber mglichst das berlesen des Unverstndlichen vermeiden.) Wenn wir suggestiv die Menge A nach Farben sortiert aufschreiben...
schwarze A. rote A. weie A.

A = s1, s2,

sns , r1 rnr ,

, w1 wnw

Knnen wir die quivalenzklassen angeben als: [s1] = {s1, s2, sns } [r17] = {r1 rnr } [wnw] = {w1 wnw } 1

Merke: Welchen Rpresentanten der Klasse wir auf der Linken Seite whlen (hier s1 fr schwarz, wnw fr wei) ndert nichts an der quivalenklasse auf der rechten Seite.

Menge der quivalenzklassen A/ sprich: A gefasert nach Tilde heit die Menge der quivalenzklassen. A/ 6 {[x] |x A} = {[s1], [r17], [wnw]}

ist dann die Menge aller Mengen von gleichfarbigen Autos. A/ nicht verwechseln mit der Komplementbildung A\B!

Reprsentantenunabhngigkeit Gegeben sei eine Abbildung S, die zwei Autos nimmt und wenn sie unterschiedlich schnell sind, soll sie das schnellere der beiden Autos ausgeben, und wenn nicht, dann das Auto, das in den ersten Eingang einfhrt. (Das andere wird verschrottet.) S: A A A; S(a1, a2) 6 a2 a1 ; a2 schneller als a1 ; sonst

Nun kommt es hug vor, dass wir eine Abbildung, die so deniert ist, auf folgende Art und Weise auf A/ fortsetzen wollen. Def. (Fortsetzung S ) x, y A: S ([x], [y]) 6 [S(x, y)]
A/ A/ A/

Ab nun werden ~ bei + und [ ] nicht mehr mitgeschreiben!

Abbildungen von A/ A/ nach R sind Teilmengen von A/ A/ A/, die eine gewisse Eigenschaft erfllen. (vergl. Skript) Die Menge {([x], [y], [x + y]) |x, y A} ist so eine Teilmenge von A/ A/ A/. Erfllt sie auch die Abbildungseigenschaft? Dies wrde folgendes Bedeuten: (x1, y1), (x2, y2) A A: ([x1], [y1]) = ([x2], [y2]) [S(x1, y1)] =[S(x2, y2)] (RU)

Dies ist bei dieser Abbildung nicht gegeben! Nehme z.B. zwei rote Autos r1, r2 und zwei schwarze Autos s1, s2 mit S(s1, r1) = s1 und S(s2, r2) = r2. es gilt ([s1], [r1]) = ([s2], [r2]) weil ja [s1] = [s2] und [r1] = [r2] Allerdings gilt auch: [S(s1, r1)] = [s1] [r2] =[S(s2, r2)] Und damit haben wir soeben die Negation von (RU) gezeigt, denn das Ergebnis welches Auto schneller ist hngt ab von den Reprsentanten der quivalenzklasse. S 6 {([x], [y], [x + y]) |x, y A} wird also nur eine Relation aber keine Abbildung. Denitionen ala (Fortsetzung S ) mit (RU) werden hingegen wohldenierte Abbildungen.

Bsp:

(Rechnen mit Modulo 9) x y : k Z: x y = k 9 (Def. )

x, y Z :

In Worten: wir sagen zwei Ganze Zahlen seien quivalent, wenn ihre Dierenz durch 9 teilbar ist. Prfe ob dies eine quivalenzrelation deniert. 2

z.z. x y ist Reexiv, Symmetrisch und Transitiv. (vergl. Skript) Bew.:


(Wahr) 0Z Def.

(Reexiv) (Symmetrisch)

x A: x, y A:

x x = 0 = 0 9 (k Z: x x = k 9 ) x y
Def. (1)

xx

k Z: x y = k 9 y x = (k) 9 k Z: y x = k 9
Def. Def.

kZkZ

yx

(Transitiv) x, y, z A: (x y y z) ([k Z: x y = k 9] [k Z: y z = k 9])


(I) () (I)

(I+I)

()k, k Z k + k #

k, k Z: x y = k 9 y z = k 9 k, k Z: x y + y z = k + k 9 () k Z: x z = k 9 x z

Def.

Also ist R 6 {(x, y) A A|x y } eine quivalenzrelation. () Ihr werdet euch manchmal unsicher sein, ob eine Folgerung dieser Art, in welcher ihr Quantoren vertauscht oder aust, korrekt ist. Quantorenregeln knnt ihr zunchst von eurer Anschauung her erraten. Es hilft solche Implikationen fr kleine Indexmengen nachzuprfen um ein Gefhl fr die Schreibweise zu bekommen. ala...
2 i=1 2 j=1

ai

bj

(Def.)

[a1 a2] [b1 b2] {a1 [b1 b2]} {[a2 [b1 b2]} {[a1 b1] [a1 b2]} {[a2 b1] [a1 b2]}

Distributivgesetz

Distributivgesetz

i=1 j=1

ai b j

(Def.) 2

i=1

(ai b1) (ai b2)

(Def.)

[a1 b1] [a1 b2] [a2 b1] [a2 b2]

Nun vergleiche beide Ergebnisse und siehe da.. sie sind nach dem Assioziativittsgesetz quivalent! Die selbe Vorgehensweise empfehle ich fr Unsicherheiten mit allen Objekten dieser Art. Aber Achtung! Dies war kein Beweis fr die Implikation (**) allerdings wre sie falsch, wenn sie nicht fr kleine Indexmengen funktionieren wrde. Dieses Verfahren kann euch also mglicherweise vor der Anwendung falsch erratener Quantorenregeln bewahren.

quivalenzklassen x Z: [x] 6 {y Z| y x} = {y A| k Z: y x = k 9 }
Def.

Versuchen wir mal herrauszunden wie diese quivalenzklassen aussehen. 3

[0] ={y A| k Z: y 0 = k 9 } = {y A| k Z: y = k 9 } ={0, 9, 9, 18, 18, .k 9, k 9, } [1] ={y A| k Z: y 1 = k 9 } = {y A| k Z: y = k 9 + 1 } ={1, 10, 8, 19, 17, .k 9 + 1, k 9 + 1, } [2] ={2, 11, 7, 20, 16, usw. [8] ={8, 1, 17, 9, [9] ={9, 18, 0, 27, k 9 + 8, k 9 8, } } ohh hier ist etwas spannendes passiert! .k 9 + 2, k 9 + 2, }

.(k + 1) 9, (k 1) 9,

wenn allerdings zwei quivalenzklassen in einem Element wir sehen, dass 9 [0] und 9 [9] bereinstimmen, dann folgt daraus die Gleichheit der quivalenzklassen. [0] = [9] [0] , [1] , und jede weitere Klasse, die wir aus einem k Z erzeugen wird mit einer der neun Klassen .[8]

bereinstimmen.

Menge der quivalenzklassen Z/ 6 {[x] | x Z} = {[0], [1] , [1] , [2] , [2] } = {[0], [1], Z gefasert nach hat also 9 quivalenzklassen als Elemente. [8]}

Denition einer Multiplikation x, y Z: [x] [y] 6 [x y]


Z/ Z/ Z/

Ab nun werden ~ bei [ ] nicht mehr mitgeschreiben!

Wir versuchen eine Abbildung (Multiplikation auf Z) wie im ersten Beispiel auf Z/ fortzusetzen. Dazu Beweisen wir die Reprsentantenunabhnigkeit (RU). z.z: (x1, y1), (x2, y2) Z Z: Bew.: (x1, y1), (x2, y2) Z Z:
(Def.)

([x1]=[x2] [y1] = [y2]) [x1 y1] =[x2 y2]

([x1] = [x2] [y1] = [y2]) x1 x2 y1 y2 {k Z: x1 x2 = k 9} {k Z: y1 y2 = k 9} k, k Z: x1 x2 = k 9 y1 y2 = k 9 k, k Z: x1 = k 9 + x2 y1 = k 9 + y2 k, k Z: x1 y1 = (k 9 + x2) k 9 + y2 Z: x1 y1 = 9kk + y2k + x2k 9 + x2 y2 k, k k Z: x1 y1 x2 y2 = k 9 x1 y1 x2 y2 [x1 y1] = [x2 y2] #
()

()

k, k Z: 9kk + y2k + x2k Z ()

()

(Def.)

a, b Z: a [a] a [b] a b

[a]=[b]

Def.[ ]/

()

Damit ist die Reprsentantenunabhngigkeit der Multiplikationsvorschrift gezeigt. Wir denieren: : Z/ Z/ ([x], [y]) Z/ [x][y] 6 [x y]

und wissen, dass die Abbildung wohldeniert ist (Wohldeniert meint hier, dass sie eindeutig ist) Dies bedeutet nunmehr, dass ihr Gleichungen mit quivalenzklassen ([x1] = [x2], [y1] = [y2]) mit aneinandermultiplizieren knnt. ([x1], [y1]), ([x2], [y2]) Z/ Z/: ([x1], [y1]) = ([x2], [y2])
Denierende Eig.v.( , )
[x1]=[x2][y1]=[y2]

(Def.Abbildung)

[x1][x2] = [y1][y2]