Ekvivalenčna relacija: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
{{normativna kontrola}} |
Fixed typo Oznake: mobilno urejanje urejanje z mobilno aplikacijo aplikacija za Android |
||
Vrstica 1: | Vrstica 1: | ||
'''Ekvivalenčna relacija''' v [[matematika|matematiki]] je [[dvočlena relacija|dvočlena]] [[relacija]] ~ (včasih označena tudi kot ''R'') v [[množica|množici]] ''A'', če veljajo za poljubne elemente ''a'', ''b'' in ''c'' množice značilnosti: |
'''Ekvivalenčna relacija''' v [[matematika|matematiki]] je [[dvočlena relacija|dvočlena]] [[relacija]] ~ (včasih označena tudi kot ''R'') v [[množica|množici]] ''A'', če veljajo za poljubne elemente ''a'', ''b'' in ''c'' množice značilnosti: |
||
# za vsak ''a'' velja ''a'' ~ ''a'' ([[refleksivnost|zakon o povratnosti (refleksivnosti)]]. |
# za vsak ''a'' velja ''a'' ~ ''a'' ([[refleksivnost|zakon o povratnosti (refleksivnosti)]]). |
||
# iz ''a'' ~ ''b'' sledi ''b'' ~ ''a'' ([[simetričnost|zakon o vzajemnosti (simetričnosti)]]). |
# iz ''a'' ~ ''b'' sledi ''b'' ~ ''a'' ([[simetričnost|zakon o vzajemnosti (simetričnosti)]]). |
||
# iz ''a'' ~ ''b'' in ''b'' ~ ''c'' sledi ''a'' ~ ''c'' ([[tranzitivnost|zakon o prehodnosti (tranzitivnosti)]]). |
# iz ''a'' ~ ''b'' in ''b'' ~ ''c'' sledi ''a'' ~ ''c'' ([[tranzitivnost|zakon o prehodnosti (tranzitivnosti)]]). |
Trenutna redakcija s časom 16:49, 29. oktober 2018
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 značilnosti:
- 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[uredi | uredi kodo]
- 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.