 Solution

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

M

λ

and a nonzero vector

v

satisfying

M v = λ v, v \neq = 0.

The linear map represented by

M

therefore scales

v

λ

. The exclusion of the zero vector matters: otherwise every scalar would satisfy the equation trivially.

 New to topics? Read the docs here!