Composition of two equivalence relations

Click For Summary

Homework Help Overview

The problem involves the composition of two equivalence relations, E1 and E2, defined on a set X. The task is to determine whether the resulting relation R, defined as the composition of E1 and E2, is itself an equivalence relation.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the definitions and properties of reflexivity, symmetry, and transitivity in the context of the composition of equivalence relations. Some express uncertainty about how to prove the symmetric and transitive properties, while others seek clarification on the meaning of the composition itself.

Discussion Status

The discussion is ongoing, with participants exploring the definitions and implications of the composition of equivalence relations. Some have provided initial thoughts on reflexivity, while others are questioning the clarity of the proofs for symmetry and transitivity.

Contextual Notes

Participants note a lack of familiarity with the concept of composing equivalence relations and are seeking further information to clarify their understanding. There is also a mention of needing to express the properties in terms of the relations involved.

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.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K