Teorema de Cayley-Hamilton

Teorema de Cayley-Hamilton

En álgebra lineal, el teorema de Cayley-Hamilton (que lleva los nombres de los matemáticos Arthur Cayley y William Hamilton) asegura que todo endomorfismo de un espacio vectorial de dimensión finita sobre un cuerpo cualquiera anula su propio polinomio característico.

En términos matriciales, eso significa que :

si A es una matriz cuadrada de orden n y si

p(X)= \det(A-XIn) = X^n + p_{n-1}X^{n-1} + \ldots + p_1 X + p_0

es su polinomio característico (polinomio de indeterminada X), entonces al sustituir formalmente X por la matriz A en el polinomio, el resultado es la matriz nula:

p(A)= A^n + p_{n-1}A^{n-1} + \ldots + p_1 A + p_0 I_n = 0_n.\;

El teorema de Cayley-Hamilton se aplica también a matrices cuadradas de coeficientes en un anillo conmutativo cualquiera.

Un corolario importante del teorema de Cayley-Hamilton afirma que el polinomio mínimo de una matriz dada es un divisor de su polinomio característico, y no solo eso, el polinomio mínimo tiene los mismos factores irreducibles que el polinomio característico.

Motivación

Este teorema tiene dos familias de uso:

  • Permite establecer resultados teóricos, por ejemplo para calcular el polinomio característico de un endomorfismo nilpotente.
  • Permite también simplificaciones poderosas en el cálculo de matrices. La aproximación por polinomios mínimos es en general menos costosa que la que se hace por determinantes.

Encontramos este teorema utilizado en los artículos sobre los polinomios de endomorfismo, endomorfismos nilpotentes, y más en general en la teoría general de las matrices.

Demostración

Efectuamos la demostración sobre la matriz A. Definamos la matriz B(X) = tcom(XIA). Sabemos que

 \quad (XI-A).B(X)= \det(XI-A).I=P(X).I

Podemos interpretar los miembros y factores de esta igualdad como polinomios en X con coeficientes en el anillo de las matrices cuadradas nxn con coeficientes en K y esa igualdad implica que P(X).I es divisible por la izquierda por XIA. Esto implica entonces que el valor a la derecha (igual en realidad aquí también a su valor a la izquierda, ya que se obtiene B(X).(XIA) = det(XIA).I) del polinomio P(X).I para X = A es nula. Este valor sólo es P(A), lo que termina la demostración.

Véase también Polinomio de endomorfismo para otra demostración.

Ejemplo

Consideremos por ejemplo la matriz

A = \begin{pmatrix}1&2\\
3&4\end{pmatrix}.

El polinomio característico se escribe

p(X)=\det\begin{pmatrix}X-1&-2\\
-3&X-4\end{pmatrix}=(X-1)(X-4)-(-2)(-3)=X^2-5X-2.

El teorema de Cayley-Hamilton afirma que

A2 − 5A − 2I2 = 0

y esta relación puede verificarse inmediatamente en ese caso. Además el teorema de Cayley-Hamilton permite calcular las potencias de una matriz de modo más sencillo que por un cálculo directo. Tomemos la relación anterior

A2 − 5A − 2I2 = 0
A2 = 5A + 2I2

Así, por ejemplo, para calcular A4, podemos escribir

A3 = (5A + 2I2)A = 5A2 + 2A = 5(5A + 2I2) + 2A = 27A + 10I2

y llegamos a

A4 = A3A = (27A + 10I2)A = 27A2 + 10A = 27(5A + 2I2) + 10A
A4 = 145A + 54I2.

Podemos utilizar también la relación polinomial inicial A2 − 5A − 2I2 = 0 para probar la inversibilidad de A y calcular su inverso. En efecto, basta con factorizar una potencia de A donde sea posible y

A(A − 5I) = 2I2

lo que demuestra que A admite como inverso

A^{-1} = \frac12 (A-5I)

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Arthur Cayley — Arthur Cayley. Arthur Cayley (Richmond, Reino Unido, 16 de agosto de 1821 Cambridge, 26 de enero de 1895) fue un matemático británico. Es uno de los fundadores de la escuela británica moderna de matemáticas puras. Además de su predilección por… …   Wikipedia Español

  • William Rowan Hamilton — Para otros usos de este término, véase Hamilton. William Rowan Hamilton. Sir William Rowan Hamilton (4 de agosto de 1805 – 2 de septiembre de 1865) fue un matemático, físico, y astrónomo irlandés …   Wikipedia Español

  • Vector propio y valor propio — Fig. 1. En esta transformación de la Mona Lisa, la imagen se ha deformado de tal forma que su eje vertical no ha cambiado. (nota: se han recortado las esquinas en la imagen de la derecha) …   Wikipedia Español

  • Ferdinand Georg Frobenius — Foto de F.G.Frobenius. Ferdinand Georg Frobenius (Charlottemburg 26 de octubre de 1849 Berlín 3 de agosto 1917) Matemático alemán reconocido por sus aportes a la teoría de las ecuaciones diferenciales y a la teoría de grupos; también por su… …   Wikipedia Español

  • Teoría de Matrices — Saltar a navegación, búsqueda La teoría de matrices es un rama de las matemáticas que se centra en el estudio de matrices. Inicialmente una rama secundaria del álgebra lineal, ha venido cubriendo los temas relacionados con la teoría de grafos, el …   Wikipedia Español

  • Teoría de matrices — Se ha sugerido que este artículo o sección sea fusionado en matriz (matemática) (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La teoría de matrices es un rama de las matemáticas que se centra …   Wikipedia Español

  • Polinomio característico — Saltar a navegación, búsqueda En álgebra lineal, se asocia un polinomio a cada matriz cuadrada llamado polinomio característico. Dicho polinomio contiene una gran cantidad de información sobre la matriz, los más significativos son los valores… …   Wikipedia Español

  • Polinomio mínimo — Saltar a navegación, búsqueda En matemática, el polinomio mínimo de un elemento α es el polinomio mónico p de menor grado tal que p(α)=0. Las propiedades del polinomio mínimo dependen de la estructura algebraica a la cual pertenece α. Teoría de… …   Wikipedia Español

  • Cuaternión — Saltar a navegación, búsqueda Los cuaterniones son una extensión de los números reales, similar a la de los números complejos. Mientras que los números complejos son una extensión de los reales por la adición de la unidad imaginaria i, tal que i2 …   Wikipedia Español

  • Coloración de grafos — Una vértice coloración propia del grafo de Petersen con 3 colores, el número mínimo posible. En Teoría de grafos, la coloración de grafos es un caso especial de etiquetado de grafos; es una asignación de etiquetas llamadas colores a elementos del …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”