Q3: Is a function? Or: union and intersection of equivalence classes
(a) A relation R in the set of real numbers R defined as is a function or not. Justify
OR
(b) An equivalence relation R in A divides it into equivalence classes . What is the value of and
(a)
Since is not defined (in R) for , a negative real number has no image .
Why?
A relation in R is a function only when every real number has exactly one image .
The square of a real number is never negative, so is a real number only when . For example, no real satisfies , so has no image.
, that is R, is not a function.
(b)
The equivalence classes are disjoint and together they make up the whole set A.
Why?
Every element of A lies in its own class, because (R is reflexive). So the classes together cover all of A.
Two different equivalence classes never share an element. So no element is in all three of , and their intersection is the empty set .
Example: on , " is divisible by 3" gives the classes , , .
and .
Chapter 1, Relations and Functions: Functions as relations; equivalence classes.
Tell us if something on this page is wrong or unclear. Send feedback on this question →
Relations and Functions in past papers: question 17 of 18 · see them all