Relacija ekvivalentnosti

52 relacije ekvivalentnosti u skupu s 5 elemenata, prikazano kao 5×5 logičkih matrica (obojena polja, uključujući ona u svijetlosivoj boji, predstavljaju jedinice; bijela polja predstavljaju nule.) Indeksi redova i kolona bijelih ćelija su povezani elementi, dok različite boje, osim svijetlo sive, označavaju klase ekvivalencije (svaka svijetlosiva ćelija je svoja klasa ekvivalencije).

U matematici, relacija ekvivalentnosti je binarna relacija koja je refleksivna, simetrična i tranzitivna. Relacija "jednak je" je kanonski primjer relacije ekvivalencije, gdje za bilo koje objekte Šablon:Mvar, Šablon:Mvar i Šablon:Mvar važi:

• Šablon:Math (refleksivno svojstvo),
• ako je Šablon:Math onda je Šablon:Math (simetrično svojstvo), i
• ako su Šablon:Math i Šablon:Math onda je Šablon:Math (tranzitivno svojstvo).

Kao posljedica refleksivnih, simetričnih i tranzitivnih svojstava, bilo koja relacija ekvivalencije pruža particiju temeljnog skupa u odvojene klase ekvivalencije. Dva elementa datog skupa jednaki su međusobno ako i samo ako pripadaju istoj klasi ekvivalencije.

Notacija

U literaturi se koriste različite oznake za označavanje da su dva elementa skupa Šablon:Math i Šablon:Math jednaka u odnosu na relaciju ekvivalencije Šablon:Math; najčešće oznake su "Šablon:Math" i "Šablon:Math", koje se koriste kada je Šablon:Math implicitan, a varijacije "Šablon:Math", "Šablon:Math" ili "Šablon:Math" da se eksplicitno odredi Šablon:Math. Neekvivalencija se može označiti kao "Šablon:Math" ili "$a\equiv ̸b$".

Definicija

Za određenu binarnu relaciju ~ u skupu X kaže se da je to relacija ekvivalencije ako i samo ako je ona refleksivna, simetrična i tranzitivna. To jest za sve a, b i c u skupu X:

• a ~ a (Refleksivnost)
• a ~ b ako i samo ako je b ~ a. (Simetrija)
• ako su a ~ b i b ~ c, onda a ~ c. (Tranzitivnost)

X zajedno s relacijom ~ naziva se setoid. Klasa ekvivalencije od $a$ sa ~, označeno kao $[a]$, je definirana kao $[a]=\{b\in X\mid a\sim b\}$.

Primjeri

Jednostavan primjer

Neka set $\{a,b,c\}$ ima relaciju ekvivalencije $\{(a,a),(b,b),(c,c),(b,c),(c,b)\}$. Onda su sljedeći skupovi klase ekvivalencije ovog odnosa:

$[a]=\{a\},[b]=[c]=\{b,c\}$.

Skup svih klasa ekvivalencije za ovaj odnos je $\{\{a\},\{b,c\}\}$ . Ovaj skup je particija skupa $\{a,b,c\}$ .

Reference

• Šablon:En simbol Brown, Ronald, 2006. Topology and Groupoids. Booksurge LLC. Šablon:ISBNISBN 1-4196-2722-8.
• Šablon:En simbol Castellani, E., 2003, "Symmetry and equivalence" in Brading, Katherine, and E. Castellani, eds., Symmetries in Physics: Philosophical Reflections. Cambridge Univ. Press: 422-433.
• Šablon:En simbol Robert Dilworth and Crawley, Peter, 1973. Algebraic Theory of Lattices. Prentice Hall. Chpt. 12 discusses how equivalence relations arise in lattice theory.
• Šablon:En simbol Higgins, P.J., 1971. Categories and groupoids. Van Nostrand. Downloadable since 2005 as a TAC Reprint.
• Šablon:En simbol John Randolph Lucas, 1973. A Treatise on Time and Space. London: Methuen. Section 31.
• Šablon:En simbol Rosen, Joseph (2008) Symmetry Rules: How Science and Nature are Founded on Symmetry. Springer-Verlag. Mostly chapters. 9,10.
• Šablon:En simbol Raymond Wilder (1965) Introduction to the Foundations of Mathematics 2nd edition, Chapter 2-8: Axioms defining equivalence, pp 48–50, John Wiley & Sons.