Ejercicio teórico

Ejercicio 2 b
Decidir, justificando, si la inversa de una matriz simétrica inversible es también simétrica.
Considerar matrices de nxn.

Desarrollo
A nxn es una matriz simétrica e inversible  A  AT   A1 (Hipótesis)
A1   A1  (Tesis)
T

Demo
Por definición de matriz inversa: A. A1  I
Aplicando transposición a ambos miembros de la igualdad:
 A. A 
1 T
 IT
Por propiedad de transpuesta de un producto de matrices  A.B   BT . AT :
T

A 
1 T
. AT  I T
Por definición de transposición de matrices: I T  I
A 
1 T
. AT  I
Por definición de matriz inversa:
A   A 
1 T T 1
s.q.d.

Ejercicio práctico

Ejercicio 3a
Dada la transformación
T : 3  3 / T 1, 0, 3  1, 2, 3 ; T 0, 2, 1   4, 1, 3 ; T 0, 0, 1  1, 1, 1
i) Escribirla en forma matricial.
ii) Indicar una base y la dim del Nu(T) e Im(T).
iii) ¿Es epimorfismo? Justificar.

Desarrollo
i) Primero se analiza la independencia lineal del conjunto 1, 0, 3 , 0, 2, 1 , 0, 0, 1
del dominio.
Por definición de independencia lineal:
a. 1, 0, 3  b.  0, 2, 1  c.  0, 0, 1   0, 0, 0 
 a, 2b, 3a  b  c    0, 0, 0 
a  0

2b  0  b0
3a  2b  c  0   3.0  2.0  c  0  c  0

CS   0, 0, 0 
Como la única solución es la trivial el conjunto es linealmente independiente y por lo tanto
es una base del dominio 3 . Como se conocen los transformados de una base del dominio,
por el Teorema Fundamental de las transformaciones lineales, la transformación está
completamente definida.

 x, y, z    1, 0, 3   0, 2, 1   0, 0, 1

 x, y, z    , 2 , 3     

  x

2  y 
3      z

1 0 0 x  1 0 0 x  1 0 0 x 
     
 0 2 0 y    0 2 0 y    0 2 0 y 
 3 1 1 z   0 1 1 z  3 x   0 0 2 6 x  y  2 z 


El sistema equivalente es:

  x

2  y
2  6 x  y  2 z


De la última ecuación
y
2  6 x  y  2 z    3x  z
2
Despejando  de la segunda

y
2  y    
2
De la primera ecuación
x
Luego
 x, y, z   x. 1, 0, 3     .  0, 2, 1   3x   z  .  0, 0, 1
y y
 2  2 
Aplicando T a ambos miembros de la igualdad anterior y teniendo en cuenta la propiedad
aditiva y homogénea, se tiene:
 y  y 
T  x, y, z   x.T 1, 0, 3     .T  0, 2, 1   3x   z  .T  0, 0, 1
 2  2 
Como T 1, 0, 3 , T  0, 2, 1 , T  0, 0, 1 son conocidos
  y  y 
T  x, y, z   x. 1, 2, 3     .  4, 1, 3   3x   z  . 1, 1, 1
 2  2 

 y 3y   y y y 
T  x, y, z    x, 2 x, 3x    2 y, ,    3x   z, 3x   z, 3x   z 
 2 2   2 2 2 

 y y y 3y y 
T  x, y, z    x  2 y  3x   z, 2 x   3x   z, 3x   3x   z 
 2 2 2 2 2 

 3 
T  x, y, z    4 x  y  z, x  y  z, 2y  z  Esta es la ley de T o ecuación de T.
 2 
Su expresión matricial es:

 4  3 2 1 x 

T  x, y , z    1 1
 
1 y   
 T X  A. X
0 1 
 2  z 

ii)


Nu T   X  3
  
/T X  0
 3
4 x  2 y  z  0  4 3 2 1 0  4 3 2 1 0  4 3 2 1 0
      
x  y  z  0  1 1 1 0    0 11 2 3 0    0 11 2 3 0 
2y  z  0 0 1 0   0 4 0   0 22 0 
  1 4 0

El sistema equivalente es
 3 3
4 x  2 y  z  0  4 x  .0  0  0  x  0
2

11 2  y  3z  0  11 2  y  3.0  0  y  0
22 z  0  z 0



 Nu T   0 
Por definición
La base de Nu T    y dim Nu T   0

Las columnas de A generan la imagen, si además son linealmente independientes, son una
base de la misma. Analizo la independencia lineal:
m.  4, 1, 0   n.  0,  3 2, 1  p. 1, 1, 1   0, 0, 0 

 3 
 4m  p, m  n  p, m  n  p    0, 0, 0 
 2 

 4m  p  0  4 0 1 0
    4 0 1 0  4 0 1 0
 3 1  3    
m  n  p  0 1 0    0 6 3 0    0 6 3 0 
 2  2     
m  n  p  0  1 1 1 0   0 4 3 0   0 0 30 0 
 

El sistema equivalente es:

 4m  p  0  4m  p  0  m  0

6n  3 p  0   6n  3.0  0  n  0
30 p  0  p0


CS  0  El sistema es linealmente independiente y por lo tanto es una base de la

imagen. La dim Im T  =3 .

iii)
Como el codominio es 3 y la base de la imagen genera todo 3
, la imagen coincide con el
codominio, por lo tanto T es un epimorfismo.