Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ib/paper-2/1f/solution

Let . Choose a basis of the intersection of vector subspaces, extend it to a basis of , and independently extend it to a basis of . The combined list
spans the sum of vector subspaces . It is also linearly independent: a vanishing linear combination says that a combination of the belongs to , and its expression in the chosen basis of forces all its coefficients to vanish; the coefficients of the then vanish in the same way. This proves the dimension formula for a sum of subspaces
Parametrize the two linear subspaces as
Putting a vector of in first forces its fourth coordinate to vanish; the remaining defining equation is then automatic. Thus
and the dimension formula gives .
The linear functional
vanishes on each displayed generator of and . Its kernel is three-dimensional because , so the inclusion between two three-dimensional subspaces is equality.

New to topics? Read the docs here!