Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This question already has an answer here:

Prove If $f$ is a function , $f^{-1}(A \cap B) = f^{-1}(A) \cap f^{-1}(B)$.

Proof attempt I am guessing here $A$ and $B$ are sets in the range of $f$. Let's assume $x$ belongs to both $A$ and $B$ and $f^{-1}$ exists for both $A$ and $B$.

Then there must exist a $y$ such that $y = f^{-1}(x)$.

Now by our assumptions $x$ is in intersection of $A$ and $B$ and since $f^{-1}(A)$ and $f^{-1}(B)$ exist then $f^{-1}(A) \cap f^{-1}(B)$ must also exist. Also since $A$ and $B$ exist and are not equal to null set so $A \cap B$ exists and $f^{-1}(A\cap B)$ also must exist and contain our $y$?? Not sure about the ending in this attempt. Any help would be much appreciated.

Sources : ♦ 2nd Ed $\;$ P219 9.60(e) $\;$ Mathematical Proofs by Gary Chartrand,
♦ P214 $\;$ Theorem 12.4.#3 $\;$ Book of Proof by Richard Hammack,
♦ P257-258 $\;$ Theorem 5.4.2.#2(a) $\;$ How to Prove It by D Velleman.

share|improve this question

marked as duplicate by amWhy, Sami Ben Romdhane, Daniel Rust, Thomas Andrews, Grigory M Dec 21 '13 at 23:31

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

You should start by taking $y \in f^{-1} (A \cap B)$. In this case, there is some $x \in A \cap B$ such that $y=f(x)$. Now you want to show that $y \in f^{-1}(A) \cap f^{-1}(B)$... Don't forget that $f^{-1}(A) = \{ x : f(x) \in A \}$. –  Paul Pichaureau Feb 5 '12 at 12:17

1 Answer 1

up vote 9 down vote accepted

Note that by definition of inverse image, we have $$x\in f^{-1}(A \cap B)$$ $$\Leftrightarrow f(x)\in A\cap B$$ $$\Leftrightarrow f(x)\in A\mbox{ and }f(x)\in B$$ $$\Leftrightarrow x\in f^{-1}(A)\mbox{ and }x\in f^{-1}(B)$$ $$\Leftrightarrow x\in f^{-1}(A)\cap f^{-1}(B).$$

Therefore, we have $f^{-1}(A \cap B) = f^{-1}(A) \cap f^{-1}(B)$.

share|improve this answer
Amusingly, this is precisely the specialisation of the usual proof that right adjoints preserve limits in category theory... –  Zhen Lin Feb 5 '12 at 12:38
@ZhenLin: Interesting observation! –  Paul Feb 5 '12 at 12:46

Not the answer you're looking for? Browse other questions tagged or ask your own question.