Apuntes de Mat023

Matem atica III (MAT023)

Transformaciones Lineales
Gua de ejercicios (Soluciones)
1. Considere la transformaci on
T : /
22
(R) R
4
_
a b
c d
_
T
_
a b
c d
_
= (a + b, a + c b, c, d)
a) Determine una base de Ker(T) e Im(T).
Desarrollo: Vamos a buscar el N ucleo de la transformaci on,
ker (T) =
__
a b
c d
_
/
22
(R) : T
_
a b
c d
_
= (0, 0, 0, 0)
_
=
__
a b
c d
_
/
22
(R) : (a + b, a + c b, c, d) = (0, 0, 0, 0)
_
=
_

_
_
a b
c d
_
/
22
(R) :
a + b = 0
a b + c = 0
c = 0
d = 0
_

_
=
__
a b
c d
_
/
22
(R) : a = b = c = d = 0
_
=
__
0 0
0 0
__
del teorema de las dimensiones se sigue que
Dim(ker (T)) + Dim(Im(T)) = Dim(/
22
(R))
0 + Dim(Im(T)) = 4
as Dim(Im(T)) = 4 y luego Im(T) = R
4
(T es biyectiva)
b) Si
B
1
=
__
1 1
2 0
_
,
_
0 1
2 1
_
,
_
0 1
1 1
_
,
_
1 1
0 3
__
y
B
2
= (1, 0, 2, 0) , (1, 0, 2, 1) , (0, 0, 1, 1) , (1, 1, 0, 3)
son bases de /
22
(R) y R
4
respectivamente determinar [T]
B
2
B
1
.
Desarrollo: Como
T
_
1 1
2 0
_
= (0, 4, 2, 0)
T
_
0 1
2 1
_
= (1, 3, 2, 1)
T
_
0 1
1 1
_
= (1, 0, 1, 1)
T
_
1 1
0 3
_
= (2, 0, 0, 3)
N.C.F. 1 Primera versi on
Apuntes de Mat023
se sigue que necesitamos resolver los sistemas
(0, 4, 2, 0) =
1
(1, 0, 2, 0) +
1
(1, 0, 2, 1) +
1
(0, 0, 1, 1) +
1
(1, 1, 0, 3)
(1, 3, 2, 1) =
2
(1, 0, 2, 0) +
2
(1, 0, 2, 1) +
2
(0, 0, 1, 1) +
2
(1, 1, 0, 3)
(1, 0, 1, 1) =
3
(1, 0, 2, 0) +
3
(1, 0, 2, 1) +
3
(0, 0, 1, 1) +
3
(1, 1, 0, 3)
(2, 0, 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 ser a
[T]
B
2
B
1
=
_
_
_
_

1

2

3

4

1

2

3

4

1

2

3

4

1

2

4

4
_
_
_
_
vamos a resolver los 4 sistema de una sola vez
_
_
_
_
1 1 0 1 0 1 1 2
0 0 0 1 4 3 0 0
2 2 1 0 2 2 1 0
0 1 1 3 0 1 1 3
_
_
_
_

_
_
_
_
1 0 0 0 6 4 1 5
0 1 0 0 2 0 2 7
0 0 1 0 10 10 1 4
0 0 0 1 4 3 0 0
_
_
_
_
as
[T]
B
2
B
1
=
_
_
_
_
6 4 1 5
2 0 2 7
10 10 1 4
4 3 0 0
_
_
_
_
c) Si la transformaci on es un isomorsmo (biyectiva) determine
_
T
1

B
1
B
2
Desarrollo: ya sabemos que la transformaci on es biyectiva, como
_
T
1

B
1
B
2
=
_
[T]
B
2
B
1
_
1
se sigue
_
_
_
_
6 4 1 5
2 0 2 7
10 10 1 4
4 3 0 0
_
_
_
_
1
=
_
_
_
_
_
_
_
_
_
_
3
22

3
22

9
22
17
11

2
11
2
11
6
11

19
11
23
11
21
11
8
11
4
11

7
11

4
11

1
11

6
11
_
_
_
_
_
_
_
_
_
_
=
_
T
1

B
1
B
2
2. Construir una transformaci on lineal T : R
3
R
3
que cumpla las siguientes condiciones
(simultaneamente)
N.C.F. 2 Primera versi on
Apuntes de Mat023
a) Ker(T) = (x, y, z) R
3
: (x, y, z) = t (1, 0, 1) para t R
b) Im(T) = (x, y, z) R
3
: x 2y + z = 0
Desarrollo: La transformaci on tiene que cumplir las dos condiciones, notamos que
ker (T) = (1, 0, 1))
y
Im(T) =
_
(x, y, z) R
3
: x 2y + z = 0
_
=
_
(x, y, z) R
3
: x + z = 2y
_
=
__
x,
x + z
2
, z
_
R
3
: x, z R
_
=
__
1,
1
2
, 0
_
,
_
0,
1
2
, 1
__
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
_
R
3
_
= 3
para la posible transformaci on. Vamos a utilizar el teorema que nos permite construir
transformaciones si la conocemos en una base
T (1, 0, 0) =
_
1,
1
2
, 0
_
T (0, 1, 0) =
_
0,
1
2
, 1
_
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
0 0 1

