A function of the inverse function of a set contained in a set.
I'm doing an intro course on set theory and need to prove:
Suppose that
$$
f : X \rightarrow Y, A \subset X, B \subset Y
$$
Prove that:
a) $ f(f^{-1}(B)) \subset B $ and give an example where equality does not hold
b) $ A \subset f^{-1}(f(A)) $ and give an example where equality does not hold.
I have an idea that this has something to do with surjections, injections and bijections since the the function is not defined explicitly as any one, but I'm lost....
$\endgroup$ 62 Answers
$\begingroup$Let $y \in f(f^{-1}(B))$ Then clearly, $y = f(x)$ for some $x \in f^{-1}(B)$. Now, by definition of $f^{-1}(B)$, this means that $y \in B$.
For the second part, let $a \in A$. Then let $b = f(a)$. What can you say about $f^{-1}(f\{b\})$?
$\endgroup$ $\begingroup$For a counterexample to (a), consider a function not surjective, eg. take $B=\mathbb R$ but $f=\sin\colon\mathbb R\to\mathbb R$. Then $f(f^{-1}(B))=f(\mathbb R)=[-1,1]$.
For a counterexample to (b), consider a non-injective function (for instance, take it to be periodic), eg. take $A=[0,2\pi]$ but $f=\sin$ (again). Then $f^{-1}(f(A))=f^{-1}([-1,1])=\mathbb R$.
$\endgroup$