81

CAPTULO 5
TRANSFORMACIONES LINEALES
5.1 INTRODUCCIN
Una vez presentada la estructura de espacio vectorial nos concentraremos en las funciones que
conservan las operaciones que caracterizan dicha estructura, nos referimos a la suma de vectores
y al producto de un escalar por un vector.
Recordemos que en el captulo 1 nos detuvimos en la consideracin de un tipo particular de
funciones de n en m a las cuales denominamos transformaciones lineales. Consideramos
como tales a las funciones para las cuales las componentes de la correspondiente de una n- pla
son combinacin lineal de las componentes de dicha n-pla y probamos posteriormente que una
funcin f : n m es una transformacin lineal si y solo si verifica:
1) f x y f x f y x, y n
2) f x f x , x n
Observemos que estas dos proposiciones pueden plantearse para cualquier funcin de dominio un
espacio vectorial V y codominio un espacio vectorial W definidos sobre un mismo cuerpo.
Esto ltimo nos permitir generalizar el concepto de transformacin lineal.
Definicin
Consideremos V y W dos espacios vectoriales sobre un mismo cuerpo K y
T : V W una funcin.

T (u v) T (u ) T (v) u, v V
Decimos que T es una transformacin lineal
T ( v) T (v) K v V
Observacin
Las dos condiciones de la definicin pueden sustituirse por:
T ( u v) T (u) T (v) , K u, v V
Ejemplos
1) T :

2) T :

3) T :

Analicemos si las siguientes funciones son transformaciones lineales.

3 definida por T ( x, y) ( x y, x y, x)

definida por T ( x, y, z ) ( x y, z 1)

definida por T ( x) a x b con a, b

4) T : V V definida por T (v) v (la funcin identidad, siendo V un espacio vectorial dado)
5) T : V W definida por T (v) (la funcin nula, con V y W espacios vectoriales dados)

81

82
1) T :

tal que T ( x, y) ( x y, x y, x)

T ( x, y) ( x, y) T x x, y y x x y y, x x ( y y ), x x
( x y) ( x y), ( x y) ( x y), x x
( x y), ( x y), x ( x y), ( x y), x x y, x y, x x y, x y , x
T ( x, y) T ( x , y ) , ( x, y ) ( x , y )

, ,

En consecuencia T es una transformacin lineal

2) T :

tal que T ( x, y, z ) ( x y, z 1)

T ( x, y, z) ( x, y, z) T x x, y y, z z x x y y, z z 1
Por otra parte

T ( x, y, z) T ( x, y, z ) ( x y, z 1) ( x y, z 1) x y x y, z z
Entonces

T ( x, y, z) ( x, y, z ) T ( x, y, z) T ( x, y , z ) x x y y , z z 1
x x y y x x y y
x y x y , z z
1
z z 1 z z
As que T ( x, y, z) ( x, y, z) T ( x, y, z) T ( x, y, z) no se cumple para todo ,
Por lo tanto T no es una transformacin lineal.
3) T :

tal que T ( x) a x b con a, b

T x x a x x b ax ax b
Por otra parte T ( x) T ( x) (ax b) (ax b) ax b ax b
En consecuencia
T x x T ( x) T ( x) ax ax b ax b ax b b b b b ( )b
Y esta ltima igualdad se cumple para todo ,

si y slo si b 0 .

En resumen T es una transformacin lineal si y slo si b 0 .

82

83
4) T : V V tal que T (v) v

T u v u v T (u) T (v) , K , u, v V .
Entonces la funcin identidad es una transformacin lineal.
5) T : V W tal que T (v) .

T ( u v)

T ( u v) T (u ) T (v) , K , u, v V .
T (u) T (v)
Por lo tanto la funcin nula es una transformacin lineal.
Proposicin
Si T : V W es una transformacin lineal entonces se tiene:
1) T (V ) W
2) T (v) T (v) v V
3) T (u v) T (u) T (v) u, v V
Dem:

1) T V T 0.V 0.T V W .

2) y 3) quedan a cargo del lector.

Nota
En

el

ejemplo

2),

T:

tal

que

T ( x, y, z ) ( x y, z 1) ,

como

T (0,0,0) (0,1) (0,0) , se tiene que T no es una transformacin lineal.

Este razonamiento es mucho ms breve que el que realizamos y nos permite realizar tambin el
anlisis pedido.

5.2 NUCLEO E IMAGEN

Consideramos T : V W una transformacin lineal. Queremos analizar si T es inyectiva.
Por ser una transformacin lineal T (V ) W en consecuencia en caso de que T sea inyectiva V
sera la nica preimagen de W .
Es cierto el recproco? En otras palabras: Si V es la nica preimagen de W , entonces T es
inyectiva?

83

84
En principio podemos pensar que la respuesta es negativa ya que podra haber otro vector que no
sea el nulo que tuviese ms de una preimagen. Supongamos que existe w W tal que w tiene
preimgenes distintas v y v . Entonces T (v) T (v) w T (v) T (v ) W T (v v ) W .
De aqu que v v es una preimagen de W distinta de V (ya que v v ).
As que pese a nuestro primer pronstico una transformacin lineal es inyectiva si y slo si la
nica preimagen del nulo es el nulo. Es razonable entonces darle un nombre al conjunto de las
preimgenes del nulo. Conjunto que llamaremos ncleo. Por otra parte, una transformacin
lineal es sobreyectiva si y solo si su recorrido coincide con el codominio. Al recorrido de una
transformacin lineal lo denominaremos imagen. Ms precisamente:
Definicin

Sea T : V W una transformacin lineal. Llamamos ncleo de T (anotamos N (T ) )

al conjunto de los vectores de V cuyo transformado es el vector nulo de W. Es decir
N (T ) v V / T (v) .
Denominamos imagen de T (anotamos Im(T ) ) al recorrido de la funcin T. O sea

Im(T ) w W : v V con T (v) w

Ejemplo
Pretendemos hallar ncleo e imagen de T :

tal que T ( x, y) ( x y, x y, x)

x y 0

( x, y ) N (T ) T ( x, y ) ( x y, x y, x) (0, 0, 0) x y 0
x0

x y0

Entonces N (T ) (0,0)
( x, y, z ) Im(T ) (a, b)

