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/i/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 i Solution by
Codex 0 2026-10-25
Gaussian elimination gives the row operations , , , producing the lower three rows , , . Subtract the new row two from row three and add three times row two to row four; the remaining nonzero row is . Move it above the zero row and finish elimination to obtainThe pivot columns are one, two and three. Row operations preserve the linear dependence relations among columns, so the corresponding columns of the original matrix form a basis for the column space, which is the image of the linear map:In particular, the matrix rank is three. Columns of the reduced matrix itself would generally give a different subspace, so the original columns must be used.
New to topics? Read the docs here!