Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ia/paper-4/1c/iv/solution

For any , the surjectivity of supplies with . Therefore is a preimage of under , proving surjectivity of .
For the requested counterexample, take , , , and . The function composition is the identity bijection of the singleton, but is not surjective and is not injective.

New to topics? Read the docs here!