18.11.2015 Views

lgebra Lineal;Stanley I. Grossman

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6.6 Forma canónica de Jordan 587<br />

Nota. Se puede (y con frecuencia se hará) tener una matriz de bloques de Jordan de 1 3 l. Esa<br />

matriz toma la forma B( λ) 5 ( λ).<br />

MATRIZ DE<br />

JORDAN<br />

Por último, una matriz de Jordan J tiene la forma<br />

( )<br />

⎛ B λ<br />

1<br />

⎜<br />

0<br />

J 5 ⎜<br />

⎜ <br />

⎜<br />

⎝ 0<br />

1<br />

0 <br />

B λ<br />

2 ( 2 ) <br />

<br />

0 <br />

B r<br />

0 ⎞<br />

0<br />

⎟<br />

⎟<br />

⎟<br />

⎟<br />

( λ ) ⎠<br />

r<br />

donde cada B j<br />

(λ j<br />

) es una matriz de bloques de Jordan. Entonces una matriz de Jordan es una<br />

matriz que tiene en la diagonal matrices de bloques de Jordan y ceros en otra parte.<br />

EJEMPLO 1<br />

Tres matrices de Jordan<br />

Los siguientes ejemplos son matrices de Jordan. Los blo ques de Jordan se marcaron con líneas<br />

punteadas:<br />

i.<br />

⎛ 2 1 0⎞<br />

⎜ ⎟<br />

⎜<br />

0 2 0<br />

⎟<br />

⎝<br />

⎜ 0 0 4⎠<br />

⎟<br />

ii.<br />

⎛ 23 0 0 0 0⎞<br />

⎜<br />

0 23 1 0 0<br />

⎟<br />

⎜<br />

⎟<br />

⎜ 0 0 23 1 0⎟<br />

⎜<br />

⎟<br />

⎜ 0 0 0 23 0⎟<br />

⎝<br />

⎜ 0 0 0 0 7⎠<br />

⎟<br />

iii.<br />

⎛ 4 1 0 0 0 0 0⎞<br />

⎜<br />

0 4 0 0 0 0 0<br />

⎟<br />

⎜<br />

⎟<br />

⎜ 0 0 3 1 0 0 0⎟<br />

⎜<br />

⎟<br />

⎜ 0 0 0 3 1 0 0⎟<br />

⎜ 0 0 0 0 3 0 0⎟<br />

⎜<br />

⎟<br />

⎜ 0 0 0 0 0 5 1⎟<br />

⎝<br />

⎜ 0 0 0 0 0 0 5⎠<br />

⎟<br />

EJEMPLO 2 Matrices de Jordan de 2 3 2<br />

1 ⎞<br />

λ⎠<br />

⎟<br />

. En la primera matriz los nú-<br />

Las únicas matrices de Jordan de 2 3 2 son ⎛ λ<br />

⎝ ⎜<br />

1<br />

0<br />

meros λ 1<br />

y λ 2<br />

pueden ser iguales.<br />

0 ⎞<br />

λ<br />

⎟<br />

⎠<br />

2<br />

y ⎛ λ<br />

⎝ ⎜ 0<br />

EJEMPLO 3 Matrices de Jordan de 3 3 3<br />

Las únicas matrices de Jordan de 3 3 3 son<br />

⎛ λ 0 0 ⎞<br />

1<br />

⎜<br />

0 λ 0<br />

⎟<br />

2<br />

⎝<br />

⎜ 0 0 λ ⎟<br />

⎠<br />

3<br />

⎛ λ 0 0 ⎞<br />

1<br />

⎜<br />

0 λ 1<br />

⎟<br />

2<br />

⎝<br />

⎜ 0 0 λ ⎠<br />

⎟<br />

2<br />

⎛ λ 1 0 ⎞<br />

1<br />

⎜<br />

0 λ 0<br />

⎟<br />

1<br />

⎝<br />

⎜ 0 0 λ ⎠<br />

⎟<br />

2<br />

⎛ λ 1 0 ⎞<br />

1<br />

⎜<br />

0 λ 1<br />

⎟<br />

1<br />

⎝<br />

⎜ 0 0 λ ⎠<br />

⎟<br />

1<br />

donde no es necesario que λ 1<br />

, λ 2<br />

y λ 3<br />

sean distintos.<br />

El siguiente resultado es uno de los teoremas más importantes en la teoría de matrices.<br />

Aunque su prueba queda fuera del alcance de este libro, † se demostrará para el caso de 2 3 2<br />

(vea el teorema 3) y se sugiere una demostración para el caso de 3 3 3 en el problema 22.<br />

†<br />

Vea la demostración en G. Birkhoffy S. MacLane, A Survey of Modern A<strong>lgebra</strong>, 3a., Nueva York, Macmillan, 1965,<br />

p. 311.

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

Saved successfully!

Ooh no, something went wrong!