AGA Virtual Segundo cuatrimestre 2015 Unidad 5

UNIDAD 5
TRANSFORMACIONES
LINEALES
Definicin y propiedades de las
transformaciones lineales
Qu son las transformaciones lineales?
En primer lugar, una transformacin lineal es una funcin. Por ser funcin, tiene su
dominio y su codominio, con la particularidad de que stos son espacios vectoriales.
Tenemos dos espacios vectoriales y , y una funcin que va de a . O sea una
regla de asignacin que transforma vectores de en vectores de . Pero no toda
funcin que transforme vectores de en vectores de es una transformacin lineal.
Debe cumplir ciertas condiciones:

: es una transformacin lineal si y slo si:

1. ( + ) = () + () ,
2. (. ) = . () ,

Propiedades de una transformacin lineal

PROPIEDAD 1
La imagen del vector nulo del dominio 0 es el vector nulo del codominio 0 :

(0 ) = 0

Demostracin:

(0 ) = (0. ) = 0. () = 0. = 0

Donde hemos expresado a 0 como el producto del escalar 0 por cualquier vector
del espacio vectorial , hemos usado la segunda condicin que debe cumplir una
transformacin lineal, y finalmente hemos vuelto a usar la propiedad de espacios
vectoriales sobre el producto del escalar 0 por cualquier vector.

PROPIEDAD 2
La imagen del vector es igual al opuesto de la imagen de :

1
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

() = ()

Demostracin:

() = (1. ) = 1. () = ()

La justificacin de los pasos dados en la demostracin es similar a la anterior.

Propiedad 3
Consideremos vectores del espacio vectorial :

1 , 2 , ,

Tomemos una combinacin lineal en el dominio:

1 1 + 2 2 + 3 3 +. . . +

Donde

Si aplicamos la transformacin lineal de a , teniendo en cuenta las propiedades

enunciadas en la definicin, resulta:

(1 1 + 2 2 + 3 3 +. . . + ) = 1 (1 ) + 2 (2 ) + + ( )

Es decir que una transformacin lineal transporta combinaciones lineales de V a W,

conservando los escalares de la combinacin lineal.

Ejemplo 1
Analizar si la siguiente funcin es una transformacin lineal:

: 3 2 | ((, ( + , 2)
, )) =
2 2

Resolucin

Controlemos primero que el transformado del 0 sea el 0 . sta es una condicin

necesaria: si no se cumpliera, no sera transformacin lineal. Como ((0,0,0)) = (0,0), la
funcin dada es candidata a ser transformacin lineal.

Para demostrar que es una transformacin lineal tenemos que comprobar las
condiciones dadas en la definicin.

Condicin 1: ( + ) = () + () ,

Tomemos dos vectores de 3

2
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

= (1 , 2 , 3 )

= (1 , 2 , 3 )

Veamos si

( + ) = () + ()

Primero hacemos la suma de y :

+ = (
1 + 1 ,
2 + 2 ,
3 + 3 )

Y ahora aplicamos :

( + ) = (1 + 1 + 3 + 3 , 2 + 2 23 23 )

(1 + 3 , 2 23 ) +
( + ) = (1 + 3 , 2 23 )
() ()

( + ) = () + ()

En conclusin: se cumple la primera de las condiciones.

Nos faltara la otra propiedad.

Condicin 2: (. ) = . () ,

(. ) = ((1 , 2 , 3 )) = (1 + 3 , 2 23 )

= . (1 + 3 , 2 23 ) = . ()

Como T cumple las dos condiciones, es una transformacin lineal.

Ejemplo 2
Analizar si la siguiente funcin es una transformacin lineal:

: 2 | () = (0)

Observacin: con 2 se designa al conjunto de todos los polinomios de grado menor o

igual que dos, con el polinomio nulo.

Resolucin

Entonces a un polinomio de grado menor o igual que dos, le aplicamos la funcin

y obtenemos un nmero real que proviene de evaluar el polinomio en = 0.

2 (0)

3
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Por ejemplo evaluemos la transformacin en 2 1:

(2 1) = 1

Veamos si el vector nulo del espacio vectorial 2 va al 0 (es condicin necesaria).

El polinomio cero es:

02 = 0 2 + 0 + 0

Cunto vale el polinomio nulo evaluado en 0? 0

02 (0) = 0.02 + 0.0 + 0 = 0

Entonces la condicin necesaria para este ejercicio se cumple, porque (02 ) = 0

Primera condicin ( + ) = () + () ,

Para que sea transformacin lineal se debe cumplir la primera condicin. Veamos
qu pasa con el transformado de la suma:

( + ) 2

( + ) = ( + )(0) = (0) + (0)

Observacin: evaluar una suma de funciones en 0, es evaluar cada una en 0 y

sumarlas. Esto no es una particularidad de los polinomios, sino que se corresponde
con la definicin de suma de funciones:

Para cualquier funcin: ( + ) () = () + (), para todo perteneciente al

dominio de y de .

Otra forma de pensar la misma propiedad. Si consideramos

() = 2 + + y () = 2 + +

+ = ( + ) 2 + ( + ) + ( + )

( + ) = + = () + ()

Por los dos caminos arribamos a la misma conclusin.

Segunda condicin (. ) = . () ,

Veamos si se cumple la segunda condicin. Para esto podemos recordar que dada
una funcin () y un escalar , la funcin (. )() se define como . (). De esta
forma podemos decir:

4
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

2 ,

(. ) = (. )(0) = . (0) = . ()

Otra forma de verlo es escribir a un polinomio 2 de forma genrica y aplicar la

transformacin sobre . :

() = 2 + +

(. ) = (. ( 2 + + )) = (. 2 + . + . ) = . = . ()

Ejemplo 3
Consideremos la transformacin lineal:

: 3 3 , () = 0

Siendo 0 un vector fijo y un vector cualquiera de 3. Veamos que se trata de una

transformacin lineal.

Condicin 1: ( + ) = () + () ,

Para ver que se cumple esta condicin usaremos la propiedad distributiva del
producto vectorial respecto de la suma de vectores:

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

Condicin 2: (. ) = . () ,

Para ver que se cumple esta condicin podemos extraer el escalar:

(. ) = () 0 = . ( 0 ) = . ()

Ejemplo 4
Consideremos las siguientes transformaciones:

1 : 2 2 , 1 ((, )) = (2 1, )

2 : 2 2 , 2 ((, )) = (2 , )

Cmo analizamos si son o no son transformaciones lineales?

Para la primera transformacin basta con ver que la imagen de (0,0) es (1,0). No se
cumple una de las propiedades de las transformaciones lineales, entonces no es una
transformacin lineal.

La segunda transformacin no cumple con la segunda condicin ya que:

2 (. (, )) = ( 2 . 2 , )
. 2 (, ) = (. 2 , )

5
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Luego, como no se cumple que (. ) = . () podemos afirmar que 2 no es una

transformacin lineal.

Ncleo, imagen y teorema de las

dimensiones
Ncleo de una transformacin lineal
Sea : transformacin lineal

Llamamos ncleo de al conjunto de vectores del dominio cuya imagen por es el

0 .

() = { | () = 0 }

El ncleo de una transformacin lineal es un subespacio de .

Imagen de una transformacin lineal

Llamamos imagen de al conjunto de vectores de que son imagen de algn
vector de .

() = { | = () , }

La imagen es un subespacio de W.

Ejemplo 1
Dada la siguiente transformacin lineal