= 1 ,= 0
y luego forman una base de R
3
estas condiciones determinan por completo una trans-
formaci on lineal, note tambi en que
Im(T) = T (1, 0, 0) , T (0, 1, 0) , T (1, 0, 1))
=
___
1,
1
2
, 0
_
,
_
0,
1
2
, 1
_
, (0, 0, 0)
__
=
___
1,
1
2
, 0
_
,
_
0,
1
2
, 1
___
=
_
(x, y, z) R
3
: x 2y + z = 0
_
y (1, 0, 1) ker (T) que tiene dimensi on 1 (por el teorema de las dimensiones) as
ker (T) = (1, 0, 1))
=
_
(x, y, z) R
3
: (x, y, z) = t (1, 0, 1) para t R
_
N.C.F. 3 Primera versi on
Apuntes de Mat023
podemos tambi en determinar en forma explcita esta transformaci on
(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)
= (x + z)
_
1,
1
2
, 0
_
+ y
_
0,
1
2
, 1
_
+ (z) (0, 0, 0)
=
_
x + z,
1
2
x +
1
2
y +
1
2
z, y
_
3. Sea T L(R
3
, R
2
) con B = (0, 0, 1) ; (0, 2, 1) ; (3, 2, 1) y ( = (1, 3) ; (2, 5) bases
ordenadas de R
3
y R
2
, respectivamente. Supongamos que:
[T]
C
B
=
_
1 3 2
4 12 8
_
M
23
(R)
Con respecto a las hip otesis anteriores:
a) Hallar ker T sin calcular T (x, y, z).
Desarrollo: v ker (T) [v]
B
es soluci on de [T]
C
B
x = 0 luego
_
1 3 2 0
4 12 8 0
_

_
1 3 2 0
0 0 0 0
_
luego
[v]
B
=
_
_

_
_
es soluci on si y solo si
3 2 = 0
de esta forma
[v]
B
=
_
_

_
_
=
_
_
3 + 2

_
_
para , R
luego
v ker (T) (x, y, z) = (3 + 2) (0, 0, 1) + (0, 2, 1) + (3, 2, 1)
N.C.F. 4 Primera versi on
Apuntes de Mat023
para , R esto es
(x, y, z) = (3, 2 + 2, 4 + 3) para , R
as
ker (T) = (3, 2, 3) , (0, 2, 4))
b) Determinar T (x, y, z).
Desarrollo: Notemos que
[T (x, y, z)]
C
= [T]
C
B
[(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
1
2
y, =
1
2
y
1
3
x, =
1
3
x de donde tenemos
[(x, y, z)]
B
=
_
_
z
1
2
y
1
2
y
1
3
x
1
3
x
_
_
as
[T (x, y, z)]
C
=
_
1 3 2
4 12 8
_
_
_
z
1
2
y
1
2
y
1
3
x
1
3
x
_
_
=
_
2y
1
3
x z
4
3
x 8y + 4z
_
as
T (x, y, z) =
_
2y
1
3
x z
_
(1, 3) +
_
4
3
x 8y + 4z
_
(2, 5)
=
_
7
3
x 14y + 7z, 34y
17
3
x 17z
_
c) Por qu e es falso que T (x, y, z) = [T]
C
B

_
_
x
y
z
_
_
?
Esta igualdad no es posible ni por los ordenes de las matrices.
d) Cu ando es v alida la igualdad anterior?
Al considerar las bases can onicas en los espacios de partida y llegada se cumple
una desigualdad del tipo
T (x, y, z)
t
= [T]
can onica
can onica

