formas canonicas

 Lección 7. 
   Forma CanÓnica de Jordan

Teorema 7. Sea $T:V\rightarrow V$ una transformación lineal de un espacio $K$-espacio $V$ de dimensión finita $n\geq 1$. Sean $q_{T}(x)$ y $p_{T}(x)$ los polinomio mínimo y polinomio característico de $T$, respectivamente. Entonces, MATH Más exactamente, si

MATH

es la descomposición irreducible de $q_{T}(x)$, MATH, entonces

MATH

donde

MATH

para cada $1\leq i\leq k.$ En otras palabras, $q_{T}(x)$ y $p_{T}(x)$ tienen los mismos factores irreducibles salvo multiplicidades. Además, si $F$ es un cuerpo que contiene al cuerpo $K$, entonces

$a\in F$ es raíz de $q_{T}(x)$ si y sólo si $a$ es raíz de $p_{T}(x).$

Demostración. Según el Teorema de Descomposición Cíclica, existen vectores no nulos MATH con polinomios anuladores MATH tales que

MATH

MATH, MATH para cada $1\leq i\leq r-1.$ Sea $T_{i}$ la restricción de $T$ a $[v_{i}]$. Sabemos que para cada $i,$ MATH $q_{v_{i}}(x)$ (véase el Corolario 5); además, MATH, de donde MATH

Sea ahora $s(x)$ un divisor irreducible de $q_{T}(x)$, entonces $s(x)$ es también un factor de $p_{T}(x)$. De otro lado, sea $r(x)$ un factor irreducible de MATH, entonces existe un $i$ tal que MATH, luego MATH es decir, $r(x)\,|\,q_{T}(x).$

Consideremos ahora la descomposición irreducible (véase el Teorema 4):

MATH

Sea $S_{i}$ la restriccion de $T$ al subespacio $W_{i}$; sabemos entonces que MATH, luego MATH con algún $d_i\geq r_i.$ Esto garantiza que MATH Se tiene además que

MATH

La última afirmación del teorema es consecuencia directa de loque hemos probado.$\Box$

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright