Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-3/7f/d/solution

True. Choose a basis of and extend it to a basis of the finite-dimensional vector space . Put . Every basis vector belongs to , so . Linear independence of the complete basis makes a vector belonging to both spans necessarily zero. Therefore
This constructs a direct-sum complement; it need not be unique.

New to topics? Read the docs here!