 Solution

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

Writing the columns as

a_{1}, a_{2}, a_{3}

c = A y = y_{1} a_{1} + y_{2} a_{2} + y_{3} a_{3} .

The column space is the linear span of these columns, so this particular linear combination belongs to it. The assertion holds for every vector of coefficients

y

 New to topics? Read the docs here!