thumb|right|220px|Arthur Cayley (1821–1895), pioneiro da teoria matricial e coautor do teorema. thumb|right|220px|William Rowan Hamilton (1805–1865), que demonstrou casos preliminares em suas pesquisas sobre quatérnios. Em álgebra linear e álgebra abstrata, o teorema de Cayley-Hamilton (cujo nome homenageia os matemáticos Arthur Cayley e William Rowan Hamilton) afirma que toda matriz quadrada sobre um anel comutativo (como o corpo dos números reais ou complexos) é anulada pelo seu próprio polinômio característico.
De forma equivalente, o teorema estabelece que o polinômio mínimo de uma transformação linear ou matriz divide o seu polinômio característico. O resultado possui vastas aplicações práticas e teóricas, simplificando substancialmente o cálculo de potências elevadas de matrizes, a determinação da matriz inversa, a computação da exponencial matricial em sistemas dinâmicos e a dedução da forma canônica de Jordan.
Enunciado formal Seja uma matriz quadrada de ordem com entradas pertencentes a um anel comutativo (por exemplo, ou ). O polinômio característico de , denotado por , é definido pelo determinante:
onde é a matriz identidade de ordem e os coeficientes são escalares expressos em termos dos invariantes algébricos de (em particular, é o oposto do traço e é proporcional ao determinante).
O teorema de Cayley-Hamilton afirma que, ao substituir formalmente o escalar pela própria matriz , e o termo constante pelo múltiplo escalar da identidade , obtém-se a matriz nula:
Em linguagem de operadores lineares, se é um espaço vetorial de dimensão finita sobre um corpo e é um operador linear com polinômio característico , então:
Contexto histórico A formulação e a demonstração completa do teorema resultaram da convergência gradual de pesquisas desenvolvidas ao longo do século XIX: William Rowan Hamilton (1853): Em seu tratado pioneiro Lectures on Quaternions, Hamilton demonstrou que as operações lineares sobre quaterniões satisfaziam equações polinomiais de grau 2 e 4, provando essencialmente casos particulares correspondentes a matrizes reais de ordens 2 e 4. Arthur Cayley (1858): Em sua célebre memória de fundação da álgebra matricial (A Memoir on the Theory of Matrices), Cayley enunciou o teorema para matrizes de ordem arbitrária. Ele forneceu uma demonstração direta e minuciosa para o caso e verificou o resultado para o caso , mas afirmou que uma demonstração formal geral seria desnecessária por considerar a propriedade intuitivamente evidente. Ferdinand Georg Frobenius (1878): O matemático alemão Ferdinand Frobenius publicou a primeira demonstração rigorosa e geral do teorema para matrizes de dimensão finita arbitrária sobre corpos gerais, além de atribuir formalmente a autoria do teorema a Cayley e Hamilton.
A falácia da substituição direta Um equívoco comum consiste na tentativa de provar o teorema por "avaliação direta" escrevendo:
Esse raciocínio é matematicamente incorreto por razões fundamentais: 1. Incompatibilidade de domínios: A expressão é uma matriz de dimensão , ao passo que é uma função escalar que produz um único escalar; 2. Significado da substituição: O polinômio característico é definido como . O símbolo significa calcular a combinação linear de matrizes , e não calcular o determinante de uma matriz cujas entradas seriam elas próprias substituídas matricialmente sem tratamento tensorial.
Demonstrações
Demonstração via matriz adjunta clássica Esta é a prova clássica mais direta, válida sobre qualquer anel comutativo unitário :
Considere a matriz polinomial , cujas entradas são polinômios de grau no máximo 1 em . Seja a sua matriz adjunta clássica (matriz transposta dos cofatores). Pela propriedade definidora da adjunta:
Como cada entrada de é um cofator de ordem de , cada entrada de é um polinômio em de grau no máximo . Portanto, pode-se fatorar a matriz como um polinômio com coeficientes matriciais constantes :
Expandindo o produto matricial à esquerda:
Por outro lado, o lado direito da identidade fornece:
Igualando os coeficientes matriciais de potências correspondentes de :
Multiplicando cada equação à esquerda pela potência respectiva :
Ao somar membro a membro todas essas equações, o lado esquerdo colapsa em uma soma telescópica exata, restando apenas a matriz nula:
o que encerra a demonstração.
Demonstração pelo caso diagonalizável e densidade Quando o corpo base é , pode-se fornecer uma demonstração conceitual alternativa: 1. Caso diagonalizável: Se é uma matriz diagonalizável, existe uma matriz invertível tal que , onde reúne os autovalores de . Então:
Como cada é uma raiz de , tem-se para todo , implicando e, consequentemente, . 2. Extensão topológica por densidade: O subconjunto das matrizes diagonalizáveis (matrizes com autovalores distintos) forma um conjunto aberto e denso no espaço topológico . Uma vez que os elementos da matriz são funções polinomiais contínuas das entradas de , e uma função contínua que se anula em um subconjunto denso deve se anular em todo o espaço, conclui-se que para toda matriz quadrada complexa .
Generalização para módulos em álgebra comutativa Em álgebra comutativa, o teorema é formulado para módulos finitamente gerados:
Essa generalização fornece uma das deduções mais diretas e elegantes do clássico lema de Nakayama.
Exemplos práticos
Matrizes de ordem 2 Para uma matriz geral :
o polinômio característico é:
Pelo teorema de Cayley-Hamilton:
Considere a matriz numérica:
Seus invariantes são e . Seu polinômio característico é . Calculando o quadrado de :
Substituindo em :
Aplicações
Cálculo da matriz inversa Se a matriz for invertível, seu determinante é não nulo, o que implica que o termo independente . A partir da identidade de Cayley-Hamilton:
Isolando o termo da identidade:
Fatorando a matriz à esquerda:
Conclui-se que a inversa de é dada diretamente pelo polinômio em :
Redução de potências de matrizes O teorema garante que qualquer potência arbitrária (com ) pode ser expressa como uma combinação linear das potências inferiores .
Pelo algoritmo de divisão euclidiana de polinômios, ao dividir por :
onde o resto tem grau estritamente menor que (). Avaliando a equação na matriz :
Esse método evita a necessidade de realizar multiplicações matriciais repetidas para calcular potências de ordem elevada.
Exponencial matricial e equações diferenciais Na teoria dos sistemas dinâmicos lineares e equações diferenciais ordinárias da forma , a solução geral depende do cálculo da exponencial matricial:
Pelo teorema de Cayley-Hamilton, o espaço vetorial de matrizes gerado pelo conjunto infinito de potências tem dimensão finita no máximo . Consequentemente, existem funções escalares tais que:
permitindo resolver analiticamente a exponencial matricial resolvendo apenas um sistema de equações algébricas escalares nos autovalores de .
Ver também Arthur Cayley William Rowan Hamilton Polinômio característico Polinômio mínimo Forma canônica de Jordan Lema de Nakayama
Referências
Bibliografia
Categoria:Teoremas de matemática Categoria:Álgebra linear Categoria:Teoria matricial Categoria:William Rowan Hamilton