Sei sulla pagina 1di 3

No Olvidar

La finalidad de estas notas no es demostrar hechos, sino tratar de hacer breves disertaciones que hagan
ver la relacion entre los conceptos inmersos en un tema especfico.

1. Forma canonica de Frobenius

Siempre consideramos T LK (V ) donde Dim(V ) = n. En primer lugar, tengamos presente que toda
transformacion lineal tiene forma de Frobenius, y esto se debe al teorema de descomposicion cclica.
Tal teorema se enuncia a continuacion.
Teorema 1.1. Sea T una transformacion linear. Entonces existen r 1 vectores no nulos v1 , vr
V con polinomios anuladores qvi (x) para 1 i r tales que.
a. V = [v1 ] [fr ]
b. qi+1 (x)|qi (x)
c. qv1 (x) = qT (x).

Aunque no hemos mencionado la definicion de espacios cclicos, vale la pena hacer las siguiente ano-
taciones, las cuales se refieren a base (dimension) y restriccion de una transformacion a un espacio
cclico (el cual es invariante):

[v] = v, T (v), , T m1 (v) donde m = grad(pv (x)). Ademas tal lista es L.I.

Consideremos T[v] luego qT[v] = qv

Como consecuencia de los dos anteriores, T tiene vector cclico v si y solo si qv = qT = pT

El teorema de descomposicion cclica dice que existe v V tal que qv = qT por lo cual el ultimo tem
puede ser enunciado como T tiene vector cclico si y solo si qT = pT .
Hasta ahora no se ha hecho observado interconexiones de los objetos inmersos en el tema, pero esto
llega al momento de obtener consecuencias de la definicion de matriz companera de un polinomio.
Teorema 1.2. Relacion: T tiene vector cclico si y solo si existe una base X tal que mX (T ) es
matriz companera de qT (x)

Y al considerar que qv (x)|qT (x), en consecuencia se tiene que


Teorema 1.3. Relacion: Sea A Mn (K). Si A es matriz companera de p(x), entonces p(x) es el
polinomio mnimo y caracterstico de A.

1
Demostracion: (ejercicio) .
Finalmente llegamos a definir forma de frobenius de una manera autocontenida.

Definicion 1. Al tomar A Mn (K). A es matriz de Frobenius cuando tomamos los polinomios


determinados por el teorema de descomposicion irreducible qvi donde 1 i r y luego consideramos
a Ai como matriz companera de qvi para obtener una matriz en bloques


A1 0
.. . . ..
. . .
0 Ar

Notemos que:

El orden de Ai es igual a el grado de qvi , pues qvi = qAi = pAi

pT = pA1 pAr y qT = qv1 N.

2. Forma canonica de Jordan

El siguiente teorema es una version muy completa del teorema de Cayley-Hamilton y lo consideramos
como preambulo a su desarrollo.

Teorema 2.1. Sea T una transformacion lineal. Se tiene que qT |pT , que qT y pT tienen los mismos
factores irreducibles salvo multiplicidades y que la multiplicidad de un factor irreducible en pT es igual
a
dim(ker(qi (T )ri ))
gr(qi (x))
donde qi es un factor irreducible de alguno de los dos polinomios y ri es la multiplicidad de tal factor
irreducible en qT .

(No Olvidar): En un cuerpo algebraicamente cerrado, toda transformacion es diagonalizable en


bloques de Jordan.
La construccion de esta forma esta dada en dos partes; una en la que usa el teorema de descom-
posicion cclica y otra en la que usa el teorema de descomposicion irreducible. Si bien, la
demostracion de la primera parte esta en detalle en las notas del profesor Lezama, pero la idea es
anotar lo mas importante en cada parte (encadenado a las notas).
Parte I: Supongamos N LK (V ) donde N es nilpotente. El resultado que se pide va directamente
a las celdas de Jordan.
Se aplica el teorema de descomposicion cclica, luego obtenemos V = [w1 ] [wt ] y para
cada vector wi su anulador, con las caractersticas que proporciona el teorema usado.
El tamano de las celdas de Jordan es el grado del polinomio anulador, pues la descomposicion cclica
permite una diagonalizacion por bloques segun el punto anterior.

2
Se determina que el numero de celdas de Jordan es dim(ker(N )), es decir, la descomposicion cclica
que tiene N sera el numero mencionado.
Parte II: El analisis empieza con el polinomio caracterstico pT el cual esta descompuesto en
factores lineales, lo cual, mediante el teorema de Cayley Hamilton generalizado, podemos decir que
qT tiene los mismos factores lineales.
Se usa el teorema de descomposicion irreducible y se obtiene V = W1 Wk , donde
Wk = ker [(T ai I)ri ] donde (x ai )ri es factor irreducible de qT con multiplicidad ri .
Consideramos TWi y como el polinomio mnimo de TWi es (x ai )ri , consideremos Ti ai I de Wi
a Wi . Esto nos da un bloque de Jordan y por el teorema generalizado C.H, entonces el tamano del
bloque de Jordan es la multiplicidad algebraica del valor propio ai en el pT .
Por el ultimo punto del Paso I, el numero de celdas de Jordan en cada bloque de Jordan, es
dim(E(ai ))
La suma de los tamanos de una celda de Jordan debera ser igual al tamano del bloque de Jordan.