formas canonicas

 Lección 2. 
   Forma CanÓnica Triangular

Teorema 3. Sea $T$ una transformación lineal de un espacio $V$ de dimensión finita $n\geq 1$. $T$ es diagonalizable si y sólo si el polinomio mínimo de $T$ es de la forma

MATH

donde $a_{i}\in K$ son valores diferentes, $1\leq i\leq k$, $1\leq k\leq n.$ La afirmación del teorema también se cumple si $A$ es una matriz cuadrada de orden $n\geq1$.

Demostración. $\Rightarrow )$ Si $T$ es diagonalizable $V$ tiene una base conformada por vectores propios: MATH. Sean MATH los diferentes valores propios de $T$, $1\leq k\leq n$. Sea $v=b_{1}.$ MATH un vector cualquiera de $V$, entonces

MATH

MATH MATH

ya que las transformaciones polinomiales conmutan y cada $v_{i}$ esta asociado a algunos de los valores propios MATH Esto indica que el polinomio MATH se anula en $T$, de donde, $q_{T}(x)$ divide a dicho polinomio. Pero como $a_{i}$ es raíz de $q_{T}(x)$, entonces cada factor $(x-a_{i})$ divide a $q_{T}(x)$, por lo tanto MATH divide a $q_{T}(x).$ Se tiene entonces que MATH

$\Longleftarrow )$ Nótese que MATH son los diferentes valores propios de $T$ (véase la Proposición 2). Sea $W$ el espacio generado por todos los vectores propios de $T$ ; si $W=V$ , entonces $T$ es diagonalizable. Supóngase que $W\neq V$. Demostraremos que esta suposición nos lleva a una MATH.

Es claro que $W$ es invariante. Según la Proposición 5 , existe MATH y un valor propio $a$ de $T$ tales que MATH. $a$ es alguna de las raíces de $q_{T}(x)$ , digamos, $a=a_{1},$ entonces MATH Por otro lado, MATH, es decir, MATH es un vector propio de $T$ con valor propio $a_{1}$, con lo cual $w\in W$ . Sea MATH , entonces $w=h(T)(u)$. La división con resíduo de $h(x)$ entre $(x-a_{1})$ nos da

MATH

con $m(x)\in K[x].$ Entonces,

MATH

MATH

MATH

es decir, MATH ya que $v\in W$ y $W$ es invariante. Si $h(a_{1})\neq0,$ entonces $u\in W$ y esto contradice la escogencia de $u$. Por lo tanto, $a_{1}$ es una de las raíces de $h(x)$, pero contradice que los valores MATH son diferentes. $\Box$

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

Aviso Legal - Copyright