preimage and image stuff

**leinadwerdna** · November 17th 2009, 05:28 PM

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

**leinadwerdna** · November 17th 2009, 07:09 PM

please help

**Drexel28** · November 17th 2009, 07:57 PM

Originally Posted by leinadwerdna

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

Problem: Let $\phi:X\mapsto Y$ . Prove that $X=\phi^{-1}\left[\phi\left(X\right)\right]$

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

I hope that is rigorous enough.

The second is similar.

Thread: preimage and image stuff

LinkBack

Thread Tools

Display

preimage and image stuff

Similar Math Help Forum Discussions

Preimage matrix

Image/preimage transformation

second preimage resistant

function with different image, smae preimage

[SOLVED] Need help finding a preimage (linear algebra)

Search Tags