_
_
x
y
z
_
_
(adem as la transformaci on este denida de R
n
en R
m
)
N.C.F. 5 Primera versi on
Apuntes de Mat023
e) Hallar la nulidad de T y el rango de T sin hallar la Im(T)?
Desarrollo: El rango de la transformaci on lineal es igual al rango de la matriz
asociada en este caso es 1.
f ) Hallar Im(T) y una base para Im(T).
Desarrollo: Como ya tenemos la transformaci on podemos determinar la imagen
como
Im(T) = T (1, 0, 0) , T (0, 1, 0) , T (0, 0, 1))
=
___
7
3
,
17
3
_
, (14, 34) , (7, 17)
__
= (7, 17))
esto es una recta que pasa por el origen con direcci on (7, 17).
4. Sean U = (x, y, z) R
3
: 2x 3y + 5z = 0 un espacio vectorial y /una base ordenada
de U y ( la base can onica de R
2
. Suponga que T : U R
2
es una transformaci on lineal
denida por T (x, y, z) = (x y, x z) tal que:
[T]
C
A
=
_
1 2
1 1
_
/
22
(R)
Determine la base /.
Desarrollo: Sea / = (, , ) , (, , ) la base de U del ejercicio (el espacio tiene
dimensi on 2) entonces
[T (, , )]
C
=
_
1
1
_
[T (, , )]
C
=
_
2
1
_
adem as
2 3 + 5 = 0
2 3 + 5 = 0
pero
[T (, , )]
C
=
_


_
[T (, , )]
C
=
_


_
de donde tenemos el sistema de ecuaciones
= 1
= 1
= 2
= 1
2 3 + 5 = 0
2 3 + 5 = 0
N.C.F. 6 Primera versi on
Apuntes de Mat023
que tiene soluci on =
1
2
, =
9
4
, =
1
2
, =
5
4
, =
1
2
, =
1
4
as
/ =
__
1
2
,
1
2
,
1
2
_
,
_

1
4
,
9
4
,
5
4
__
5. Considere la transformaci on lineal
T : /
22
(R) R
4
_
x y
z w
_
T
_
x y
z w
_
= (x y, x z, x w, x)
y suponga que
B
1
=
__
1 0
0 1
_
,
_
2 0
0 0
_
,
_
0 0
1 0
_
,
_
0 1
0 0
__
B
2
= (1, 1, 1, 1) , (1, 1, 0, 0) , (1, 0, 0, 0) , (1, 1, 1, 0)
a) Calcular [T]
B
2
B
1
, muestre que T es invertible (isomorsmo) y calcule T
1
en forma
explcita.
Desarrollo: Como
T
_
x y
z w
_
= (x y, x z, x w, x)
se sigue
T
_
1 0
0 1
_
= (1, 1, 0, 1)
T
_
2 0
0 0
_
= (2, 2, 2, 2)
T
_
0 0
1 0
_
= (0, 1, 0, 0)
T
_
0 1
0 0
_
= (1, 0, 0, 0)
luego tenemos que resolver los sistemas
(1, 1, 0, 1) =
1
(1, 1, 1, 1) +
1
(1, 1, 0, 0) +
1
(1, 0, 0, 0) +
1
(1, 1, 1, 0)
(2, 2, 2, 2) =
2
(1, 1, 1, 1) +
2
(1, 1, 0, 0) +
2
(1, 0, 0, 0) +
2
(1, 1, 1, 0)
(0, 1, 0, 0) =
3
(1, 1, 1, 1) +
3
(1, 1, 0, 0) +
3
(1, 0, 0, 0) +
3
(1, 1, 1, 0)
(1, 0, 0, 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 1 2 0 0
0 1 0 0 1 0 1 0
0 0 1 0 0 0 1 1
0 0 0 1 1 0 0 0
_
_
_
_
se sigue
[T]
B
2
B
1
=
_
_
_
_
1 2 0 0
1 0 1 0
0 0 1 1
1 0 0 0
_
_
_
_
N.C.F. 7 Primera versi on
Apuntes de Mat023
b) Encontrar
_
[T]
B
2
B
1
_
1
Desarrollo:
_
[T]
B
2
B
1
_
1
=
_
T
1

B
1
B
2
=
_
_
_
_
1 2 0 0
1 0 1 0
0 0 1 1
1 0 0 0
_
_
_
_
1
=
_
_
_
_
0 0 0 1

