Composition of two equivalence relations

jasper29
Messages
2
Reaction score
0

Homework Statement


The question is let E1 and E2 be equivalence relations on set X. A new relation R is defined as the E1 o E2, the composition of the two relations. We must prove or disprove that R is an equivalence relation.

Homework Equations


The Attempt at a Solution


I know that we must prove
1) reflexive - this is easy just E1 = E1
2) symmetric
3)transitive

but I am unsure of how to prove the last two.
Thanks for any help in advance and if you need more information I will try to provide.
 
Physics news on Phys.org
I'm unfamiliar with the concept of composition of equivalence relations. Does it mean that if xE1y and yE2z then xE1oE2z?
 
Let E1 and E2 be equivalence relations on a non-empty set X. Define a new relationRonXbyxRyifthereexistsaz∈XsuchthatxE1 zandzE2 y. TherelationR is often denoted as E1 ◦ E2 and is called the composition of the relations E1 and E2. Prove or disprove: R is an equivalence relation on X, which in words is that the composition of equivalence relations is an equivalence relation.

This is the rest of the information
 
jasper29 said:
Let E1 and E2 be equivalence relations on a non-empty set X. Define a new relation R on X by xRy if there exists a z∈X such that xE1 z and zE2 y.
OK, that's what I guessed.
1) reflexive - this is easy just E1 = E1
I don't understand your proof there. What do you mean by 'E1=E1'? It's not the equivalence of equivalence relations that's at issue.
2) symmetric
3)transitive
Write those last two out in terms of what you would need to prove re E1oE2.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top