Solution
= Solution
\b[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.