5
$\begingroup$

Is it possible to have a map $f:X\to Y$ from a topological space $X$ to a set $Y$ and some subsets of $Y$ namely $U_i,i\in I$ such that $\bigcup_{i\in I} f^{-1}(U_i)$ is not equal to $f^{-1}\left(\bigcup_{i\in I}U_i\right)$ ?

I can't think of a case that this is true, but of course this doesn't mean anything! Thanks.

  • 4
    What ever sets and functions you consider, you always have that the preimage of a union of subsets of the target set is the union of the preimages, same goes for intersections. The only thing that can fail is that the direct image of an intersection in the domain of the function may be smaller than the intersection of their images (in the target space.)2012-05-05

1 Answers 1

19

It is a general fact that for any mapping of sets $f: X \rightarrow Y$, $\bigcup f^{-1}(U_i) = f^{-1}\left(\bigcup U_i\right)$ and $\bigcap f^{-1}(U_i)=f^{-1}\left( \bigcap U_i\right)$. Try proving this by elementary set theory, i.e. take an element of $\bigcup f^{-1}(U_i)$ and show that it is an element of $f^{-1}\left(\bigcup U_i\right)$ and conversely.

  • 0
    @GerryMyerson: done2012-05-05