Consider the following statement: Let f be a function, such that for all a and b in the domain of f, f(a)=f(b) implies a=b. Then the function f has an inverse. Is this statement true or false?
The statement is false. Counter-examples include f(x) = x^2 and f(x) = x^4.