24.11.2013 Views

Cap´ıtulo 6 Ampliación sobre endomorfismos

Cap´ıtulo 6 Ampliación sobre endomorfismos

Cap´ıtulo 6 Ampliación sobre endomorfismos

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

CAPÍTULO 6. AMPLIACIÓN SOBRE ENDOMORFISMOS 183<br />

⎡<br />

1 −2<br />

⎤<br />

−2<br />

Ejemplo 6.3 Dada la matriz A = ⎣ 1 4 1 ⎦, comprueba que no es diagonalizable y<br />

1 1 4<br />

obtén las matrices P y J, forma canónica de Jordan, tales que A = P JP −1 .<br />

En primer lugar determinamos los autovalores, obteniendo λ = 3 triple.<br />

Seguidamente obtenemos V 3 = Ker(A − 3I), resolviendo el sistema lineal (A − 3I)⃗x = ⃗0.<br />

⎡<br />

⎤<br />

−2 −2 −2 | 0<br />

⎣ 1 1 1 | 0 ⎦ El resultado es V 3 = {x + y + z = 0} =< (1, −1, 0), (0, 1, −1) ><br />

1 1 1 | 0<br />

Al ser dim V 3 menor que la multiplicidad algebraica 3 tenemos que A no es diagonalizable,<br />

pero como todas las raíces de p(λ) son reales sí podemos obtener la forma canónica de<br />

Jordan, con una base que incluya además de dos autovectores, un autovector generalizado.<br />

Obtenemos en primer lugar Ker(A − 3I) 2 .<br />

⎡<br />

0 0<br />

⎤<br />

0<br />

(A − 3I) 2 = ⎣ 0 0 0 ⎦, por tanto Ker(A − 3I) 2 = IR 3<br />

0 0 0<br />

Denotando A−3I como el endomorfismo g, ahora hemos de obtener la cadena de vectores:<br />

⃗w perteneciente a Kerg 2 pero no a Kerg<br />

g( ⃗w) = ⃗z. Está garantizado que pertenece a Kerg<br />

⃗w = (1, 0, 0)<br />

g( ⃗w) = ⃗z = (−2, 1, 1) ⇒ f( ⃗w) − 3 ⃗w = ⃗z, por tanto f( ⃗w) = 3 ⃗w + ⃗z<br />

f(⃗z) = 3⃗z, pues ⃗z es autovector<br />

f( ⃗z1) = 3 ⃗z1, con ⃗z 1 = (1, −1, 0) que es autovector y l.i. de ⃗z.<br />

A = P JP −1<br />

⎡<br />

1 −2<br />

⎤<br />

−2<br />

⎡<br />

⎣ 1 4 1 ⎦ = ⎣<br />

1 1 4<br />

1 1<br />

⎤ ⎡<br />

−2 3 0<br />

⎤ ⎡<br />

0<br />

−1 0 1 ⎦ ⎣ 0 3 0 ⎦ ⎣<br />

0 0 1 0 1 3<br />

1 1<br />

⎤<br />

−2<br />

−1 0 1 ⎦<br />

0 0 1<br />

La matriz J está constituida por dos cajas de Jordan completas, una de tamaño 2 × 2 y<br />

otra de tamaño 1 × 1.<br />

⎡<br />

⎤<br />

3 | 0 0<br />

⎢ − − −<br />

⎥<br />

⎣ 0 | 3 0 ⎦<br />

0 | 1 3<br />

−1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!