 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/i/solution

rref (A) = 100010120 .

Elementary row operations preserve the row space, so ${(1, 0, 1), (0, 1, 2)}$ is a basis. The two rows are linearly independent because their first two coordinates form the standard basis of

R^{2}

 New to topics? Read the docs here!