• Support PF! Buy your school textbooks, materials and every day products Here!

Equivalence Relations

  • Thread starter snaidu228
  • Start date
  • #1
9
0

Homework Statement



I need a little help in understand this question:

Let E and F be two sets, R a binary relation on the set E and S a binary relation on the set F. We define a binary relation, denoted RxS, on the set ExF in the following way ("coordinate- wise"):
(a,b) (RxS) (c,d) <--> aRc and bSd.
If R and S are equivalence relations, prove that RxS is an equivalence relation.


Homework Equations


unknown


The Attempt at a Solution



I said aRc => (a,c) and bSd=> (b,d)

I assumed that aRc and bSd are from ExF.
I'm not sure that what I am doing is right
 

Answers and Replies

  • #2
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,553
1,158
ExF is the set of ordered pairs (x,y) where x is in E and y is in F. You have (a,b) and (c,d) are elements in ExF, so this means a and c are elements of E while b and d are elements of F.

To show that RxS is an equivalence relation, you need to show it satisfies three properties: reflexivity, symmetry, and transitivity.

Homework Statement



I need a little help in understand this question:

Let E and F be two sets, R a binary relation on the set E and S a binary relation on the set F. We define a binary relation, denoted RxS, on the set ExF in the following way ("coordinate- wise"):
(a,b) (RxS) (c,d) <--> aRc and bSd.
If R and S are equivalence relations, prove that RxS is an equivalence relation.


Homework Equations


unknown


The Attempt at a Solution



I said aRc => (a,c) and bSd=> (b,d)

I assumed that aRc and bSd are from ExF.
I'm not sure that what I am doing is right
 

Related Threads for: Equivalence Relations

Replies
0
Views
2K
Replies
1
Views
1K
Replies
1
Views
2K
  • Last Post
Replies
10
Views
799
  • Last Post
Replies
20
Views
925
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
4
Views
6K
  • Last Post
Replies
2
Views
2K
Top