Apuntes de Mat023

Matematica III (MAT023)

Transformaciones Lineales
Gua de ejercicios (Soluciones)

1. Considere la transformacion
4
T : 
M22 (R)

R

a b
a b
T
= (a + b, a + c b, c, d)
c d
c d
a) Determine una base de Ker(T ) e Im(T ).

Desarrollo: Vamos a buscar el Nucleo

de la transformacion,





a b
a b
ker (T ) =
M22 (R) : T
= (0, 0, 0, 0)
c d
c d



a b
=
M22 (R) : (a + b, a + c b, c, d) = (0, 0, 0, 0)
c d

a
+
b
=
0




a b
ab+c = 0
=
M22 (R) :
c d
c
= 0

d
= 0



a b
=
M22 (R) : a = b = c = d = 0
c d


0 0
=
0 0
del teorema de las dimensiones se sigue que
Dim (ker (T )) + Dim (Im (T )) = Dim (M22 (R))
0 + Dim (Im (T )) = 4
as Dim (Im (T )) = 4 y luego Im (T ) = R4 (T es biyectiva)
b) Si

 
 
 

1 1
0 1
0 1
1 1
B1 =
,
,
,
2 0
2 1
1 1
0 3
y
B2 = {(1, 0, 2, 0) , (1, 0, 2, 1) , (0, 0, 1, 1) , (1, 1, 0, 3)}
son bases de M22 (R) y R4 respectivamente determinar [T ]BB21 .
Desarrollo: Como


1 1
T
= (0, 4, 2, 0)
2 0


0 1
T
= (1, 3, 2, 1)
2 1


0 1
T
= (1, 0, 1, 1)
1 1


1 1
T
= (2, 0, 0, 3)
0 3
N.C.F.

Primera version

Apuntes de Mat023
se sigue que necesitamos resolver los sistemas
(0, 4, 2, 0)
(1, 3, 2, 1)
(1, 0, 1, 1)
(2, 0, 0, 3)

=
=
=
=

1 (1, 0, 2, 0) + 1 (1, 0, 2, 1) + 1 (0, 0, 1, 1) + 1 (1, 1, 0, 3)

2 (1, 0, 2, 0) + 2 (1, 0, 2, 1) + 2 (0, 0, 1, 1) + 2 (1, 1, 0, 3)
3 (1, 0, 2, 0) + 3 (1, 0, 2, 1) + 3 (0, 0, 1, 1) + 3 (1, 1, 0, 3)
4 (1, 0, 2, 0) + 4 (1, 0, 2, 1) + 4 (0, 0, 1, 1) + 4 (1, 1, 0, 3)

y as la matriz asociada sera

[T ]BB21

1
1
=
1
1

2
2
2
2

3
3
3
4

vamos a resolver los 4 sistema de una sola vez

1 1 0 1 0 1 1 2
1 0
0 0 0 1 4 3 0 0 0 1

2 2 1 0 2 2 1 0 0 0
0 1 1 3 0 1 1 3
0 0
as

4
4

4
4

0
0
1
0

0 6 4 1 5
0 2
0
2
7

0 10 10 1 4
1 4
3
0
0

[T ]BB21

6 4 1 5
2
0
2
7

=
10 10 1 4
4
3
0
0

es un isomorfismo (biyectiva) determine

c) Si la transformacion
 1 B1
T B2
es biyectiva, como
Desarrollo: ya sabemos que la transformacion
 1 B1  B2 1
T B2 = [T ]B1
se sigue

3
22

1
2
6 4 1 5

2
11
0
2
7

=
23
10 10 1 4

11
4
3
0
0

7
11

B
= T 1 B12

3
22

9
22

17
11

2
11

6
11

19
11

21
11

8
11

4
11

4
11

1
11

6
11

lineal T : R3 R3 que cumpla las siguientes condiciones

2. Construir una transformacion
(simultaneamente)
N.C.F.

Primera version

Apuntes de Mat023
a) Ker(T ) = {(x, y, z) R3 : (x, y, z) = t (1, 0, 1) para t R}
b) Im(T ) = {(x, y, z) R3 : x 2y + z = 0}
tiene que cumplir las dos condiciones, notamos que
Desarrollo: La transformacion
ker (T ) = h(1, 0, 1)i
y


Im (T ) = (x, y, z) R3 : x 2y + z = 0


= (x, y, z) R3 : x + z = 2y



x+z
3
, z R : x, z R
=
x,
2
 


1
1
=
1, , 0 , 0, , 1
2
2
desde el punto de vista del teorema de las dimensiones estas dos condiciones no son
incompatibles puesto que


Dim (ker (T )) + Dim (Im (T )) = Dim R3 = 3
Vamos a utilizar el teorema que nos permite construir
para la posible transformacion.
transformaciones si la conocemos en una base


