X
JosÉ
Rusro
IsÁ,ñEzCÁLCULO ATGEBRAICO
DE
tA
MATRIZ
N.SIMA
DE
UNA MATRIZ CUADRADA
UNTVERSIDAD
EUROPEA-CEESDepartamento
deMatemática
Documentos de Trabajo
ttle
-uù
16
^\
R.ls.ìsz
.Ptr4
þ ú
'arBLl
UEM - CEES
I ilil llil ril ilil ffi llil llil llll lil lllil il lil 9300399500
x
atooG
&t'ç
I.JMVER SIDAD EUROPEA.CEES Documentos de Trabaio 4 / 96
CóIculo algebraico de la matriz n-sima de una nutriz cuadrada Villaviciosa de Odón (Madrid), malo de 19%
@ 1996 fosé Rubio IbáÍtez
@ 1996 Universidad Europea{EES Ediciones
Ítrlorcn
l.Introducción
2.
Polinomio
característico 3. Matrices serneiantes4.Iù'f:afiz
diagonÞable
5. Teorema de
Cayley-Hamilton
6.
Polinomio
mínimo
7.
Foma
canónica delordan
8. Base cíclica9. Cálcnlo de la raíz enésima 9.1.
Matriz
diagonizable9.2.
Matñz ns
rl ia gonizable10.
Bibliografía
Notasdel lector
4 4 6 6 7 7
I
I
9 911
CÁrculo
ALGEBRATco
DE
LA
MATRTZ
N-srMA
DE
UNA MATRIZ CUADRADA
JosÉ
Ruuro
Inri,ñnzUniversidad
Europea-CEES
Departanento
deMatemática
1..
In¡rnoouccróN¡
El
teorema de Albert, que establece el modelo de c¿álculo de lann
cuadrada de trnamafrz
cuadrada, se ha tomado como base para el presente trabajo, pero,resultando demasiado laborioso, se desarrollan otros métodos que rest¡ltan
bas-tante
más simples. Se hacenotar
queel
cuelpo de definición ha
de sernece-sariamente
algebraicamentecerrado
(por
ejemplo, el cuerpo de
los númeroscompþos)
tpàtã,que así se cumpla el Tþorema Ftrndamental del ^Álgebra. Antes deentrar en
el
tema, se exponen brevemente nociones básicas del iálgebra matricial,que resr:Itarín, probablemente, imprescindibles para la lecfura de este a¡tículo.
2.
PorwoMro
cARAcrEnfsuco
Sea
A
lamatriz
de r¡na Transforrnación lineal definida sobre un cuerpoK
y
IeK,
todo vector X tal que:se llama uector prøpio.
José Rubio tbáñez
Ctilculo algebraico de la ma¡riz n-sima de unø marriz cuadrada @EDICIONES UEM-CEES 5
El sistema homogéneo:
(A-ÀI)X=O
en
el
que
I
y
O
representanla matriz unidad
y nula
respectivamente, tiene solución si, y solo si:l.l-r.l
I =o
El
desarrollo de este determinante esun polinomio
f(À) de gradon
querecibe
el nombre
de
polinomioaracterfstico,.
y
a cadauna de
sus raíces 1,,,llamadas
aalorespropios,
le corresponde un único vector propio.Eiemplo
1.Lamafiz
[=
2
1
1 2
3
2 1
1
2
tiene:
*POLINOMIO
CARACTERÍSTICO-2r
21
3-À
L2
*VECTORES PROPIOS
Para
À=5-3
=(I-s)(À-r)'z=s
0
0
2 1
1
2-Ì\
1
2 X1
X2 X3
r-2
1L 2
-3
0José Rubio Ib¿íñez
Ctílculo algebraico de Iu matriz n-s¡ma de una maîriz cuadrada O
EDICIONES UEM-CEES 6
Para l,=1
I[
:r][i']
[:
+
((-z,t,o)',
(-t, o,t))
tal que
3.
MnrnrcEs
SEMEIANTESDos matrices A y B se dicen semejantes si existe una matriz regular
ln
I*
O,verificándose que:
*
Dos matrices semejantes tienen los mismos valores propios.*
Si Yi
esel vector propio de
B correspondiente
al valor propio
I,,
entonces
Xi = R Y, es el vector propio de este
último
valor.4.
M¡,rnrzDrAcoNArrzABLE
Una matriz cuadrada
D
se dice Diagonal si sus elementos son tales que:AR=B
R-r
¿it
-0
ParaÉ0
i+
l=
i)
Siendo
evidente
queuna
matriz
diagonal de orden
n
tiene
n
vectoreslinealmente independientes.
Toda
matriz
semejante auna
matriz
diagonal
se diceDiagonalizable.
José Rubio Ibáñez
Ctilculo algebraico de Ia matiz n-simo de una matriz cuadrad¿ O
EDICIONES UEM.CEES 7
Ejemplo 2.
Para la matriz del ejemplo L se tiene:
R-L-2-L
110
101
t2L
-1 2-L
-1-23
,,
nt
=å
luego:
R-14 R =
500
0L0
001
Obsérvese que la maffiz R está formada por los vectores propios de A.
5.
TEonuMA
DECIyIEY-HAMTLToN
Toda matriz es un cero de su polinornio característico:
f(À)=
lU-¿,1+f(A)=o
6. PorwoMro
MfNrMo
Entre todos los polinomios
f(I)
tales quef(A)
= O existe un único polinomio mónicom(I)
llamadoPolinomio
Mínimo
quedivide
a todos los demás y verificaque tiene los mismos factores irreducibles que el polinomio característico.
Eiemplo 3.
Sea:
José Rubio lbiíñez
Ctilculo algebraico de la matriz n-sima de una matriz cuadrada O EDICIONES UEM.CEES 8
le-u
l=(À'5)(r+l)'z
(A+I)+O¡(A-sI)*O
(A +
I)'
(A-
5I) = O=
m (t) = (s-I)
.(I+
1) es elpolinomio
mínimo de A.Una
matriz
A
es diagonalizable siy
solo si, supolinomio mínimo
es un producto de polinomios lineales diferentes.7.
Fon¡vr¡, CANóNICA DEIoRDAN
Aunque no todas las matrices son diagonalizables, sin embargo, es posible
encontrar para
éstas,una
matriz
semejantede
estrucfura bastante simple. Enparticular,
y
pæa los fines de este artículo, se tiene la For¡ra Canónica de fordan.Si en una
matriz
A
los polinornios
característicoy mínimo
se puedenfactorizat
enpolinomios
lineales(lo
que es posible, siempre queel
cuerpo dedefinición
sea algebraicamente cerrado) entoncesA
tieneuna
representación diagonal por cajas o bloques de Jordan, J, de la manera siguiente:si: f(À) =
(I
- ar)nr (1, - ar)ú ... (À -a)*
y
m(1,) = (1,-q¡-t
(I-
ar)d...
(l-
a,)*
para cada a, las cajas Ii¡ son de la forma:l¡
=(a¡)
si
ñi
=1
,,
L,
= â¡L
0
0 0
â¡
1
0 0
0
0
0
00
00
0â1
para
m¡ > 1â¡
1
Eiemplo
4.Sea una
matriz
de orden 5 cuyopolinomio
mínimo es:José Rubio lbriñez
Cdlculo algebraico de la matriz n-sima de una matiz cuadrada @ EDTCIONES UEM-CEES 9
las posibles formas de Jordan, al tener únicamente un valor propio son:
J=
v
f
=dependiendo del número de vectores propios.
8.
BnsEcfclrcA
Sean
A y
X unamatriz
cuadrada y un vector de orden n respectivamente,y
m(I)
elpolinomio
mínimo de grado p, entonces:<x,
^x,
Ãrxr,.., Ap-rX > engendran un subespacio cíclico.9.
CÁ,rculo
DE LA RAfz ENÉsrMASe distinguen segrín que la matriz sea diagonalizable o no.
9.1. Jllf.atnz
diagonalizable
Sea
A
una
matriz
semejante ala matriz D,
entonces existeuna matriz
regular R tal que:R-lAR=D+A=RDR'l
Es evidente,
por
ser el cuerpo de definición algebráicamente cerrado, que existe unamatriz
diagonalM
tal que:José Rubio Ibáñez
Ctilculo algebraico de la marriz n-sima de una matriz cuadrada
@ EDICIONES UEM-CEES 10 teniéndose que:
A
= RD
R-l = R Mn R-l =(f,
llt
ll-t)n luego lamatriz
RM
R'les
la raíz n-sima de la matriz A.Eiemplo
5.Sea
[=
80
18
-1
'Polinomio característico :
'Vectores propios:
*1, = 8:
*1, =
-1
'Matriz
diagonal:=(1.-a)(l+r)=o
-¡.
018
-1-I
,l
0
18
-i)
t;)=[:)=
-(,,2)',
l)
[:,)=[:)=
'(0,1)''
9
18
10
f{=
¡
R-l
-21
L
_,
:)
=[
D =
R-IAR
=^
M=TD
es la solución real de las tres que tiene. 'RaØ cúbica:
80
0-1
20
0-1
20
6-t
José Rubio fbáñez
Cólculo algebraico de la matriz n-sima de una matiz cuadrada @ EDICIONES UEM.CEES II
'Comprobación:
20
6-1
J'=[,:
0
-'t
9.2. Matuiz no
diagonalizable
En
este caso se expresanla
matriz
enfunción
dela
forma
canónica de Jordan, es decir:A=SIS'l
el problema del cálculo de la raíz n-sima de A de reduce al ciílculo
delaraízdeJ,
si:Q"=I
entonces
A=(SQS+)"
Para el cálculo de las raíces de
f
se procede al cálculo de las raíces de cada una de sus cajas. Como cada caja, K,, de la matriz de Jordan tiene la forma:â¡ 0 â1 1 0 1
000
1ar
el
cálculo de las raíces n-simas de cada una de las cajas se reduce a resolver el siguiente sistema:0 0 0 0 0 0 0 0
K
nâi00
1ar0
010
00
00
00
00
00
00
x00
yx0
zyx
tvu
José Rubio lb¡íñez
Ctílculo algebraico de la maîriz n-sima de una malriz cuodrada O EDICIONES UEM-CEES 12
Como cada caia está definida por un vector propio ep que engendra un subespacio cíclico, su base viene dada por la siguiente expresión:
(A.-l,I)eo-r=eo
y cada S, por:
S, = ( en €o-1, ...r€r )
Ejemplo
6.Sea:
A--5-1
0130
t 21
para calcular
sltraíz
cuadrada se procede de la manera siguiente:'Polinomio característico:
'Vectores propios:
l,=1
Ìv= 4
=(¡,-1)
(r-¿)'
+
<(0,0,1)'>
-ì,
-1
1
3-¡.
L2
0
0
1-
¡,X1
0X2=Q
X30
X1
0X2=0+<(L'L'l)',>
X30
4-L0
t 2
0L 2
01-1
01-1
0I2-3
José Rubio Ibáñez
Ctilculo algebraico de la ma¡riz n-sima de una matiz cuadrada
OEDICIONES UEM.CEES 13
'Forma de Jordan:
0 0 L
:)
0 0 4 0 4I=
70
0 x2
x=2
¡
y=L4x=-2
n
y=-L4
4
L x
2
2ry
^
s-l
-+
2
1-1
-1
20-1
-1
2
-1
frr
=.Raíz cuadrada:
2 1
t
0 0I
t;
0\
t_
4)-1 1 1 2 14
11 1 1 1 0 2 0 L-1
0Una de las dos soluciones de
Qrr'=
f'
es:a
.Base cíclica:
?u=4:
(A,,
-l.r)
e*p-r
=",.,
=[l
_lX::)=[l)=€*o-1
=(2,r),
e'p = ( 1,L
)'restricción
de e, = ( 1,1,L )' < (2,1.,'J.)', , (t,'J.,L)' >À=L:
<(0,0,1.)'>
0 0 1 0 0
I
2S=
1 1i
-L4
oi i
019.
1José Rubio lb¡íñez
Ctílculo algebraico de la malriz n-sima de una matriz cuadrada
@ EDICIONES UEM.CEES 14
'Comprobación
1
4
2
9-1
0L 7
0134
5-1
0130
t 2t
10.
BBI.IoGRAfrA
P. Abellanas, Geometríø básica.
S. Lipschutz ,.Ãlgebra Lineal. (SCHAUM).
Birkhoff-Maclane,,4lgebra Moderna.
J. Rubio Ibález
Cálculo algebraico d¿ l¿ nøtrizn¡ima.. @EDICIONESTJEM.CEES 15
Norns
DELtEcroR
UNIVERSIDAD
EUROPEA-CEES
SERIE
(DOCUMENTOS
DE
TRABAIO"
TfNNOS
PUBLICADOS7 I 96 I. Suárez-Zuloaga, Small Business Acquisitions: <Stafting tlu Houx from the Roof"
(Departamento de Economía de Ia Empresa)
2 I 96 R. García de la Sen, Perspectiaa histó¡ica de Ia teoría matemática de la fiabiliiløil
(Deparamento de Matemática)
3