1
2
0 0
1
2
0 1 0 1
0 1 1 1
_
_
_
_
c) Considere las bases can onicas de/
22
(R) y R
4
(
1
=
__
1 0
0 0
_
,
_
0 1
0 0
_
,
_
0 0
1 0
_
,
_
0 0
0 1
__
(
2
=((1, 0, 0, 0)) , (0, 1, 0, 0) , (0, 0, 1, 0) , (0, 0, 0, 1)
calcular [T]
C
2
C
1
usando la matrices de cambio de base adecuadas.
Desarrollo: Para calcular [T]
C
2
C
1
necesitamos hacer
[I]
C
2
B
2
[T]
B
2
B
1
[I]
B
1
C
1
as

_
1 0
0 1
_
+
_
2 0
0 0
_
+
_
0 0
1 0
_
+
_
0 1
0 0
_
=
_
2

_
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 0 0 1
0 1 0 0
1
2
0 0
1
2
0 0 1 0 0 0 1 0
0 0 0 1 0 1 0 0
_
_
_
_
de aqu
[I]
B
1
C
1
=
_
_
_
_
0 0 0 1

1
2
0 0
1
2
0 0 1 0
0 1 0 0
_
_
_
_
(note que es mas f acil pensarlo como
_
[I]
C
1
B
1
_
1
= [I]
B
1
C
1
si la can onica esta en la
llegada es escribir los vectores como columna) y
[I]
C
2
B
2
=
_
_
_
_
1 1 1 1
1 1 0 1
1 0 0 1
1 0 0 0
_
_
_
_
N.C.F. 8 Primera versi on
Apuntes de Mat023
as
[T]
C
2
C
1
= [I]
C
2
B
2
[T]
B
2
B
1
[I]
B
1
C
1
=
_
_
_
_
1 1 1 1
1 1 0 1
1 0 0 1
1 0 0 0
_
_
_
_
_
_
_
_
1 2 0 0
1 0 1 0
0 0 1 1
1 0 0 0
_
_
_
_
_
_
_
_
0 0 0 1

1
2
0 0
1
2
0 0 1 0
0 1 0 0
_
_
_
_
=
_
_
_
_
1 1 0 0
1 0 1 0
1 0 0 1
1 0 0 0
_
_
_
_
6. Considere la transformaci on lineal T : R
2
[x] R
2
[x] dada por:
T
_
ax
2
+ bx + c
_
= (a + b) x
2
+ (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 + x
2
, 1 + x + x
2
, 1 y en el codominio la
base T =1 x, 1 + x, x
2
encontrar la matriz asociada a T respecto a estas bases.
Desarrollo:
a) Por denici on
ker (T) =
_
ax
2
+ bx + c R
2
[x] : T
_
ax
2
+ bx + c
_
= 0
_
=
_
ax
2
+ bx + c R
2
[x] : (a + b) x
2
+ (a + b + c) x + c = 0
_
=
_
ax
2
+ bx + c R
2
[x] : (a + b = 0) (a + b + c = 0) (c = 0)
_
=
_
_
_
ax
2
+ bx + c R
2
[x] :
_
_
1 1 0
1 1 1
0 0 1
_
_
_
_
a
b
c
_
_
=
_
_
0
0
0
_
_
_
_
_
luego
_
_
1 1 0
1 1 1
0 0 1
_
_

_
_
1 1 0
0 0 1
0 0 0
_
_
as
ker (T) =
_
ax
2
+ bx + c R
2
[x] : (a + b = 0) (c = 0)
_
=
_
ax
2
+ bx + c R
2
[x] : (b = a) (c = 0)
_
=
_
ax
2
ax R
2
[x] : a R
_
=
_
x
2
x
__
luego el kernel tiene dimensi on 1 (la nulidad es 1).
b) Notemos que T (ax
2
+ bx + c) = (a + b) x
2
+ (a + b + c) x + c y luego
(a + b) x
2
+ (a + b + c) x + c = a
_
x
2
+ x
_
+ b
_
x
2
+ x
_
+ c (x + 1)
N.C.F. 9 Primera versi on
Apuntes de Mat023
as
T
_
ax
2
+ bx + c
_

_
x
2
+ x, x
2
+ x, x + 1
__
como hay un elemento repetido, el conjunto es L.D. as
_
x
2
+ x, x
2
+ x, x + 1
__
=
_
x
2
+ x, x + 1
__
se sigue
Im(T)
_
x
2
+ x, x + 1
__
por el teorema de las dimensiones se sigue
Dim(ker (T)) + Dim(Im(T)) = Dim(R
2
[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) =
_
x
2
+ x, x + 1
__
de esta forma, una base para la imagen es x
2
+ x, x + 1
c) Como T (ax
2
+ bx + c) = (a + b) x
2
+ (a + b + c) x + c se sigue que
T
_
1 + x
2
_
= x
2
+ 2x + 1 = (1 x) + (1 + x) + x
2
= x
2
+ ( ) x + (a + )
por determinar a, , .
T
_
1 + x + x
2
_
= 2x
2
+ 3x + 1 = (1 x) + (1 + x) + x
2
= x
2
+ ( ) x + (a + )
por determinar a, , .
T (1) = x 1 = (1 x) + (1 + x) + x
2
= x
2
+ ( ) 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 versi on
Apuntes de Mat023
y
= 0
( ) = 1
(a + ) = 1
en todas la matriz de coecientes es la misma, formamos una tripe matriz ampliada
y escalonamos
_
_
0 0 1 1 2 0
1 1 0 2 3 1
1 1 0 1 1 1
_
_
Operaciones Elementales

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

1
2
1 0
3
2
2 1
1 2 0
_
_
(notar que T (1 + x
2
) = x
2
+2x+1 =
_

1
2
_
(1 x)+
_
3
2
_
(1 + x)+1x
2
, T (1 + x + x
2
) =
2x
2
+ 3x + 1 = (1) (1 x) + 2 (1 +x) + 2x
2
y T (1) = x 1 = 0 (1 x) +
(1) (1 + x) + 0x
2
)
7. Suponga que S : R
2
[x] R
2
[x] es una transformaci on lineal con
[T]
D
B
=
_
_

1
2
1 0
3
2
2 1
1 2 0
_
_
B =1 x, 1 + x, x
2
y T =1 + x
2
, 1 + x + x
2
, 1 (No es el ejercicio anterior ver las
bases)
a) Encontrar ker (T)
b) Encontrar Im(T)
c) Calcule T (2 + x x
2
)
d) Encontrar una expresi on para T (ax
2
+ bx + c)
Desarrollo:
a) Note que p ker (T) si y solo si T (p) = 0 si y solo si
[Tp]
D
=
_
_
0
0
0
_
_
pero
[Tp]
D
= [T]
D
B
[p]
B
luego si resolvemos
_
_
0
0
0
_
_
= [T]
D
B
[p]
B
=
_
_

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