1
T (1, 0, 0) =
1, , 0
2


1
T (0, 1, 0) =
0, , 1
2
T (1, 0, 1) = (0, 0, 0)
notamos que los vectores (1, 0, 0) , (0, 1, 0) y (1, 0, 1) son linealmente independientes
pues


 1 0 1 


 0 1 0  = 1 6= 0


 0 0 1 
y luego forman una base de R3 estas condiciones determinan por completo una trans lineal, note tambien que
formacion
Im (T ) = h{T (1, 0, 0) , T (0, 1, 0) , T (1, 0, 1)}i

 


1
1
=
1, , 0 , 0, , 1 , (0, 0, 0)
2
2

 

1
1
=
1, , 0 , 0, , 1
2
2


3
= (x, y, z) R : x 2y + z = 0
1 (por el teorema de las dimensiones) as
y (1, 0, 1) ker (T ) que tiene dimension
ker (T ) = h{(1, 0, 1)}i


= (x, y, z) R3 : (x, y, z) = t (1, 0, 1) para t R
N.C.F.

Primera version

Apuntes de Mat023

podemos tambien determinar en forma explcita esta transformacion

(x, y, z) = (1, 0, 0) + (0, 1, 0) + (1, 0, 1)
+ = x
= y
= z
de donde = x + z, = y, = z as
(x, y, z) = (x + z) (1, 0, 0) + y (0, 1, 0) + (z) (1, 0, 1)
luego
T (x, y, z) = T ((x + z) (1, 0, 0) + y (0, 1, 0) + (z) (1, 0, 1))
= (x + z) T (1, 0, 0) + yT (0, 1, 0) + (z) T (1, 0, 1)




1
1
= (x + z) 1, , 0 + y 0, , 1 + (z) (0, 0, 0)
2
2


1
1
1
=
x + z, x + y + z, y
2
2
2
3. Sea T L (R3 , R2 ) con B = {(0, 0, 1) ; (0, 2, 1) ; (3, 2, 1)} y C = {(1, 3) ; (2, 5)} bases
ordenadas de R3 y R2 , respectivamente. Supongamos que:


1 3
2
C
[T ]B =
M23 (R)
4 12 8

Con respecto a las hipotesis

anteriores:
a) Hallar ker T sin calcular T (x, y, z).
de [T ]CB x = 0 luego
Desarrollo: v ker (T ) [v]B es solucion

 

1 3
2 0
1 3 2 0

0 0
0 0
4 12 8 0
luego

[v]B =

si y solo si
es solucion
3 2 = 0
de esta forma

3 + 2
para , R

[v]B = =

luego
v ker (T ) (x, y, z) = (3 + 2) (0, 0, 1) + (0, 2, 1) + (3, 2, 1)
N.C.F.

Primera version

Apuntes de Mat023
para , R esto es
(x, y, z) = (3, 2 + 2, 4 + 3) para , R
as
ker (T ) = h(3, 2, 3) , (0, 2, 4)i
b) Determinar T (x, y, z).
Desarrollo: Notemos que
[T (x, y, z)]C = [T ]CB [(x, y, z)]B
luego
(x, y, z) = (0, 0, 1) + (0, 2, 1) + (3, 2, 1)
as
3 = x
2 + 2 = y
++ = z
luego = z 12 y, = 12 y 31 x, = 13 x de donde tenemos

z 12 y
[(x, y, z)]B = 12 y 13 x
1
x
3
as


1 3
2
4 12 8


2y 13 x z
=
4
x 8y + 4z
3

[T (x, y, z)]C =

z 12 y
1y 1x
2
3
1
x
3

as





1
4
x 8y + 4z (2, 5)
T (x, y, z) =
2y x z (1, 3) +
3
3


7
17
=
x 14y + 7z, 34y x 17z
3
3

x
C
y ?
c) Por que es falso que T (x, y, z) = [T ]B
z
Esta igualdad no es posible ni por los ordenes de las matrices.
d) Cuando es valida la igualdad anterior?

Al considerar las bases canonicas

en los espacios de partida y llegada se cumple
una desigualdad del tipo

x

t
canonica

y
T (x, y, z) = [T ]canonica

z
este definida de Rn en Rm )
(ademas la transformacion
N.C.F.

Primera version

Apuntes de Mat023
e) Hallar la nulidad de T y el rango de T sin hallar la Im(T )?
lineal es igual al rango de la matriz
Desarrollo: El rango de la transformacion
asociada en este caso es 1.
f ) Hallar Im(T ) y una base para Im(T ).
podemos determinar la imagen
Desarrollo: Como ya tenemos la transformacion
como
Im (T ) = hT (1, 0, 0) , T (0, 1, 0) , T (0, 0, 1)i



