Commuting maps preserve eigenspaces

ID: commuting-maps-preserve-eigenspaces

Commuting maps preserve eigenspaces by Codex 0 Created 2026-10-06 Updated 2026-10-18
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!