/ T (a, b) ( x, y, z ) . Pero T (a, b) (a b, a b, a) .

Entonces
( x, y, z ) Im(T ) (a, b)

ab x

tal que a b y (a, b)

az

Para que el sistema sea compatible se debe tener

En consecuencia Im(T ) ( x, y, z)

x y
z o lo que es lo mismo x y 2 z 0 .
2

/ x y 2z 0 .

84

a x 2 y

tal que b x 2 y .

a z

85
Proposicin
H) T : V W transformacin lineal

1) N (T ) es un subespacio de V
T)
2) Im(T) es un subespacio de W

Dem:
1) Observemos que: N (T ) V y adems como T (V ) W se tiene V N (T ) .
N (T ) es un subespacio sii u v N (T ) , u, v N (T ) , , K .

Ahora u v N (T ) sii T u v .

u N (T ), T (u)
T u v T (u ) T (v) , K .
v N (T ), T (v)
Entonces u v N T , , K y u, v N (T ) . Por lo tanto N (T ) es un subespacio
vectorial.
2) Por definicin Im(T ) W y adems como T (V ) W se tiene W Im(T ) .
Demostrar que Im(T ) es un subespacio equivale a probar: w w I m (T ,) , K ,
w, w Im(T ) .
Ahora w w Im(T ) sii w w tiene preimagen en V.

w Im(T ), v V / T (v) w
w w T (v) T (v) T v v , , K .
w Im(T ), v V / T (v) w
En consecuencia w w tiene preimagen v v , , K , w, w Im(T ) .
Por ende w w Im(T ) , , K , w, w Im(T ) y entonces Im(T ) es un subespacio.
Proposicin

T : V W una transformacin lineal. Entonces T es inyectiva N (T ) .

La demostracin est esbozada al comienzo de la presente seccin y la dejamos a cargo del

lector.
Ejercicio
Sea T : V W una transformacin lineal.
g
V
Probar que si B

g
Im(T ) ( T ( B ) es
(B es generador de V) , entonces T ( B)

generador de Im(T ) ).

85

86
Nota
La proposicin demostrada en el ejercicio anterior nos brinda una forma ms eficiente de
encontrar al subespacio imagen de una transformacin lineal.
Ilustrmoslo volviendo a hallar la imagen de T : 2 3 definida por T ( x, y) ( x y, x y, x) .
Como B (1,0),(0,1) es un generador de

tenemos que T ( B ) es un generador de Im(T ) .

Pero T ( B) T (1,0), T (0,1) (1,1,1),(1, 1,0) .

As que Im(T ) L(1,1,1),(1, 1,0) .
Verifique L (1,1,1),(1, 1,0) ( x, y, z)

/ x y 2z 0

Ejercicio
Consideramos T1 :
2

T2 :

definida por T ( x, y, z ) (2 x z, x y)

tal que T ( x, y) ( x, y, x y) , Id : V V tal que Id (v) v , v V y :V W

definida por (v) , v V .

Hallar ncleo e imagen de cada una.
Teorema de la dimensin
Consideramos V y W espacios vectoriales sobre un mismo cuerpo K,
V de dimensin finita y T : V W transformacin lineal.
Entonces:
dim(V ) dim N (T ) dim Im(T )
Dem:
Llamemos n a la dimensin de V y d a la del N (T ) . Como N (T ) es un subespacio de V
entonces 0 d n Probmoslo en el caso de que 0 d n .
Consideramos v1 , v2 ,

, vd una base del N (T ) que por serlo es un conjunto LI de V pudiendo

entonces completarlo hasta obtener una base del espacio V.

Sea v1 , v2 , , vd , vd 1 , , vn la base de V construida a partir de v1 , v2 ,
probar que T (vd 1 ),

n
dimV

, vd . Si llegamos a

, T (vn ) es una base de Im(T), se tiene: dim Im(T ) n d

dim Im(T ) que es justamente a donde queremos llegar.

dim N (T )

Por el ejercicio que aparece al final de la pgina 83 podemos afirmar que

T v1 , ,T vd ,T (vd 1), , T (vn ) es un generador de Im(T ) y como T v1 T vd ,
entonces T (vd 1 ),

, T (vn ) es un generador de Im(T ) .

86

87
Nos falta probar que T (vd 1 ),

, T (vn ) es LI.
nT (vn ) . Tenemos: T d 1vd 1

Consideramos d 1T (vd 1 )

n vn

d 1vd 1

n vn N (T ) , por ende puede escribirse como combinacin lineal de

v1 ,

Es

, vd .

d 1vd 1

n vn 1v1

d 1

En

decir

si

1 ,

escalares
n vn 1v1

d 0 ya que v1 , v2 ,

d 1T (vd 1 )

efectivamente T (vd 1 ),

existen

d vd d 1vd 1

n 1

resumen

que

, vd , vd 1 ,

nT (vn ) d 1

, d

tales

que

d vd

, vn es LI.

n 0 ,

probando

as

que

, T (vn ) es LI.

Dejamos como ejercicios los casos d 0 y d n .

Vimos que una transformacin lineal transforma un generador del dominio en un generador de la
imagen. Ahora Un conjunto LI se transforma siempre en un conjunto LI?
Consideramos T : V W una transformacin lineal y A v1 , , vn un conjunto LI de V.
Analicemos la dependencia lineal de T ( A) T (v1 ),

nT (vn ) T 1v1

1T (v1 )

, T (vn ) para ello tomamos:

n vn 1v1

Si T fuese inyectiva N (T ) y por lo tanto 1v1

A v1 ,

, vn es LI podemos concluir que 1

n vn N (T ) .

n vn , teniendo en cuenta que

n 0 y en consecuencia T ( A) es un

conjunto LI.
As que una transformacin lineal inyectiva transforma un conjunto LI en un conjunto LI.
Faltara por analizar que ocurre si la transformacin no es inyectiva. Sea T : V W una
transformacin lineal siendo V y W espacios de dimensiones n y m respectivamente y adems
n m . Si

T ( A) T (v1 ),

consideramos

A v1 ,

, vn un conjunto LI de V podra ocurrir que

, T (vn ) sea un conjunto de n elementos y por lo tanto necesariamente LD.