7 17
,
, (14, 34) , (7, 17)
=
3
3
= h(7, 17)i
(7, 17).
esto es una recta que pasa por el origen con direccion
4. Sean U = {(x, y, z) R3 : 2x 3y + 5z = 0} un espacio vectorial y A una base ordenada

lineal
de U y C la base canonica
de R2 . Suponga que T : U R2 es una transformacion
definida por T (x, y, z) = (x y, x z) tal que:


1 2
C
[T ]A =
M22 (R)
1 1
Determine la base A.
Desarrollo: Sea A = {(, , ) , (, , )} la base de U del ejercicio (el espacio tiene
2) entonces
dimension
 
1
[T (, , )]C =
1
 
2
[T (, , )]C =
1
ademas
2 3 + 5 = 0
2 3 + 5 = 0
pero


[T (, , )]C =
[T (, , )]C =
de donde tenemos el sistema de ecuaciones

2 3 + 5
2 3 + 5
N.C.F.

=
=
=
=
=
=

1
1
2
1
0
0

Primera version

Apuntes de Mat023
= 12 , = 49 , = 12 , = 45 , = 21 , = 41 as
que tiene solucion

 

1 1 1
1 9 5
A=
, ,
, , ,
2 2 2
4 4 4
lineal
5. Considere la transformacion
4
T : 
M22 (R)

 R

x y
x y
T
= (x y, x z, x w, x)
z w
z w
y suponga que

 
 
 

1 0
2 0
0 0
0 1
B1 =
,
,
,
0 1
0 0
1 0
0 0

B2 = {(1, 1, 1, 1) , (1, 1, 0, 0) , (1, 0, 0, 0) , (1, 1, 1, 0)}

a) Calcular [T ]BB21 , muestre que T es invertible (isomorfismo) y calcule T 1 en forma
explcita.
Desarrollo: Como


x y
T
= (x y, x z, x w, x)
z w
se sigue

T


1 0
0 1


= (1, 1, 0, 1)


2 0
T
= (2, 2, 2, 2)
0 0


0 0
T
= (0, 1, 0, 0)
1 0


0 1
T
= (1, 0, 0, 0)
0 0
luego tenemos que resolver los sistemas
(1, 1, 0, 1)
(2, 2, 2, 2)
(0, 1, 0, 0)
(1, 0, 0, 0)

=
=
=
=

1 (1, 1, 1, 1) + 1 (1, 1, 0, 0) + 1 (1, 0, 0, 0) + 1 (1, 1, 1, 0)

2 (1, 1, 1, 1) + 2 (1, 1, 0, 0) + 2 (1, 0, 0, 0) + 2 (1, 1, 1, 0)
3 (1, 1, 1, 1) + 3 (1, 1, 0, 0) + 3 (1, 0, 0, 0) + 3 (1, 1, 1, 0)
4 (1, 1, 1, 1) + 4 (1, 1, 0, 0) + 4 (1, 0, 0, 0) + 4 (1, 1, 1, 0)

resolveremos los 4 sistemas

1 1 1 1 1 2 0 1
1 1 0 1 1 2 1 0

1 0 0 1 0 2 0 0
1 0 0 0 1 2 0 0

1
0

0
0

0
1
0
0

0
0
1
0

0 1 2 0 0
0 1
0 1 0

0 0
0
1 1
1 1 0
0 0

se sigue

[T ]BB21

N.C.F.

1 2 0 0
1
0 1 0

=
0
0
1 1
1 0
0 0
7

Primera version

Apuntes de Mat023

b) Encontrar

[T ]BB21

1

Desarrollo:


[T ]BB21

1

 1 B1
T B2

1 2
1
0
=
0
0
1 0

0
0
1 0
2
=
0 1
0
1
=

0
1
1
0
0
0
0
1

1
0
0

1
0

1
12

1
1

c) Considere las bases canonicas

deM22 (R) y R4

 
 
 

1 0
0 1
0 0
0 0
C1 =
,
,
,
0 0
0 0
1 0
0 1
C2 = {((1, 0, 0, 0)) , (0, 1, 0, 0) , (0, 0, 1, 0) , (0, 0, 0, 1)}
calcular

[T ]CC21

usando la matrices de cambio de base adecuadas.

Desarrollo: Para calcular [T ]CC21 necesitamos hacer

[I]CB22 [T ]BB21 [I]BC11
as


1 0
0 1


+

2 0
0 0


+

0 0
1 0


+

de donde tenemos que resolver 4 sistemas

1 2 0 0 1 0 0 0
0 0 0 1 0 1 0 0

0 0 1 0 0 0 1 0
1 0 0 0 0 0 0 1

1
0
0
0

0
1
0
0

