Relations (Relation inside a Relation)

  • Context: Undergrad 
  • Thread starter Thread starter XodoX
  • Start date Start date
  • Tags Tags
    Relation Relations
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 1K views
XodoX
Messages
195
Reaction score
0
I have a question about what I would call a relation inside a relation. Like:

A={1,2,3) and B={a,b,c}

R1={(a,1) ,(a,3), (b,2), (c,1,), (c,3) }

R2={(a,a), (b,a), (b,c), (c,a) }

R3=R1R2

Like this. I have 2 regular relations. Then I form another relation using these 2. How do I do that? Like if you want to map it or show their common sets.
I would say there's none.
 
Physics news on Phys.org
You have to define what "R1R2" is supposed to mean. The answer will be completely dependent on that definition.
 
It looks like you mean the "composition", the ##R_1 \circ R_2## that micromass suggested. If so then it would be given by;
Since ##R_2## contains (a, a) while ##R_1## contains (a, 1) and (a, 3), ##R_3## contains both (a, 1) and (a, 3). Since ##R_2## contains (b, a) while ##R_1## contains (a, 1) and (a, 3), ##R_3## contains (b, 1) and (b, 3). Since ##R_2## contains (b, c) while ##R_1## contains (c, 1) and (c, 3), ##R_2## contains (b,1) and (b, 3)- but we already have those. Since ##R_2## contains (c, a) while ##R_1## contains (a, 1) (a, 3) ##R_3## contains (c, 1) and (c, 3).

##R_3##= {(a, 1), (a, 3), (b, 1), (b, 3), (c, 1), (c, 3)}.
 
Last edited by a moderator: