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 basisThey are independent, for example their first two entries have determinant $-2\ne 0$. 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.