Question:

If R and R1 are equivalence relations on a set A, then so are the relations

Updated On: Apr 11, 2025
  • R-1
  • R∪R1
  • R∩R1
  • All of these
Hide Solution
collegedunia
Verified By Collegedunia

The Correct Option is A, C

Solution and Explanation

The correct answer is/are option(s):
(A): R-1 
(C): R ∩ R1

Given, R and R1 are equivalence relations on set A.

A relation is called an equivalence relation if it is:

  • Reflexive: \( (a, a) \in R \) for all \( a \in A \)
  • Symmetric: if \( (a, b) \in R \), then \( (b, a) \in R \)
  • Transitive: if \( (a, b) \in R \) and \( (b, c) \in R \), then \( (a, c) \in R \)

 

Since R1 is an equivalence relation, it satisfies:

  • Reflexive: \( (a, a) \in R_1 \) for all \( a \in A \)
  • Symmetric: if \( (a, b) \in R_1 \), then \( (b, a) \in R_1 \)
  • Transitive: if \( (a, b) \in R_1 \), \( (b, c) \in R_1 \), then \( (a, c) \in R_1 \)

 

Similarly, R is also an equivalence relation and hence satisfies the same three properties.

We now prove that \( R \cap R_1 \) is an equivalence relation:

  • Reflexive:
    Since \( (a, a) \in R \) and \( (a, a) \in R_1 \) for all \( a \in A \),
    \( (a, a) \in R \cap R_1 \).
    So, \( R \cap R_1 \) is reflexive.
  • Symmetric:
    Let \( (a, b) \in R \cap R_1 \).
    Then \( (a, b) \in R \) and \( (a, b) \in R_1 \).
    Since both are symmetric,
    \( (b, a) \in R \) and \( (b, a) \in R_1 \).
    Thus, \( (b, a) \in R \cap R_1 \).
    So, \( R \cap R_1 \) is symmetric.
  • Transitive:
    Let \( (a, b) \in R \cap R_1 \) and \( (b, c) \in R \cap R_1 \).
    Then \( (a, b), (b, c) \in R \) and \( (a, b), (b, c) \in R_1 \).
    Since both R and R1 are transitive,
    \( (a, c) \in R \) and \( (a, c) \in R_1 \).
    So, \( (a, c) \in R \cap R_1 \).
    Hence, \( R \cap R_1 \) is transitive.

Conclusion: Since \( R \cap R_1 \) is reflexive, symmetric, and transitive, it is an equivalence relation.

Also, if R is an equivalence relation, its inverse \( R^{-1} \) is also an equivalence relation.
So both (A) and (C) are correct.

Was this answer helpful?
1
2

Concepts Used:

Relations and functions

A relation R from a non-empty set B is a subset of the cartesian product A × B. The subset is derived by describing a relationship between the first element and the second element of the ordered pairs in A × B.

A relation f from a set A to a set B is said to be a function if every element of set A has one and only one image in set B. In other words, no two distinct elements of B have the same pre-image.

Representation of Relation and Function

Relations and functions can be represented in different forms such as arrow representation, algebraic form, set-builder form, graphically, roster form, and tabular form. Define a function f: A = {1, 2, 3} → B = {1, 4, 9} such that f(1) = 1, f(2) = 4, f(3) = 9. Now, represent this function in different forms.

  1. Set-builder form - {(x, y): f(x) = y2, x ∈ A, y ∈ B}
  2. Roster form - {(1, 1), (2, 4), (3, 9)}
  3. Arrow Representation