Q37: Case study: five relations on
A class-room teacher is keen to assess the learning of her students the concept of “relations” taught to them. She writes the following five relations each defined on the set A = :
The students are asked to answer the following questions about the above relations :
(i) Identify the relation which is reflexive, transitive but not symmetric. (1 mark)
(ii) Identify the relation which is reflexive and symmetric but not transitive. (1 mark)
(iii) (a) Identify the relations which are symmetric but neither reflexive nor transitive. (2 marks)
OR
(iii) (b) What pairs should be added to the relation to make it an equivalence relation ? (2 marks)
(i) is reflexive, as . It is not symmetric, as but . It is transitive: its only pair with unequal entries is , and the chains and both give .
Why?
The three tests on a set A:
Reflexive: for every in A.
Symmetric: whenever , also .
Transitive: whenever , also .
One pair that breaks a rule is enough to say "not". To say "yes" for transitivity, every chain must work.
The relation is .
Why?
No other relation fits. , and are not reflexive (, , ), and is symmetric.
(ii) is reflexive, as . It is symmetric, as and are in . It is not transitive, as but .
Why?
For symmetry, each pair with unequal entries must come with its mirror image: with , and with .
One broken chain is enough to show it is not transitive: needs , which is missing.
The relation is .
Why?
Of the other relations, only is reflexive, and it is not symmetric.
(iii) (a) is symmetric. It is not reflexive, as , and not transitive, as but .
Why?
is symmetric because its two pairs are mirror images of each other.
In the transitive test, may equal . So requires .
Watch out: students often miss this chain and wrongly call transitive.
is symmetric. It is not reflexive, as , and not transitive, as but .
Why?
In , and are mirror images, and is its own mirror image. So is symmetric.
The chain needs , which is missing.
( and are not symmetric, and is reflexive.)
The relations are and .
(iii) (b) For reflexivity, needs . For symmetry, it needs .
Why?
An equivalence relation is reflexive, symmetric and transitive. Add pairs one property at a time.
Reflexive: all three pairs are missing. Symmetric: the mirror images of are .
Then becomes , which is also transitive.
Why?
Now has pairs, which is every pair of . Then every is in it, so it is transitive too.
None of the six pairs can be left out: each one is needed for reflexivity or for symmetry.
The pairs to be added are , and .
Chapter 1, Relations and Functions: Case study: reflexive, symmetric, transitive.
Question type: A relation given as a list of pairs
How to spot it: click to see
Type 1. A relation given as a list of pairs: check each property
Spot it: is written out pair by pair, on a small set like .
Here: All five relations are listed pair by pair on , so test each property on the pairs: for example but . In (iii)(b), add the missing pairs and the reverses of .
Tell us if something on this page is wrong or unclear. Send feedback on this question →
Relations and Functions in past papers: question 3 of 18 · see them all