_
_
N.C.F. 11 Primera versi on
Apuntes de Mat023
estaremos encontrando las coordenadas
_
_

_
_
= [p]
B
de los vectores de ker (T). Pues bien
_
_

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

_
_
1 0 2
0 1 1
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) + x
2
para alg un R es decir
ker (T) =
_
3x + x
2
+ 1
__
b) De la matriz asociada tenemos
[T (1 x)]
D
=
_
_

1
2
3
2
1
_
_
as
T (1 x) =
_

1
2
_
_
1 + x
2
_
+
_
3
2
_
_
1 + x + x
2
_
+ (1) (1)
= x
2
+
3
2
x
tambi en
[T (1 + x)]
D
=
_
_
1
2
2
_
_
as
T (1 x) = (1)
_
1 + x
2
_
+ (2)
_
1 + x + x
2
_
+ (2) (1)
= x
2
+ 2x 1
y
_
T
_
x
2
_
D
=
_
_
0
1
0
_
_
as
T
_
x
2
_
= (0)
_
1 + x
2
_
+ (1)
_
1 + x + x
2
_
+ (0) (1)
= x
2
x 1
N.C.F. 12 Primera versi on
Apuntes de Mat023
luego
Im(T) =
__
x
2
+
3
2
x, x
2
+ 2x 1, x
2
x 1
__
del teorema de las dimensiones
_
x
2
+
3
2
x, x
2
+ 2x 1, x
2
x 1
_
debera ser un
conjunto L.D. en efecto
_
_
1 1 1
3
2
2 1
0 1 1
_
_

_
_
1 0 2
0 1 1
0 0 0
_
_
(2)
_
x
2
+
3
2
x
_
+ (1)
_
x
2
+ 2x 1
_
= x
2
x 1
se sigue
Im(T) =
__
x
2
+
3
2
x, x
2
+ 2x 1
__
c) Para calcular T (2 + x x
2
) podemos hacer lo siguiente
_
2 + x x
2

B
=
_
_

_
_
donde
2 + x x
2
= (1 x) + (1 + x) + x
2
= 1
= 1
+ = 2
=
1
2
, =
3
2
, = 1 luego
_
T
_
2 + x x
2
_
D
=
_
_

1
2
1 0
3
2
2 1
1 2 0
_
_
_
_
1
2
3
2
1
_
_
=
_
_

7
4
19
4
7
2
_
_
se obtiene
T
_
2 + x x
2
_
=
_

7
4
_
_
1 + x
2
_
+
_
19
4
_
_
1 + x + x
2
_
+
_
7
2
_
(1)
= 3x
2
+
19
4
x
1
2
d) Encontremos una expresi on para
T
_
ax
2
+ bx + c
_
notemos que
ax
2
+ bx + c = (1 x) + (1 + x) + x
2
N.C.F. 13 Primera versi on
Apuntes de Mat023
si y solo si
= a
= b
+ = c
esto es
_
_
0 0 1 a
1 1 0 b
1 1 0 c
_
_

_
_
1 0 0
1
2
c
1
2
b
0 1 0
1
2
b +
1
2
c
0 0 1 a
_
_
luego
ax
2
+ bx + c =
_
1
2
c
1
2
b
_
(1 x) +
_
1
2
b +
1
2
c
_
(1 + x) + ax
2
podemos encontrar T (ax
2
+ bx + c) en dos formas
T
_
ax
2
+ bx + c
_
=
_
1
2
c
1
2
b
_
T (1 x) +
_
1
2
b +
1
2
c
_
T (1 + x) + aT
_
x
2
_
=
_
1
2
c
1
2
b
__
x
2
+
3
2
x
_
+
_
1
2
b +
1
2
c
_
_
x
2
+ 2x 1
_
+a
_
x
2
x 1
_
= (c a) x
2
+
_
a +
1
4
b +
7
4
c
_
x +
_

1
2
b
1
2
c a
_
la otra forma es
_
T
_
ax
2
+ bx + c
_
D
=
_
_

1
2
1 0
3
2
2 1
1 2 0
_
_
_
_
_
1
2
c
1
2
b
_
_
1
2
b +
1
2
c
_
a
_
_
=
_
_

1
4
b
3
4
c
1
4
b a +
7
4
c
1
2
b +
3
2
c
_
_
y as
T
_
ax
2
+ bx + c
_
=
_

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

