Ekvivalenčna relacija: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m robot Dodajanje: sv:Ekvivalensrelation |
m robot Dodajanje: oc:Relacion d'equivaléncia, sk:Relácia ekvivalencie, sr:Релација еквиваленције |
||
Vrstica 31: | Vrstica 31: | ||
[[ko:동치 관계]] |
[[ko:동치 관계]] |
||
[[nl:Equivalentierelatie]] |
[[nl:Equivalentierelatie]] |
||
[[oc:Relacion d'equivaléncia]] |
|||
[[pl:Relacja równoważności]] |
[[pl:Relacja równoważności]] |
||
[[pt:Relação de equivalência]] |
[[pt:Relação de equivalência]] |
||
[[ru:Отношение эквивалентности]] |
[[ru:Отношение эквивалентности]] |
||
[[sk:Relácia ekvivalencie]] |
|||
[[sr:Релација еквиваленције]] |
|||
[[sv:Ekvivalensrelation]] |
[[sv:Ekvivalensrelation]] |
||
[[vi:Tập hợp tương đương]] |
[[vi:Tập hợp tương đương]] |
Redakcija: 02:40, 7. maj 2007
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:
- Za vsak a velja a ~ a (Zakon o povratnosti (refleksivnosti).
- Iz a ~ b sledi b ~ a (Zakon o vzajemnosti (simetričnosti)).
- Iz a ~ b in b ~ c sledi a ~ c (Zakon o prehodnosti (tranzitivnosti)).
Zgledi ekvivalenčnih relacij
- enakost (»=«), relacija enakosti med realnimi števili ali množicami,
- relacija »je kongruentno po modulu « med celimi števili,
- relacija »je podobno« med množico vseh trikotnikov,
- relacija »ima rojstni dan kot« med množico vseh ljudi,
- relacija »logične enakovrednosti« med stavki logike prvega reda,
- relacija »izomorfizma« med modeli množice stavkov,
- relacija ekvipolence med množicami.