Ekvivalenčna relacija

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

Ekvivalenčna relacija v matematiki je dvočlena relacija ~ (včasih označena tudi kot R) v množici A, če veljajo za poljubne elemente a, b in c množice lastnosti:

  1. Za vsak a velja a ~ a (Zakon o povratnosti (refleksivnosti).
  2. Iz a ~ b sledi b ~ a (Zakon o vzajemnosti (simetričnosti)).
  3. Iz a ~ b in b ~ c sledi a ~ c (Zakon o prehodnosti (tranzitivnosti)).

Zgledi ekvivalenčnih relacij[uredi | uredi kodo]