Por otra parte observemos que si n m (las dimensiones del dominio y codominio coinciden),

T es inyectiva y B v1 ,
T (B) T (v1 ),

, vn es una base de V (y por lo tanto un conjunto LI), entonces

, T (vn ) es un conjunto LI de W con n elementos y por lo tanto una base. As

que una transformacin lineal inyectiva entre espacios de la misma dimensin transforma base en
base.
Analicemos ms profundamente estas vinculaciones.

87

88
Proposicin
Consideramos V y W espacios vectoriales de la misma dimensin sobre un mismo
cuerpo K y T : V W una transformacin lineal. Las siguientes proposiciones son equivalentes:
1) T es sobreyectiva
2) T es biyectiva
3) T es inyectiva.
4) Si B es una base de V entonces T ( B ) es una base de W.
Dem:

1) 2) Faltara demostrar que T es inyectiva. Sea n la dimensin de V y W.

Sabemos que T es sobreyectiva, por tanto Im(T ) W y se tiene dim Im(T ) n .
Adems dimV dim N (T ) dim Im(T ) dim N (T ) 0 N (T ) . Concluimos que T
n

es inyectiva.

2) 3)

Inmediato.

3) 4)

Consideramos B v1 , v2 ,

Queremos probar que T ( B) T (v1 ), T (v2 ),

, vn base de V.
, T (vn ) es base de W.

Comencemos por demostrar que es LI.

Sea 1T (v1 ) 2T (v2 ) nT (vn ) ; tenemos T (1v1 2v2
1v1 2 v2

n vn )

n vn N (T ) .

Ahora N (T ) puesto que T es inyectiva. En consecuencia 1v1 2 v2

que 1 2

n 0 ya que v1 , v2 ,

n vn por lo

, vn es un conjunto LI.

Puesto que T ( B ) tiene n elementos se tiene que es una base de W.

4) 1)

Pretendemos demostrar que T es sobreyectiva, es decir w W , v V / T (v) w .

Consideramos B v1 , v2 ,

, vn una base de V.

Por hiptesis sabemos que T ( B) T (v1 ), T (v2 ),

, T (vn ) es una base de W.

En consecuencia: w W , w 1T (v1 ) 2T (v2 )

nT (vn ) y entonces

w T 1v1 2v2 ... nvn .

As que todo vector w tiene preimagen. Entonces T es sobreyectiva.

88

89

5.3 REPRESENTACIN MATRICIAL DE UNA TRANSFORMACIN LINEAL

Sabiendo de que

f:

es una transformacin lineal y que

f (1, 2) (3, 1) y

f (0,1) (1, 2) , queremos hallar la imagen de otro par de reales ( x, y ) .

Si logramos escribir ( x, y ) como combinacin lineal de (1, 2),(0,1) al conocer las imgenes de
los dos vectores de este conjunto y ser f una transformacin lineal, podremos hallar f ( x, y ) .

x
x
( x, y) (1, 2) (0,1)

2 y
y 2x
As que ( x, y) x(1, 2) ( y 2x)(0,1)

f ( x, y) f x(1, 2) ( y 2x)(0,1)

f ( x, y) x f (1, 2) ( y 2 x) f (0,1) x (3, 1) ( y 2 x) (1, 2) ( x y, 5 x 2 y) .

En este caso particular pudimos hallar la imagen de cualquier vector del dominio conociendo
solamente las imgenes de una base del mismo. El procedimiento que hemos utilizado es
fcilmente generalizado. Cuando definimos una transformacin lineal indicando solamente los
correspondientes de los vectores de una base decimos que la extendemos linealmente.
Ejercicio
Sea T : P2

la transformacin lineal definida por T (1) (1,0) , T ( x) (1,1) y

T ( x 2 ) (0, 0) . Hallar una frmula para T (ax 2 bx c ) .

Generalicemos el ltimo ejemplo en la siguiente proposicin.

Proposicin
Sean V y W dos K-espacios vectoriales, B v1 , v2 ,

w1 , w2 ,

, vn una base de V y

, wn W . Entonces existe una nica transformacin lineal T : V W tal que

T (vi ) wi , i de 1 a n.

Dem:
Existencia
Como
v 1v1 2 v2

1 ,2 , ,n

B v1 , v2 ,

, vn

es

una

base

de

n vn . Definimos T : V W tal que T (v) 1w1 2 w2

V,

v V ,

n wn siendo

las coordenadas de v en la base B . Pretendemos probar que T es la

transformacin lineal buscada.

89

90

Para ello debemos demostrar que T es transformacin lineal y que T (vi ) wi i de 1 a n .

Comencemos por probar que es transformacin lineal.

Si u tiene coordenadas x1 , x2 ,

, xn u x1v1 x2 v2

Si v tiene coordenadas y1 , y2 ,

, yn v y1v1 y2 v2

u v x1v1 x2 v2

xn vn y1v1 y2 v2

u v x1 y1 v1 x2 y2 v2

xn vn

yn vn

yn vn

xn yn vn . Entonces las coordenadas

x1 y1 , x2 y2 , , xn yn
T ( u v) x1 y1 w1 x2 y2 w2 xn yn wn
T ( u v) x1 w1 x2 w2 xn wn y1 w1 y2 w2 yn wn .

de

u v

en

la

base

son

T (u )

se

tiene

T (v )

As que T ( u v) T (u) T (v) siendo este razonamiento vlido , K y u, v V .

Demostremos ahora que: T (vi ) wi , i de 1 a n.

Las coordenadas de vi en la base B son 0, ,0, 1 ,0,

lugar i

T (vi ) 0w1 0wi 1 1.wi 0wi 1 0wn wi .

,0 y entonces

Unicidad
Suponemos que existe una transformacin lineal T : V W tal que T (vi ) wi i de
1 a n. Si v tiene coordenadas x1 , x2 ,

T (v) T x1v1 x2 v2
T (v) x1 w1 x2 w2

, xn , tenemos v x1v1 x2 v2

xn vn x1T (v1 ) x2T (v2 )

xn vn

xnT (vn )

xn wn T (v) , proposicin vlida v V . Entonces T T .

