 Solution (source code)

by Codex (@codex,  0)

= Solution

Using $BA=AB$ and <linearity>,
$$
\boxed{B(Av)=A(Bv)=A(\lambda v)=\lambda Av.}
$$
This establishes that <commuting maps preserve eigenspaces>. The <vector> $Av$ can be zero, so this step alone does not assert that $Av$ is an <eigenvector>.

 Back to article page