Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/digital-systems-linear-algebra-introduction-to-formal-proof/6/c/ii/solution

The reduced row echelon form gives , , and . Taking gives every vector in the null space as . Thus a basis for the kernel of the linear map is
Direct multiplication gives . The rank-nullity theorem also checks the count: matrix rank three plus nullity one equals the domain dimension four.

New to topics? Read the docs here!