Let R_1 and R_2 be two equivalence relations on a set. Consider the following assertions:
i. R_1 ∩ R_2 is an equivalence relation
ii. R_1 ∪ R_2 is an equivalence relation
Which of the following is correct?
A. Both assertions are true
B. Assertions (i) is true but assertions (ii) is not true
C. Assertions (ii) is true but assertions (i) is not true
D. Neither (i) nor (ii) is true
GATE 1998 · Discrete Mathematics · Relations · medium
Answer: C. Assertions (ii) is true but assertions (i) is not true
Check R_1 ∩ R_2 for equivalence: Reflexive: Since aR_1a and aR_2a, a(R_1∩R_2)a. Symmetric: if a(R_1∩R_2)b then aR_1b and aR_2b, so bR_1a and bR_2a, so b(R_1∩R_2)a. Transitive: if a(R_1∩R_2)b and b(R_1∩R_2)c, then aR_1c and aR_2c (by transitivity of each), so a(R_1∩R_2)c. Hence R_1∩R_2 is an equivalence relation — assertion (i) is TRUE.
Check R_1 ∪ R_2 for equivalence: Reflexive and symmetric are preserved by union. But transitivity can fail: if aR_1b and bR_2c, we have a(R_1∪R_2)b and b(R_1∪R_2)c, but (a,c) need not be in R_1 or R_2. Hence R_1∪R_2 is NOT necessarily an equivalence relation — assertion (ii) is FALSE.