0 1
0 0

0
0
1
0


=

0 0
0
1
0 2 0
0 0
0
1 0 1

0 1
0 12

1 0
0 0

de aqu

0
0 0 1
1 0 0 1
2
2
[I]BC11 =
0
0 1 0
0 1 0 0

1
C1

(note que es mas facil pensarlo como [I]B1

= [I]BC11 si la canonica
esta en la
llegada es escribir los vectores como columna) y

1 1 1 1
1 1 0 1

[I]CB22 =
1 0 0 1
1 0 0 0
N.C.F.

Primera version

Apuntes de Mat023
as
[T ]CC21 = [I]CB22 [T ]BB21 [I]BC11

1 1 1 1
1 1 0 1

=
1 0 0 1
1 0 0 0

1 1 0
0
1 0 1 0
=
1 0
0 1
1 0
0
0

1 2 0 0
0
0
1

1
0 1 0 2 0
0
0
1 1 0
0
1 0
0 0
0 1

0 1
0 12

1 0
0 0

lineal T : R2 [x] R2 [x] dada por:

6. Considere la transformacion


T ax2 + bx + c = (a + b) x2 + (a + b + c) x + c
a) Encuentre una base para ker (T )
b) Encuentre una base para Im (T )
c) Considere en el dominio la base B = {1 + x2 , 1 + x + x2 , 1} y en el codominio la
base D = {1 x, 1 + x, x2 } encontrar la matriz asociada a T respecto a estas bases.
Desarrollo:

a) Por definicion




ker (T ) = ax2 + bx + c R2 [x] : T ax2 + bx + c = 0


= ax2 + bx + c R2 [x] : (a + b) x2 + (a + b + c) x + c = 0


= ax2 + bx + c R2 [x] : (a + b = 0) (a + b + c = 0) (c = 0)

1 1 0
a
0

=
ax2 + bx + c R2 [x] : 1 1 1 b = 0

0 0 1
c
0
luego

1 1 0
1 1 0
1 1 1 0 0 1
0 0 1
0 0 0
as


ker (T ) = ax2 + bx + c R2 [x] : (a + b = 0) (c = 0)


= ax2 + bx + c R2 [x] : (b = a) (c = 0)


= ax2 ax R2 [x] : a R

 2

=
x x
1 (la nulidad es 1).
luego el kernel tiene dimension
b) Notemos que T (ax2 + bx + c) = (a + b) x2 + (a + b + c) x + c y luego




(a + b) x2 + (a + b + c) x + c = a x2 + x + b x2 + x + c (x + 1)
N.C.F.

Primera version

Apuntes de Mat023
as




T ax2 + bx + c x2 + x, x2 + x, x + 1
como hay un elemento repetido, el conjunto es L.D. as

 2



x + x, x2 + x, x + 1 = x2 + x, x + 1
se sigue
Im (T )

x2 + x, x + 1

por el teorema de las dimensiones se sigue

Dim (ker (T )) + Dim (Im (T )) = Dim (R2 [x])
as, de la parte a) se tiene
1 + Dim (Im (T )) = 3
de donde se obtiene
Dim (Im (T )) = 2
y as
Im (T ) =

x2 + x, x + 1

de esta forma, una base para la imagen es {x2 + x, x + 1}

c) Como T (ax2 + bx + c) = (a + b) x2 + (a + b + c) x + c se sigue que


T 1 + x2 = x2 + 2x + 1 = (1 x) + (1 + x) + x2
= x2 + ( ) x + (a + )
por determinar a, , .
T 1 + x + x2

= 2x2 + 3x + 1 = (1 x) + (1 + x) + x2
= x2 + ( ) x + (a + )

por determinar a, , .
T (1) = x 1 = (1 x) + (1 + x) + x2
= x2 + ( ) x + (a + )
por determinar a, , .
Vamos a resolver esos 3 problemas de una sola vez, porque hay que resolver los
sistemas
= 1
( ) = 2
(a + ) = 1
y
= 2
( ) = 3
(a + ) = 1
N.C.F.

10

Primera version

Apuntes de Mat023
y
= 0
( ) = 1
(a + ) = 1
en todas la matriz de coeficientes es la misma, formamos una tripe matriz ampliada
y escalonamos

0 0 1 1 2 0
1 0 0 21 1 0
1 1 0 2 3 1 OperacionesElementales 0 1 0 3
2 1
2
1 1 0 1 1 1
0 0 1 1
2
0
1

2 1 0
3
2 1
[T ]D
B =
2
1
2
0




(notar que T (1 + x2 ) = x2 +2x+1 = 12 (1 x)+ 32 (1 + x)+1x2 , T (1 + x + x2 ) =
2x2 + 3x + 1 = (1) (1 x) + 2 (1 + x) + 2x2 y T (1) = x 1 = 0 (1 x) +
(1) (1 + x) + 0x2 )
lineal con
7. Suponga que S : R2 [x] R2 [x] es una transformacion
1