El teorema anterior nos afirma que una transformacin lineal queda determinada (en el sentido de
que existe y es nica ) conociendo las imgenes de una base del dominio.
Observacin
Consideramos V y W espacios vectoriales de dimensin finita sobre un mismo
cuerpo K, dimV n y dimW m . B v1 , v2 , , vn es una base de V y B w1 , w2 , , wm
una base de W. T : V W es una transformacin lineal.

90

91
Como dijimos anteriormente T est determinada una vez que conocemos T (v1 ), T (v2 ),

, T (vn ) o

lo que es equivalente sus coordenadas en la base B .

Entonces si:

T (v1 ) a11 w1 a21 w2

T (v2 ) a12 w1 a22 w2

am1 wm
am 2 wm

........................................................
T (vn ) a1n w1 a2 n w2 amn wm

a11 a12

a
a22
Conocer T es conocer la matriz 21

am1 am 2
en las bases B y B ' . Anotaremos B ' (T ) B
Observemos que la primera columna de

B'

a1n

a2 n
que denominaremos matriz asociada a T

amn

(T ) B est formada por las coordenadas de T (v1 ) en la

base B ' , la segunda columna por las coordenadas de T (v2 ) en la base B ' ,..., la n-esima columna
por las coordenadas de T (vn ) en la base B .
Tambin observemos que esta definicin es consistente con la vista en el captulo 1, refirindonos
en aquel momento a la matriz asociada en las bases cannicas. Para esto veamos el siguiente
ejemplo.
Ejemplo
Consideramos T : 3 2 definida por T ( x, y, z ) (2 x z, x y)
1) Hallar la matriz asociada a T en las bases cannicas.
2) Hallar B ' (T ) B con B (1,1,1),(1,1,0),(1,0,0) y B ' (1,2),(0, 1) .

T (1, 0, 0) (2,1) que tiene coord. (2,1) en C

1) T ( x, y, z ) (2 x z , x y ) T (0,1, 0) (0,1) que tiene coord. (0,1) en C .

T (0, 0,1) ( 1, 0) que tiene coord. (-1,0) en C

2 0 1
En consecuencia C (T )C
.
0
1 1
Lo cual coincide exactamente con lo hecho en el captulo 1.

91

92
2

2) Comencemos por hallar las coordenadas de un vector cualquiera de

en la base B .

x
x
( x, y) (1, 2) (0, 1)

2 y
2x y
As que las coordenadas de ( x, y) en la base B son ( x, 2 x y ) .

T (1,1,1) (1, 2) que tiene coord. (1,0) en B '

T ( x, y, z ) (2 x z, x y ) T (1,1, 0) (2, 2) que tiene coord. (2,2) en B '

T (1, 0, 0) (2,1) que tiene coord. (2,3) en B '

En consecuencia

B'

1 2 2
(T ) B
.
0 2 3

Nota
Consideramos T : V W una transformacin lineal. Llamamos A (ai j ) B ' (T ) B ,
X a las coordenadas de u en la base B e Y a las coordenadas de T u en la base B'.
Queremos ver si existe alguna relacin entre A, X e Y.
Si X x1 , x2 ,

, xn , u x1v1 x2 v2

xn vn T u x1T (v1 ) x2T (v2 )

xnT (vn ) . (*)

a1 j

a2 j
Como A (ai j ) B ' (T ) B la j-sima columna de A , son las coordenadas de


amj

T v j en la base B' . Por ende T v j a1 j w1 a2 j w2

T u x1 a11w1 a21w2

amj wm . Sustituyendo en (*) nos queda:

am1wm x2 a12 w1 a22 w2

am2 wm

xn a1n w1 a2n w2

amn wm

Desarrollando y agrupando convenientemente llegamos a que:

T u a11 x1 a12 x2

a1n xn w1 a21 x1 a22 x2

a2 n xn w2

am1 x1 am2 x2

Por lo tanto las coordenadas de T u en la base B ' son :

x a12 x2

11 1

a1n xn , a21 x1 a22 x2

a2n xn ,

92

, am1 x1 am2 x2

amn xn

amn xn wm

93
Como a las coordenadas de T u en la base B ' les llamamos Y = y1 , y2 ,

, ym y las

coordenadas de un vector en una base son nicas tenemos:

y1 a11 x1 a12 x2

a1n xn

y2 a21 x1 a22 x2

a 2 n xn

..............................................
ym am1 x1 am 2 x2 amn xn

Resultado que podemos expresar:

y1 a11 a12

y2 a21 a22


ym am1 am 2

a1n x1

a2 n x2


amn xn

O ms sintticamente Y A X .
Verifiquemos esta conclusin en el ejemplo inmediato anterior.
Recordemos que T :

1 2 2
tal que T ( x, y, z ) (2 x z, x y) tiene A B ' (T ) B

0 2 3

con B (1,1,1),(1,1,0),(1,0,0) y B ' (1,2),(0, 1) .

Comencemos por hallar las coordenadas de u ( x, y, z ) en la base B.

x, y, z 1,1,1 1,1, 0 1, 0, 0

x
z

y
yz
z
x y

Entonces X y z .
x y

Ahora las coordenadas de T u en la base B' (a las que llamamos Y) las obtengo de multiplicar
A por X.

z
1 2 2
1.z 2.( y z ) 2.( x y ) 2 x z
Y AX
y z

0 2 3 x y 0.z 2.( y z ) 3.( x y ) 3 x y 2 z

2x z
Si las coordenadas de T u en la base B= (1, 2),(0, 1) son
entonces
3x y 2 z

T u T x, y (2x z) (1, 2) (3x y 2z) (0, 1) (2x z, x y) .

93

94
Definicin
Sea T : V W una transformacin lineal. Si T es una funcin biyectiva decimos que
es un isomorfismo de V en W y que V y W son isomorfos.
isomorfismos tambin reciben el nombre de automorfismos.

En caso de que V W los

Ejercicios
1) Probar que

y P2 son isomorfos.

2) Consideramos V un espacio vectorial de dimensin n sobre K , B una base de V y T : V K n

tal que a cada vector de V le hace corresponder sus coordenadas en la base B . Demostrar que T
es un isomorfismo.
Proposicin
Sean V y W espacios vectoriales de dimensin finita sobre un mismo cuerpo K.
Entonces V y W son isomorfos si y slo si dimV dimW .
Dem:

