Q33: is an equivalence relation, or on
(a) Define the relation R in the set as follows:
For (a, b), (c, d) , (a, b) R (c, d) iff ad = bc. Prove that R is an equivalence relation in .
OR
(b) Given a non-empty set X, define the relation R in P(X) as follows:
For A, B , iff . Prove that R is reflexive, transitive and not symmetric.
(a) Let . Then (by the commutative property of multiplication of natural numbers), so .
Why?
Reflexive means every element is related to itself. Here the element is the pair , so we test .
The rule with , asks for , which is always true.
Hence, R is reflexive.
Let such that . Then, by the commutative property of multiplication of natural numbers,
Why?
Symmetric means: whenever , also .
For the rule needs (first of the first pair) (second of the second pair) to equal (second of the first pair) (first of the second pair), that is .
From , swap the two sides and the order of each product: .
Hence, R is symmetric.
Let such that and . Then
Why?
Transitive means: if and , then , which needs .
Multiply the two equations side by side: . Both sides contain the factor . Since and are natural numbers, , so we may cancel it.
Watch out: cancelling is allowed only because . Write the reason beside the step.
Hence, R is transitive.
Since R is reflexive, symmetric and transitive, R is an equivalence relation on .
Why?
An equivalence relation is one that is reflexive, symmetric and transitive. All three must be proved before this conclusion.
(b) Let . Then , so .
Why?
, the power set, is the set of all subsets of . Every set is a subset of itself, because each element of is an element of .
Hence, R is reflexive.
Let such that and . Then
Why?
Every element of is in , and every element of is in . So every element of is in , which means .
Hence, R is transitive.
and . Hence, . But (X is non-empty), which implies that .
Why?
To show that R is not symmetric, one counterexample is enough: a pair in R whose reverse is not in R.
The empty set is a subset of every set. is non-empty, so it has an element, and that element is not in . So .
Watch out: this is why the question says is non-empty. If , the pair would be , and its reverse is in R.
R is not symmetric. Hence, R is reflexive and transitive but not symmetric.
Chapter 1, Relations and Functions: Equivalence relation; reflexive, transitive only.
Question type: (a) Show that a relation is an equivalence relation; (b) A relation given by a rule
How to spot it: click to see
(a) Type 3. Show that a relation is an equivalence relation
Spot it: the words "is an equivalence relation", often with "2 divides " or " is even".
Here: The rule is on pairs. For transitive, multiply by and cancel , which is not 0 in , to get .
(b) Type 2. A relation given by a rule: letters to prove, numbers to disprove
Spot it: is given by a condition, such as on , and the set is too big to list every pair.
Here: The rule is on . Reflexive and transitive hold for any sets; to break symmetry, take but .
Tell us if something on this page is wrong or unclear. Send feedback on this question →
Relations and Functions in past papers: question 14 of 18 · see them all