2 1 0
3
2 1
[T ]D
B =
2
1
2
0
B = {1 x, 1 + x, x2 } y D = {1 + x2 , 1 + x + x2 , 1} (No es el ejercicio anterior ver las
bases)
a) Encontrar ker (T )
b) Encontrar Im (T )
c) Calcule T (2 + x x2 )
para T (ax2 + bx + c)
d) Encontrar una expresion
Desarrollo:
a) Note que p ker (T ) si y solo si T (p) = 0 si y solo si

0
[T p]D = 0
0
pero
[T p]D = [T ]D
B [p]B
luego si resolvemos

1

0
2 1 0

0 = [T ]D [p] = 3

2 1

B
B
2
0
1
2
0

N.C.F.

11

Primera version

Apuntes de Mat023
estaremos encontrando las coordenadas

= [p]
B

de los vectores de ker (T ). Pues bien

1

1 0 2
2 1 0
3
2 1 0 1 1
2
1
2
0
0 0 0
se sigue que p ker (T ) si y solo si

= [p]
B

cumple
= 2 y =
as p ker (T ) si y solo si
p (x) = (2) (1 x) + () (1 + x) + x2
R es decir
para algun
ker (T ) =

3x + x2 + 1

b) De la matriz asociada tenemos

1
2
3

as
[T (1 x)]D =
2
1
 
 




1
3
2
T (1 x) =

1+x +
1 + x + x2 + (1) (1)
2
2
3
= x2 + x
2
tambien

1
[T (1 + x)]D = 2 as
2




T (1 x) = (1) 1 + x2 + (2) 1 + x + x2 + (2) (1)
= x2 + 2x 1
y

0



T x2 D = 1 as
0






2
T x
= (0) 1 + x2 + (1) 1 + x + x2 + (0) (1)
= x2 x 1
N.C.F.

12

Primera version

Apuntes de Mat023
luego

3
2
2
Im (T ) =
x + x, x + 2x 1, x x 1
2

 2 3
del teorema de las dimensiones x + 2 x, x2 + 2x 1, x2 x 1 debera ser un
conjunto L.D. en efecto

1 1 1
1 0 2
3 2 1 0 1 1
2
0 1 1
0 0 0




3
2
(2) x + x + (1) x2 + 2x 1 = x2 x 1
2


se sigue


3
2
2
Im (T ) =
x + x, x + 2x 1
2
c) Para calcular T (2 + x x2 ) podemos hacer lo siguiente



2

2+xx B =

donde
2 + x x2 = (1 x) + (1 + x) + x2
= 1
= 1
+ = 2
= 12 , = 32 , = 1 luego
1 7
1
1
0
4

2
2




2 1 32 = 19
T 2 + x x2 D = 23
4
7
1
1
2
0
2

se obtiene
T 2+xx


=

= 3x2 +

1+x


+

19
4


1+x+x

 
7
+
(1)
2

19
1
x
4
2

para
d) Encontremos una expresion
T ax2 + bx + c

notemos que
ax2 + bx + c = (1 x) + (1 + x) + x2

N.C.F.

13

Primera version

Apuntes de Mat023
si y solo si
= a
= b
+ = c
esto es

0 0 1 a
1 0 0
1 1 0 b 0 1 0
0 0 1
1 1 0 c

1
c
2
1
b
2

12 b
+ 12 c
a

luego


ax + bx + c =




1
1
1
1
c b (1 x) +
b + c (1 + x) + ax2
2
2
2
2

podemos encontrar T (ax2 + bx + c) en dos formas









1
1
1
1
2
T ax + bx + c =
c b T (1 x) +
b + c T (1 + x) + aT x2
2
2
2
2


 



1
1
3
1
1
2
=
c b
x + x +
b + c x2 + 2x 1
2
2
2
2
2


2
+a x x 1




1
7
1
1
2
= (c a) x + a + b + c x + b c a
4
4
2
2
la otra forma es
1

2 1 0



2 1
T ax2 + bx + c D = 23
1
2
0

14 b 43 c
= 14 b a + 74 c
1
b + 23 c
2

1
c
2
1
b
2

12 b

+ 12 c
a

y as
2

T ax + bx + c









1
1
3
7
2
b c 1+x +
=
b a + c 1 + x + x2
4
4
4
4


1
3
+
b + c (1)
2
2




1
7
1
1
2
= (c a) x + a + b + c x + b c a
4
4
2
2

8. Muestre que T : M22 (R) R3 [x] dada por



