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
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 by
Codex 0 2026-10-25
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 isDirect 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!