Monday, 10 March 2014

real analysis - Proving the pre-image of this set




Question:
Let f:(X,d)(Y,e) be a map between metric spaces.
Let UX and let VY.



Show that if VV then f1(V)f1(V).





By the definition of pre-image:



f1(V)={yYf(y)V}.



Useful hints are appreciated.
Thanks in advance.


Answer



We will show that any element xf1(V) is also an element of f1(V).



Let xf1(V) then, by definition of preimage, there is yV such that f(x)=y.




Now VV implies that yV and therefore xf1(V).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...