### 8.5 equivalence relations

```8.5 Equivalence Relations
Def. of Equivalence Relation
Def: A relation on a set A is called an
equivalence relation if it is R, S, and T
(Reflexive, Symmetric, and Transitive).
Note: These relations split sets into disjoint
classes of equivalent elements where we only
care what class an element is in, not about its
particular identity.
Recall the examples from 8.1
• Ex: Consider the following relations R on the set A of all
people.
Determine which properties (RSAT) hold: circle if so:
1. R={(a,b)| a is older than b }
RSAT
2. R={(a,b)| a lives within 10 miles of b }
RSAT
3. R={(a,b)| a is a cousin of b }
RSAT
4. R={(a,b)| a has the same last name as b }
RSAT
More examplesR on the set A of all people.
5. R={(a,b)| a’s last name starts with the same letter as
b’s }
RSAT
6. R={(a,b)| a is a (full) sister of b }
RSAT
7. R={(a,b)| a has the same major as b }
RSAT
Intro to Equivalence Classes
Note: These relations split sets into disjoint
classes of equivalent elements where we only
care what class an element is in, not about its
particular identity.
Find the equivalence classes on the previous
examples.
More examples, proofs and
equivalence classes
• Ex. 8: Consider the relation R on the set of
integers Z. aRb iff a=b or a= - b.
• Show that R is
– Reflexive
– Symmetric
Ex 8
• Transitive
Equivalence classes
Def: If R is an equivalence relation on a set A,
the equivalence classes of the element a is
[a] R = { s | (a,s) R}.
If b [a] R , b is classed a representative of this
equivalence class.
Details for Ex. 8:
[a] = _________
Ex. 9: R on Z, aRb iff a
b mod 4
• Recall: Def: a b mod 4 iff ________
• Examples: 7 __ mod 4
• 10 ___
mod 4
1 __ mod 4
• Proof that a
relation:
• Reflexive:
b mod 4 is a equivalence
a
b mod 4
• Symmetric: Assume aRb.
Transitive
• Transitive: Assume aRb and bRc.
Equivalence classes of a
[0] 4 = {
b mod 4
Similarly, do a
• Equivalence classes:
[0] 3 = {
b mod 3
Ex. 9: R on Reals,
aRb iff a-b is an integer
• A few examples
• Proof this is an equivalence relation:
• Reflexive
aRb iff a-b is an integer
• Symmetric
• Transitive
aRb iff a-b is an integer
• Some equivalence classes
R={(a,b)| a b (mod m)}
• We’ve considered a few examples (a b mod
3 and a b mod 4). Now, let’s make a general
claim.
• Claim: If m is a positive integers >1, then
R={(a,b)| a b (mod m)} is an equivalence
relation on Z (integers).
• Recall from ch. 2 that a
b mod m iff m|(a-b)
R={(a,b)| a b (mod m)} is an
equivalence relation
• Proof
• Reflexive:
• Symmetric: Assume that aRb.
Transitive:
• Assume that aRb and bRc.
Equivalence classes…
• … of two elements of A are either identical or
disjoint.
Thm. 1
•
•
•
•
•
Let R be an equivalence relation on a set A.
The following are equivalent:
i) aRb
ii) [a] = [b]
iii) [a] [b] ≠
Proof method??
• i)
–
–
–
–
–
–
–
–
–
–
ii)
Proof:
Assume aRb.
Show [a] = [b]. To show =, show ____
To show [a] [b], assume ____ and show ______
Assume c [a]. Then ______
__________________
__________________
__________________
c [b]. So [a] [b]. We’re half done
Other half is similar:
..
..
…proof
• ii)
iii)
– Assume [a] = [b]
– ..
– Therefore [a] [b] ≠
• iii)
i)
– Assume [a] [b] ≠
– ___________
– ___________
– Therefore aRb
Partition
• The equivalence classes form a partition of A (a
collection of disjoint nonempty subsets of A that
have A as their union)
• A=
• Each equivalence relation can be used to
partition the set. Conversely, given a partition
{Ai|i I } of the set S, there is an equivalence
relation R that has the sets Ai as its equivalence
classes.
• Let R= {(x,y)| x and y belong to the same subset
Ai} be the relation.
Recall examples
• Relation
Equiv Relation?
• {(0,0), (1,2), (2,1), (3,3), (1,1), (2,2)} on {1,2,3}
• {(a,a), (b,b), (c,c), (d,d), (a,d), (d,a), (b,c), (c,b)} on {a,b,c,d}
Partition?
More ex
• Relation
Equiv Relation?
•
{(a,b)|a and b have the same parents}
•
{(a,b)| a and b share a common parent}
Partition?
• Relation
Equiv Relation?
• {(a,b)| a and b speak a common language}
• a b mod 3
• Partition: {1,2}, {3}, {4}
• Find the relation:
Partition?
•
•
•
•
Let R be a relation on Z+ x Z+: