1
$\begingroup$

$f(A∪B)=f(A)∪f(B)$

I've been thinking about it and I can't find a reason why it wouldn't be the case.

Even if we have say $f^{-1}(x) = \sqrt x$, the statement is true because $-x$ is undefined for both $f(A)$ and $f(B)$.

  • 0
    For a concrete example, $f(x)=x^2$; what is $f^{-1}(2)$? Is it $+\sqrt2$ or $-\sqrt2$?2012-10-26

1 Answers 1

1

Assuming that $f^{-1}(A)=\{x\mid f(x)\in A\}$, let us see that this is true.

Instead of guessing, one can (and should) just go ahead and prove:

Let $x\in f^{-1}(A\cup B)$, then $f(x)\in A\cup B$ therefore either $f(x)\in A$ or $f(x)\in B$. If $f(x)\in B$ then $x\in f^{-1}(B)$, and therefore $x\in f^{-1}(A)\cup f^{-1}(B)$. Similarly if $x\in f^{-1}(A)$ the same argument applies.

Therefore we have proved that $f^{-1}(A\cup B)\subseteq f^{-1}(A)\cup f^{-1}(B)$.

Let $x\in f^{-1}(A)\cup f^{-1}(B)$, then either $x\in f^{-1}(A)$ or $x\in f^{-1}(B)$. If $x\in f^{-1}(A)$ then $f(x)\in A$ and therefore in $A\cup B$; and if $x\in f^{-1}(B)$ we have that $f(x)\in B$ and therefore $f(x)\in A\cup B$.

Either way we have that $f(x)\in A\cup B$ and therefore $x\in f^{-1}(A\cup B)$. Therefore $f^{-1}(A\cup B)\supseteq f^{-1}(A)\cup f^{-1}(B)$.

We have proved a two-sided inclusion and therefore equality as wanted.