Relation Function Rvison-1-1
Relation Function Rvison-1-1
Reflexive :
for each (x , y) ∊ A
⇒ 𝑥𝑦 = 𝑦𝑥 {Rough work}
⇒ (𝑥 , 𝑦) 𝑅(𝑥 , 𝑦) {(𝑥 , 𝑦) 𝑅(𝑥𝑦)}
... R is Reflexive {𝑥𝑦 = 𝑦𝑥}
Transitive :
let (𝑥 , 𝑦) 𝑅(𝑢 , 𝑣) and (𝑢 , 𝑣) 𝑅(𝑎 , 𝑏)
⇒ 𝑥𝑣 = 𝑦𝑢 and 𝑢𝑏 = 𝑣𝑎
𝑢𝑏
⇒ 𝑥𝑣 = 𝑦𝑢 and 𝑣 = 𝑎
… . . {𝑅𝑜𝑢𝑔ℎ (𝑥 , 𝑦) 𝑅(𝑎 , 𝑏) , 𝑥𝑏 = 𝑦𝑎}
𝑢𝑏
⇒ 𝑥 ( )= yu
𝑎
⇒ 𝑥𝑏 = 𝑦𝑎
⇒ (𝑥 , 𝑦) 𝑅(𝑎 , 𝑏)
... R is transitive
since R is Symmetric , Reflexive as well as transitive
... R is an Equivalence relation ans.
Q.4) If 𝑅1 and 𝑅2 are equivalence relations in set A , show that 𝑅1 ∩ 𝑅2 is also on equivalence relation.
Sol.4) Given :- 𝑅1 and 𝑅2 are equivalence relations
Symmetric :
let (𝑎 , 𝑏) ∊ 𝑅1 ∩ 𝑅2
⇒ (𝑎 , 𝑏) ∊ 𝑅1 and (𝑎 , 𝑏) ∊ 𝑅2
⇒ (𝑏 , 𝑎) ∊ 𝑅1 and (𝑏 , 𝑎) ∊ 𝑅2 ….{... R and R are symmetric relations}
⇒ (𝑏 , 𝑎) ∊ 𝑅1 ∩ 𝑅2
... 𝑅1 ∩ 𝑅2 is Symmetric
Reflexive :
for each 𝑎 ∊ 𝐴
we have, (𝑎 , 𝑎) ∊ 𝑅1 and (𝑎 , 𝑎) ∊ 𝑅2 … … … … . { 𝑅1 𝑎𝑛𝑑 𝑅2 𝑎𝑟𝑒 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑒}
⇒ (𝑎 , 𝑎) ∊ 𝑅1 ∩ 𝑅2
... 𝑅1 ∩ 𝑅2 is Reflexive
Transitive :
let (𝑎 , 𝑏) ∊ 𝑅1 ∩ 𝑅2 and (𝑏 , 𝑐)𝑅1 ∩ 𝑅2
⇒ (𝑎 , 𝑏) ∊ 𝑅1 𝑎𝑛𝑑 (𝑎 , 𝑏) ∊ 𝑅2 𝑎𝑛𝑑 (𝑏 , 𝑐) ∊ 𝑅1 & (𝑏 , 𝑐) ∊ 𝑅2
⇒ (𝑎 , 𝑏) ∊ 𝑅1 𝑎𝑛𝑑 (𝑏 , 𝑐) ∊ 𝑅1 | (𝑎 , 𝑏) 𝑅 𝑎𝑛𝑑 (𝑏 , 𝑐) ∊ 𝑅2
⇒ (𝑎 , 𝑐) ∊ 𝑅 | (𝑎 , 𝑐) ∊ 𝑅2
… . {𝑅1 & 𝑅2 𝑎𝑟𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑒}
⇒ (𝑎 , 𝑐) ∊ 𝑅1 ∩ 𝑅2
... 𝑅1 ∩ 𝑅2 is transitive
since 𝑅1 ∩ 𝑅2 is Symmetric , Reflexive as well as transitive
... 𝑅1 ∩ 𝑅2 is an Equivalence relation ans.
Q.5) 𝑅 is a relation on set 𝑁 given by 𝑎𝑅𝑏 ↔ 𝑏 is divisible by 𝑎; 𝑎. 𝑏 ∊ 𝑁check whether R is Symmetric ,
reflexive and transitive.
Sol.5) We have,𝑎𝑅𝑏 ↔ 𝑏 is divisible by 𝑎
Symmetric :
6
2𝑅6 ⇒ 6 is divisible by 2 ….{ = 3}
2
2 1
but 6𝑅2 ⇒ 2is not div by 6 .....{ = }
6 2
... R is not symmetric
Reflexive : for each 𝑎 ∊ 𝑁
a is always divisible by a
⇒ 𝑎𝑅𝑎
.
. . R is Reflexive
Transitive :
let 𝑎𝑅𝑏 and 𝑏𝑅𝑐
⇒ b is divisible by a and c is div by b
⇒ 𝑏 = 𝑎𝜆 and 𝑐 = 𝑏𝑘 ….{𝜆, 𝑘𝜖𝑁}
⇒ 𝑐 = (𝑎𝜆)𝑘 ….{.. . 𝑏 = 𝑎𝜆}
𝑐
⇒ = 𝜆𝑘
𝑎
clearly c is div by a
⇒ 𝑎𝑅𝑐
... R is transitive ans.
Q.6) R be relation in P(x) , where x is a non-empty set , given by
ARB if only if ACB , where A & B are subsets in 𝑃(𝑥). Is R is an equivalence relation on 𝑃(𝑥) ? Justify
your answer.
Sol.6) Let ARB
⇒ 𝐴⊂𝐵
then it is not necessary that B is a subset of A
i.e. 𝐵 ⊄ 𝐴
⇒ BRA
... R is not symmetric and hence R is not an equivalence relation
eg. 𝑥 = {1,2,3}
𝑃(𝑥) = {{1}{2}{3}{1 , 2}{2 , 3}{1 , 3}{1 , 2 , 3}}
clearly {2} ⊂ {1,2}
between{1,2} ⊂ {2}
... R is not symmetric ans.
Q.7) Show that the relation R defined in the set A of all triangles as R -{(T1 , T2) : T1 is similar to T2} is
equivalence relation.
Consider three right angle triangles T1 with sides 3, 4, 5, T2 with sides 5, 12, 13 and T3 with sides 6, 8,
10. Which triangles among T1 , T2 and T3 are related ?
Sol.7) A → set of are triangles
𝑅 = {(𝑇1 , 𝑇2 ) ∶ 𝑇1 ∼ 𝑇2 }
Symmetric :
let (𝑇1 , 𝑇2 ) ∊ 𝑅
⇒ 𝑇1 ∼ 𝑇2
⇒ 𝑇2 ∼ 𝑇1
⇒ (𝑇2 , 𝑇1 ) ∊ 𝑅
... R is symmetric
(iii) 𝑅 = {(1,1), (1,2), (1,3), (1,4), (1,5), (1,6), (2,2), (2,4), (2,6), (3,3), (3,6), (4,4), (5,5), (6,6)}. . . {. . . 𝑦 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 𝑥}