: 3 3 , ((, , )) = ( 2 , 0 , 2 4)

Buscar el ncleo, la imagen, y determinar sus dimensiones.

Resolucin

Para determinar el ncleo planteamos:

(, , ) est en el ncleo ((, , )) = (0,0,0)

2 = 0
( 2 , 0 , 2 4) = (0,0,0) { = 2
2 4 = 0

Esto implica que la primera componente debe ser el doble de la segunda y que la
tercera componente no tiene restricciones. Es un error comn, en este punto, suponer
que como no aparece , entonces = 0. Pero es importante notar que si no
aparece esto significa que no existen restricciones sobre esa componente. La
forma de un vector del ncleo sera:

6
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

(2, , )

Aplicando propiedades lo podemos escribir:

. (2,1,0) + . (0,0,1)

Luego el ncleo es:

() = {(, , ) 3 | = 2 } = {(2,1,0), (0,0,1)}

Y una base del ncleo es:

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

La imagen la podemos obtener aplicando propiedades sobre la expresin que define

la transformacin lineal:

( 2 , 0 , 2 4) = . (1,0,2) + . (2,0, 4)

Los vectores (1,0,2) y (2,0, 4) son linealmente dependientes. Entonces tomamos

uno de ellos para la base de la imagen:

= {(1,0,2)}

Finalmente podemos responder sobre las dimensiones de ncleo e imagen, porque

hemos obtenido bases de estos subespacios:

() = 2

() = 1

Ejemplo 2
Dada la siguiente transformacin lineal

+
: 3 22 ((, , )) = ( )
0 +

Buscar el ncleo, la imagen, y determinar sus dimensiones.

Resolucin

Para determinar el ncleo planteamos:

0 0
(, , ) est en el ncleo (, , ) = ( )
0 0

+ =0
+ 0 0
( )=( ) { = 0 = =
0 + 0 0 + =0

7
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Se trata de un sistema compatible indeterminado. El ncleo queda definido entonces

por vectores con la forma:

(, , ) = . (1,1, 1)

Entonces:

() = {(, , ) 3 | = = } = {(1,1, 1)}

= {(1, 1,1)}

La imagen la podemos obtener aplicando propiedades sobre la expresin que define

la transformacin lineal:

+ 1 1 1 0 0 1
( ) = . ( ) + . ( ) + . ( )
0 + 0 0 0 1 0 1

Luego, estas tres matrices generan la imagen, porque cualquier vector de la imagen
es combinacin lineal de ellas.

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

La generan, pero son una base de la imagen?

Observamos que las dos primeras son linealmente independientes. Pero la tercera es
combinacin lineal de las anteriores:

1 0 1 1 0 1
( )( )=( )
0 1 0 0 0 1

Entonces una base de la imagen es:

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

Ahora podemos responder sobre las dimensiones:

dim() = 1

dim() = 2

Notemos que la suma de las dimensiones de ncleo e imagen es igual a la dimensin

del dominio de la transformacin lineal:

dim(3) = 3

Esto no es casual, sino que se trata de un teorema que consideraremos a

continuacin.

8
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Teorema de las dimensiones

El teorema de las dimensiones establece una relacin aritmtica sencilla entre la
dimensin de y la dimensin del ncleo y de la imagen.

Sea : transformacin lineal. Si () = (finita) entonces:

() = (()) + (())

Ejemplo 1
Buscar el ncleo y la imagen de la siguiente transformacin lineal

: 3 2 | ((, ( + , 2)
, )) =
3 2

Resolucin

Buscar el ncleo de la transformacin lineal es buscar los vectores del dominio cuya
imagen es el vector nulo del codominio:

+ =0
((, , )) = (0,0) { = = 2
2 = 0

Luego los vectores del ncleo son de la forma:

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

As podemos escribir:

= {(, , ) 3 | = = 2} = {(1,2,1)}

= {(1,2,1)} dim() = 1

El ncleo es una recta porque tiene dimensin 1.

Cul es la dimensin de la imagen? Por el teorema de las dimensiones debe ser:

dim() = dim() + dim()

dim(3 ) dim(())
= dim() = 2
3 1

La imagen es todo el espacio 2 porque el nico subespacio de dimensin 2 que est

en 2 es 2.

Cmo se llaman las funciones cuya imagen coincide con el codominio?

Sobreyectivas.

Diremos entonces que es una transformacin lineal sobreyectiva.

9
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Ejemplo 2
Sea : 2 3 una transformacin lineal,

(, ) = ( 2, 2 4, 2 + 4)

Buscar una base y la dimensin de (), ()

Resolucin

Por el teorema de las dimensiones la suma de las dimensiones del ncleo y de la

imagen debe ser 2. Es decir que puede ser alguno de los siguientes escenarios:

2+0
1+1
0+2

Busquemos ():

2 = 0
( 2, 2 4, 2 + 4) = (0,0,0) { 2 4 = 0 = 2
2 + 4 = 0

Luego podemos dar una base del ncleo y su dimensin:

= {(2,1)} dim() = 1

Busquemos (). Un vector est en la imagen si es el transformado de algn vector

del dominio:

T(, ) = ( 2, 2 4, 2 + 4)

Lo expresamos como suma de vectores separando las variables e :

(, ) = (, 2, 2) + (2, 4, 4)

Y sacamos como escalares a las variables:

= (1,2, 2) + (2, 4,4)

Este mtodo permite obtener generadores de la imagen, que pueden ser LI o LD. Ac
se ve muy claro que (2, 4,4) = (- 2). (1,2, 2). Es decir que generan la imagen pero
son linealmente dependientes, no es una base. Cualquiera de los dos sirve como
base:

() = {(1,2, 2)} dim(()) = 1

Ms adelante veremos otro mtodo para encontrar la imagen.

10
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Ejemplo 3
Hallar ncleo e imagen de la siguiente transformacin lineal:

: 2 | () = (0)

Resolucin

Notemos que los nmeros reales pueden ser entendidos como un espacio vectorial
de dimensin 1.

Si () = 2 + + , (0) =

El ncleo estar formado por todos los polinomios cuyo trmino independiente es 0.

Cul es una base para ese espacio vectorial? Podramos describir al ncleo as:

() = { 2 + , , }

Una base natural es la constituida por los vectores: 2 y .

Entonces: = { 2 , } dim() = 2

Aplicando el teorema:

dim() = 1

Y ahora si consideramos que la imagen est incluida o es igual a , entonces:

() =

Y una base para el espacio vectorial ? Puede servir cualquier nmero real, menos
el cero. Tomamos por ejemplo:

= {1}

Los transformados de una base generan la imagen

Sea : transformacin lineal , y = {1 , , }

Entonces:

() = (), = (1 1 + + )

= 1 (1 ) + + ( )

Hemos demostrado que:

, .

11
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

O sea, aplicando la transformacin lineal a los vectores de una base (cualquiera) del
dominio, se obtiene un conjunto de generadores de la imagen:

{(1 ), (2 ), (3 ), , ( )} ()

No estamos diciendo que constituyan una base de la imagen, sino que la generan.

Ahora veremos un ejemplo sobre cmo se aplica esto:

Ejemplo 1
Sea la siguiente transformacin lineal:

: 22 3 transformacin lineal , (( )) = ( + + , , )

Hallar una base de la imagen.

Resolucin

Podemos elegir una base del dominio y aplicar la transformacin, obteniendo as un

conjunto generador de la imagen.

Si son LI, ya tenemos una base de la imagen. Si son LD, tendremos que eliminar lo
que sobra para conseguir una base.

Usemos la base cannica de 22:

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

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

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

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

Entonces obtuvimos el siguiente conjunto de generadores:

{(1,0,0), (0,0,0), (1, 1,1)}

Nos quedamos con un conjunto linealmente independiente:

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

Si la dimensin de la imagen es 2, puedo conocer la dimensin del ncleo. Como el

dominio tiene dimensin 4, la dimensin del ncleo debe ser:

dim () dim() = dim() = 2

12
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Busquemos el ncleo:

++ =0
( + + , , ) = (0,0,0) { = 0 = 0 =
=0

Y la variable queda libre porque no aparece ninguna condicin sobre ella.

Entonces:

= {( ) 22 | , }
0

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

Lo cual es coherente con la dimensin del ncleo que calculamos anteriormente.

Ejemplo 2
Consideremos la transformacin lineal:

: 3 3 , () = 0

Siendo 0 = (0,0,1) un vector fijo y un vector cualquiera de 3.

a) Hallar el ncleo, una base del ncleo y su dimensin

b) Hallar la imagen, una base de la imagen y su dimensin

Resolucin

Ya analizamos anteriormente que es una trasformacin lineal.

Sabemos que un vector pertenece al ncleo de la transformacin s y slo si su

transformado es el vector nulo:

(, , ) () ((, , )) = (0,0,0)

Entonces transformemos a un vector genrico e igualmoslo al vector nulo para ver

qu condiciones debe cumplir ese vector genrico:

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

Es decir que el ncleo est formado por los vectores que cumplen que = 0 = 0.
Estos son los vectores paralelos al eje .

() = {(, , ) | = 0 = 0}

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

dim(()) = 1

13
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Se podra haber pensado esto geomtricamente? Cul es el conjunto de vectores

tales que su producto vectorial con (0,0,1) es el vector nulo?

Obtengamos la imagen a partir de que los transformados de una base del domino
generan la imagen.

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

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

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

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

Luego:

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

Sacando el vector nulo obtenemos un conjunto linealmente independiente, y as una

base de la imagen:

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

dim(()) = 2

Se podra haber pensado esto geomtricamente? Cul es el conjunto de vectores

que se obtiene al hacer el producto vectorial de cualquier vector 3 con (0,0,1)?

Cmo generalizaran para un 0 cualquiera, no nulo? En el siguiente archivo de

GeoGebra se puede explorar la situacin. Hay tres vectores:

Un vector fijo, en color negro.

Un vector mvil en color verde.
Un vector rojo que es el resultado del producto vectorial entre los otros dos.

Te proponemos que muevas el vector verde y veas que se va obteniendo cmo el

conjunto de vectores que se obtienen de los sucesivos productos vectoriales:

HTTP://BIT.LY/AGAGGB018

Clasificacin de las transformaciones lineales

Monomorfismos: TL inyectivas

Recordemos que una funcin : es inyectiva si verifica la siguiente propiedad:

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

14
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

En el caso particular de las T.L., puede demostrarse que:

Sea : una transformacin lineal,

es inyectiva (monomorfimo) () = { }

Epimorfismos: TL sobreyectivas

: es sobreyectiva (epimorfismo) () =

Isomorfismos: TL biyectivas

: es biyectiva (isomorfismo) () = { } () =

Ejemplo 1
Consideremos la siguiente transformacin lineal : 2 3 ((, )) = ( + , , 2)

Saquemos el ncleo de la transformacin:

(, ) () ((, )) = (0,0,0)

( + , , 2) = (0,0,0) = 0 = 0

Entonces por la propiedad enunciada anteriormente podemos decir que es un

monomorfismo.

Por el teorema de las dimensiones resulta:

dim() = dim(2) dim() = 2 0 = 2

Como la dimensin de la imagen es 2, entonces no es un epimorfismo (sobreyectiva).

Conclusin: es un monomorfismo.

Ejemplo 2

Consideremos la transformacin lineal : 22 2 , (( )) = ( + , )

Busquemos su imagen:

( + , ) = . (1,0) + . (1,0) + . (0, 1)

() = {(1,0), (1,0), (0, 1)} () = {(1,0), (0, 1)} dim(()) = 2

Entonces la imagen es 2, y la transformacin es un epimorfismo (sobreyectiva).

Apliquemos el teorema de las dimensiones para conocer la dimensin del ncleo:

dim(()) = dim(22 ) dim(()) = 4 2 = 2

15
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Entonces no es un monomorfismo.

Conclusin: es un epimorfismo.

Ejemplo 3
Consideremos la siguiente transformacin lineal

: 2 1 , ((, )) = 2

Busquemos su ncleo:

2 = 0 + 0. = 0 = 0 () = {(0,0)} dim(()) = 0

Por la propiedad enunciada anteriormente, podemos afirmar que es un

monomorfismo.

Veamos cul es la imagen:

2. () + . () () = {1, } dim(()) = 2

Por lo tanto la imagen es 1 y la transformacin es un epimorfismo (sobreyectiva).

Como es monomorfismo y epimorfismo, entonces es un isomorfismo.

Ejemplo 4
Habr alguna TL que no sea ni monomorfismo, ni epimorfismo? Que no sea ni
inyectiva ni sobreyectiva?

Consideremos la siguiente TL que analizamos en el ejemplo 2 de Imagen de una TL:

+
: 3 22 , ((, , )) = ( )
0 +

Vimos que = {(1, 1,1)}, as que no es un monomorfismo.

1 1 1 0
Vimos que = {( ),( )}, as que no es un epimorfismo.
0 0 0 1

Conclusin: existen TL que no son ni monomorfismos ni epimorfismos.

Propiedad
Sea : una TL., () = () =

Puede afirmarse que: es inyectiva es sobreyectiva es biyectiva

Sugerimos al lector demostrar esta propiedad, teniendo en cuenta que:

es inyectiva () = {0 } () = 0

16
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Ejemplo
Dada la TL : 3 3, (, , ) = ( + + , 2 + , 3 + ) , encontrar todos los
valores de para los cuales es biyectiva (isomorfismo).

Resolucin

Como la TL va de 3 a3, es suficiente analizar para qu valores de k es inyectiva (o

sobreyectiva).

Por inyectividad

Si pensamos en la inyectividad, tenemos que buscar que el ncleo sea {(0,0,0)}. Es

decir que el sistema

++ =0
{ 2 + = 0
3 + = 0

tiene que ser compatible determinado. Hemos visto que un sistema de ecuaciones
. = es compatible determinado det() 0, as que planteamos esta condicin
para hallar los valores de :

1 1 1 3
|0 2 1| = 1. (2 3) 0
2
0 3
3
Luego , 2 la transformacin lineal es biyectiva.

Por sobreyectividad

Si pensamos en la sobreyectividad, tenemos que buscar que la dimensin de la

imagen sea 3 (o sea que la imagen sea R3). Recordemos que los transformados de
una base del dominio generan la imagen:

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

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

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

Como queremos que sea sobreyectiva, los tres vectores que se obtuvieron deben
generar todo 3, as que deben ser LI. Recordemos que:

() 0 () = ()

Apliquemos esta propiedad:

17
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

1 0 0 3
|1 2 3| = 2 3 0
2
1 1
3
As que hemos llegado a la misma conclusin: si 2 la transformacin lineal es
biyectiva.

Resumiendo: no es necesario analizar inyectividad y sobreyectividad separadamente,

ya que una de ellas implica la otra y por lo tanto, que se cumpla una de ellas implica
que la transformacin lineal es biyectiva. Esto slo ocurre cuando el dominio y el
codominio tienen la misma dimensin.

Para pensar:

Si las dimensiones del dominio y del codominio son distintas, la TL puede ser
biyectiva?

Para responder, les sugerimos que consideren dos casos:

i) () > ()

ii) () < ()

EPL 1
Dada la transformacin lineal : 3 3, (, , ) = ( + + , + , 3 )

Hallar en cada caso los valores de para los cuales:

a) es biyectiva.

b) no es biyectiva y (0,1, 1) pertenece a la imagen de .

