Commuting maps preserve eigenspaces

ID: commuting-maps-preserve-eigenspaces

If and , then . Therefore each eigenspace of is invariant under . The vector may be zero; invariance does not require it to be a nonzero eigenvector. This observation is the starting point for simultaneous diagonalization.

New to topics? Read the docs here!