Solveeit Logo

Question

Question: Prove that intersection of equivalence relations on a set is also an equivalence relation....

Prove that intersection of equivalence relations on a set is also an equivalence relation.

Explanation

Solution

An equivalence relation is a binary relation that is reflexive, symmetric, and transitive. For the objects where
a=a (reflexive property)
if a=b and b=a(symmetric property)
if a=b and b=c, then a=c (transitive property)
In this question, to prove that the intersection of equivalence relations on a set is also an equivalence relation proves all that the set satisfies all the properties of equivalence.

Complete step-by-step solution
Let us assume P and Q are two equivalence sets whose intersection is to be proved of set S
So set S implies PQP \cap Q equivalence, where
xS(x,xP)x \in S \Rightarrow \left( {x,x \in P} \right)andxS(x,xQ)x \in S \Rightarrow \left( {x,x \in Q} \right)
(x,x)PQ\left( {x,x} \right) \in P \cap Q
PQ\therefore P \cap Qis Reflexive
Now to check symmetric
(x,y)PQ\left( {x,y} \right) \in P \cap Q
Hence
(x,y)P\left( {x,y} \right) \in Pand (x,y)Q\left( {x,y} \right) \in Q
are symmetrical
(y,x)P\left( {y,x} \right) \in Pand (y,x)Q\left( {y,x} \right) \in Q
(y,x)PQ\left( {y,x} \right) \in P \cap Q
Hence PQP \cap Qis symmetric.
Now for transitive property
(x,y)PQ\left( {x,y} \right) \in P \cap Qand (y,z)PQ\left( {y,z} \right) \in P \cap Q
(x,y)P\left( {x,y} \right) \in Pand\left( {y,z} \right) \in P$$$$ \Rightarrow \left( {x,z} \right) \in P
(x,y)Q\left( {x,y} \right) \in Qand\left( {y,z} \right) \in Q$$$$ \Rightarrow \left( {x,z} \right) \in Q
Therefore P and Q are transitive
PQP \cap Qis transitive
Hence all the properties of equivalence are satisfied, therefore PQP \cap Qis an equivalence relation.

Note: Two elements from an equivalence relation are called equivalent. The set of one element has only one equivalence relation with one equivalence class.