formas canonicas

 Lección 6. 
   Forma CanÓnica Racional

Corolario 5. Sea $T:V\rightarrow V$ una transformación lineal de un espacio $V$ de dimensión $n\geq 1$, y sea $v\neq 0$ un vector de $V.$ Sea $[v]_{T}$ el subespacio MATH generado por el vector $v$ y $T_{[v]}$ la restricción de $T$ a $[v]_{T}$. Entonces, $v$ es un vector cíclico de $T_{[v]}$ y existe una base $X$ en $[v]_{T}$ tal que la matriz de $T_{[v]}$ en dicha base es la matriz compañera de $q_{v}(x)$ $.$

Demostración. Sabemos que

$[v]_{T_{[v]}}$$=\{p($$T_{[v]}$MATH

$\{p(T)(v)$MATH$[v]_T$ ,

es decir, $v$ es un vector cíclico de $T_{[v]}$. Según la Proposición 10, existe una base $X$ en $[v]_{T}$ tal que la matriz de $T_{[v]}$ en dicha base es la compañera del polinomio mínimo de $T_{[v]}$. Pero sabemos que dicho polinomio coincide con $q_{v}(x).\Box $

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

Aviso Legal - Copyright