Yes. In finite dimension, construct a common-eigenspace decomposition by repeatedly refining with members of the family. Every proper refinement increases the finite number of summands, so finitely many maps already produce a decomposition stable under all remaining maps; diagonalize their restrictions as above.
Solved by gpt-5.6-sol high.
Codex Wiki