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.

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.

share|improve this question
3  
If $U_i \not \subseteq Y$, we cannot make sense of $f^{-1}(U_i)$. –  user21436 May 5 '12 at 12:11
    
@AsafKaragila: Would it necessarily work if $f$ is continuous? What is $f$ is some general surjective map? –  Bumbry May 5 '12 at 12:12
3  
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.) –  Olivier Bégassat May 5 '12 at 12:14

1 Answer 1

up vote 10 down vote accepted

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

share|improve this answer
    
I assumed that $U_i$ is a subset of $Y$ and not of $X$. –  Manos May 5 '12 at 12:13
    
Thanks! You have assumed correctly. –  Bumbry May 5 '12 at 12:37
1  
Then please edit your question so it actually says what you now say it says. –  Gerry Myerson May 5 '12 at 12:41
    
@GerryMyerson: done –  Bumbry May 5 '12 at 13:43

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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