Citat:
Ursprungligen postat av
Rawyon
Diskret matematik, ekvivalensklasser!
Definition.
Låt R vara en ekvivalensrelation på en mängd A och låt x ∈ A. Mängden [x] = { y ∈ A : y R x }
Exempel
Relationen kongruens module 3 på A { 0,1,2,3,4}.
A1 = { 0,3 }
A2 = { 1,4 }
A3= { 2 }
[0] = [3] = {0,3}
[1] = [4] = {1,4}
[2] = { 2 }
Nu undrar jag, vad är en ekvivalsnklass? Visst definitonen står ovan, men vad är det bra för och vad är det egentligen?
Är i det här fallet [0] = [3] samma klass eller är det två olika?
Hur många klasser har den här relationen?
[0] = [3] = {0,3} , {0,3} är väl ingen klass? Varför likamedstecken?
Varje ekvivalensrelation på en mängd kommer dela in den mängden i ett antal disjunkta delmängder. I varje delmängd kommer du hitta de element som kan relateras till varandra med din ekvivalensrelation. Det är dessa delmängder som är dina ekvivalensklasser.
Nu vet jag inte riktigt vad det är för notation som används i ditt exempel med kongruenser, men kongruensrelationen är en ekvivalensrelation, alltså kommer det finnas ekvivalensklasser. När man rör sig med kongruenser brukar dessa kallas restklasser, de är alltså de tal som ger samma rest vid division med din modul
n.
Så om man räknar modulo 3 så kommer 0 vara kongruent med 3, de ger samma rest 0 vid division med 3. Likavis ger 1 och 4 resten 1 vid division med 3, osv osv.
Mängden {0, 3} är alltså en restklass, {1, 4} en annan restklass och {2} en tredje restklass.
För att svara på din fråga om hur många klasser relationen kongruens mod 3 så kan man fråga sig hur många möjliga rester man kan få vid division av heltal med 3? Kom ihåg att alla de tal som ger samma rest kommer i samma restklass (eller ekvivalensklass om man nu vill kalla dom det).