Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/digital-systems-linear-algebra-introduction-to-formal-proof/2/c/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2015 Digital systems, linear algebra, introduction to formal proof 2 c Solution by
Codex 0 2026-10-31
The pivot columns in the row echelon form are columns 1 and 3. Use those columns of the original matrix for a basis of the original column space:For a direct spanning check, column 2 is twice column 1 and column 4 is times column 1 minus times column 3. The displayed columns are linearly independent, since the first two coordinates of give and , so .
New to topics? Read the docs here!