Teorema fundamental de las

transformaciones lineales
Qu se necesita para definir una transformacin lineal?
Consideremos el siguiente tringulo en 2:

18
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Tringulo 1

Existir alguna transformacin lineal que permita modificar de cierta manera este
tringulo? Por ejemplo, una que transforme el tringulo dado en este otro:

Tringulo 2

O alguna que lo transforme as:

19
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Tringulo 3

O un movimiento como ste:

Tringulo 4

El tringulo 4 no contiene al (0,0), por lo tanto no puede obtenerse aplicando una

transformacin lineal al tringulo 1. Por qu?

20
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Los otros podrn obtenerse mediante una transformacin lineal? Existe alguna
herramienta terica que permita asegurarlo?

S, es el teorema fundamental de las transformaciones lineales.

Teorema fundamental de las transformaciones lineales

Este teorema, conocido tambin como Teorema de existencia y unicidad de una
transformacin lineal, dice lo siguiente:

Sean los espacios vectoriales y W, sea = {1 , 2 , , } una de y 1 , 2 , ,

vectores cualesquiera (iguales o distintos) de . Entonces existe una nica
transformacin lineal que verifica:

(1 ) = 1
(2 ) = 2
{

( ) =

Para demostrarlo habra que demostrar que esa transformacin existe, que es nica, y
que es lineal. No lo vamos a demostrar pero lo pueden encontrar en textos de
lgebra lineal. En el texto recomendado de Ana Mara Kozak y otros autores,
Nociones de Geometra Analtica y Algebra Lineal, est en pgina 561 y siguientes.

Ejemplo 1
Sean = 2 y = 3

Consideremos en la base = {(1,0), (1,1)}, y sean 1 = 2 = (0,1,0)

De acuerdo con el teorema, existe una nica transformacin lineal : 2 3 que

verifica:

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

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

Cmo buscamos la frmula de la transformacin lineal?

Tomamos un vector genrico de 2 y lo escribimos como combinacin lineal de la

base, o sea buscamos sus coordenadas respecto de B:

= + =
(, ) = (1,0) + (1,1) { { =
=

Los escalares , son las cordenadas del vector (, ) en la base :

[(, )] = ( )

21
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Donde recordemos que la escritura [(, )] significa las coordenadas del vector
(, ) en la base ".

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

Aplicamos la transformacin lineal a ambos miembros:

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

Por las propiedades de las transformaciones lineales,

(, ) = . (1,0)
+ . (1,1)

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

Reemplazamos y :

(, ) = ( ). (0,1,0) + (0,1,0)

(, ) = (0, , 0) + (0, , 0)

((, )) = (0, , 0)

Hemos obtenido la frmula de la transformacin lineal que cumple con las

condiciones.

Ejemplo 2
Vamos a ver si podemos transformar el tringulo del esquema de la izquierda, en el
tringulo del esquema que est a la derecha:

Nosotros tenemos que dar una base de 2 y asignarle sus transformados.

Por ejemplo consideremos los versores cannicos que definen al primer tringulo:

22
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Entonces podramos hacer la siguiente asignacin:

((1,0) ) = (1; 0)

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

Como (1,0), (0,1) constituyen una base del dominio, el teorema fundamental permite
afirmar que existe una nica transformacin lineal que verifica esto:

((1,0) ) = (1; 0)
{ 1
una nica TL que verifica estas condiciones
((0,1) ) = ( ; 1)
2

Para encontrar la frmula de esta trasformacin vamos a escribir a un vector genrico

de 2 como combinacin lineal de los vectores de la base dada:

= =
(, ) = (1,0) + (0,1) { = { =

Ahora aplicamos la transformacin lineal sobre ese vector genrico, y resolvemos

para llegar a una expresin analtica de la transformacin lineal:

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

((, )) = . ((1,0)) + . ((0,1))

1
((, )) = . (1,0) + . ( ; 1)
2

1
((, )) = (, 0) + ( ; )
2

1
((, )) = ( + ; )
2

23
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

En el siguiente archivo de GeoGebra se puede ver el tringulo original, y el

transformado. Tambin se puede redefinir la ubicacin de los puntos del tringulo
original y ver cmo quedara el transformado en cada caso.

HTTP://BIT.LY/AGAGGB017

Ejemplo 3
Halle la expresin analtica de cada una de las siguientes transformaciones (2 2 ):

a) Simetra respecto de la recta = 3

Resolucin

La clave para resolver este ejercicio es elegir una base conveniente para definir la
simetra. Grafiquemos la recta = 3:

Primero hay que entender qu significa una reflexin respecto de una recta.
Supongamos que nos piden una simetra respecto del eje . Si tenemos un cuadrado
as como el rojo, se transforma en un cuadrado como el violeta:

24
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Todos los puntos que pertenecen al eje quedan idnticos. Y los puntos que estn
sobre el eje se transforman en su opuesto. Entonces:

((1,0)) = (1,0)
{
((0,1)) = (0, 1)

Considerando estas ideas sobre simetra, en nuestro caso tomamos un vector que est
sobre el eje de simetra y otro perpendicular a l:

= (1,3) , = (3,1)

Cul es el transformado del vector (1,3) que est sobre el eje de simetra?

(1,3) (1,3)

Cul es el transformado del vector (3,1) que es perpendicular al eje de simetra?

25
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

(3,1) (3, 1)

Entonces:

((1,3)) = (1,3) porque est sobre el eje de simetra

{
((3,1)) = (3, 1) porque es perpendicular al eje de simetra

Ahora queda el problema tcnico de buscar la frmula de esta transformacin lineal:

= 3 3 + 3
(, ) = (1,3) + (3,1) { = =
= 3 + 10 10

Aplico a ambos miembros

((, )) = ((1,3) + (3,1))

Como es transformacin lineal:

((, )) = . ((1,3)) + ((3,1))

+ 3 3
((, )) = ( ) . (1,3) + ( ) (3, 1)
10 10

+ 3 3 + 9 3 9 + 3
((, )) = ( , )+( , )
10 10 10 10

6 8 6 + 8
((, )) = ( , )
10 10

3 4 3 + 4
((, )) = ( , )
5 5

Podemos ver en GeoGebra cmo opera la transformacin:

HTTP://BIT.LY/AGAGGB016

Ejemplo 4
El propsito de este ejercicio es destacar cundo es posible aplicar el teorema
fundamental de las transformaciones lineales. Sugerimos una lectura cuidadosa de
cada uno de los casos presentados a continuacin:

Analizar si existe y es nica la transformacin lineal : 3 3 que verifica:

Caso A

26
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

((1,0,0)) = (0,1,0)
{((0,1,0)) = (0,1,0)
((1,1,1)) = (0,0,0)

Caso B

((1,0,0)) = (0,1,0)
{ ((0,1,0)) = (0,1,0)
((1, 1,0)) = (1,0,0)

Caso C

((1,0,0)) = (0,1,0)
{ ((0,1,0)) = (0,1,0)
((1, 1,0)) = (0,0,0)

Resolucin

Cul es la hiptesis del teorema? O sea, qu debe cumplirse para que el teorema
tenga validez?

Los vectores del dominio deben ser una base, es decir que debemos prestar atencin
en cada caso a los vectores sealados:

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

: {((0,1,0)) = (0,1,0) : { ((0,1,0)) = (0,1,0) : { ((0,1,0)) = (0,1,0)
((1,1,1)) = (0,0,0) ((1, 1,0)) = (1,0,0) ((1, 1,0)) = (0,0,0)

Caso A

En el caso A los tres vectores son base de 3 y entonces podemos aplicar el Teorema
Fundamental de las Transformaciones Lineales. Como lo establece el teorema, se
puede afirmar que existe una nica transformacin lineal que verifica las condiciones
dadas.

Cul es el mecanismo para buscar la frmula?

Consideramos un vector (, , ) y buscamos sus coordenadas respecto de la base de

partida:

(. , ) = (1,0,0) + (0,1,0) + (1,1,1)

=+ =
{ = + { =
= =

Aplicamos la transformacin lineal a ambos miembros:

27
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

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

Y ahora sustituimos las coordenadas obtenidas:

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

((, , )) = (0, , 0) + (0, , 0) = (0, + 2, 0)

((, , )) = (0, + 2, 0)

Caso B

En el caso B, el conjunto de vectores de partida es linealmente dependiente, no es

base de 3. Si no se cumplen las hiptesis de un teorema, ste no puede aplicarse.

Cmo podemos determinar si existe una transformacin lineal que verifique estas
condiciones?

((1,0,0)) = (0,1,0)
{ ((0,1,0)) = (0,1,0)
((1, 1,0)) = (1,0,0)

Lo que define a una transformacin lineal es la conservacin de las combinaciones

lineales. Esto es lo que debemos controlar!

Veamos la diferencia entre el caso B y el C:

Observamos que el tercer vector se puede obtener como combinacin lineal de los
primeros dos:

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

Entonces entre sus transformados debera cumplirse la misma relacin:

?
((1, 1,0)) =
((1,0,0)) ((0,1,0))

?
(1,0,0) =
(0,1,0) (0,1,0) = (0,0,0)

No se conserva la combinacin lineal, entonces no existe una transformacin lineal

que cumpla las condiciones dadas.

Caso C

En el caso C tenemos la siguiente informacin:

28
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

((1,0,0)) = (0,1,0)
{ ((0,1,0)) = (0,1,0)
((1, 1,0)) = (0,0,0)

Tampoco se puede aplicar el TFTL, porque el conjunto de vectores de partida es

linealmente dependiente.

Igualmente podemos preguntarnos: Se conserva la combinacin lineal? Notemos

que el tercer vector es la diferencia del primero con el segundo:

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

Aplicamos la transformacin lineal suponiendo que se conservan las combinaciones

lineales:

?
((1, 1,0)) =
((1,0,0)) ((0,1,0))

Reemplazando:
?
(0,0,0) =
(0,1,0) (0,1,0) = (0,0,0)

Lo cual es verdadero. Entonces podemos concluir que existe la transformacin lineal

aunque no quede unvocamente determinada por la informacin disponible. Para
definir una TL bastara con establecer cull es el transformado de un tercer vector LI
con (1,0,0) y (0,1,0).

Agreguemos un dato nuevo para que quede bien definida:

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

Existe una TL que cumpla con las condiciones iniciales ms sta que acabamos de
agregar?

Llamemos:

1 ((1,0,0)) = (0,1,0)
{1 ((0,1,0)) = (0,1,0)
1 ((0,0,1)) = (0,0,1)

Ahora 1 queda bien definida y podramos hallar su frmula.

Cmo podran definir una transformacin 2 distinta de 1 que tambin cumpla con
las condiciones iniciales?

Resumamos lo que obtuvimos analizando estos tres casos:

29
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Caso A: La transformacin lineal existe y es nica.

Caso B: No existe, no se conservan las combinaciones lineales.
Caso C: Existe pero no es nica, no podemos encontrar una frmula porque la
transformacin lineal no qued definida.

Ejemplo 5
Halle la expresin analtica de cada una de las siguientes transformaciones 3 3:

a) Reflexin respecto del plano =

Resolucin

Este ejercicio requiere elegir una buena base.

Una grfica del plano = se puede ver a continuacin:

El arte para resolver este ejercicio es elegir tres vectores linealmente independientes
que sepamos en qu se transforman.

Cul es el simtrico de un vector que est sobre el plano? El mismo vector. Entonces
podemos elegir dos vectores no paralelos incluidos en el plano:

(1 ) = 1

(2 ) = 2

Y si tomamos un vector perpendicular al plano, digamos 3 , en que se transforma?

(3 ) = 3

30
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Ahora debemos elegir 1 , 2 y 3 de acuerdo con el plano dado.

Proponemos:

1 = (1,1,0)

2 = (0,0,1)

3 = (1, 1,0)

Donde los vectores 1 y 2 estn en el plano y el vector 3 es perpendicular al plano.

De esta forma sabemos cmo se transforman:

((1,1,0)) = (1,1,0)
{ ((0,0,1)) = (0,0,1)
((1, 1,0)) = (1,1,0)

Ya queda definida la transformacin lineal sobre una base del dominio. Dejamos a
cargo del lector encontrar la frmula de la TL.

Les proponemos que definan la TL sobre otra base con las mismas caractersticas: dos
vectores del plano y uno perpendicular a l. Luego busquen la expresin analtica,
coincide con la anterior?

Los vectores no son nicos: 1 y 2 son dos vectores cualesquiera (LI) del plano y 3 es
un vector perpendicular cualquiera. No importa cules elijamos, obtendremos la
misma transformacin lineal.

EPL 2
Definir una transformacin lineal de 3 22 que verifique las dos condiciones
que siguen:

i) () = { (1,1,0) } , ii) () = { 22 = }

Obtener la frmula de la transformacin definida.

Observacin: este ejercicio no es de respuesta nica.

Matriz asociada a una transformacin lineal

Ejemplos introductorios
Ejemplo 1
Sea la siguiente transformacin lineal:

31
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

: 2 3 | ((, )) = ( + 2, , )

Existir una matriz que multiplicada por (, ) d por resultado ( + 2, , )?

Para esto vamos a escribir los vectores como columna:

+ 2
. ( ) = ( )

Cul debera ser el tamao de la matriz?

+ 2
( ).( ) = ( )


21
32 31

Efectuando el producto de matrices, podemos obtener los coeficientes de :

1 2 + 2
(1 1) . ( ) = ( )
0 1

21
32 31

Encontramos una matriz que realiza la transformacin lineal. Se conoce como la

matriz estndar de la transformacin lineal.

Notemos que la transformacin va de 2 a 3, y que el orden de la matriz es 3 2.

Ejemplo 2
Ahora consideremos la siguiente transformacin lineal:

: 3 2 | ((, , )) = ( + 2, )

Queremos buscar una matriz tal que:

+ 2

. () = ( )

31 21

Pensando el orden de la matriz y el valor de sus elementos llegamos a:

1 0 2 + 2
( ) . () = ( )
0 1 0

23 21
31

32
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Hemos hallado de manera intuitiva la matriz estndar de la transformacin lineal.

Notemos que la transformacin va de 3 a 2 y que el orden de la matriz asociada a
la transformacin lineal es 2 3.

Construccin de la matriz asociada a una TL

Hemos visto ejemplos de cmo surge a partir del producto de matrices, la matriz
estndar de una transformacin lineal de a . En lo que sigue intentaremos
generalizar para cualquier espacio vectorial de dimensin finita, el concepto de
matriz asociada a una transformacin lineal. Aun en el caso de TL en , veremos que
no siempre la matriz estndar es la ms conveniente.

Sea : transformacin lineal, y

dim() =

dim() =

= {1 , 2 , , }

= {1 , , }

Designamos:

() a la matriz asociada a la transformacin lineal respecto de las bases y .

Esta matriz se construye por columnas transformando los vectores de la base (del
dominio), y expresando los transformados en sus coordenadas en la base :

() = ( [( )] [( )] [( )] [( )] )

La matriz asociada tiene columnas porque la base tiene vectores, y tiene filas
porque las coordenadas en se escriben con componentes.

O sea que si () = y () = , ()

Propiedad
La matriz asociada a una transformacin lineal cumple la siguiente propiedad:

() [] = [()]

Ejemplo 3
Retomemos la transformacin lineal:

: 2 3 | ((, )) = ( + 2, , )

Consideremos las siguientes bases para el dominio y codominio:

33
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

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

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

Construyamos la matriz asociada a la transformacin de la base a la base , es

decir ():

4
((0,1)) = (2, 1,1) = (1,0,0) + (1,1,0) + (0,1,1) [((0,1))] = (2) 1 columna
1

4
((1,1)) = (3,0,1) = (1,0,0) + (1,1,0) + (0,1,1) [((1,1))] = (1) 2 columna
1

4 4
() = (2 1)
1 1

Dado un vector cualquiera, aunque no conozcamos la frmula, conociendo la matriz

y las dos bases podemos calcular su transformado. Vamos a tomar un vector
cualquiera de 2 y lo transformamos sin mirar la frmula.

Hallemos ((3,5)) mediante la matriz asociada () :

()[] = [()]

No podemos operar con (3,5) porque la matriz asociada opera con coordenadas.
Debemos buscar las coordenadas de (3,5) en la base .

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

Multiplicamos la matriz por las coordenadas que obtuvimos,

4 4 20
2
(2 1) ( ) = (7)
3 5
1 1 []
() [()]

El vector obtenido no es el transformado del vector (3,5) sino que son sus
coordenadas en la base .

Para hallar (3,5) debemos multiplicar las coordenadas obtenidas por los vectores de
la base B:

((3,5)) = 20(1,0,0) 7(1,1,0) + 5(0,1,1)

((3,5)) = (13, 2, 5)

Ahora en lugar de tomar estas bases, tomemos las bases cannicas de 2 y de 3.

34
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Busquemos ()23 dnde:

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

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

El procedimiento es el mismo pero las cuentas son ms fciles

1
((1,0)) = (1,1,0) = (1,0,0) + . (0,1,0) + . (0,0,1) (1) 1
0

2
((0,1)) = (2, 1,1) = . (1,0,0) + . (0,1,0) + . (0,0,1) (1) 2
1

Estos vectores hay que expresarlos en coordenadas respecto de la base cannica de

R3, pero justamente por tratarse de la base cannica, el vector y sus coordenadas son
iguales. Entonces resulta:

1 2
()2 3 = (1 1) = !
0 1

Es decir que la matriz estndar es la que trabaja con las bases cannicas.

Ejemplo 4
Consideremos la siguiente transformacin lineal:

1 2
: 2 1 | () = ( )
1 2

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

= {1, 1 }

a) Hallar ((2,1))
b) Hallar la frmula de la transformacin lineal
c) Hallar el ncleo de la transformacin lineal
d) Hallar la imagen de la transformacin lineal
e) Hallar la imagen de la transformacin pero sin utilizar la frmula de la
transformacin lineal
f) Hallar el ncleo de la transformacin sin utilizar la frmula

Resolucin

tem a

No tenemos la frmula. Tenemos que trabajar con la matriz asociada. Qu

propiedad tiene la matriz asociada?

35
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

() . [] = [()]

Donde:

[] : son las coordenadas del vector en la base

[()] : son las coordenadas del transformado del vector en la base
(): es la matriz asociada a la transformacin lineal en bases y

Las matrices asociadas no operan con los vectores, sino con las coordenadas de los
vectores en alguna base. Entonces no podemos multiplicar la matriz por el vector
(2,1).

Para operar, tenemos que encontrar las coordenadas de (2,1) en la base :

1
(2,1) = (1,0) + (1,1) =1 =1 [(2,1)] = ( )
1

Ahora multiplicamos por la matriz y obtenemos las coordenadas en del

transformado de (2,1):

1 2 1 3
[((2,1))] = ( )( ) = ( )
1 2 1 3

Qu objeto esperamos obtener como imagen de esta transformacin? Un vector

de 2? No, esperamos obtener un polinomio de grado menor o igual que uno.

Para obtener F(2,1) debemos multiplicar estas coordenadas por los vectores de la
base :

((2,1)) = 3.1 + 3. (1 ) = 6 3

tem b

En el tem (a) buscamos la imagen del vector (2,1). Ahora nos proponemos obtener la
frmula de la transformacin, esto significa encontrar la imagen de cualquier vector
(, ) de 2. Teniendo en cuenta que en el polinomio usamos la variable ,
llamaremos (, ) a los vectores de R2.

Busquemos ((, )) tal como buscamos ((2,1)):

=+ =
(, ) = (1,0) + (1,1) { {
= =

[(, )] = ( )

1 2 +
[((, ))] = ( )( )=( )
1 2 +

36
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

stas son las coordenadas del vector que estamos buscando. Falta multiplicar por los
vectores de la base B:

((, )) = ( + ). 1 + ( + )(1 ) = 2 + 2 ( + ).

sta es la frmula de la transformacin lineal.

Ahora podemos hallar base y dimensin de ncleo e imagen.

tem c

La definicin de ncleo dice que son los vectores del dominio que se transforman en
el vector nulo del codominio.

( + ) + 2( + ) = 01 = 0 + 0

+ =0
{ =
+ =0

1
() = {(, ) 2 } = {( )} dim(()) = 1
1

tem d

Por el teorema de las dimensiones:

dim(()) = dim(2 ) dim(()) = 1

Queremos una base de la imagen. En qu espacio vectorial est la imagen? En 1.

Recordemos que los transformados de una base (cualquiera) del dominio, generan la
imagen de la transformacin lineal:

((1,0)) = 2

((0,1)) = 2

Entonces Cul es una base de la imagen de la transformacin lineal?

= {2 }

Veamos que la imagen no depende de la base del dominio que elijamos. Por
ejemplo tomemos la base :

((1,0)) = 2

((1,1)) = 4 2

{ 2 , 4 2 } generan ()

37
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

= {2 }

tem e

No es necesario buscar la frmula para obtener la imagen. Las columnas en la matriz

nos dan las coordenadas en la base de los transformados de una base del
dominio:

1 2
() = ([(1 )] [(2 )] ) = ( )
1 2

Entonces:

((1,0)) = 1.1 + 1. (1 ) = 2

(1,1) = 2.1 + 2(1 ) = 4 2

Luego:

() = {2 , 4 2}

Cmo 4 2 es combinacin lineal de 2 podemos quedarnos con la siguiente

base:

() = {2 }

tem f

Y para el ncleo sin la frmula? Queremos hallar los 2 tales que al aplicarles la
transformacin den por resultado el polinomio nulo:

() = 01

1 2 0 2
( ) ( ) = ( ) + 2 = 0 [] = ( )
1 2 0 1
() [] [01 ]

stas son las coordenadas en la base de una base del ncleo:

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

Ejemplo 5
Vamos a retomar el ejercicio 8, tem a, de pgina 40 que deca:

Halle la expresin analtica de la siguiente transformacin:

Simetra respecto de la recta = 3, 2 2

En un ejemplo anterior habamos obtenido la frmula de la transformacin lineal:

38
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

4 3 3 4
((, )) = ( + ; + )
5 5 5 5

La matriz estndar (referida a la base cannica de2), () es la siguiente:

4 3

() = ( 5 5)
3 4
5 5

Observacin: cuando se trata de las bases cannicas para simplificar la notacin se

escribe () en lugar de () .

Veamos si podemos hallar una representacin matricial ms sencilla para esta

simetra.

Qu significa una simetra respecto de la recta = 3? Recordemos que el

transformado de un vector que est sobre la recta es el mismo vector, y el
transformado de un vector perpendicular a la recta es su opuesto.

Armemos una base de 2 formada por un vector v sobre la recta ( = 3 ) y un

vector w perpendicular a dicha recta. Por ejemplo:

= {(1,3), (3,1)}

1
((1,3)) = (1,3) = 1. (1,3) + 0(3,1) [(1,3)] = ( )
0

0
((3,1)) = (3, 1) = 0. (1,3) + (1). (3,1) [(3,1)] = ( )
1

Cul es la matriz asociada a la transformacin lineal en esta nueva base?

39
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

1 0
() = ( )
0 1

Eligiendo una base conveniente, pudimos caracterizar la simetra mediante una matriz
diagonal. Continuaremos desarrollando este tema en la prxima unidad (autovalores
y autovectores).

EPL 3
Dada la transformacin lineal de 3 a 1 cuya matriz asociada es:

1 0 1
() = ( )
1 0 0

siendo = {(1,0,0) , (1,1,0) , (1,0,1)} y = { 1 , } bases de 3 y 1 respectivamente.

a) Hallar una base del ncleo de . A partir de la base obtenida, es posible afirmar
que es sobreyectiva? Por qu?

b) Hallar todos los 3 tales que () = 1 + .

El rango es igual a la dimensin de la imagen

Recordemos que:

1. () = ([(1 )] , , [( )] )
2. {(1 ), , ( )} generan ()

Para obtener una base de () tenemos que determinar cuntos son LI. Se puede
demostrar que en {(1 ), , ( )} habr tantos vectores LI como columnas LI en la
matriz.

Dado que el rango de una matriz es el nmero de columnas LI, entonces el rango de
la matriz asociada a la transformacin lineal respecto de las bases y es igual a la
dimensin de la imagen de la trasformacin lineal.

(()) = (())

Observacin: La dimensin de la imagen no depende de las bases elegidas, por esto

el rango tampoco depende de ellas.

EPL 4
Sea : 2 3 una transformacin lineal tal que su matriz estndar es:

1 2
() = (1 ) 32
0 1

40
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

a. Probar que es inyectiva (monomorfismo) para todo perteneciente a los

reales.
b. Hallar el valor de tal que (1, 1, 4) pertenezca a la imagen de la
transformacin.

Composicin e inversa de transformaciones

lineales
Composicin de transformaciones lineales
Sean y dos transformaciones lineales tales que:

: ; :

() (())

: | () = (())

Propiedad: la composicin de transformaciones lineales, es una transformacin lineal.

Ejemplo
: 2 3 | ((, )) = ( , + , 2)

: 3 2 | ((, , )) = ( , + )

Hallar la frmula de y , indicando en cada caso dominio y codominio.

41
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

: 2 2 , ((, )) = (( , + , 2))

= ( (2) , + + 2) = ( , 3 + )

: 3 3 , ((, , )) = (( , + ))

= ( ( + ), + ( + ), 2 2) = ( 2, + , 2 2)

Con qu operacin de matrices se relaciona la composicin de transformaciones

lineales?

Busquemos las matrices estndar:

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

1 0 1
() 23 , () = ( )
0 1 1

Recuerden que cuando no colocamos subndices, significa que es la matriz estndar,

referida a las bases cannicas.

Calculemos los productos:

1 1 1 1 2
1 0 1
(). () = (1 1 ) ( ) = (1 1 0)
0 1 1
2 0 2 0 2

1 1
1 0 1 1 1
(). () = ( ) (1 1 ) = ( )
0 1 1 3 1
2 0

Ahora hallemos la matriz de y la matriz de a partir de las respectivas frmulas:

1 1 2
() = (1 1 0)
2 0 2
1 1
() = ( )
3 1

Entonces hemos comprobado, con un caso particular, que:

42
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

() = (). ()

() = (). ()

Es decir que la composicin de transformaciones lineales se expresa matricialmente a

travs de un producto de matrices.

Matriz asociada a la composicin de transformaciones lineales

Sean y dos transformaciones lineales tales que:

: ; :

Y sean 1 , 2 , 3 bases de , y respectivamente, entonces se puede demostrar

que:

()13 = ()2 3 . ()12

Inversa de una transformacin lineal

Sea : una transformacin lineal biyectiva (isomorfismo), entonces existe la
transformacin inversa:

1 : tal que 1 () = () =

1 tambin es una transformacin lineal biyectiva:

1 =

1 =

43
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Observacin: Para que exista una transformacin lineal biyectiva entre dos espacios
vectoriales, stos deben tener la misma dimensin. Por qu?

Ejemplo
Sea la transformacin lineal : 2 1 , ((, )) = + 2

Cul es el ncleo de ?

=0
+ 2 = 0 + 0 { =0=
2 = 0

() = {(0,0)}

Cul es la imagen de ?

((1,0)) = 2 + 1

((0,1)) = 1 + 0

Estos dos polinomios son LI o LD? Son LI, y por lo tanto la dimensin de la imagen es 2.

La imagen vive en 1, entonces:

() = 1

Comprobamos que es un isomorfismo, entonces existe la transformacin lineal

inversa

1 : 1 2

((1,0)) = 2 + 1

((0,1)) = 1 + 0

Entonces:

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

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

Est bien definida 1? S, porque {2 + 1, 1} es una base de 1 (TFTL).

Matriz de la transformacin inversa

Sea : isomorfismo, dim() = dim() = , y () la matriz asociada a
T respecto de las bases B y B.

Recordemos que el rango de la matriz asociada es igual a la dimensin de la imagen.

Como T es isomorfismo, () = y por lo tanto: ((() ) =

44
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Entonces () es inversible y su inversa es la matriz de 1 respecto de las bases

y :

(() ) = ( )

En el siguiente esquema se puede observar cmo operan las matrices () y

( 1 ) :

( )
[ ] [()]

( 1 )B B
Caso particular: = = ,

= () = ( )

Ejemplo
Sea : 3 3 una TL, tal que (, , ) = ( + , , ), hallar la frmula de 1.

Resolucin

Construyamos la matriz asociada a la TL en las bases cannicas:

1 1 0
() = = (1 0 1)
0 0 1

Sabemos que 1 ser la matriz asociada a la TL inversa:

0 1 1
( 1 ) = 1 = (1 1 1)
0 0 1

Y a partir de la matriz estndar de la TL inversa podemos hallar la frmula de la TL

inversa:

1 : 3 3 , 1 ((, , )) = ( + , , )

EPL 5
Dadas las transformaciones lineales:

de 3 2 , (, , ) = ( , + ) y de 2 3 , (, ) = ( + , 0, 2 + )

a) Determinar todos los valores de para los cuales es biyectiva (isomorfismo).

45
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

b) Para = 1, obtener ( ) (1,0).

Matriz de cambio de base

Queremos construir una matriz que nos permita cambiar las coordenadas de un
vector en una base por las coordenadas del mismo vector en otra base.

Consideremos en un espacio vectorial la funcin identidad, que transforma cada

vector en s mismo. Dejamos a cargo del lector demostrar que es una T.L.

: | () =

Observacin: Si = , la funcin identidad es () = .

Tomemos un par de bases del mismo espacio vectorial :

= {1 , , }

= {1 , , }

Construyamos ahora la matriz asociada a la transformacin lineal identidad:

() = ([1 ] , , [ ] )

Recordemos que:

() [] = [()]

En el caso particular de la transformacin identidad, teniendo en cuenta que () =

, resulta:

() . [] = []

Qu efecto produce esta matriz? Cambia las coordenadas, o sea el sistema de

referencia. No transforma el vector pues () = .

() se denomina matriz de cambio de base de a .

Qu rango tiene esta matriz? Tiene rango ya que sus columnas son LI por ser
coordenadas de vectores de una base de .

Por ser () de rango , es inversible.

Qu efecto produce la matriz inversa? Nos permite volver a la primera base, como
lo indica el siguiente esquema:

46
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

()
[ ] [ ]

()
Si = () entonces 1 = () .

Ejemplo 1
Consideremos las siguientes bases de 2:

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

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

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

a) Hallar ()1 2
b) Hallar ()1
c) Hallar ()1

Resolucin

tem a

Se construye la matriz de cambio de base buscando las coordenadas en la base 2

de los vectores de la base 1.

()1 2 = ([1 ]2 [2 ]2 )

Busquemos las coordenadas de (1,0) en la base 2:

(1,0) = . (0,1) + . (1,1)

= 1 = 1

1
[(1,0)]2 = ( )
1

Busquemos las coordenadas de (1,3) en la base 2:

(1,3) = . (0,1) + . (1,1)

=2 =1

2
[(1,3)]2 = ( )
1

1 2
()1 2 = ( )
1 1
47
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

tem b

Se construye la matriz de cambio de base buscando las coordenadas en la base

de los vectores de la base 1.

()1 = ([1 ] [2 ] )

Pero las coordenadas en base cannicas son las mismas componentes del vector.
Podemos verificarlo para (1,0):

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

Entonces las coordenadas de (1,0) en la base cannica son justamente (10):

1
[(1,0)] = ( )
0

Para el vector (1,3) podemos escribir:

1
[(1,3)] = ( )
3

As que la matriz de cambio de base resulta:

1 1
()1 = ( )
0 3

Que podemos decir que se construy ubicando a los vectores de la base 1 =

{(1,0), (1,3)} como columnas de la matriz.

tem c

Se pide que hallemos ()1 , pero segn hemos visto esta matriz es la inversa de
()1 :

1
1 3 1 1
()1 = .( )=( 3)
3 0 1 1
0
3

Ejemplo 2
1 1
Sean 1 y 2 bases de 2 tales que =( ) es la matriz de cambio de base de
0 3
1 a 2 .

a. Si []1 = (1
4
) calcular []2
b. Si []2 = (35) calcular []1
c. Si 1 = {(1,3), (0,4)}, obtener la base 2. Es nica?

48
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Resolucin

tem a

Segn la propiedad de la matriz de cambio de base:

1 1 1 3
. []1 = []2 []2 = ( ).( ) = ( )
0 3 4 12

Podemos determinar cul es el vector ? No, porque no tenemos informacin sobre

las bases.

tem b

Ahora es en sentido contrario:

3
[]2 = ( ) []1 =?
5
14
1 1 [] 3
. []1 = []B2 ( ) . = ( ) [] = ( 3 5)
0 3 5 3

tem c

En este punto nos dan la base 1:

1 = {(1,3), (0,4)}

Puede determinarse 2?

Sabemos que:

((1,3)) = (1,3)

((0,4)) = (0,4)

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

1 1
= ()1 B2 = ([1 ]B2 [2 ]B2 ) = ( )
0 3

Queremos obtener:

2 = {1 , 2 }

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

49
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

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

Quiere decir que si tenemos como dato la matriz de cambio de base, podemos
determinar la base 2 a partir de la base 1 y viceversa.

Cmo afecta un cambio de base a la matriz

asociada a una TL
En este apartado nos interesa estudiar cul es la relacin entre dos matrices
asociadas a una misma transformacin lineal, pero que estn expresadas en bases
diferentes.

Sean:

: una transformacin lineal

1 , 3 bases de
2 , 4 bases de
la transformacin lineal identidad en el espacio vectorial
la transformacin lineal identidad en el espacio vectorial

Qu relacin existe entre ()1 2 y ()3 4 ? Cmo se podra a partir de una

de ellas calcular la otra?

Por las propiedades de las matrices asociadas a una TL, puede afirmarse que:

()12 []1 = [()]2

()34 []3 = [()]4

( )31 []3 = []1

( )24 [()]2 = [()]4

Si el lector ley cuidadosamente las igualdades anteriores, estar convencido de que

son vlidas (si no est convencido, sugerimos consultar por el foro). Las relaciones
enunciadas pueden verse convenientemente en el siguiente esquema:

50
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

()12
[]1 [()]2

( )31 ( )24

[]3 [()]4

()34

De todo esto es posible deducir que:

()34 = ( )24 . ()12 . ( )31

Caso particular de a
Nos interesa especialmente el caso de las TL : , y la relacin entre la matriz
estndar y otra matriz asociada () , con base de . Volvamos a construir el
esquema para este caso particular:

()
[] [()]

= ( ) 1 = ()

[] [()]

()

51
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

Habamos visto que:

()34 = ()2 4 . ()1 2 . ()3 1

En este caso particular la expresin queda:

() = () . () . ()

Por lo tanto:

() = () donde = ()

Ejemplo
2 2

1 3
() = ( )
2 2

= {(1,1, ), (3, 2)}

Queremos encontrar () .

Calculamos la matriz de cambio de base:

1 3
= () = ( )
1 2

Buscamos su inversa:

1 2 3
1 = () = ( )
5 1 1

Entonces resulta:

4 0
() = 1 . () . = ( )
0 1

Observemos que en esta base , la matriz asociada es diagonal.

Dada una TL en , cundo es posible hallar una base de modo que la matriz
asociada en esa base resulte diagonal? La respuesta la encontraremos en la prxima
unidad.

EPL 6
a) Eligiendo una base adecuada, definir una transformacin lineal : 3 3 que
represente la simetra (reflexin) respecto del plano : = 0 .

b) Hallar si es posible, una base de 3 de modo que la matriz asociada a sea:

52
AGA Virtual Segundo cuatrimestre 2015 Unidad 5

1 0 0
() = (0 1 0 )
0 0 1

Sugerencia: si = {1 , 2 , 3 }, cules son los transformados de los vectores de ?

(Tener en cuenta cmo se construye () ).

c) Obtener la matriz de respecto de la base cannica de 3.

53