how do you prove the preimage of the image of the domain is equal to the domain and how do you prove the image of the preimage of the codomain is the codomain

Printable View

- Nov 17th 2009, 05:28 PMleinadwerdnapreimage and image stuff
how do you prove the preimage of the image of the domain is equal to the domain and how do you prove the image of the preimage of the codomain is the codomain

- Nov 17th 2009, 07:09 PMleinadwerdna
please help

- Nov 17th 2009, 07:57 PMDrexel28
Let $\displaystyle \phi:X\mapsto Y$. Prove that $\displaystyle X=\phi^{-1}\left[\phi\left(X\right)\right]$**Problem:**

Let $\displaystyle x\in\phi^{-1}\left[\phi\left(X\right)\right]$. Then $\displaystyle \phi(x)\in \phi\left(X\right)\implies x\in X$. Therefore $\displaystyle \phi^{-1}\left[\phi\left(X\right)\right]\subset X$. Now let $\displaystyle x\in X$, $\displaystyle \phi(x)\in\phi\left(X\right)$. Which means that $\displaystyle x\in\phi^{-1}\left[\phi\left(X\right)\right]$. Therefore $\displaystyle X\subset\phi^{-1}\left[\phi\left(X\right)\right]$. The conclusion follows.**Proof:**

I hope that is rigorous enough.

The second is similar.