Prijeđi na sadržaj

Relacija ekvivalencije

Izvor: Wikipedija

Relacija ekvivalencije R na skupu A je binarna relacija koja je podskup kartezijevog produkta A x A sa sljedećim svojstvima:

Svaka relacija ekvivalencije dijeli skup na klase, tj. čini jednu particiju skupa, i svaka particija skupa stvara jednu relaciju ekvivalencije.

Klasa ekvivalencije nekoga člana a iz A sadrži sve članove A ekvivalentne s a po relaciji R, a označava se s [a], tj. [a]={b iz A : aRb}. a ili bilo koji drugi član te klase naziva se reprezentant klase.

Za bilo koje dvije klase [a], [b] iz relacije ekvivalencije R vrijedi ili [a]=[b] ili je [a] u presjeku sa [b] prazan skup, tj. nemaju niti jedan zajednički član.

Izvori

[uredi | uredi kôd]