Partimos de la hiptesis de que V y W son isomorfos y queremos llegar a que tienen

la misma dimensin.

Si V y W son isomorfos existe una transformacin lineal biyectiva T : V W .

Consideramos B v1 , v2 ,.

, vn una base de V.

Queremos probar que T ( B) T (v1 ), T (v2 ),

, T (vn ) es una base de W.

Comencemos por demostrar que es un conjunto LI.

Sea 1T (v1 ) 2T (v2 ) nT (vn ) . Tenemos que T 1v1 2 v2
aqu 1v1 2 v2

1v1 2 v2

n vn y de

n vn N (T ) . Por ser T inyectiva sabemos que N (T ) y por lo tanto

n vn . Como v1 , v2 ,

, vn es LI, 1 2

n 0 .

Lo que demuestra que T ( B ) es LI. Probemos ahora que es un generador de W.

Para todo w W existe v V tal que T (v) w pues T es sobreyectiva. Teniendo en cuenta que

B v1 , v2 ,

, vn es una base de V podemos afirmar que existen escalares 1 , 2 ,

tales que v 1v1 2 v2

, n K

n vn .

Entonces w T (v) T 1v1 2 v2

n vn 1T (v1 ) 2T (v2 )

As que T B es un generador de W. Por lo tanto T ( B) T (v1 ), T (v2 ),

W y concluimos que dimW n dimV .

94

T (vn ) .

, T (vn ) es una base de

95

Partimos ahora de la premisa de que V y W tienen la misma dimensin. Teniendo la

intencin de concluir que son isomorfos.

Consideramos B v1 , v2 ,

, vn una base de V y B ' w1 , w2 ,

, wn una de W.

Sabemos que una transformacin lineal queda determinada una vez conocidas las imgenes de
una base de su dominio. Consideramos una transformacin lineal T : V W tal que T (vi ) wi

i de 1 a n. La proposicin de la pgina 86 nos permite asegurar que T es biyectiva por lo cual

es el isomorfismo buscado.
Nota
Obsrvese que la prueba del directo es igual a la de 3 4 de la proposicin de la pgina 86
pese que aqu no tenemos la hiptesis dimV dimW .

5.4 OPERACIONES CON TRANSFORMACIONES LINEALES

Ya que las transformaciones lineales son funciones cuyo codominio es un espacio vectorial es
posible hablar de suma de transformaciones lineales y de producto de un escalar por una
transformacin lineal. Anlogamente a lo hecho para transformaciones lineales de n en m se
demuestra:
Proposicin

V y W espacio vectorial sobre un mismo cuerpo K

H ) f , g transformaciones lineales de V en W
K

T ) f g y . f son transformaciones lineales de V en W.

Nota
Anotamos L(V ,W ) al conjunto de todas las

transformaciones lineales que pueden

definirse de V en W. La notacin consistente con la ya utilizada en la primera unidad.

Proposicin

L(V ,W ), , K , es un espacio vectorial.

Demostracin a cargo del lector.

95

96
Teorema
Consideramos V y W K-espacios vectoriales, dimV n , dimW m y B y B ' son
bases de V y W respectivamente y se define F : L(V ,W ) Mmn ( K ) por F (T ) B ' (T ) B .
Entonces F es un isomorfismo entre L(V ,W ) y M mn ( K ) .
Dem:
Comencemos por demostrar que F es una funcin biyectiva. Su condicin de funcin es
consecuencia inmediata de la definicin de matriz asociada. Dada una transformacin lineal y
una vez prefijadas bases para el dominio y el codominio, dicha definicin nos asegura que la
matriz asociada existe y es nica. La biyectividad es consecuencia de que una transformacin
lineal queda determinada (en el sentido de que existe y es nica) una vez asignadas las imgenes
de una base del dominio. Seamos ms explcitos:
F inyectiva

T T ,

Si

T (v j ) T (v j )

para

algn

de

coord T (v j ) coord T (v j ) . Tenemos pues que la j-sima columna de

B'

B'

de la j-sima columna de

B'

T B

n,
B'

por

T B

tanto

es distinta

y entonces F (T ) F (T ) .

F sobreyectiva
Para toda matriz A (ai j ) M mn ( K ) , existe una transformacin lineal T : V W
tal que

B'

T B A

pues siempre existe una transformacin lineal una vez que le asignamos

imgenes a una base del dominio.

En este caso T (vk ) a1k w1 a2 k w2

am k wm k de 1 a n.

Nos queda demostrar que F conserva las operaciones. En otras palabras que la matriz asociada a
una suma es la suma de las matrices asociadas y que la matriz asociada al producto de un escalar
por una transformacin lineal es el producto del escalar por la matriz asociada como sucede para
transformaciones de n en m .
F T T

B'

T T B C (cij )

siendo la j-esima columna de C las coordenadas de

T T (v j ) en la base B ' .
F T B ' T B A (ai j ) siendo la j-esima columna de A las coordenadas de T (v j )
base B ' . Por ende T (v j ) a1 j w1 a2 j w2
F T

B'

T B D (dij )

en la

am j wm .

siendo la j-esima columna de D las coordenadas de T (v j ) en la

base B ' . Por ende T (v j ) d1 j w1 d 2 j w2

d m j wm .

96

97

w a

Entonces: T T (v j ) T (v j ) T (v j ) a1 j w1 a2 j w2

d1 j w1 d2 j w2

dm j wm a1 j d1 j

2j

am j wm

d2 j w2

Por lo tanto coord T T (v j ) a1 j d1 j , a2 j d 2 j ,

B'

am j dm j wm .

, am j d m j cij aij dij

C A D F T T F T F T proposicin vlida T , T L V ,W .
Anlogamente se demuestra que F T F T , F L V ,W y K .
Corolario

L V ,W es un espacio de dimensin finita y dim L V ,W dimV .dimW .

Proposicin

