# Relations

• January 28th 2011, 09:59 AM
gutnedawg
Relations
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
• January 28th 2011, 10:06 AM
Plato
Quote:

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?
• January 28th 2011, 10:14 AM
gutnedawg
I know it is true I need to prove it and no I did not miss write the last part
• January 28th 2011, 10:17 AM
Plato
The second one you wrote is meaningless.
• January 28th 2011, 10:22 AM
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$
• January 28th 2011, 10:44 AM
Plato
Quote:

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)$.
• January 28th 2011, 11:44 AM
gutnedawg
$R^-^1$

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