Thursday, 28 February 2013

analysis - Prove: f is surjective -->f(f1(S))=S



I have to prove this exercise for my math-study:



Let f:XY be a function and SY



Prove: f is surjective f(f1(S))=S




I divided this exercise in two parts,
first proving that Sf(f1(S)).
This is what I did:



Assume f is surjective s S x f1(S) such that f(x)=ss f(f1(S)) Sf(f1(S))



Is this part right, or did I make any mistakes?



For the second part, I have to prove that f(f1(S))S




I began with this:



Assume x f(f1(S)). f1(S) = {x X | f(x) S}



But I don't know how to prove from that that xS. Could you please help me with these two questions? Thanks in advance!


Answer



If xf(f1(S)), then x=f(y) for some yf1(S). So f(y)S, i.e., xS.



Conversely, if xS, then since f is surjective, there exists a uX such that f(u)=x. So f(u)S, which implies uf1(S). Therefore x=f(u)f(f1(S)).



No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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