T : U V transformacin lineal
S T : U W es una transformacin lineal.
S : V W transformacin lineal
Dem:
S T u u S T u u T es t.l. S T (u) T (u ) S es t.l. S T (u) S T (u

S T (u) S T (u ) , , K , u, u U .
Ejercicio
T

Probar que si T : V W es una transformacin lineal biyectiva entonces

: W V es una transformacin lineal biyectiva.

Observacin
Conociendo las matrices asociadas a S y a T pretendemos hallar la matriz asociada a
S T . Consideramos V, U y W espacios de dimensin finita sobre un mismo cuerpo K,

D v1 , v2 ,

, vn una base de V, D u1 , u2 ,

, u p una base de U, D w1 , w2 ,

base de W. T : V U es una transformacin lineal, notemos B (bi j )

D'

T D

, wm una

(observemos

que B M pn ( K ) ). S : U W es una transformacin lineal, notemos A (ai j )

(observemos que A M m p ( K ) ).

Queremos hallar C ci j

D ''

T D

S T
97

D ''

S D '

98

La j-sima columna de C est formada por las coordenadas de S T (v j ) en la base D''.

Ahora S T (v j ) S T (v j )
Como B (bi j )

D'

T D , tenemos T (v j ) b1 j u1 b2 j u2

bpj u p ; sustituyendo nos queda

p
p
bpj u p S bkj uk bkj S (uk ) .
k 1
k 1
Teniendo en cuenta que A (ai j ) D '' S D ' , se tiene S (uk ) a1k w1 a2 k w2 amk wm .

S T (v j ) S T (v j ) S b1 j u1 b2 j u2
p

k 1

k 1

Sustituyendo obtenemos S T (v j ) bkj S (uk ) bkj a1k w1 a2 k w2

amk wm .

Desarrollando y agrupando convenientemente nos queda:

S
T
(
v
)

a
b
w

a
b
w

j 1k kj 1 2k kj 2
amk bkj wm por ende las coordenadas de
k 1

k 1

k 1

p
p

S T (v j ) en la base D '' son a1k bkj , a2k bkj , , amk bkj .

k 1

k 1

k 1
p

Por lo tanto cij aik bkj .

k 1

En consecuencia sigue en pie que la matriz asociada a la compuesta es el producto de las matrices
asociadas.
Ms precisamente: si V, U y W son espacios vectoriales de dimensin finita sobre un mismo
cuerpo K, D, D' y D'' bases de V, U y W respectivamente, T : V U y S :U W dos
transformaciones lineales, entonces D ''( S T ) D D ''( S ) D ' . D '(T ) D .
Proposicin
Consideremos V un espacio vectorial de dimensin finita, B una base de V,
T : V V un operador lineal y A B (T ) B . Entonces A es invertible sii T es invertible y adems
A1 B (T 1 ) B .

Dem:

En este caso nuestra tesis es que T es invertible; lo que es equivalente a demostrar

que es biyectiva. Dominio y codominio coinciden y por ende tienen la misma dimensin.

98

99
En consecuencia probar que es biyectiva equivale a probar que es inyectiva o lo que es lo mismo
que N (T ) .
Si x V anotamos X coord x B e Y coord T x B .
0
0
0
0



1
1
1
x N (T ) T x Y AX A AX A A A X
0
0
0
0




0
0


I .X X x .
0
0

Por lo tanto N (T )

Ahora partimos de la premisa de que T es invertible, por tanto existe T 1 : V V

transformacin lineal tal que T 1 T T T 1 Id

T
1

T B B T B . B T 1 B I .

Si llamamos D

T
1

T
B

T 1
B

Id B

tenemos que existe D Mnn ( K ) tal que A.D D.A I lo que nos

asegura que A es invertible y adems que A1

T
1

5.5 MATRICES DE CAMBIO DE BASE

Consideremos V un espacio vectorial de dimensin finita, B v1 ,

, vn y B v1 ,

, vn

bases de V. Sea x V un vector cuyas coordenadas en B y B son X y X respectivamente.

Veamos si podemos establecer una frmula que nos lleve de X a X y de X a X.
Sean f : V V tal que f (vi ) vi y g : V V tal que g (vi) vi para i de 1 a n, extendidas
linealmente. En definitiva f es la transformacin lineal que lleva la base B a la base B y g la que
lleva B a B.
Denominamos P B f B y P B g B .
Si X x1, x2 ,

x x1v1 x2 v2

, xn son las coordenadas de x en la base B , entonces

n

j 1

j 1

xn vn xj vj xj f (v j ) .

99

100
Por otra parte si P ( ai j ) , las coordenadas de f (v j ) en la base B forman la j-sima columna de
n

an j vn . Como x x j f (v j ) , sustituyendo

la matriz P. Por lo tanto f (v j ) a1 j v1 a2 j v2

j 1

nos queda:

x x j a1 j v1 a2 j v2
n

j 1

an j vn a1 j x j v1 a2 j x j v2
j 1

j 1

an j x j vn .
j 1

n
n
En consecuencia las coordenadas de x en la base B son a1 j xj , a2 j x j ,
j 1
j 1

anteriormente habamos llamado X x1 , x2 ,

a1 j xj
j 1
a x a x
x1 n

11 1 12 2

x
a2 j x j a21 x1 a22 x2
X 2 j 1

an1 x1 an 2 x2
x
n
n

an j xj
j 1

, an j x j que
j 1

, xn y por lo tanto:

a1n xn a11 a12

a2 n xn a21 a22

ann xn an1 an 2

a1n x1

a2 n x2
.
.


ann xn

As que X P. X .
Observemos que P

Id B '

y P

Id B

P '.P

Id B B Id B ' B ' Id B ' I

donde P P 1
Adems: X P. X P1 X P1 P.X X P 1 X P . X .
P se denomina matriz de cambio de base de B a B y P matriz de cambio de base de B a B.
Ejemplo
En

consideramos las bases B (1,1),(0,1) y B (1,0),(2,1) .

1) Hallar las coordenadas de x a, b en la base B y en la base B.

2) Determinar las matrices de cambio de base.
3) Verificar en este caso particular las igualdades recin mencionadas.

a
a
1) (a, b) (1,1) (0,1)
por lo tanto X a, b a .

b
ba

100

de

101

2 a
2b a
. As que X 2b a, b .
(a, b) (1,0) (2,1)

2) Acabamos de ver que la matriz de cambio de base de B a B , a la cual denominamos P, es la

