Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Digital systems, linear algebra, introduction to formal proof (resit) / 6 / c

The pivot columns are columns 1, 2 and 3 of the original matrix. A basis for its column space is thereforeUse the original columns, rather than the columns of the row-reduced matrix: elementary row operations preserve column dependence relations, but can change the column space as a subspace of ${\mathbb{R}}^5$.