1
2
b
1
2
c a
_
8. Muestre que T : /
22
(R) R
3
[x] dada por
T
__
a b
c d
__
= (a + b) x
3
+ cx
2
+ (a + d) x + (c d)
es una transformaci on lineal adem as determine el ker (T) e Im(T).
Desarrollo: En general, si V y W son espacios vectoriales, una funci on F : V W
es llamada transformaci on lineal si cumple: i) K,v V , F (v) = F (v) y ii)
N.C.F. 14 Primera versi on
Apuntes de Mat023
v
1
, v
2
V , F (v
1
+ v
2
) = F (v
1
) + F (v
2
) (esto quiere decir, que enva combinaciones
lineales en combinaciones lineales). En nuestro ejercicio los elementos del espacio de
partida son matrices de orden 22 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:
i) Sea R y
_
a b
c d
_
/
22
(R) se tiene
T
_

_
a b
c d
__
= T
__
a b
c d
__
= T
__
A B
C D
__
donde A = a, B = b, C = c, D = d
= (A + B) x
3
+ Cx
2
+ (A + D) x + (C D)
= ((a) + (b)) x
3
+ (c) x
2
+ (a + d) x + (c d)
=
_
(a + b) x
3
+ cx
2
+ (a + d) x + (c d)
_
= T
__
a b
c d
__
(Explicaci on: tenemos que mostrar que el escalar se puede sacar de la funci on y para
esto utilizamos solamente la denici on, en la linea T
_

_
a b
c d
__
= T
__
a b
c d
__
no sabemos como act ua la funci on T sobre el producto escalar
_
a b
c d
_
es por eso
que aplicamos la denici on de producto escalar de matrices y as

_
a b
c d
_
=
_
a b
c d
_
y ahora podemos aplicar la denici on de T a la matriz
_
a b
c d
_
(en este caso si
sabemos como act ua T), para que se vea mas claro agregu e la linea
_
a b
c d
_
=
_
A B
C D
_
donde A = a, B = b, C = c, D = d
pero no es necesario, entonces por denici on
T
__
A B
C D
__
= (A + B) x
3
+ Cx
2
+ (A + D) x + (C D)
y ahora reemplazamos para obtener la igualdad deseada)
ii) Sean
_
a
11
a
12
a
21
a
22
_
,
_
b
11
b
12
b
21
b
22
_
/
22
(R) matrices arbitrarias, se tiene
T
__
a
11
a
12
a
21
a
22
_
+
_
b
11
b
12
b
21
b
22
__
= T
__
a
11
+ b
11
a
12
+ b
12
a
21
+ b
21
a
22
+ b
22
__
= T
__
A B
C D
__
N.C.F. 15 Primera versi on
Apuntes de Mat023
donde A = a
11
+ b
11
, B = a
12
+ b
12
, C = a
21
+ b
21
, D = a
22
+ b
22
, aplicando la denici on
de T se sigue
T
__
A B
C D
__
= (A + B) x
3
+ Cx
2
+ (A + D) x + (C D)
= ((a
11
+ b
11
) + (a
12
+ b
12
)) x
3
+ (a
21
+ b
21
) x
2
+
((a
11
+ b
11
) + (a
22
+ b
22
)) x + ((a
21
+ b
21
) (a
22
+ b
22
))
= ((a
11
+ a
12
) + (b
11
+ b
12
)) x
3
+ (a
21
+ b
21
) x
2
+
((a
11
+ a
22
) + (b
11
+ b
22
)) x + ((a
21
a
22
) + (b
21
b
22
))
=
_
(a
11
+ a
12
) x
3
+ a
21
x
2
+ (a
11
+ a
22
) x + (a
21
a
22
)
_
+
_
(b
11
+ b
12
) x
3
+ b
21
x
2
+ (b
11
+ b
22
) x + (b
21
b
22
)
_
= T
__
a
11
a
12
a
21
a
22
__
+ T
__
b
11
b
12
b
21
b
22
__
de esto concluimos
T
__
a
11
a
12
a
21
a
22
_
+
_
b
11
b
12
b
21
b
22
__
= T
__
a
11
a
12
a
21
a
22
__
+ T
__
b
11
b
12
b
21
b
22
__
de i) y ii) T es una transformaci on lineal.
Vamos a buscar el ker (T)
ker (T) = v V : T (v) =
W