matriz asociada a f en la base B, siendo f la transformacin lineal que transforma la base B en la
base B .

f (1,1) (1,0) 1 .(1,1) 1 .(0,1)

P
f (0,1) (2,1) 2 .(1,1) 1 .(0,1)

g (1,0) (1,1) 1 .(1,0) 1 .(2,1)

P
f (2,1) (0,1) 2 .(1,0) 1 .(2,1)

1 2
.
1 1

f B

B'

1 2
.
1 1

g B'

2 2b a 2b a 2b a
1
3) P. X
.

X
1 1 b 2b a b b a
1 2 a a 2b 2a 2b a
P. X
.

X
1 1 b a a b a b

5.6 MATRICES SEMEJANTES

Consideremos V un espacio vectorial de dimensin finita, D y D ' bases de V y T :V V un
operador lineal. Sean A

T D

y B

D'

T D ' .

Analicemos si existe una vinculacin "algebraica" entre A y B.

Sea x V , denominamos X a sus coordenadas en la base D y X' a sus coordenadas en D ' .
Tambin llamamos Y e Y a las coordenadas de T x en las bases mencionadas. P es la matriz
de cambio de base de D a D' y P' la de D' a D. Ilustremos la situacin con el siguiente diagrama
que podemos leer como sigue: para pasar de X a Y multiplicamos A. X , etc.
A
Y
X

P1

P
B
X

Y
101

102

Ahora Y BX

1
BX ' P APX ' .
Tambin Y P Y P AX P APX '
Como esto se cumple para cualquier vector x, X' es cualquier vector columna y de esto se deduce
que B P1 AP . Justifique con detalle este hecho!
As que si A y B representan a un mismo operador lineal existe P invertible tal que B P1 AP .
Ms precisamente si A D T D y B D ' T D ' existe P invertible tal que B P1 AP y P es la
1

matriz de cambio de base de D a D ' .

Definicin
Sean A, B M nn ( K ) .
Decimos que A es semejante a B si existe P M nn ( K ) , P invertible tal que B P1 AP .
Anotamos A B .
Proposicin
La semejanza de matrices es una relacin de equivalencia.
Demostracin a cargo del lector.
Teorema
Dos matrices son semejantes si y slo si representan al mismo operador lineal
Dem:

A, B Mnn ( K )
H)
A B

T) A y B representan al mismo operador lineal .

Consideramos V un espacio vectorial de dimensin n sobre el cuerpo K, D ' una base de V y

T : V V el operador lineal tal que D ' T D ' B .
Por hiptesis A B P M nn ( K ) invertible / B P 1 AP .
Tomamos ahora g : V V operador lineal tal que

D'

g D ' P1 .

Como P1 es invertible g es biyectiva y por lo tanto transforma bases en bases.

Denominamos D a g D ' . En consecuencia P1 es la matriz de cambio de base de D' a D.
Consideramos ahora al operador lineal S : V V tal que
Intentaremos probar que T S

102

S D A .

103
Ahora: T S T x S x x V

x V llamemos X a las coordenadas de x en la base D , X a las coordenadas de x en la base

D ' , Y a las coordenadas de T x en la base D , Y a las coordenadas de T x en la base D', Z a
las coordenadas de S x en la base D , Z a las coordenadas de S x en la base D'.
Y BX P 1 AP X P 1 A PX P 1 AX P 1 Z Z Y Z
x

T x S x x V T S .
Por lo tanto A y B representan al mismo operador lineal.

Ya fue demostrado inmediatamente antes de la definicin de matrices semejantes.

5.7 ESPACIO COCIENTE

En el curso de Fundamentos de Matemtica definimos en
la relacin de congruencia mdulo
n. Recordemos esto brevemente: dado un natural no nulo n, decimos que un entero a es
congruente con un entero b mdulo n si la diferencia a b es un mltiplo de n y notamos este
hecho por a b md n . No es difcil probar que para todo n la relacin congruencia mdulo n
es una relacin de equivalencia en
y que el conjunto cociente (as llamamos al conjunto de las
clases de equivalencia) tiene exactamente n elementos.
Es ms, si notamos con n al conjunto cociente podemos definir en l una suma y un producto
de modo que

conserve en algn sentido la estructura algebraica de

x a la clase de equivalencia del entero x y definiendo

x. y x .y podemos probar que esta suma y este producto estn bien

Ms precisamente notando con

x y x y

definidos (es decir que el resultado de la operacin no depende de los representantes elegidos en
cada clase) y adems que n , , es un anillo conmutativo con elemento unidad al igual que
.
Veamos que las operaciones estn bien definidas.
1) Si x x ' y y y ' debemos probar que x y x ' y ' .

x x ' y y y ' x x ' es mltiplo de n y y y ' es mltiplo de n. Por lo tanto

x x ' y y ' es mltiplo de n y reagrupando se obtiene x y x ' y ' es mltiplo de
n y por ende x y x ' y ' md n x y x ' y ' como queramos.

103

104
2) Si x x ' y y y ' debemos probar que x . y x '. y ' . En realidad basta probar que si

x x ' se tiene x . y x '. y . Para esto tenemos que x x ' x x ' es mltiplo de n y
por lo tanto x x ' . y es mltiplo de n y de aqu que x . y x '. y es mltiplo de n y entonces
x . y x '. y md n x . y x '. y como queramos.
Examinando con atencin las demostraciones anteriores se observa que en 1) se utiliza que la
suma de dos mltiplos de n es un mltiplo de n y que en 2) se utiliza que el producto de un
mltiplo de n por un entero cualquiera es un mltiplo de n. Adems es necesario tener en cuenta
que 0 es mltiplo de n (para probar la propiedad reflexiva) y que si x es mltiplo de n tambin lo
es x (para probar la simtrica).
En resumen, que la congruencia mdulo n es una relacin de equivalencia y que n , , es un
anillo conmutativo con elemento unidad con estas operaciones es consecuencia de que el
conjunto de los mltiplos de n cumple las siguientes propiedades:
i) la suma de dos mltiplos de n es un mltiplo de n
ii) 0 es mltiplo de n
iii) si x es mltiplo de n tambin lo es x
iv) el producto de un mltiplo de n por un entero cualquiera es un mltiplo de n.
Estas propiedades son las caracterizan a un ideal de .
Esto es: se dice que un subconjunto I de
es un ideal de
si la suma de dos elementos de I es
un elemento de I, 0 es un elemento de I, si x es un elemento de I tambin lo es x y el producto
de un elemento de I por un entero cualquiera es un elemento de I.
De la discusin anterior resulta que si definimos en
la relacin a b si a b I , entonces
es una relacin de equivalencia y es posible definir operaciones tiles en el conjunto cociente.
Es nuestra intencin repetir esta construccin en el contexto de espacios vectoriales.
Queremos encontrar subconjuntos S de un espacio vectorial V que jueguen el papel de los ideales
en ; o sea que si definimos la relacin en V u v si u v S se tenga que
es una relacin
de equivalencia y que es posible definir operaciones tiles en el conjunto cociente.
De la definicin de subespacio se deduce que las cuatro propiedades requeridas para un ideal de
se cumplen si ponemos en lugar de I un subespacio S sustituyendo 0 por el vector nulo y el
producto en por el producto por un escalar.
Comencemos entonces con la siguiente proposicin:

