In[1]:= 2 2

Out[1]= 4
SEA F EL ENDOMORFISMO EN R4 CUYA MATRIZ ASOCIADA EN LA BASE
CANNICA ES:
In[2]:= A
1 0 0 1
0 2 0 4
1 4 2 9
1 0 0 3
Out[2]= 1, 0, 0, 1, 0, 2, 0, 4, 1, 4, 2, 9, 1, 0, 0, 3
1.- ESTUDIE SI DICHO ENDOMORFISMO ES DIAGONALIZABLE
Calculamos primero su polinomio caracterstico y sus autovalores
In[3]:= CharacteristicPolynomialA, x
Out[3]= 16 16 x 4 x
3
x
4
In[4]:= EigenvaluesA
Out[4]= 2, 2, 2, 2
Como vemos, la multiplicidad algebraica del autovalor 2 es 1. Para que sea diagonalizable, la multiplicidad geomtrica (Dim-
xId) debe ser 3:
In[5]:= 4 MatrixRankA 2 IdentityMatrix4
Out[5]= 1
De tal forma, ma =/ mg, por lo que no es diagonzalizable, y puede hallarse una forma cannica de Jordan
2.- CALCULE SU FORMA CANNICA DE JORDAN Y UNA MATRIZ DE PASO
Por la multiplicidad geomtrica del autovalor 2, deducimos que se encuentra ubicado en una sola caja, de tal forma que la
matriz de Jordan queda de la forma:
In[6]:= J
2 0 0 0
0 2 1 0
0 0 2 1
0 0 0 2
Out[6]= 2, 0, 0, 0, 0, 2, 1, 0, 0, 0, 2, 1, 0, 0, 0, 2
Ahora calcularemos una matriz de paso P, que verificar la igualdad J PAP
1
, es decir, JP=PA: Obtendremos v1
KerA 2 Id, v2 Ker A 2 Id
3
, v3 KerA 2 Id y v4 Ker A 2 Id
2
:
Calculamos v1 KerA 2 Id:
In[7]:= NullSpaceTransposeA 2 IdentityMatrix4
Out[7]= 0, 1, 1, 1
Calculamos v3 KerA 2 Id:
In[8]:= NullSpaceTransposeA 2 IdentityMatrix4
Out[8]= 1, 0, 0, 1
Printed by Mathematica for Students
Calculamos v4 Ker A 2 Id
2
:
In[9]:= NullSpaceMatrixPowerTransposeA 2 IdentityMatrix4, 2
Out[9]= 0, 0, 0, 1, 1, 0, 0, 0
Calculamos v2 Ker A 2 Id
3
:
In[10]:= NullSpaceMatrixPowerTransposeA 2 IdentityMatrix4, 3
Out[10]= 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0
Seleccionamos v2 Ker A 2 Id
3
, pero que no pertenezca a Ker(A-2Id) ni a Ker A 2 Id
2
, por ejemplo, escogemos el
vector (0,1,0,0). A partir de este vector podremos calcular v3 y v4, ya que v3=v2A 2 Id y v4=A 2 Id
2
In[11]:= v2 0, 1, 0, 0
Out[11]= 0, 1, 0, 0
In[12]:= v3 v2.A 2 IdentityMatrix4
Out[12]= 0, 0, 0, 4
In[13]:= v4 v2.MatrixPowerA 2 IdentityMatrix4, 2
Out[13]= 4, 0, 0, 4
Una vez que hemos obtenido los 4 vectores, podremos formar la matriz de paso. Hay que aadir que el nmero de matrices
de paso es indefinido, por lo que otro resultado que verifique que J PAP
1
es igual de vlido
In[14]:= P
0 1 1 1
0 1 0 0
0 0 0 4
4 0 0 4
Out[14]= 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 4, 4, 0, 0, 4
In[15]:= MatrixFormP.A.InverseP
Out[15]//MatrixForm=
2 0 0 0
0 2 1 0
0 0 2 1
0 0 0 2
Como vemos, esta matriz de paso es vlida. Para comprobar que tanto la forma de Jordan como la matriz de paso son
correctas usamos el siguiente comando:
In[16]:= JordanDecompositionA
Out[16]= 0, 0,
1
4
,
5
16
, 0, 1,
1
4
,
1
16
, 1, 1, 0, 0, 0, 0,
1
4
,
1
16
,
2, 0, 0, 0, 0, 2, 1, 0, 0, 0, 2, 1, 0, 0, 0, 2
3.- CALCULE e^J
Calcularemos la matrix exponencial de la matriz de Jordan mediante el comando:
2 Ejercicio 7 relacion.nb
Printed by Mathematica for Students
In[17]:= MatrixFormMatrixExp
2 0 0 0
0 2 1 0
0 0 2 1
0 0 0 2

Out[17]//MatrixForm=
1

2
0 0 0
0
2

2

2
2
0 0
2

2
0 0 0
2
Ejercicio 7 relacion.nb 3
Printed by Mathematica for Students