Definição6.7.1.O polinômio minimal de um operador linear.
Seja \(T:V \to V\) um operador linear. O polinômio minimal de \(T\) é o polinômio \(m_T(t) \in \mathbb{R}[t]\) que satisfaz as seguintes condições:
\(m_T(t)\) é mônico;
\(m_T(T) = 0\text{;}\)
Se \(q(T) = 0\text{,}\) então \(\text{grau}(m_T) \leq \text{grau}(q)\text{.}\)
Nota6.7.2.
A definição de um polinômio minimal de uma matriz \(\mathbf{A} \in \mathcal{M}_{n\times n}\) é análoga e será omitida aqui.
Teorema6.7.3.
Seja \(m_T(t)\) o polinômio minimal e \(p_T(t)\) o polinômio característico de um operador linear \(T:V \to V\text{.}\) Então, \(m_T(t)\) divide \(p_T(t)\text{.}\)
Teorema6.7.4.
Sejam \(V\) espaço vetorial e \(T:V \to V\) um operador linear. Então \(\lambda\) é autovalor de \(T\) se, e somente se, \(\lambda\) é raiz de \(m_T(t)\text{.}\)
Mais ainda, \(p_T\) e \(m_T\) possuem os mesmos fatores irredutíveis. Este fato mais geral não será demonstrado aqui.
Nota6.7.5.Observações.
Sejam \(p_T(t)\) e \(m_T(t)\) o polinômio característico e o polinômio minimal de um operador linear \(T:V \to V\text{,}\) respectivamente. Se \([T]_{\mathcal{B}}\) é a matriz de \(T\) com respeito à alguma base \(\mathcal{B}\text{,}\) então o polinômio característico de \(T\) é dado por
Pelo Teorema de Cayley-Hamilton, \(m_T(t)\) divide \(p_T(t)\) e, além disso, pelo Teorema 6.7.4 , \(m_T(t)\) e \(p_T(t)\) possuem as mesmas raízes. Embora não haja um método para calcular precisamente as raízes de um polinômio (exceto no caso de seu grau ser pequeno), se \(p_T(t)\) puder ser fatorado como
Assim, \(m_1(t)\) é o polinômio minimal de \(T\text{.}\)
Teorema6.7.7.
Sejam \(\lambda_1, \lambda_2, \ldots, \lambda_r\) todos os autovalores distintos de um operador linear \(T\text{.}\) Então, \(T\) será diagonalizável se, e somente se, o polinômio