Solution

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

The pivot columns of the reduced matrix in part (i) are columns one and two. Select those columns of the original matrix, giving the column-space basis
They are independent, for example their first two entries have determinant . The remaining original column is the first plus twice the second. Taking the reduced matrix's columns instead would generally give the wrong column space.

New to topics? Read the docs here!