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!