- #1
- 19,443
- 10,021
Definition/Summary
A relation on a set [itex]A[/itex] is a set of ordered pairs [itex](a,b)[/itex] of elements of[itex]A[/itex] (a subset of [itex]A \times A[/itex]).
An equivalence relation [itex]\sim\ \subseteq A \times A[/itex] is a relation which is reflexive, symmetric and transitive.
In other words, the relation [itex]\sim[/itex] on [itex]A[/itex] is an equivalence relation if, for all elements [itex]a\ b\text{ and }c[/itex]:
1)[itex](a,a)\in\ \sim[/itex] (the relation is reflexive: [itex]a\sim a[/itex])
2)[itex](a,b)\in\ \sim\ \Rightarrow (b,a)\in\ \sim[/itex] (the relation is symmetric: [itex]a\sim b\ \Rightarrow b\sim a[/itex])
3)[itex](a,b)\in\ \sim \text{ and } (b,c)\in\ \sim\ \Rightarrow (a,c)\in\ \sim[/itex] (the relation is transitive: [itex]a\sim b\text{ and } b\sim c \Rightarrow a\sim c)[/itex]
The equivalence class containing [itex]a[/itex] is the subset [itex][a]\ =\ \{b\in\ A\ :\ b\sim\ a\}[/itex], of all elements related to [itex]a[/itex].
Each element belongs to exactly one equivalence class: in other words, the equivalence classes are a partition of the whole set.
The set of all equivalence classes is called the quotient set, [itex]A/\sim[/itex].
The projection induced by [itex]\sim[/itex] is the function [itex]\pi:\ A\rightarrow\ A/\sim[/itex] defined by [itex]\pi (a)\ =\ [a][/itex], mapping each element to its equivalence class.
A congruence relation on a set with algebraic structure is an equivalence relation which is compatible with that structure.
Equations
Extended explanation
Sameness:
There is an equivalence relation between two elements if they are in some sense the same, if they are the same with respect to some property. Indeed, an equivalence relation is a generalisation of equality
Trivial equivalence relations:
Equality itself is an equivalence relation, but it is a trivial one, since the equivalence classes each have only one element, and the quotient set [itex]A/=[/itex] is the set [itex]A[/itex] itself.
Common membership of the set is also a trivial equivalence relation: there is only one equivalence class, the trivial subset [itex]A[/itex] itself, and so the quotient set has only one element.
Examples of Equivalence Relations:
1) Modular arithmetic: Define the relation [itex]\equiv[/itex] on the set [itex]\mathbb{N}[/itex] of natural numbers by: [itex]a\equiv b \Leftrightarrow a\text{ and }b[/itex][itex]\text{ have the same remainder when divided by 3}[/itex]. This defines an equivalence relation, often written [itex]a\equiv b\text{ (mod 3)}[/itex]. (Is there anything special about the number 3 here? )
Then there are three equivalence classes, namely the subsets:
[tex]R_0 = \{ 0,3,6,9,\ldots \} = \{ n\in \mathbb{N}: n\equiv 0\}[/tex]
[tex]R_1 = \{ 1, 4, 7, \ldots \} = \{ n\in \mathbb{N}: n\equiv 1\}[/tex]
[tex]R_2 = \{ 2, 5, 8,\ldots \} = \{ n\in \mathbb{N}: n\equiv 2\}[/tex]
Note that these equivalence classes form a partition, since they are disjoint, and their union is [itex]\mathbb{N}[/itex].
The quotient set [itex]\mathbb{N}/\equiv[/itex] is the set [itex]\{R_0,R_1,R_2\}[/itex].
The projection induced by [itex]\equiv[/itex] is the function [itex]Rem:\ \mathbb{N}\rightarrow\mathbb{N}/\equiv[/itex] which maps each number onto its equivalence class.
So two numbers are equivalent to each other (mod 3) if they have the same remainder (on division by 3): the quotient set may be thought of as the set of possible remainders, and the projection as the function [itex]Rem(n)[/itex] which gives the remainder.
Since, for example, [itex]Rem(a) + Rem(b) = Rem(a+b)[/itex] and [itex]Rem(a)Rem(b) = Rem(ab)[/itex] , [itex]\mathbb{N}/\equiv[/itex] has the same algebraic structure as [itex]\mathbb{N}[/itex] , and so [itex]\equiv[/itex] is a congruence relation.
2) Let A be the set of all triangles, and the relation ~ be defined: [tex]a\sim b \Leftrightarrow a[/tex] and [tex]b[/tex] have the same area.
3) Let A be the set of all straight lines in the plane, and define the relation ~ by: [tex]a\sim b \Leftrightarrow a[/tex] and [tex]b[/tex] are parallel.
4) Let [tex]A = \mathbb{N}\times \mathbb{N}[/tex] and define the relation: [tex](m,n)\sim (s,t) \Leftrightarrow ns = mt[/tex].
5) As one last example, consider the set A of a child's play things, e.g. blocks, balls, cars etc., and each toy has one colour. We may ask the child to pile together those objects of the same colour. This would be teaching the child to work with the equivalence relation that two toys are equivalent if they are of the same colour. An equivalence class would be a pile of toys of the same colour. Each toy falls into one pile, all the piles together make up all the child's toys, and no toy belongs to more than one pile (equivalence classes are disjoint).
* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!
A relation on a set [itex]A[/itex] is a set of ordered pairs [itex](a,b)[/itex] of elements of[itex]A[/itex] (a subset of [itex]A \times A[/itex]).
An equivalence relation [itex]\sim\ \subseteq A \times A[/itex] is a relation which is reflexive, symmetric and transitive.
In other words, the relation [itex]\sim[/itex] on [itex]A[/itex] is an equivalence relation if, for all elements [itex]a\ b\text{ and }c[/itex]:
1)[itex](a,a)\in\ \sim[/itex] (the relation is reflexive: [itex]a\sim a[/itex])
2)[itex](a,b)\in\ \sim\ \Rightarrow (b,a)\in\ \sim[/itex] (the relation is symmetric: [itex]a\sim b\ \Rightarrow b\sim a[/itex])
3)[itex](a,b)\in\ \sim \text{ and } (b,c)\in\ \sim\ \Rightarrow (a,c)\in\ \sim[/itex] (the relation is transitive: [itex]a\sim b\text{ and } b\sim c \Rightarrow a\sim c)[/itex]
The equivalence class containing [itex]a[/itex] is the subset [itex][a]\ =\ \{b\in\ A\ :\ b\sim\ a\}[/itex], of all elements related to [itex]a[/itex].
Each element belongs to exactly one equivalence class: in other words, the equivalence classes are a partition of the whole set.
The set of all equivalence classes is called the quotient set, [itex]A/\sim[/itex].
The projection induced by [itex]\sim[/itex] is the function [itex]\pi:\ A\rightarrow\ A/\sim[/itex] defined by [itex]\pi (a)\ =\ [a][/itex], mapping each element to its equivalence class.
A congruence relation on a set with algebraic structure is an equivalence relation which is compatible with that structure.
Equations
Extended explanation
Sameness:
There is an equivalence relation between two elements if they are in some sense the same, if they are the same with respect to some property. Indeed, an equivalence relation is a generalisation of equality
Trivial equivalence relations:
Equality itself is an equivalence relation, but it is a trivial one, since the equivalence classes each have only one element, and the quotient set [itex]A/=[/itex] is the set [itex]A[/itex] itself.
Common membership of the set is also a trivial equivalence relation: there is only one equivalence class, the trivial subset [itex]A[/itex] itself, and so the quotient set has only one element.
Examples of Equivalence Relations:
1) Modular arithmetic: Define the relation [itex]\equiv[/itex] on the set [itex]\mathbb{N}[/itex] of natural numbers by: [itex]a\equiv b \Leftrightarrow a\text{ and }b[/itex][itex]\text{ have the same remainder when divided by 3}[/itex]. This defines an equivalence relation, often written [itex]a\equiv b\text{ (mod 3)}[/itex]. (Is there anything special about the number 3 here? )
Then there are three equivalence classes, namely the subsets:
[tex]R_0 = \{ 0,3,6,9,\ldots \} = \{ n\in \mathbb{N}: n\equiv 0\}[/tex]
[tex]R_1 = \{ 1, 4, 7, \ldots \} = \{ n\in \mathbb{N}: n\equiv 1\}[/tex]
[tex]R_2 = \{ 2, 5, 8,\ldots \} = \{ n\in \mathbb{N}: n\equiv 2\}[/tex]
Note that these equivalence classes form a partition, since they are disjoint, and their union is [itex]\mathbb{N}[/itex].
The quotient set [itex]\mathbb{N}/\equiv[/itex] is the set [itex]\{R_0,R_1,R_2\}[/itex].
The projection induced by [itex]\equiv[/itex] is the function [itex]Rem:\ \mathbb{N}\rightarrow\mathbb{N}/\equiv[/itex] which maps each number onto its equivalence class.
So two numbers are equivalent to each other (mod 3) if they have the same remainder (on division by 3): the quotient set may be thought of as the set of possible remainders, and the projection as the function [itex]Rem(n)[/itex] which gives the remainder.
Since, for example, [itex]Rem(a) + Rem(b) = Rem(a+b)[/itex] and [itex]Rem(a)Rem(b) = Rem(ab)[/itex] , [itex]\mathbb{N}/\equiv[/itex] has the same algebraic structure as [itex]\mathbb{N}[/itex] , and so [itex]\equiv[/itex] is a congruence relation.
2) Let A be the set of all triangles, and the relation ~ be defined: [tex]a\sim b \Leftrightarrow a[/tex] and [tex]b[/tex] have the same area.
3) Let A be the set of all straight lines in the plane, and define the relation ~ by: [tex]a\sim b \Leftrightarrow a[/tex] and [tex]b[/tex] are parallel.
4) Let [tex]A = \mathbb{N}\times \mathbb{N}[/tex] and define the relation: [tex](m,n)\sim (s,t) \Leftrightarrow ns = mt[/tex].
5) As one last example, consider the set A of a child's play things, e.g. blocks, balls, cars etc., and each toy has one colour. We may ask the child to pile together those objects of the same colour. This would be teaching the child to work with the equivalence relation that two toys are equivalent if they are of the same colour. An equivalence class would be a pile of toys of the same colour. Each toy falls into one pile, all the piles together make up all the child's toys, and no toy belongs to more than one pile (equivalence classes are disjoint).
* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!