• Aug 17th 2011, 12:23 AM
issacnewton
Hi

I have this problem in the topic of relations.

Suppose $R$ is a relation on $A$, and define a relation
$S$ on $\mathscr{P} (A)$ as follows.

$S=\{(X,Y) \in \mathscr{P} (A) \times \mathscr{P} (A) \vert \forall x \in X \exists y\in Y(xRy)\}$

for each part ,give either a proof or a counterexample to justify your answer.

a)If $R$ is reflexive , must $S$ be reflexive ?

I was able to prove this part. I was just playing with the examples which
satisfy the above theorem.

Let $A=\{1,2\}$

and lets define

$R=\{(1,2),(1,1),(2,2)\}$

clearly $R$ is reflexive. So S would be

$S=\{ (\{1\},\{2\}),(\{1\},\{1,2\}),(\{1\},\{1\}),(\{2\} ,\{2\}),\\ (\{2\}, \{1,2\}),(\{1,2\},\{1,2\}),(\{1,2\},\{2\}),\\ (\varnothing,\varnothing), (\varnothing, \{1\}),(\varnothing,\{2\}),(\varnothing,\{1,2\})\}$

is $S$ correct ? I included $\varnothing$ since , in the condition for
$S$ , we have ,

$\forall x \in X \exists y\in Y(xRy)$

which can be written as an implication,

$\forall x \left[ x \in X \Rightarrow \exists y \in Y(xRy) \right]$

so if

$X=\varnothing$

then the antecedent is true always , as can be seen from the truth table of the
implication. But I couldn't include the ordered pairs like

$(\{1\},\varnothing)$

in $S$ because if we let

$X=\{1\}$

and

$Y=\varnothing$

then $x \in X$ is true but $\exists y\in Y(xRy)$ is false

Which means that, in the implication , antecedent is true and the consequent is false,
which according to the truth table is false. So

$(\{1\},\varnothing)$

doesn't satisfy the condition for the inclusion in $S$.

is my reasoning correct ? If so, then we can see that $S$ is also reflexive,
which is what the above theorem asserts

I see one problem the way symbol for the power set P is displayed. I have used
\mathscr{P} to display slanted P, but it just displays ordinary $\mathscr{P}$. Is maths package mathrsfs installed on this forum ?

thanks
• Aug 17th 2011, 01:42 AM
FernandoRevilla
Quote:

Originally Posted by issacnewton
is my reasoning correct ?

Yes,it is

Quote:

If so, then we can see that $S$ is also reflexive, which is what the above theorem asserts
Right.

Quote:

I see one problem the way symbol for the power set P is displayed. I have used \mathscr{P} to display slanted P, but it just displays ordinary $\mathscr{P}$. Is maths package mathrsfs installed on this forum ?
With \mathcal{P}(A) we get $\mathcal{P}(A)$ .
• Aug 17th 2011, 01:47 AM
issacnewton
ola fernando

thanks for verifying.

• Aug 17th 2011, 02:08 AM
FernandoRevilla
Quote:

Originally Posted by issacnewton
ola fernando

Ola in Spanish means wave and hola means hello. :)

Quote:

thanks for verifying.
You are welcome!. :)
• Aug 17th 2011, 02:09 AM
emakarov
Quote:

Originally Posted by issacnewton
is my reasoning correct ?

Of course, it's not a proof of the statement, it's just one example.
• Aug 17th 2011, 02:19 AM
FernandoRevilla