104

105
Proposicin
Sea V un K-espacio vectorial y S un subespacio de V. Definamos u v si u v S .
1) Entonces es una relacin de equivalencia.
V
2) Si notamos
al conjunto cociente y definimos en l la suma y el producto por un escalar
S
como sigue: u v u v y u u , entonces las operaciones estn bien definidas.

V
es un K-espacio vectorial con las operaciones definidas en 2) al que llamamos espacio
S
cociente.
4) Sea : V V definida por (v) v . Entones es una transformacin lineal
S
sobreyectiva y N ( ) S .
3)

Dem:
1) A cargo del lector.
2) Si u u ' y v v ' debemos probar que u v u ' v ' .

u u '

v v '

u u ' v v ' S
reagrupando se obtiene u v u ' v ' S y por ende u v u ' v ' como queramos.
Para el producto por un escalar si v v ' y K , debemos probar que v v ' .
Veamos, v v ' v v ' S v v ' S v v ' S v v ' .
y

u u ' S y v v ' S . Por lo tanto

3) La verificacin de las propiedades de espacio vectorial es como siempre tediosa. veremos slo
algunas de ellas. Comencemos con la conmutativa de la suma.
u v u v v u v u . Obsrvese que en la primera y ltima igualdad se utiliz la
definicin de suma en

V
mientras que en la igualdad restante se utiliz la propiedad conmutativa
S

de la suma en V.
Veamos ahora que u v u v , u , v

V
, K .
S

En efecto u v u v u v u v u v u v .
Dejamos al lector la tarea de justificar cada una de las igualdades de la cadena anterior, as{i como
tambin la verificacin de las dems propiedades.
Note que y que v v .

105

106
4) La linealidad de es consecuencia inmediata de la definicin de las operaciones en

V
y la
S

sobreyectividad es inmediata. Veamos que N ( ) S .

Se tiene: v N ( ) (v) v v S v S lo que prueba la igualdad
deseada.
Ejemplos
1) Sean V

, S x, y

: y 0 . Dado un vector v de V, hallemos v .

Notemos v a, b . Por definicin u v sii u v S . Si escribimos u x, y , tenemos que

u v S sii existe un real c tal que u v c,0 . Esto es x a, y b c,0 o lo que es lo

mismo x a c y y b . La primera igualdad no nos aporta en realidad ninguna informacin.
Concluimos entonces que u v sii y b . Dicho en palabras la clase de v est formada por
aquellos vectores cuya segunda coordenada coincide con la de v.

Como se ve en la figura, los elementos del

V
espacio cociente
se pueden representar
S
como rectas horizontales (es decir paralelas
a S ).

v
a

2) Sean V

, S x, y

: y 2 x . Dado un vector v de V, hallemos v .

Igual que en el ejemplo anterior notemos v a, b y u x, y . u v u v S

c / x a, y b c, 2c c / x, y a, b c, 2c .
Es decir que la clase de v est formada por vectores que se obtienen trasladando la recta y 2 x
(o sea es subespacio S) segn el vector v.
S

v
Por lo tanto al igual que en ejemplo
anterior los elementos del espacio
V
cociente
se pueden representar
S
como rectas paralelas a S .

106

107
Entre los subespacios de un espacio vectorial V se encuentran los ncleos de transformaciones
lineales de dominio V. El siguiente resultado nos brinda informacin sobre el espacio cociente
cuando tomamos como subespacio el ncleo de una transformacin lineal.
Proposicin
Sea T : V W una transformacin lineal. Entonces V N (T ) Im(T ) .
Dem:
Sea T : V N (T ) W definida por T v T v . Probemos que T est bien definida, que
es inyectiva y que Im(T ) Im(T ) .
En efecto u v u v N T T u v T u T v y T est bien definida.

T u v T u v T u v T u T v T u T v y anlogamente se prueba
que T v T v y por tanto T es una transformacin lineal.
Adems

v N T T v T v v N T v

por lo cual T es

inyectiva y de aqu que es si restringimos el codominio a la imagen T es biyectiva y

V
es
N T

isomorfo a Im T .

Por ltimo w Im T

sii existe

V
tal que T v w sii existe v V tal que
N T

T v w sii w Im T . Por lo tanto que Im(T ) Im(T ) como queramos.

Concluimos que

V
es isomorfo a Im T .
N T

Corolario
Sea T : V W una transformacin lineal sobreyectiva. Entonces
La demostracin es inmediata.
Finalizamos este captulo con la siguiente proposicin.
Proposicin
Sea V es un k-e.v. y S y U subespacios de V tales que S U .
V S V

Entonces
U.
U S

107

V
W .
N T

108
Dem:
Sea : V V

V S
definida por (v) v y ' : V S
definida por ' v v
U S

siendo v la clase de v en

V S
. Consideremos ' . Sabemos que y ' son
U S

transformaciones lineales sobreyectivas de modo que es una transformacin lineal

sobreyectiva de V en

V S
V S
V
. Por lo tanto por el corolario anterior
.

U S
N U S

Pero v N v ' v v v v

v U . Concluimos que N U y de aqu que

108

V V S

como queramos.
U U S