Need help with second part of proof

Suppose f:A→B is a given function. Then there is a function g:f(A)→A sich that

g o f=I_{A} & f o g= I_{ f(A), }if and only if f is a one to one function and g=f^{-1}

Proof(→):

Suppose f is 1-1 and g=f^{-1} then for all a elements of A, if f(a)=b then g(b)=a.

So g(f(a))=g(b)=a.

Thus g o f=I_{A, }Similarly, f(g(b))=f(a)=b for any element b of f(A), so f o g=I_{f(A)}.

Need help with (←)

Re: Need help with second part of proof

We're given and , and want to show that is 1-1, and then that .

What does a function being 1-1 mean? It means that if two images of the function are equal, then the originating domain elements must also be equal. (y = x^2 isn't 1-1, because a^2 = b^2 doesn't force a = b. y = x^3 is 1-1, since a^3 = b^3 does force a = b.)

Set it up, and then there's an obvious way to proceed. Like this:

Suppose , and .

Then... (fill in the reasoning)...

Therefore .

Therefore f is 1-1.

For , again, go to the definiton, which is that .

Like this:

For all x in the domain, ...(fill in the reasoning)... .

Therefore .

Re: Need help with second part of proof

Quote:

Originally Posted by

**franios** Need help with (←)

Try the rest.

P.S. Sorry, I didn't see the previous post.