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.

Let $f\colon A\to B$, and $g\colon B\to C$.

Prove: If $g\circ f$ is onto and $g$ is 1-1, then $f$ is onto.


Here is all I can think of: $g\circ f\colon A\to C$, and for all $x\in B$ there is a unique $y\in C$.

share|improve this question

2 Answers 2

up vote 4 down vote accepted

Given an element of $B$ we need to find an element in $A$ which maps to it under $f$. Given $b\in B$, there is an element $c\in C$ such that $g(b)=c$. Since $g\circ f$ is onto, there exists an element $a\in A$ such that $g(f(a))=c$. Since $g$ is $1-1$ $f(a)=b$.

share|improve this answer

Since $g\circ f$ is onto, then for every $c\in C$ there exists (at least one) $a\in A$ such that $g\circ f(a) = c$.

In particular, since $f(a)=b\in B$, and $g(b)=c$, then $g$ is onto.

So $g$ is onto, and $g$ is also 1-1.

So $g$ is ......

Once you fill in the blank, use that to get that $f$ is onto.

Added: This is not the most direct way of doing it; Timothy Wagner's direct argument is more streamlined. I did it this way, because through long use, "if a $g\circ f$ is onto, then $g$ is onto" and "if $g\circ f$ is 1-1 then $f$ is 1-1" are so ingrained that they immediately jump out, just like if I see "$2\times 7$" I immediately think "$14$".

share|improve this answer
    
Maybe not the most direct for this application, but this is how I would think of it, for the same reason as you. $f$ is the composition of the onto functions $g^{-1}$ and $g\circ f$, hence onto. –  Jonas Meyer Nov 23 '10 at 22:57

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.