=
__
a b
c d
_
/
22
(R) : T
__
a b
c d
__
= 0 (el polinomio 0)
_
=
__
a b
c d
_
/
22
(R) : (a + b) x
3
+ cx
2
+ (a + d) x + (c d) = 0
_
=
__
a b
c d
_
/
22
(R) : (a + b) = 0 c = 0 (a + d) = 0 (c d) = 0
_
de esta forma buscamos todas la matrices
_
a b
c d
_
tales que
a + b = 0
c = 0
a + d = 0
c d = 0
o matricialmente
_
_
_
_
1 1 0 0
0 0 1 0
1 0 0 1
0 0 1 1
_
_
_
_
_
_
_
_
a
b
c
d
_
_
_
_
=
_
_
_
_
0
0
0
0
_
_
_
_
N.C.F. 16 Primera versi on
Apuntes de Mat023
resolvemos el sistema escalonando
_
_
_
_
1 1 0 0 0
0 0 1 0 0
1 0 0 1 0
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
_
_
_
_
de esto se obtiene a = b = c = d = 0 es decir
ker (T) =
__
0 0
0 0
__
(se concluye que la transformaci on es inyectiva) Por el teorema de las dimensiones se
tiene lo siguiente
Dim(ker (T)) + Dim(Im(T)) = Dim(/
22
(R)) = 4
pero
Dim(ker (T)) = 0
as
Dim(Im(T)) = 4
como Dim(T) < R
3
[x] y R
3
[x] tiene dimensi on 4, se sigue Im(T) = R
3
[x]. Otra forma
para determinar la imagen es utilizar el resultado que la im agenes de una base generan
la imagen de la transformaci on, luego
Im(T) =
__
T
_
1 0
0 0
_
, T
_
0 1
0 0
_
, T
_
0 0
1 0
_
, T
_
0 0
0 1
___
pero notemos que
T
_
1 0
0 0
_
= (1 + 0) x
3
+ 0x
2
+ (1 + 0) x + (0 0)
= x
3
+ x
T
_
0 1
0 0
_
= (0 + 1) x
3
+ 0x
2
+ (0 + 0) x + (0 0)
= x
3
T
_
0 0
1 0
_
= (0 + 0) x
3
+ 1x
2
+ (0 + 0) x + (1 0)
= x
2
+ 1
T
_
0 0
0 1
_
= (0 + 0) x
3
+ 0x
2
+ (0 + 1) x + (0 1)
= x 1
as
Im(T) =
_
x
3
+ x, x
3
, x
2
+ 1, x 1
__
y mostrar que x
3
+ x, x
3
, x
2
+ 1, x 1 es un conjunto L.I. luego Im(T) tiene dimensi on
4 y por tanto tiene que ser R
3
[x].
N.C.F. 17 Primera versi on
Apuntes de Mat023
9. Encontrar por lo menos una transformaci on lineal T : /
22
(R) R
3
tal que
ker (T) =
__
a b
c d
_
/
22
(R) : a + d + c = 0
_
Desarrollo: Notemos que
ker (T) =
__
a b
c d
_
/
22
(R) : a + d + c = 0
_
=
__
a b
c d
_
/
22
(R) : a = c d
_
=
__
c d b
c d
_
/
22
(R) : b, c, d R
_
=
_
c
_
1 0
1 0
_
+ b
_
0 1
0 0
_
+ d
_
1 0
0 1
_
/
22
(R) : b, c, d R
_
___
1 0
1 0
_
,
_
0 1
0 0
_
,
_
1 0
0 1
___
luego ker (T) tiene dimensi on 3 (no puede ser base de /
22
(R) que tiene dimensi on 4),
sabemos que para conocer completamente una T.L. necesitamos conocerla sobre una
base, buscamos alg un elemento L.I. con las tres matrices que formar el kernel, para ello,

_
1 0
1 0
_
+
_
0 1
0 0
_
+
_
1 0
0 1
_
+
_
a b
c d
_
=
_
0 0
0 0
_
debe tener por unica soluci on = = = = 0. Esto se traduce a
+ a = 0
+ b = 0
+ c = 0
+ d = 0
matricialmente la ampliada
_
_
_
_
1 0 1 a 0
0 1 0 b 0
1 0 0 c 0
0 0 1 d 0
_
_
_
_

_
_
_
_
1 0 1 a 0
0 1 0 b 0
0 0 1 a + c 0
0 0 0 a + c + d 0
_
_
_
_
la soluci on es unica si y solo si a + c + d ,= 0, de esta forma, podemos considerar la
matriz
_
1 1
1 1
_
pues 1 + 1 + 1 = 3 ,= 0. Ahora para denir la transformaci on (por ejemplo)
T
_
1 0
1 0
_
= (0, 0, 0)
T
_
0 1
0 0
_
= (0, 0, 0)
T
_
1 0
0 1
_
= (0, 0, 0)
T
_
1 1
1 1
_
= (1, 1, 1)
N.C.F. 18 Primera versi on
Apuntes de Mat023
esto determina completamente quien es T (notar que
_
1 0
1 0
_
,
_
0 1
0 0
_
,
_
1 0
0 1
_
son elementos del kernel pero
_
1 1
1 1
_
no lo es). La T en forma explicita se determina
de la siguiente manera, Como
B =
__
1 0
1 0
_
,
_
0 1
0 0
_
,
_
1 0
0 1
_
,
_
1 1
1 1
__
es base, dado una matriz
_
x y
z w
_
arbitraria, deben existir escalares , , , tales que
_
x y
z w
_
=
_
1 0
1 0
_
+
_
0 1
0 0
_
+
_
1 0
0 1
_
+
_
1 1
1 1
_
para buscar tales escalares resolvemos el sistema
_
_
_
_
1 0 1 1 x
0 1 0 1 y
1 0 0 1 z
0 0 1 1 w
_
_
_
_

