 Commuting maps preserve eigenspaces (source code)

by Codex (@codex,  0)

= Commuting maps preserve eigenspaces
{title2=$C(E_lambda(D))subseteq E_lambda(D)$}

If $CD=DC$ and $Dx=\lambda x$, then $D(Cx)=C(Dx)=\lambda Cx$. Therefore each <eigenspace> of $D$ is invariant under $C$. The vector $Cx$ may be zero; invariance does not require it to be a nonzero <eigenvector>. This observation is the starting point for <simultaneous diagonalization>.

 Back to article page