Why does every operator have a unique smallest monic polynomial that kills it, and how can one vector's orbit compute it?
Loading…
Monic polynomials and the minimal polynomial
Define a monic polynomial and the minimal polynomial as the unique monic of smallest degree with , with .
Existence and the degree bound by induction
Reproduce the induction on : build from the first dependence in , bound , and apply the hypothesis there to get .
Uniqueness of the minimal polynomial
Write the argument that two monic annihilating polynomials of least degree have a difference of smaller degree, which must be .
Computing it from one vector's orbit
Describe the slow test of and the fast single-vector method, carry the example to , and note the 99.8% success rate.