 a11 0 0 a14   a11 0 0 a41 

0 a 0 0  0 a22 0 0 
A= 22
AT = 
0 0 a33 0 0 0 a33 0
   
 a41 0 0 a44   a14 0 0 a44 
T  A =  AT −  A
¿Es inyectiva?
H) Sea A∈Ker PD) Ker  M 0 
 a11 − a11 0 0 a41 − a14  0 0 0 0
 0 a22 − a22 0 0  0 0 0 0 
AT − A =  =
 0 0 a33 − a33 0  0 0 0 0
   
 a14 − a41 0 0 a44 − a44  0 0 0 0

Como siempre en este espacio (S) de matrices la diagonal de AT − A será 0, lo que a

primera vista que ∀MS su diagonal será cero a excepción de las posiciones (1,4) y (4,1)
Por lo que detalladamente las desarrollaremos.

a14 − a41 = 0 a14 = a41


a41 − a14 = 0 a41 = a14
Con estos resultados podemos afirmar que si y solo si a14 = a41 se pude formar la matriz
cero lo cual daría infinitos resultados, por lo que no es posible que sea inyectiva, puesto
que los únicos elementos libres están condicionados entre si.

0 0 0 1
0 0 
 0 0
Por lo que ker =   Nul(T)=1
0 0 0 0
1 0 0 0 

Por lo que no puede ser sobreyectiva pues no se cumple el teorema

Dim(T)=Dim(Im(T))+Dim(Ker(T))
16 = Dim(Im(T))+ 1
Dim(Im(T))=15
Como
Dim(T)>Dim(Im(T))
No puede ser sobreyectiva

Una transformación es un isomorfismo si y solo si es Biyectiva y por lo que debe ser

Inyectiva y Sobreyectiva como no cumple las características. No es un isomorfismo
Para extender a  AT −  A
 a11 −  a11 0 0  a41 −  a14  0 0 0 0
 0  a22 −  a22 0 0  0 0 0 0
 AT −  A =  =
 0 0  a33 −  a33 0  0 0 0 0
   
 a14 −  a41 0 0  a44 −  a44  0 0 0 0

 aii − aii = 0  aii ( −  ) = 0  aii = 0  ( −  ) = 0

 a14 −  a41 = 0  a14 −  a41 = 0
   a14 −  a14 +  a41 −  a41 = 0
 a41 −  a14 = 0 − a14 +  a41 = 0
a14 ( −  ) + a41 ( −  ) = 0  ( −  )( a14 + a41 ) = 0  ( a14 + a41 ) = 0  ( −  ) = 0
En los elementos aii = 0 garantiza que no importa el valor de alfa y lamda pues lo que
necesitamos es la solución trivial. Ahora analizaremos a14 + a41 = 0  a14 = −a41 , lo que
por el teorema de ecuaciones – incógnitas nos dice que: tenemos 1 ecuación y dos
incógnitas, por lo que es necesario un parámetro y tomamos a cualquier como parámetro
por lo que el kernel ya no es la matriz cero, sino posee un elemento y tomando a41
como parámetro

0 0 0 −1
0 0 0 0 
 
Nos queda que: ker =   , y por el análisis del apartado anterior no es
0 0 0 0 
1 0 0 0 
inyectiva, sobreyectiva, ni isomorfismo.