Relations

**gutnedawg** · January 28th 2011, 08:59 AM

Prove:

$R\circ (S\cap T)\subseteq R \circ S \cap R \circ T$

and an example where inclusion is strict

$R \circ S\cap T \subseteq R\circ (S\cap R^-^1 \circ T)$

and an example where inclusion is strict

I'm not understanding the composition of the intersection

**Plato** · January 28th 2011, 09:06 AM

Originally Posted by gutnedawg

Prove:
$R\circ (S\cap T)\subseteq R \circ S \cap R \circ T$

and an example where inclusion is strict
$R \circ S\cap T \subseteq R\circ (S\cap R^-^1 \circ T)$
and an example where inclusion is strict

$R\circ (S\cap T)\subseteq (R \circ S) \cap (R \circ T)$
Written that way the statement is true.
I have no idea what $R \circ S\cap T \subseteq R\circ (S\cap R^-^1 \circ T)$ could mean.
Have you miss-written that?

**gutnedawg** · January 28th 2011, 09:14 AM

I know it is true I need to prove it and no I did not miss write the last part

**Plato** · January 28th 2011, 09:17 AM

Please answer both of my questions.
The second one you wrote is meaningless.

**gutnedawg** · January 28th 2011, 09:22 AM

I have prove one of the modular laws for realtions R, S, T

$R \circ S \cap T \subseteq R \circ (S\cap R^-^1 \circ T)$

or

$R \cap S \circ T \subseteq (R\circ T^-^1 \cap S) \circ T$

**Plato** · January 28th 2011, 09:44 AM

Originally Posted by gutnedawg

I have prove one of the modular laws for realtions R, S, T
$R \circ S \cap T \subseteq R \circ (S\cap R^-^1 \circ T)$
or $R \cap S \circ T \subseteq (R\circ T^-^1 \cap S) \circ T$

The way both of those are written makes totally meaningless.
Look at the way I used parentheses in post #2.
Without parentheses there is no way to know what goes with what.

In the second one it makes no sense to have $R^{-1}$ in it.
If you cannot provide a readable question, the we cannot help.

Now here is the proof of a standard question.
If $(a,b) \in R \circ \left( {S \cap T} \right)$ then $\left( {\exists c} \right)\left[ {(a,c) \in \left( {S \cap T} \right)\;\& \;(c,b) \in R} \right]$ .

That also means $\left[ {\left( {(a,c) \in S\;\& \;(c,b) \in R} \right)\;\& \;\left( {(a,c) \in T\;\& \;(c,b) \in R} \right)} \right]$ .

Or $(a,b) \in \left( {R \circ S} \right) \cap \left( {R \circ T} \right)$ .

**gutnedawg** · January 28th 2011, 10:44 AM

$R^-^1$

is the inverse relation
$\{(b,a) : (a,b) \epsilon R\}$

Thread: Relations

LinkBack

Thread Tools

Display

Relations

Similar Math Help Forum Discussions

Relations and Functions - Inverse Relations Question

Mathematical logic--> Binary relations, orders, and equivalence relations/classes

[SOLVED] More Relations on A

help with relations

Can someone please help me with relations?

Search Tags