Composition of two equivalence relations

Click For Summary
SUMMARY

The discussion centers on the composition of two equivalence relations, E1 and E2, defined on a non-empty set X, resulting in a new relation R denoted as E1 ◦ E2. The primary task is to prove that R is also an equivalence relation by demonstrating its reflexive, symmetric, and transitive properties. The user expresses uncertainty regarding the proofs for symmetry and transitivity, while correctly identifying that reflexivity follows from the properties of E1. The composition of equivalence relations is confirmed to be an equivalence relation under the defined conditions.

PREREQUISITES
  • Understanding of equivalence relations
  • Knowledge of reflexive, symmetric, and transitive properties
  • Familiarity with relation composition
  • Basic set theory concepts
NEXT STEPS
  • Study the properties of equivalence relations in detail
  • Learn how to prove symmetry and transitivity for composed relations
  • Explore examples of equivalence relations and their compositions
  • Investigate the implications of equivalence relations in mathematical contexts
USEFUL FOR

Students of mathematics, particularly those studying abstract algebra or discrete mathematics, as well as educators looking to clarify the concept of equivalence relations and their compositions.

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