1
$\begingroup$

I have some questions as follow...

1) How could I prove transitive closure $t(R)=R^+$, where $R^+=\bigcup_{k=1}^{\infty}R^k$, $R\subseteq A\times A$?

2) Prove or disprove: For any subset $A'\subseteq A,$ we always have $A' \subseteq f^{-1}(f(A'))$?

  • 0
    What are you stuck on with the first one? Do you know the definition of transitive closure and of $R^k$?2012-10-25

1 Answers 1

0

Although I still have no idea of how to prove the first question,

I try to prove the second one with the advice from @Tara B

Here's how I prove it..

(1) Write down the definition:

$ \because \forall x \in A' \\\rightarrow f(x) = y \in B \\\rightarrow A'\subseteq B \\\rightarrow f^{-1}(f(A)) = \left \{ a \in A | f(a) \in f(A') \right \} $

(2) Then prove it: $ \forall x \in A' \\\rightarrow f(x) \in f(A') \\\rightarrow x \in f^{-1}(f(A')) \\\rightarrow A' \subseteq f^{-1}(f(A')) $

  • 0
    Thank you! I'll try to write down some description after writing down the definition.2012-10-31