 Solution

ID: 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/6/a/solution

(λ, v)

A

satisfies

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

λ

and the coordinates of

v

belong to the chosen field, usually

R

C

. The nonzero condition is essential: the zero vector satisfies the equation for every

λ

and therefore cannot define an eigenvalue.

 New to topics? Read the docs here!