Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-1/9f/iii/solution

True. Use the lifted basis above and put . If , applying gives , so all . Thus the form a basis of , and takes this basis to the basis of . It is a linear isomorphism.
In fact the right inverse gives the stronger splitting
For every , write ; the first term is in the kernel and the second in . Their intersection is zero because is injective. This is a direct sum decomposition.

New to topics? Read the docs here!