a b
T
= (a + b) x3 + cx2 + (a + d) x + (c d)
c d
lineal ademas determine el ker (T ) e Im(T ).
es una transformacion
F :V W
Desarrollo: En general, si V y W son espacios vectoriales, una funcion
lineal si cumple: i) K,v V , F (v) = F (v) y ii)
es llamada transformacion
N.C.F.

14

Primera version

Apuntes de Mat023
v1 , v2 V , F (v1 + v2 ) = F (v1 ) + F (v2 ) (esto quiere decir, que enva combinaciones
lineales en combinaciones lineales). En nuestro ejercicio los elementos del espacio de
partida son matrices de orden 2 2 luego para probar la primera propiedad necesitamos
considerar un escalar arbitrario y una matriz arbitraria y en la segunda propiedad, dos
matrices arbitrarias como sigue:


a b
i) Sea R y
M22 (R) se tiene
c d
 



a b
a b
T
= T
c d
c d


A B
= T
donde A = a, B = b, C = c, D = d
C D
= (A + B) x3 + Cx2 + (A + D) x + (C D)
= ((a) + (b)) x3 + (c) x2 + (a + d) x + (c d)


= (a + b) x3 + cx2 + (a + d) x + (c d)


a b
= T
c d
tenemos que mostrar que el escalar se puede
y para
(Explicacion:
funcion
  sacar
de la 

a b
a b
en la linea T
esto utilizamos solamente la definicion,
=T
c d 
c d
a b
la funcion
T sobre el producto escalar
no sabemos como actua
es por eso
c d
de producto escalar de matrices y as
que aplicamos la definicion

 

a b
a b

=
c d
c d


a b
de T a la matriz
y ahora podemos aplicar la definicion
(en este caso si
c d
T ), para que se vea mas claro agregue la linea
sabemos como actua

 

a b
A B
=
donde A = a, B = b, C = c, D = d
c d
C D

pero no es necesario, entonces por definicion



A B
T
C D
= (A + B) x3 + Cx2 + (A + D) x + (C D)
y ahora reemplazamos para obtener la igualdad deseada)

 

a11 a12
b11 b12
ii) Sean
,
M22 (R) matrices arbitrarias, se tiene
a21 a22
b21 b22

 



a11 a12
b11 b12
a11 + b11 a12 + b12
T
+
= T
a21 a22
b21 b22
a21 + b21 a22 + b22


A B
= T
C D
N.C.F.

15

Primera version

Apuntes de Mat023

donde A = a11 + b11 , B = a12 + b12 , C = a21 + b21 , D = a22 + b22 , aplicando la definicion
de T se sigue


A B
T
= (A + B) x3 + Cx2 + (A + D) x + (C D)
C D
= ((a11 + b11 ) + (a12 + b12 )) x3 + (a21 + b21 ) x2 +
((a11 + b11 ) + (a22 + b22 )) x + ((a21 + b21 ) (a22 + b22 ))
= ((a11 + a12 ) + (b11 + b12 )) x3 + (a21 + b21 ) x2 +
((a11 + a22 ) + (b11 + b22 )) x + ((a21 a22 ) + (b21 b22 ))


= (a11 + a12 ) x3 + a21 x2 + (a11 + a22 ) x + (a21 a22 ) +


(b11 + b12 ) x3 + b21 x2 + (b11 + b22 ) x + (b21 b22 )




a11 a12
b11 b12
= T
+T
a21 a22
b21 b22
de esto concluimos


a11 a12
a21 a22



a11 a12
a21 a22

T
= T


b11 b12
+
b21 b22



b11 b12
+T
b21 b22

lineal.
de i) y ii) T es una transformacion
Vamos a buscar el ker (T )
ker (T ) = {v V

a
=
c

a
=
c

a
=
c

: T (v) = W }




b
a b
M22 (R) : T
= 0 (el polinomio 0)
d
c d


b
3
2
M22 (R) : (a + b) x + cx + (a + d) x + (c d) = 0
d


b
M22 (R) : (a + b) = 0 c = 0 (a + d) = 0 (c d) = 0
d


a b
de esta forma buscamos todas la matrices
tales que
c d
a+b
c
a+d
cd
o matricialmente

N.C.F.

1
0

1
0

1
0
0
0

=
=
=
=

0 0
a

1 0 b
0 1 c
1 1
d

16

0
0
0
0

0
0
=
0
0

Primera version

Apuntes de Mat023
resolvemos el sistema escalonando

1 1 0 0
0 0 1 0

1 0 0 1
0 0 1 1

0
1 1 0 0

0 0 1 0 1

0 0 0 1 0
0
0 0 0 1

0
0

0
0

de esto se obtiene a = b = c = d = 0 es decir



