Universidad Nacional Autónoma de México, Facultad de Ciencias

3. Para las siguientes transformaciones lineales, encuentra una base para el kernel, para la imagen;
determina si son monomorfismos, epimorfismos, isomorfismos o ninguna de las anteriores. Por último,
encuentra la dimensión para comprueba el teorema de dimensión.
a) T : M2×3 (R) → M2×2 (R) dada por
   
a11 a12 a13 2a11 − a12 a13 + 2a12
T =
a21 a22 a23 0 0
Solución:
Para determinar el kernel planteamos:
     
a11 a12 a13 a11 a12 a13 0 0
Esta en el kernel ⇐⇒ T =
a21 a22 a23 a21 a22 a23 0 0
   
2a11 − a12 a13 + 2a12 0 0
⇐⇒ =
0 0 0 0
( ( (
2a11 − a12 = 0 2a11 = a12 2a11 = a12
⇐⇒ =⇒ =⇒
a13 + 2a12 = 0 a13 = −2a12 a13 = −4a11
El kernel queda definido entonces por matrices con la forma:
 
a11 2a11 −4a11
U1 =
a21 a22 a23
       
1 2 −4 0 0 0 0 0 0 0 0 0
= a11 + a21 + a22 + a23
0 0 0 1 0 0 0 1 0 0 0 1
Entonces:
  
a11 2a11 −4a11
ker(T ) = t.q. aij ∈ R
a21 a22 a23
       
1 2 −4 0 0 0 0 0 0 0 0 0
= , , ,
0 0 0 1 0 0 0 1 0 0 0 1
       
1 2 −4 0 0 0 0 0 0 0 0 0
βker(T ) = , , ,
0 0 0 1 0 0 0 1 0 0 0 1
Comprobemos que U1 ∈ ker(T ):
     
a11 2a11 −4a11 2(a11 ) − (2a11 ) (−4a11 ) + 2(2a11 ) 0 0
T (U1 ) = T = =
a21 a22 a23 0 0 0 0
y (en este caso por la forma de las matrices ) es fácil ver que es L.I
Para construir una base de la imagen la podemos obtener aplicando propiedades sobre la ex-
presión que define la transformación lineal:
       
2a11 − a12 a13 + 2a12 2 0 0 1 −1 2
= a11 + a13 + a12
0 0 0 0 0 0 0 0
Luego, estas tres matrices generan la imagen, porque cualquier vector de la imagen es combi-
nación lineal de ellas.
     
2 0 0 1 −1 2
Im(T ) = , ,
0 0 0 0 0 0

1
 Universidad Nacional Autónoma de México, Facultad de Ciencias

La generan, pero ¿son una base de la imagen? Observamos que las dos primeras son linealmente
independientes. Pero la tercera es combinación lineal de las anteriores. Entonces una base de la
imagen es:    
2 0 0 1
βIm(T ) = ,
0 0 0 0
Para clasificar a la transformación vemos si se verifica lo siguiente:

Monomorfismo: dim(ker(T )) = 0×
Epimorfismo: dim(Im(T )) = 2 < 4 = dim(M2×2 (R))×
∴ La transformación no es homomorfismo, ni epimorfismo, ni isomorfismo.

Por ultimo comprobamos el Teorema de la Dimension:

dim(V ) = dim(ker(T )) + dim(Im(T ))

6=2+4
6=6
∴ Se cumple.

2
 Universidad Nacional Autónoma de México, Facultad de Ciencias

b) Sea T : P3 (R) → M2×2 dada por:

 
p(1) p(2)
T (p(x)) =
p(3) p(4)
Solución:
Para determinar el kernel planteamos:
 
2 3 2 3 0 0
a + bx + cx + dx Esta en el kernel ⇐⇒ T (a + bx + cx + dx ) =
0 0
   
a+b+c+d a + 2b + 4c + 8d 0 0
⇐⇒ =
a + 3b + 9c + 27d a + 4b + 16c + 64d 0 0
  

 a+b+c+d=0 
 a = −b − c − d 
 a = −b − c − d

a + 2b + 4c + 8d = 0 
a + 2b + 4c + 8d = 0 
b + 3c + 7d = 0
⇐⇒ =⇒ =⇒


 a + 3b + 9c + 27d = 0 

 a + 3b + 9c + 27d = 0 

 2b + 8c + 26d = 0
  
a + 4b + 16c + 64d = 0 a + 4b + 16c + 64d = 0 3b + 15c + 63d = 0
  

 a = −b − c − d 
 a = −b − c − d 
 a = −b − c − d

b = −3c − 7d 
b = −3c − 7d 
b = −3c − 7d
=⇒ =⇒ =⇒


 2b + 8c + 26d = 0 

 2c + 12d = 0 

 c = −6d
  
3b + 15c + 63d = 0 6c + 42d = 0 6c + 42d = 0
 

a = −b − c − d 
 a=0

b = −3c − 7d 
b = 0
=⇒ =⇒
c = −6d
 c = 0


 

6d = 0 d=0
El kernel queda definido entonces por los polinomios con la forma:
0 + 0x + 0x2 + 0x3
∴ ker(T ) = {0}
Para construir una base de la imagen la podemos obtener aplicando propiedades sobre la ex-
presión que define la transformación lineal:
         
a+b+c+d a + 2b + 4c + 8d a a b 2b c 4c d 8d
= + + +
a + 3b + 9c + 27d a + 4b + 16c + 64d a a 3b 4b 9c 16c 27d 64d
       
1 1 1 2 1 4 1 8
=a +b +c +d
1 1 3 4 9 16 27 64
Luego, estas 4 matrices generan la imagen, porque cualquier vector de la imagen es combinación
lineal de ellas.        
1 1 1 2 1 4 1 8
Im(T ) = , , ,
1 1 3 4 9 16 27 64
Además es L.I. Esto debido a que el sistema que nos generarı́a serı́a uno igual al anterior, en el
cual vimos que la única solución es que a = b = c = d = 0 Entonces una base de la imagen es:
       
1 1 1 2 1 4 1 8
βIm(T ) = , , ,
1 1 3 4 9 16 27 64

3
 Universidad Nacional Autónoma de México, Facultad de Ciencias

Para clasificar a la transformación vemos si se verifica lo siguiente:

Monomorfismo: dim(ker(T )) = 0✓
Epimorfismo: dim(Im(T )) = 4 = dim(M2×2 (R))✓
∴ La transformación es homomorfismo y epimorfismo, y por ende un isomorfismo.

Por ultimo comprobamos el Teorema de la Dimension:

dim(V ) = dim(ker(T )) + dim(Im(T ))

4=0+4
4=4
∴ Se cumple.