Na množine R je daná nasledovná ekvivalencia:
E = {(x, y) ∈ R2 : x − y ∈ Z}.
Popíšte triedy rozkladu a nájdite systém reprezentantov.
mozme urobit rozklad ak tato relacia nieje ekvivalencia lebo nieje symetricka
Offline
Každému
přiřadíme množinu
.
Rozkladovou třídou, v níž leží prvrek
, je množina
. Symbol
znamená
největší prvek mezi těmi celými čísly, která jsou menší nebo rovna
.
Za representanta třídy
můžeme zvolit číslo
. Tyto třídy jsou tedy representovány
čísly z intervalu
.
Relace, která není ekvivalencí, nevytváří rozklad v tom smyslu, jako ekvivalence
(neboť rozkladem je zpětně určena ekvivalence).
Relace, která není symetrická, není ekvivalencí a proto pro ni platí to, co uvedeno výše.
Offline