_
_
_
_
1 0 0 0
2
3
z
1
3
x
1
3
w
0 1 0 0 y
1
3
x
1
3
w
1
3
z
0 0 1 0
2
3
w
1
3
x
1
3
z
0 0 0 1
1
3
w +
1
3
x +
1
3
z
_
_
_
_
de donde se tiene
=
2
3
z
1
3
x
1
3
w
= y
1
3
x
1
3
w
1
3
z
=
2
3
w
1
3
x
1
3
z
=
1
3
w +
1
3
x +
1
3
z
as
_
x y
z w
_
=
_
2
3
z
1
3
x
1
3
w
__
1 0
1 0
_
+
_
y
1
3
x
1
3
w
1
3
z
__
0 1
0 0
_
+
_
2
3
w
1
3
x
1
3
z
__
1 0
0 1
_
+
_
1
3
w +
1
3
x +
1
3
z
__
1 1
1 1
_
N.C.F. 19 Primera versi on
Apuntes de Mat023
luego
T
_
x y
z w
_
=
_
2
3
z
1
3
x
1
3
w
_
(0, 0, 0)
+
_
y
1
3
x
1
3
w
1
3
z
_
(0, 0, 0)
+
_
2
3
w
1
3
x
1
3
z
_
(0, 0, 0)
+
_
1
3
w +
1
3
x +
1
3
z
_
(1, 1, 1)
=
_
1
3
w +
1
3
x +
1
3
z,
1
3
w +
1
3
x +
1
3
z ,
1
3
w +
1
3
x +
1
3
z
_
as
T : /
22
(R) R
3
_
x y
z w
_
T
_
x y
z w
_
=
_
1
3
w +
1
3
x +
1
3
z,
1
3
w +
1
3
x +
1
3
z ,
1
3
w +
1
3
x +
1
3
z
_
10. Sea B la base can onica de R
2
y considere las transformaciones T : R
2
R
2
y S : R
2
R
2
denidas 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 can onica se tiene
[T]
B
=
_
2 3
4 7
_
y [S]
B
=
_
3 2
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
=
_
9 7
5 1
_
N.C.F. 20 Primera versi on
Apuntes de Mat023
11. Sea T : R
4
R
4
una transformaci on lineal tal que
T (1, 1, 0, 0) = (0, 1, 0, 1)
T (1, 0, 1, 0) = (1, 1, 1, 0)
si adem as se tiene que T T = I
R
4 determinar la matriz asociada a T respecto a la base
can onica ( de R
4
. Es T un isomorsmo? Justique.
Desarrollo: Por la propiedad T T = I
R
4 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) = (0, 1, 0, 1)
T (1, 0, 1, 0) = (1, 1, 1, 0)
T (0, 1, 0, 1) = (1, 1, 0, 0)
T (1, 1, 1, 0) = (1, 0, 1, 0)
queremos determinar la matriz asociada a la base can onica
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
[T]
C
C
=
_
_
_
_
0 0 1 1
2 1 1 2
0 0 1 0
1 0 1 0
_
_
_
_
es f acil ver que es isomorsmo, pues
T T = I
[T T]
C
C
= I
4
[T]
C
C
[T]
C
C
= I
4
N.C.F. 21 Primera versi on
Apuntes de Mat023
as [T]
C
C
es invertible y luego T es invertible. Otra forma

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

= 1
y luego T es invertible.
Otra forma es utilizar la matriz de cambio de base
[I]
C
B
=
_
_
_
_
1 1 0 1
1 0 1 1
0 1 0 1
0 0 1 0
_
_
_
_
as
[I]
B
C
=
_
_
_
_
1 1 0 1
1 0 1 1
0 1 0 1
0 0 1 0
_
_
_
_
1
=
_
_
_
_
1 0 1 0
1 1 0 1
0 0 0 1
1 1 1 1
_
_
_
_
luego
[T]
C
C
= [T]
C
B
[I]
B
C
=
_
_
_
_
0 1 1 1
1 1 1 0
0 1 0 1
1 0 0 0
_
_
_
_
_
_
_
_
1 0 1 0
1 1 0 1
0 0 0 1
1 1 1 1
_
_
_
_
=
_
_
_
_
0 0 1 1
2 1 1 2
0 0 1 0
1 0 1 0
_
_
_
_
N.C.F. 22 Primera versi on