16.-Linear-Algebra-by-Kenneth-Hoffman · Problem 7.1.8
The Rational and Jordan Forms
Mathematics — Linear Algebra · cyclic-vectors-commuting-operators
Problem
Let be a linear operator on the finite-dimensional vector space . Suppose has a cyclic vector. Prove that if is any linear operator which commutes with , then is a polynomial in .Intuitive explanation
A cyclic vector means the orbit spans all of —so is completely determined by how it acts on this single vector. The key insight is that any operator commuting with must respect this cyclic structure: if and commute, then preserves the span of powers of applied to . This forces to act on the basis in a way that's entirely determined by where sends , which must itself be a polynomial combination of these basis vectors.
Intuitive explanation
A cyclic vector means the orbit spans all of —so is completely determined by how it acts on this single vector. The key insight is that any operator commuting with must respect this cyclic structure: if and commute, then preserves the span of powers of applied to . This forces to act on the basis in a way that's entirely determined by where sends , which must itself be a polynomial combination of these basis vectors.