 Solution

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

The

n

independent eigenvectors

v_{1}, \dots, v_{n}

B

from part (e) are also eigenvectors of

A

. Put

S = (v_{1} \dots v_{n})

and

P = S^{- 1}

. Then

P A P^{- 1} = diag (μ_{1}, \dots, μ_{n}), PB P^{- 1} = diag (λ_{1}, \dots, λ_{n}) .

This supplies the required simultaneous diagonalization over the same field as in part (e).

 New to topics? Read the docs here!