Why must every operator on an odd-dimensional real vector space have an eigenvalue, when a rotation of R² has none?
Loading…
Even-dimensional for
Prove it: reduce to , complete the square to rule out eigenvectors, then enlarge a maximal even-dimensional invariant by .
Reducing to an irreducible quadratic factor
State that a minimal polynomial with no real linear factor is a multiple of some with , using the factorization of real polynomials.
Every operator on odd-dimensional has an eigenvalue
Write the induction in steps of two, showing is a proper invariant subspace of odd dimension by the fundamental theorem of linear maps.