Professional Documents
Culture Documents
By:
Video.edhole.com
Equivalence Relations:
Selected Exercises
Video.edhole.com
Equivalence Relation
Let E be a relation on set A.
Transitive.
Examples
a E b when a mod 5 = b mod 5. (Over N)
Video.edhole.com
(i.e., a b mod 5 )
Equivalence Class
Let E be an equivalence relation on A.
We denote aEb as a ~ b. (sometimes, it is denoted a b )
The equivalence class of a is { b | a ~ b }, denoted [a].
What are the equivalence classes of the example equivalence
relations?
For these examples:
Video.edhole.com
Do distinct equivalence classes have a non-empty intersection?
Does the union of all equivalence classes equal the underlying set?
Copyright Peter Cappello
Partition
A partition of set S is a set of nonempty subsets,
S1, S2, . . ., Sn, of S such that:
1. i j ( i j Si Sj = ).
2. S = S1 U S2 U . . . U Sn.
Video.edhole.com
Video.edhole.com
1.
2.
1. c ~ d
( c, d [a] )
2. d ~ b
( d [b] )
3. c ~ b
( c ~ d d ~ b E is transitive )
Video.edhole.com
Exercise 20
Let P be the set of people who visited web page W.
Let R be a relation on P: xRy x & y visit the same
sequence of web pages since visiting W until they exit the
browser.
Is R an equivalence relation?
Exercise 20 continued
That is, xRy means s( x ) = s( y ).
x xRx: R is reflexive.
Since x s( x ) = s( x ).
10
Exercise 30
What are the equivalence classes of the bit strings for the
equivalence relation of Exercise 11?
Ex. 11: Let S = { x | x is a bit string of 3 bits. }
Define xRy such that x agrees with y on the left 3 bits
(e.g., 10111 ~ 101000).
a) 010
b) 1011
c) 11111
d) 01010101
Video.edhole.com
11
Exercise 30 Answer
010
(answer: all strings that begin with 010)
1011
(answer: all strings that begin with 101)
11111
(answer: all strings that begin with 111)
01010101
(answer: all strings that begin with 010)
Video.edhole.com
12
Exercise 40
a)
Video.edhole.com
13
Exercise 40 a) Answer
( a, b ) ~ ( c, d ) ad = bc a/b = c/d
[ ( 1, 2 ) ] = { ( c, d ) | ( 1, 2 ) ~ ( c, d ) }
= { ( c, d ) | 1d = 2c c/d = }.
Video.edhole.com
14
Exercise 40 continued
b) Interpret the equivalence classes of the equivalence
relation R in Exercise 16.
Video.edhole.com
15
Exercise 40 continued
b) Interpret the equivalence classes of the equivalence
relation R in Exercise 16.
Answer
element of Q+).
(The fact that 3/7 = 15/35 confuses some small children.)
Video.edhole.com
16
Exercise 50
A partition P is a refinement of partition P when
x P y P x y. (Illustrate.)
Let partition P consist of sets of
17
Exercise 50 continued
It suffices to note that:
Every county is contained within its state:
Video.edhole.com
18
Exercise 62
Determine the number of equivalent relations on a set
with 4 elements by listing them.
Video.edhole.com
19
End 8.5
Video.edhole.com
20
10
Suppose A & R is an equivalence relation on A.
Show f X f: A X such that a ~ b f( a ) = f( b ).
Proof.
1. Let f : A X, where
1. X = { [a] | [a] is an equivalence class of R }
2.
a f (a ) = [a].
21