0 0
ker (T ) =
0 0
es inyectiva) Por el teorema de las dimensiones se
(se concluye que la transformacion
tiene lo siguiente
Dim (ker (T )) + Dim (Im (T )) = Dim (M22 (R)) = 4
pero
Dim (ker (T )) = 0
as
Dim (Im (T )) = 4
4, se sigue Im (T ) = R3 [x]. Otra forma
como Dim (T ) < R3 [x] y R3 [x] tiene dimension
para determinar la imagen es utilizar el resultado que la imagenes de una base generan
luego
la imagen de la transformacion,
 
 
 
 

1 0
0 1
0 0
0 0
Im (T ) =
T
,T
,T
,T
0 0
0 0
1 0
0 1
pero notemos que

T

1 0
0 0

= (1 + 0) x3 + 0x2 + (1 + 0) x + (0 0)
= x3 + x


T

0 1
0 0

= (0 + 1) x3 + 0x2 + (0 + 0) x + (0 0)
= x3


T

0 0
1 0

= (0 + 0) x3 + 1x2 + (0 + 0) x + (1 0)
= x2 + 1


T

0 0
0 1

= (0 + 0) x3 + 0x2 + (0 + 1) x + (0 1)
= x1

as
Im (T ) =


x3 + x, x3 , x2 + 1, x 1

y mostrar que {x3 + x, x3 , x2 + 1, x 1} es un conjunto L.I. luego Im (T ) tiene dimension

4 y por tanto tiene que ser R3 [x].
N.C.F.

17

Primera version

Apuntes de Mat023
lineal T : M22 (R) R3 tal que
9. Encontrar por lo menos una transformacion



a b
ker (T ) =
M22 (R) : a + d + c = 0
c d
Desarrollo: Notemos que



a b
ker (T ) =
M22 (R) : a + d + c = 0
c d



a b
=
M22 (R) : a = c d
c d



c d b
=
M22 (R) : b, c, d R
c
d
 






1 0
0 1
1 0
=
c
+b
+d
M22 (R) : b, c, d R
1 0
0 0
0 1

 
 

1 0
0 1
1 0
,
,
1 0
0 0
0 1
3 (no puede ser base de M22 (R) que tiene dimension
4),
luego ker (T ) tiene dimension
sabemos que para conocer completamente una T.L. necesitamos conocerla sobre una
elemento L.I. con las tres matrices que formar el kernel, para ello,
base, buscamos algun







 

1 0
0 1
1 0
a b
0 0

+
+
+
=
1 0
0 0
0 1
c d
0 0

= = = = 0. Esto se traduce a
debe tener por unica
solucion
+ a
+ b
+ c
+ d
matricialmente la ampliada

1 0 1
0 1 0

1 0 0
0 0 1

a
b
c
d

1
0
0
0

0 0
0
0

=
=
=
=

0
0
0
0

0 1
a
1 0
b
0 1
a+c
0 0 a+c+d

0
0

0
0

es unica

la solucion
si y solo si a + c + d 6= 0, de esta forma, podemos considerar la
matriz


1 1
1 1
(por ejemplo)
pues 1 + 1 + 1 = 3 6= 0. Ahora para definir la transformacion


1 0
T
= (0, 0, 0)
1 0


0 1
T
= (0, 0, 0)
0 0


1 0
T
= (0, 0, 0)
0 1


1 1
T
= (1, 1, 1)
1 1
N.C.F.

18

Primera version

Apuntes de Mat023


1 0
1 0

 
 

0 1
1 0
,
,
0 0
0 1

esto determina completamente quien es T (notar que



1 1
son elementos del kernel pero
no lo es). La T en forma explicita se determina
1 1
de la siguiente manera, Como

 
 
 

1 0
0 1
1 0
1 1
B=
,
,
,
1 0
0 0
0 1
1 1


x y
es base, dado una matriz
arbitraria, deben existir escalares , , , tales que
z w










x y
1 0
0 1
1 0
1 1
=
+
+
+
z w
1 0
0 0
0 1
1 1
para buscar tales escalares resolvemos el sistema

1 0 1 1 x
1 0 0
0 1 0 1 y 0 1 0

1 0 0 1 z 0 0 1
0 0 1 1 w
0 0 0

2
0
z 31 x 13 w
3
0 y 13 x 13 w 31 z

2
w 13 x 13 z
0
3
1
1
w + 13 x + 13 z
3

de donde se tiene
2
1
1
z x w
3
3
3
1
1
1
= y x w z
3
3
3
2
1
1
=
w x z
3
3
3
1
1
1
=
w+ x+ z
3
3
3

as


N.C.F.

x y
z w



2
1
1
1 0
=
z x w
1 0
3
3
3



1
1
1
0 1
+ y x w z
0 0
3
3
3



2
1
1
1 0
+
w x z
0 1
3
3
3



1
1
1
1 1
+
w+ x+ z
1 1
3
3
3

19

Primera version

Apuntes de Mat023
luego


x y
z w

T


M22 (R) R3

 

1
1
1 1
1
1 1
1
1
x y
T
=
w + x + z, w + x + z , w + x + z
z w
3
3
3 3
3
3 3
3
3


2
1
1
=
z x w (0, 0, 0)
3
3
3


1
1
1
+ y x w z (0, 0, 0)
3
3
3


2
1
1
+
w x z (0, 0, 0)
3
3
3


1
1
1
+
w + x + z (1, 1, 1)
3
3
3


1
1
1 1
1
1 1
1
1
=
w + x + z, w + x + z , w + x + z
3
3
3 3
3
3 3
3
3

as

x y
z w

de R2 y considere las transformaciones T : R2 R2 y S : R2 R2

10. Sea B la base canonica
definidas por
T (a, b) = (2a + 3b, 4a 7b)
y
S (a, b) = (3a 2b, a b)
calcular [T ]B , [S]B y [T S]B comprobar que
[T ]B [S]B = [T S]B

Desarrollo: Al ser la matriz con respecto a la base canonica

se tiene




2 3
3 2
[T ]B =
y [S]B =
4 7
1 1
as


[T ]B [S]B =

2 3
4 7



3 2
1 1


=

9 7
5 1

por otro lado

T S (a, b) = T (3a 2b, a b)
= (2 (3a 2b) + 3 (a b) , 4 (3a 2b) 7 (a b))


9a 7b 5a b
=
as


[T S]B =

N.C.F.

20

9 7
5 1

Primera version

Apuntes de Mat023
lineal tal que
11. Sea T : R4 R4 una transformacion
T (1, 1, 0, 0) = (0, 1, 0, 1)
T (1, 0, 1, 0) = (1, 1, 1, 0)
si ademas se tiene que T T = IR4 determinar la matriz asociada a T respecto a la base

canonica
C de R4 . Es T un isomorfismo? Justifique.
Desarrollo: Por la propiedad T T = IR4 se sigue
T (T (1, 1, 0, 0)) = T (0, 1, 0, 1) = (1, 1, 0, 0)
T (T (1, 0, 1, 0)) = T (1, 1, 1, 0) = (1, 0, 1, 0)
as
T (1, 1, 0, 0)
T (1, 0, 1, 0)
T (0, 1, 0, 1)
T (1, 1, 1, 0)

=
=
=
=

(0, 1, 0, 1)
(1, 1, 1, 0)
(1, 1, 0, 0)
(1, 0, 1, 0)

queremos determinar la matriz asociada a la base canonica

T (1, 1, 1, 0) T (1, 1, 0, 0) = T (0, 0, 1, 0)
= (1, 0, 1, 0) (0, 1, 0, 1)
= (1, 1, 1, 1)
T (0, 0, 1, 0) = (1, 1, 1, 1)
T (1, 0, 0, 0) = T (1, 0, 1, 0) T (0, 0, 1, 0)
= (1, 1, 1, 0) (1, 1, 1, 1)
= (0, 2, 0, 1)
T (0, 1, 0, 0) = T (1, 1, 0, 0) T (1, 0, 0, 0)
= (0, 1, 0, 1) (0, 2, 0, 1)
= (0, 1, 0, 0)
T (0, 0, 0, 1) = T (0, 1, 0, 0) T (0, 1, 0, 1)
= (0, 1, 0, 0) (1, 1, 0, 0)
= (1, 2, 0, 0)
as

0
0
1 1
2 1 1 2

[T ]CC =
0
0
1
0
1 0
1
0

es facil ver que es isomorfismo, pues

T T

= I
[T T ]CC = I4
[T ]CC [T ]CC = I4

N.C.F.

21

Primera version

Apuntes de Mat023
as [T ]CC es invertible y luego T es invertible. Otra forma


 0
0
1 1 

 2 1 1 2 

=1
 0

0
1
0


 1 0
1
0 
y luego T es invertible.
Otra forma es utilizar la matriz de cambio de base

1 1 0

1 0 1
[I]CB =
0 1 0
0 0 1
as

1
[I]BC =
0
0

1 0
0 1
1 0
0 1

1
1

1
0

1
1
0 1 0

1
= 1 1 0 1
0
1
0
0 1
0
1 1
1
1

luego
[T ]CC = [T ]CB [I]BC

0 1 1 1
1 1 1 0

=
0 1 0 1
1 0 0 0

0
0
1 1
2 1 1 2
=
0
0
1
0
1 0
1
0

N.C.F.

22

1
0 1 0
1 1 0 1

0
0
0 1
1 1
1
1

Primera version