Solution

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

For a square matrix , an eigenvalue–eigenvector pair is a scalar and a nonzero vector satisfying
Thus the linear map represented by scales this particular direction by . The nonzero condition excludes the zero vector, which would otherwise satisfy the displayed equation for every scalar.

New to topics? Read the docs here!