81

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 :
n m
f es una transformacin lineal si y solo si verifica:
1)
( ) ( ) ( ) ,
n
f x y f x f y x y + = + e
2)
( ) ( ) ,
n
f x f x x o o o = e e
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.

Decimos que T es una transformacin lineal
( ) ( ) ( ) ,
( ) ( )
T u v T u T v u v V
T v T v K v V o o o
+ = + e

= e e

Observacin
Las dos condiciones de la definicin pueden sustituirse por:
( ) ( ) ( ) , , T u v T u T v K u v V o | o | o | + = + e e

Ejemplos
Analicemos si las siguientes funciones son transformaciones lineales.
1)
2 3
: T definida por ( , ) ( , , ) T x y x y x y x = +
2)
3 2
: T definida por ( , , ) ( , 1) T x y z x y z = + +
3) : T definida por ( ) T x a x b = + con , a be
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 0 = (la funcin nula, con V y W espacios vectoriales dados)



82
82
1)
2 3
: 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 o | o | o | o | o | o | o | o | ' ' ' ' ' ' ' ' ' + = + + = + + + + + + =
( ) ( ) ( ), ( ) ( ), x y x y x y x y x x o | o | o | ' ' ' ' ' = + + + + + =
( ) ( ) ( ) ( ) ( ), ( ), ( ), ( ), , , , , x y x y x x y x y x x y x y x x y x y x o o o | | | o | ' ' ' ' ' ' ' ' ' ' = + + + = + + + =
( , ) ( , ) T x y T x y o | ' ' = + ,
2
( , ) ( , ) x y x y ' ' e , , o | e .

En consecuencia T es una transformacin lineal

2)
3 2
: T tal que ( , , ) ( , 1) 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 o | o | o | o | o | o | o | ' ' ' ' ' ' ' ' ' + = + + + = + + + + +

Por otra parte
( ) ( , , ) ( , , ) ( , 1) ( , 1) , T x y z T x y z x y z x y z x y x y z z o | o | o o | | o o | | ' ' ' ' ' ' ' ' ' + = + + + + + = + + + + + +

Entonces

( ) ( ) ( , , ) ( , , ) ( , , ) ( , , ) , 1 T x y z x y z T x y z T x y z x x y y z z o | o | o | o | o | ' ' ' ' ' ' ' ' ' + = + + + + + + =
( ) , 1
1
x x y y x x y y
x y x y z z
z z z z
o | o | o | o |
o o | | o o | | o |
o | o o | |
' ' ' ' + + + = + + +
' ' ' = + + + + + + + =

' ' + + = + + +

As que
( ) ( , , ) ( , , ) ( , , ) ( , , ) T x y z x y z T x y z T x y z o | o | ' ' ' ' ' ' + = + no se cumple para todo , o | e
Por lo tanto T no es una transformacin lineal.

3) : T tal que ( ) T x a x b = + con , a be

( ) ( ) T x x a x x b ax ax b o | o | o | ' ' ' + = + + = + +

Por otra parte ( ) ( ) ( ) ( ) T x T x ax b ax b ax b ax b o | o | o o | | ' ' ' + = + + + = + + +
En consecuencia
( ) ( ) ( ) ( ) T x x T x T x ax ax b ax b ax b b b b b b o | o | o | o o | | o | o | ' ' ' ' + = + + + = + + + = + = +

Y esta ltima igualdad se cumple para todo , o | e si y slo si 0 b = .

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


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

( ) ( ) ( ) T u v u v T u T v o | o | o | + = + = + , K o | e , , u v V e .

Entonces la funcin identidad es una transformacin lineal.

5) : T V W tal que ( ) T v 0 = .

( )
( ) ( ) ( )
( ) ( )
T u v
T u v T u T v
T u T v
o | 0
o | o |
o | o0 |0 0
+ =
+ = +
`
+ = + =
)

, K o | e , , u v V e .

Por lo tanto la funcin nula es una transformacin lineal.

Proposicin
Si : T V W es una transformacin lineal entonces se tiene:
1) ( )
V W
T 0 0 =
2) ( ) ( ) T v T v v V = e
3) ( ) ( ) ( ) , T u v T u T v u v V = e

Dem:
1)
( ) ( ) ( ) 0. 0.
V V V W
T T T 0 0 0 0 = = = .
2) y 3) quedan a cargo del lector.

Nota
En el ejemplo 2),
3 2
: T tal que ( , , ) ( , 1) T x y z x y z = + + , como
(0, 0, 0) (0,1) (0, 0) T = = , 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 ( )
V W
T 0 0 = en consecuencia en caso de que T sea inyectiva
V
0
sera la nica preimagen de
W
0 .
Es cierto el recproco? En otras palabras: Si
V
0 es la nica preimagen de
W
0 , entonces T es
inyectiva?


84
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 e tal que w tiene
preimgenes distintas v y v' . Entonces ( ) ( ) T v T v w ' = = ( ) ( )
W
T v T v 0 ' = ( )
W
T v v 0 ' = .
De aqu que v v' es una preimagen de
W
0 distinta de
V
0 (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 0 = e = .
Denominamos imagen de T (anotamos Im( ) T ) al recorrido de la funcin T. O sea
{ } Im( ) : con ( ) T w W v V T v w = e - e =

Ejemplo
Pretendemos hallar ncleo e imagen de
2 3
: T

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

0
( , ) ( ) ( , ) ( , , ) (0, 0, 0) 0 0
0
x y
x y N T T x y x y x y x x y x y
x
+ =

e = + = = = =

Entonces
{ } ( ) (0, 0) N T =

2
( , , ) Im( ) ( , ) / ( , ) ( , , ) x y z T a b T a b x y z e - e = . Pero ( , ) ( , , ) T a b a b a b a = + .
Entonces
2
2 2
2
( , , ) Im( ) ( , ) tal que ( , ) tal que
x y
x y
a
a b x
x y z T a b a b y a b b
a z a z
+

=
+ =


e - e = - e =


= =

.


Para que el sistema sea compatible se debe tener
2
x y
z
+
= o lo que es lo mismo 2 0 x y z + = .
En consecuencia
{ }
3
Im( ) ( , , ) / 2 0 T x y z x y z = e + = .



85
85
Proposicin
H) : T V W transformacin lineal
1) ( ) es un subespacio de
)
2) Im( ) es un subespacio de
N T V
T
T W

Dem:
1) Observemos que: ( ) N T V _ y adems como ( )
V W
T 0 0 = se tiene ( )
V
N T 0 e .
( ) N T es un subespacio sii ( ) u v N T o | + e , , ( ) u v N T e , , K o | e .

Ahora ( ) u v N T o | + e sii
( ) T u v o | 0 + = .
( )
( ), ( )
( ) ( ) ,
( ), ( )
u N T T u
T u v T u T v K
v N T T v
0
o | o | o0 |0 0 o |
0
e =
+ = + = + = e
`
e =
)
.

Entonces
( ) u v N T o | + e , , K o | e y , ( ) u v N T e . Por lo tanto ( ) N T es un subespacio
vectorial.

2) Por definicin Im( ) T W _ y adems como ( )
V W
T 0 0 = se tiene Im( )
W
T 0 e .

Demostrar que Im( ) T es un subespacio equivale a probar: I m( ) w w T o | ' + e , , K o | e ,
, Im( ) w w T ' e .



Ahora Im( ) w w T o | ' + e sii w w o | ' + tiene preimagen en V.
( )
Im( ), / ( )
( ) ( ) , ,
Im( ), / ( )
w T v V T v w
w w T v T v T v v K
w T v V T v w
o | o | o | o |
e - e =
' ' ' + = + = + e
`
' ' ' ' e - e =
)
.
En consecuencia w w o | ' + tiene preimagen v v o | ' + , , K o | e , , Im( ) w w T ' e .
Por ende Im( ) w w T o | ' + e , , K o | e , , Im( ) w w T ' e y entonces Im( ) T es un subespacio.

Proposicin
: T V W una transformacin lineal. Entonces T es inyectiva { } ( ) N T 0 = .
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.
Probar que si
g
B V (B es generador de V) , entonces ( ) Im( )
g
T B T ( ( ) T B es
generador de Im( ) T ).



86
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
2 3
: T

definida por ( , ) ( , , ) T x y x y x y x = + .

Como
{ } (1, 0), (0,1) B = es un generador de
2
tenemos que ( ) T B es un generador de Im( ) T .
Pero
{ } { } ( ) (1, 0), (0,1) (1,1,1), (1, 1, 0) T B T T = = .
As que
{ } Im( ) (1,1,1), (1, 1, 0) T L = .
Verifique
{ } { }
3
(1,1,1), (1, 1, 0) ( , , ) / 2 0 L x y z x y z = e + =

Ejercicio
Consideramos
3 2
1
: T definida por ( , , ) (2 , ) T x y z x z x y = +
2 3
2
: T tal que ( , ) ( , , ) T x y x y x y = + , : Id V V tal que ( ) Id v v = , v V e

y :V W u
definida por ( ) v u 0 = , v V e .
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( ) dim ( ) dimIm( ) V N T 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 s s Probmoslo en el caso de que 0 d n < < .
Consideramos
{ }
1 2
, , ,
d
v v v 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 { }
1 2 1
, , , , , ,
d d n
v v v v v
+

la base de V construida a partir de { }
1 2
, , ,
d
v v v . Si llegamos a
probar que { }
1
( ), , ( )
d n
T v T v
+

es una base de Im(T), se tiene: dimIm( ) T n d =
dim dim ( )
dimIm( )
V N T
n d T = + que es justamente a donde queremos llegar.

Por el ejercicio que aparece al final de la pgina 83 podemos afirmar que
( ) ( ) { }
1 1
, , , ( ), , ( )
d d n
T v T v T v T v
+
es un generador de Im( ) T y como
( ) ( )
1 d
T v T v 0 = = = ,
entonces { }
1
( ), , ( )
d n
T v T v
+
es un generador de Im( ) T .


87
87
Nos falta probar que
{ }
1
( ), , ( )
d n
T v T v
+

es LI.
Consideramos
1 1
( ) ( )
d d n n
T v T v o o 0
+ +
+ + = . Tenemos:
( )
1 1 d d n n
T v v o o 0
+ +
+ + =
1 1
( )
d d n n
v v N T o o
+ +
+ + e , por ende puede escribirse como combinacin lineal de
{ }
1
, ,
d
v v . Es decir que existen escalares
1
, ,
d
o o tales que

1 1 1 1 1 1 1 1 d d n n d d d d n n d d
v v v v v v v v o o o o o o o o 0
+ + + +
+ + = + + + + =

1 1
0
d n d
o o o o
+
= = = = = = ya que
{ }
1 2 1
, , , , , ,
d d n
v v v v v
+
es LI.
En resumen si
1 1 1
( ) ( ) 0
d d n n d n
T v T v o o 0 o o
+ + +
+ + = = = = , probando as que
efectivamente
{ }
1
( ), , ( )
d n
T v T v
+
es LI.
Dejamos como ejercicios los casos 0 d =

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
{ }
1
, ,
n
A v v = un conjunto LI de V.
Analicemos la dependencia lineal de
{ }
1
( ) ( ), , ( )
n
T A T v T v = para ello tomamos:
( )
1 1 1 1 1 1
( ) ( ) ( )
n n n n n n
T v T v T v v v v N T o o 0 o o 0 o o + + = + + = + + e .
Si T fuese inyectiva
{ } ( ) N T 0 = y por lo tanto
1 1 n n
v v o o 0 + + = , teniendo en cuenta que
{ }
1
, ,
n
A v v = es LI podemos concluir que
1
0
n
o o = = = 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 y V W espacios de dimensiones n y m respectivamente y adems
n m > . Si consideramos
{ }
1
, ,
n
A v v = un conjunto LI de V podra ocurrir que
{ }
1
( ) ( ), , ( )
n
T A T v T v = 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
{ }
1
, ,
n
B v v = es una base de V (y por lo tanto un conjunto LI), entonces
{ }
1
( ) ( ), , ( )
n
T B T v T v = 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.





88
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 dimIm( ) T n = .
Adems { } dim dim ( ) dimIm( ) dim ( ) 0 ( )
n
n
V N T T N T N T 0 = + = = . Concluimos que T
es inyectiva.

2) 3) Inmediato.

3) 4) Consideramos
{ }
1 2
, , ,
n
B v v v = base de V.
Queremos probar que
{ }
1 2
( ) ( ), ( ), , ( )
n
T B T v T v T v = es base de W.
Comencemos por demostrar que es LI.
Sea
1 1 2 2
( ) ( ) ( )
n n
T v T v T v o o o 0 + + + = ; tenemos
1 1 2 2
( )
n n
T v v v o o o 0 + + + =

1 1 2 2
( )
n n
v v v N T o o o + + + e .
Ahora
{ } ( ) N T 0 = puesto que T es inyectiva. En consecuencia
1 1 2 2 n n
v v v o o o 0 + + + = por lo
que
1 2
0
n
o o o = = = = ya que
{ }
1 2
, , ,
n
v v v

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 e - e = .
Consideramos { }
1 2
, , ,
n
B v v v = una base de V.
Por hiptesis sabemos que { }
1 2
( ) ( ), ( ), , ( )
n
T B T v T v T v = es una base de W.
En consecuencia: w W e ,
1 1 2 2
( ) ( ) ( )
n n
w T v T v T v o o o = + + +

y entonces

( )
1 1 2 2
...
n n
w T v v v o o o = + + + .

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




89
89
5.3 REPRESENTACIN MATRICIAL DE UNA TRANSFORMACIN LINEAL

Sabiendo de que
2 2
: f es una transformacin lineal y que (1, 2) (3, 1) f = y
(0,1) (1, 2) f = , 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 .

( , ) (1, 2) (0,1)
2 2
x x
x y
y y x
o o
o |
o | |
= =
= +

+ = =



As que
( ) ( , ) (1, 2) ( 2 )(0,1) ( , ) (1, 2) ( 2 )(0,1) x y x y x f x y f x y x = + = +
( , ) (1, 2) ( 2 ) (0,1) (3, 1) ( 2 )(1, 2) ( , 5 2 ) f x y x f y x f x y x x y x 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
2
2
: T P la transformacin lineal definida por (1) (1, 0) T = , ( ) (1,1) T x = y
2
( ) (0, 0) T x = . Hallar una frmula para
2
( ) T ax bx c + + .

Generalicemos el ltimo ejemplo en la siguiente proposicin.

Proposicin
Sean V y W dos K-espacios vectoriales,
{ }
1 2
, , ,
n
B v v v = una base de V y
{ }
1 2
, , ,
n
w w w W _ . Entonces existe una nica transformacin lineal : T V W tal que
( )
i i
T v w = , i de 1 a n.



Dem:
Existencia
Como
{ }
1 2
, , ,
n
B v v v = es una base de V, v V e ,
1 1 2 2 n n
v v v v o o o = + + + . Definimos : T V W tal que
1 1 2 2
( )
n n
T v w w w o o o = + + + siendo
( )
1 2
, , ,
n
o o o las coordenadas de v en la base B . Pretendemos probar que T es la
transformacin lineal buscada.


90
90

Para ello debemos demostrar que T es transformacin lineal y que ( ) de 1 a
i i
T v w i n = .
Comencemos por probar que es transformacin lineal.


( )
( )
1 2 1 1 2 2
1 2 1 1 2 2
Si tiene coordenadas , , ,
Si tiene coordenadas , , ,
n n n
n n n
u x x x u x v x v x v
v y y y v y v y v y v
= + + +

`
= + + +

)


( ) ( )
1 1 2 2 1 1 2 2 n n n n
u v x v x v x v y v y v y v o | o | + = + + + + + + +
( ) ( ) ( )
1 1 1 2 2 2 n n n
u v x y v x y v x y v o | o | o | o | + = + + + + + + . Entonces las coordenadas
de u v o | + en la base B son
( )
1 1 2 2
, , ,
n n
x y x y x y o | o | o | + + + y se tiene
( ) ( ) ( )
1 1 1 2 2 2
( )
n n n
T u v x y w x y w x y w o | o | o | o | + = + + + + + +
( ) ( )
1 1 2 2 1 1 2 2
( ) ( )
( )
n n n n
T u T v
T u v x w x w x w y w y w y w o | o | + = + + + + + + + .
As que ( ) ( ) ( ) T u v T u T v o | o | + = + siendo este razonamiento vlido , K o | e

y , u v V e .
Demostremos ahora que: ( )
i i
T v w = , i

de 1 a n.

Las coordenadas de
i
v en la base B son
lugar
0, , 0, 1 , 0, , 0
i
| |
|
|
\ .
y entonces
1 1 1
( ) 0 0 1. 0 0
i i i i n i
T v w w w w w w
+
= + + + + + + = .

Unicidad
Suponemos que existe una transformacin lineal : T V W ' tal que ( )
i i
T v w i ' =

de
1 a n. Si v tiene coordenadas
( )
1 2
, , ,
n
x x x , tenemos
1 1 2 2 n n
v x v x v x v = + + +
( )
1 1 2 2 1 1 2 2
( ) ( ) ( ) ( )
n n n n
T v T x v x v x v x T v x T v x T v ' ' ' ' ' = + + + = + + +
1 1 2 2
( ) ( )
n n
T v x w x w x w T v ' = + + + = , proposicin vlida v V e . 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 = .
{ }
1 2
, , ,
n
B v v v = es una base de V y
{ }
1 2
, , ,
m
B w w w ' =
una base de W. : T V W es una transformacin lineal.



91
91
Como dijimos anteriormente T est determinada una vez que conocemos
1 2
( ), ( ), , ( )
n
T v T v T v o
lo que es equivalente sus coordenadas en la base B' .

Entonces si:
1 11 1 21 2 1
( )
m m
T v a w a w a w = + + +

2 12 1 22 2 2
( )
m m
T v a w a w a w = + + +
........................................................

1 1 2 2
( )
n n n mn m
T v a w a w a w = + + +

Conocer T es conocer la matriz
11 12 1
21 22 2
1 2
n
n
m m mn
a a a
a a a
a a a
| |
|
|
|
|
\ .
que denominaremos matriz asociada a T
en las bases B y ' B . Anotaremos
'
( )
B B
T



Observemos que la primera columna de
'
( )
B B
T est formada por las coordenadas de
1
( ) T v en la
base ' B , la segunda columna por las coordenadas de
2
( ) T v en la base ' B ,..., la n-esima columna
por las coordenadas de ( )
n
T v 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
3 2
: T definida por ( , , ) (2 , ) T x y z x z x y = +
1) Hallar la matriz asociada a T en las bases cannicas.
2) Hallar
'
( )
B B
T con
{ } (1,1,1), (1,1, 0), (1, 0, 0) B = y
{ } ' (1,2),(0, 1) B = .

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

= + =

.

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




92
92
2) Comencemos por hallar las coordenadas de un vector cualquiera de
2
en la base B' .

( , ) (1, 2) (0, 1)
2 2
x x
x y
y x y
o o
o |
o | |
= =
= +

= =



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

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

= + =

En consecuencia
'
1 2 2
( )
0 2 3
B B
T
| |
=
|
\ .
.

Nota
Consideramos : T V W una transformacin lineal. Llamamos
'
( ) ( )
i j B B
A a T = = ,
X a las coordenadas deu 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
( )
1 2
, , ,
n
X x x x = ,
1 1 2 2 n n
u x v x v x v = + + +
( )
1 1 2 2
( ) ( ) ( )
n n
T u x T v x T v x T v = + + + . (*)
Como
'
( ) ( )
i j B B
A a T = = la j-sima columna de A ,
1
2
j
j
mj
a
a
a
| |
|
|
|
|
|
\ .
son las coordenadas de
( )
j
T v en la base B' . Por ende
( )
1 1 2 2 j j j mj m
T v a w a w a w = + + + . Sustituyendo en (*) nos queda:

( ) ( ) ( ) ( )
1 11 1 21 2 1 2 12 1 22 2 2 1 1 2 2 m m m m n n n mn m
T u x a w a w a w x a w a w a w x a w a w a w = + + + + + + + + + + + +

Desarrollando y agrupando convenientemente llegamos a que:
( ) ( ) ( ) ( )
11 1 12 2 1 1 21 1 22 2 2 2 1 1 2 2 n n n n m m mn n m
T u a x a x a x w a x a x a x w a x a x a x w = + + + + + + + + + + + +

Por lo tanto las coordenadas de
( ) en la base ' son: T u B
( ) ( ) ( ) ( )
11 1 12 2 1 21 1 22 2 2 1 1 2 2
, , ,
n n n n m m mn n
a x a x a x a x a x a x a x a x a x + + + + + + + + +



93
93
Como a las coordenadas de
( ) T u en la base ' B les llamamos
( )
1 2
= , , ,
m
Y y y y

y las
coordenadas de un vector en una base son nicas tenemos:

1 11 1 12 2 1
2 21 1 22 2 2
1 1 2 2
..............................................
n n
n n
m m m mn n
y a x a x a x
y a x a x a x
y a x a x a x
= + + +
= + + +
= + + +

Resultado que podemos expresar:

1 11 12 1 1
2 21 22 2 2
1 2
n
n
m m m mn n
y a a a x
y a a a x
y a a a x
| | | | | |
| | |
| | |
=
| | |
| | |
\ . \ . \ .

O ms sintticamente Y AX = .

Verifiquemos esta conclusin en el ejemplo inmediato anterior.
Recordemos que
3 2
: T tal que ( , , ) (2 , ) T x y z x z x y = + tiene
'
1 2 2
( )
0 2 3
B B
A T
| |
= =
|
\ .

con
{ } (1,1,1), (1,1, 0), (1, 0, 0) B = y
{ } ' (1,2),(0, 1) B = .
Comencemos por hallar las coordenadas de ( , , ) u x y z = en la base B.

( ) ( ) ( ) ( ) , , 1,1,1 1,1, 0 1, 0, 0
x z
x y z y y z
z x y
o | o
o | o | |
o
+ + = =

= + + + = =


= =


Entonces
z
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.
1 2 2 1. 2.( ) 2.( ) 2
0 2 3 0. 2.( ) 3.( ) 3 2
z
z y z x y x z
Y AX y z
z y z x y x y z
x y
| |
+ + | | | | | |
|
= = = =
| | |
|
+ +
\ . \ . \ .
|

\ .

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

\ .
entonces


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



94
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. En caso de que V W = los
isomorfismos tambin reciben el nombre de automorfismos.

Ejercicios
1) Probar que
3
y
2
P son isomorfos.
2) Consideramos V un espacio vectorial de dimensin n sobre K , B una base de V y :
n
T V K
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 dim dim V W = .

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
{ }
1 2
, ,. ,
n
B v v v = una base de V.
Queremos probar que
{ }
1 2
( ) ( ), ( ), , ( )
n
T B T v T v T v = es una base de W.

Comencemos por demostrar que es un conjunto LI.
Sea
1 1 2 2
( ) ( ) ( )
n n
T v T v T v o o o 0 + + + = . Tenemos que
( )
1 1 2 2 n n
T v v v o o o 0 + + + = y de
aqu
1 1 2 2
( )
n n
v v v N T o o o + + + e . Por ser T inyectiva sabemos que
{ } ( ) N T 0 = y por lo tanto
1 1 2 2 n n
v v v o o o 0 + + + = . Como
{ }
1 2
, , ,
n
v v v es LI,
1 2
0
n
o o o = = = = .
Lo que demuestra que ( ) T B es LI. Probemos ahora que es un generador de W.
Para todo w W e existe v V e tal que ( ) T v w = pues T es sobreyectiva. Teniendo en cuenta que
{ }
1 2
, , ,
n
B v v v =

es una base de V podemos afirmar que existen escalares
1 2
, , ,
n
K o o o e
tales que
1 1 2 2 n n
v v v v o o o = + + + .
Entonces
( )
1 1 2 2 1 1 2 2
( ) ( ) ( ) ( )
n n n
w T v T v v v T v T v T v o o o o o = = + + + = + + + .
As que
( ) T B es un generador de W. Por lo tanto { }
1 2
( ) ( ), ( ), , ( )
n
T B T v T v T v = es una base de
W y concluimos que dim dim W n V = = .



95
95
( ) : Partimos ahora de la premisa de que V y W tienen la misma dimensin. Teniendo la
intencin de concluir que son isomorfos.

Consideramos
{ }
1 2
, , ,
n
B v v v = una base de V y
{ }
1 2
' , , ,
n
B w w w =

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 ( )
i i
T v w =
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 34 de la proposicin de la pgina 86
pese que aqu no tenemos la hiptesis dim dim V W = .


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

y espacio vectorial sobre un mismo cuerpo
) , transformaciones lineales de en
V W K
H f g V 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.




96
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 : ( , ) ( )
m n
F L V W K

M por
'
( ) ( )
B B
F T T = .
Entonces F es un isomorfismo entre ( , ) L V W y ( )
m n
K

M .

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
Si T T' = , ( ) ( )
j j
T v T v ' = para algn j de 1 a n, por tanto
( ) ( )
' '
coord ( ) coord ( )
j j
B B
T v T v ' = . Tenemos pues que la j-sima columna de
( )
'
B
B
T es distinta
de la j-sima columna de
( )
' B B
T' y entonces ( ) ( ) F T F T' = .

F sobreyectiva
Para toda matriz ( ) ( )
i j m n
A a K

= eM , existe una transformacin lineal : T V W

tal que
( )
' B B
T A = pues siempre existe una transformacin lineal una vez que le asignamos
imgenes a una base del dominio.
En este caso
1 1 2 2
( )
k k k mk m
T v a w a w a w = + + + 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
.

( ) ( )
'
( )
ij
B B
F T T T T C c ' ' + = + = = siendo la j-esima columna de C las coordenadas de
( )( )
j
T T v ' + en la base ' B .
( ) ( )
'
( )
i j
B B
F T T A a = = = siendo la j-esima columna de A las coordenadas de ( )
j
T v en la
base ' B . Por ende
1 1 2 2
( )
j j j m j m
T v a w a w a w = + + + .
( ) ( )
'
( )
ij
B B
F T T D d ' ' = = = siendo la j-esima columna de D las coordenadas de ( )
j
T v '
en la
base ' B . Por ende
1 1 2 2
( )
j j j m j m
T v d w d w d w ' = + + + .



97
97
V
U
W
T
S
S T

Entonces:
( ) ( )
1 1 2 2
( ) ( ) ( )
j j j j j m j m
T T v T v T v a w a w a w ' ' + = + = + + + +
( ) ( ) ( ) ( )
1 1 2 2 1 1 1 2 2 2 j j m j m j j j j m j m j m
d w d w d w a d w a d w a d w + + + + = + + + + + + .
Por lo tanto
( ) ( ) ( )
1 1 2 2
'
( ) , , ,
j j j j j m j m j ij ij ij
B
coord T T v a d a d a d c a d ' + = + + + = +
( ) ( ) ( ) C A D F T T F T F T ' ' = + + = + proposicin vlida
( ) , , T T L V W ' e .
Anlogamente se demuestra que
( ) ( ) F T F T = ,
( ) , F L V W e y K e .

Corolario

( ) , L V W es un espacio de dimensin finita y
( ) dim , dim .dim L V W V W = .

Proposicin

: transformacin lineal
:
: transformacin lineal
T U V
S T U W
S V W


`

)

es una transformacin lineal.

Dem:

( ) ( ) ( ) ( ) ( ) ( )
es t.l. es t.l.
( ) ( ) ( ) (
T S
S T u u S T u u S T u T u S T u S T u o | o | o | o | ' ' ' ' + = + = + = + =
( ) ( ) ( ) ( ) S T u S T u o | ' = + , , K o | e , , u u U ' e .

Ejercicio
Probar que si : T V W es una transformacin lineal biyectiva entonces
1
: T 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,
{ }
1 2
, , ,
n
D v v v = una base de V,
{ }
1 2
, , ,
p
D u u u ' = una base de U,
{ }
1 2
, , ,
m
D w w w '' = una
base de W. : T V U es una transformacin lineal, notemos
( )
'
( )
i j
D D
B b T = = (observemos
que ( )
p n
B K

eM ). : S U W es una transformacin lineal, notemos

( )
'' '
( )
i j
D D
A a S = =
(observemos que ( )
m p
A K

eM ).

Queremos hallar
( ) ( )
''
i j
D D
C c S T = =






98
98




La j-sima columna de C est formada por las coordenadas de
( )( )
j
S T v en la base D''.
Ahora
( ) ( )
( ) ( )
j j
S T v S T v =
Como
( )
'
( )
i j
D D
B b T = = , tenemos
1 1 2 2
( )
j j j pj p
T v b u b u b u = + + + ; sustituyendo nos queda
( ) ( ) ( )
1 1 2 2
1 1
( ) ( ) ( )
p p
j j j j pj p kj k kj k
k k
S T v S T v S b u b u b u S b u b S u
= =
| |
= = + + + = =
|
\ .

.
Teniendo en cuenta que
( )
'' '
( )
i j
D D
A a S = = , se tiene
1 1 2 2
( )
k k k mk m
S u a w a w a w = + + + .
Sustituyendo obtenemos ( ) ( )
1 1 2 2
1 1
( ) ( )
p p
j kj k kj k k mk m
k k
S T v b S u b a w a w a w
= =
= = + + +

.
Desarrollando y agrupando convenientemente nos queda:
( )
1 1 2 2
1 1 1
( )
p p p
j k kj k kj mk kj m
k k k
S T v a b w a b w a b w
= = =
| | | | | |
= + + +
| | |
\ . \ . \ .

por ende las coordenadas de
( )( )
j
S T v en la base '' D son
1 2
1 1 1
, , ,
p p p
k kj k kj mk kj
k k k
a b a b a b
= = =
| | | | | | | |
| | | |
\ . \ . \ . \ .

.
Por lo tanto
1
p
ij ik kj
k
c a b
=
=

.

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 D D D D D
S T S T = .

Proposicin
Consideremos V un espacio vectorial de dimensin finita, B una base de V,
: T V V

un operador lineal y ( )
B B
A T = . Entonces A es invertible sii T

es invertible y adems
1 1
( )
B B
A T

= .

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.


99
99
En consecuencia probar que es biyectiva equivale a probar que es inyectiva o lo que es lo mismo
que
{ } ( ) N T 0 = .

Si x V e anotamos
( )
B
X coord x = e
( ) ( )
B
Y coord T x = .

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

| | | | | | | |
| | | |
e = = = = =
| | | |
| | | |
\ . \ . \ . \ .

0 0
.
0 0
I X X x 0
| | | |
| |
= = =
| |
| |
\ . \ .
.
Por lo tanto
{ } ( ) N T 0 =



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

transformacin lineal tal que
( ) ( ) ( )
1 1 1 1
B B
B B B B
T T T T Id T T T T Id

= = = =
( ) ( ) ( ) ( )
1 1
. .
B B B B
B B B B
T T T T I

= = .
Si llamamos
( )
1
B B
D T

= tenemos que existe ( )

n n
D K

eM tal que . . AD DA I = = lo que nos

asegura que A es invertible y adems que
( )
1 1
B B
A T

= .


5.5 MATRICES DE CAMBIO DE BASE

Consideremos V un espacio vectorial de dimensin finita,
{ }
1
, ,
n
B v v = y
{ } 1
, ,
n
B v v
' '
' =
bases de V. Sea x V e 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 ( )
i i
f v v' = y : g V V tal que ( )
i i
g v v ' = 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 ( )
B B
P f = y ( )
B B
P g
' '
' = .
Si
( )
1 2
, , ,
n
X x x x ' ' ' ' = son las coordenadas de x en la base B' , entonces
1 1 2 2
1 1
( )
n n
n n j j j j
j j
x x v x v x v x v x f v
= =
' ' ' ' ' ' ' ' ' = + + + = =

.


100
100
Por otra parte si ( )
i j
P a = , las coordenadas de ( )
j
f v en la base B forman la j-sima columna de
la matriz P. Por lo tanto
1 1 2 2
( )
j j j n j n
f v a v a v a v = + + + . Como
1
( )
n
j j
j
x x f v
=
' =

, sustituyendo
nos queda:

( )
1 1 2 2 1 1 2 2
1 1 1 1
n n n n
j j j n j n j j j j n j j n
j j j j
x x a v a v a v a x v a x v a x v
= = = =
| | | | | |
' ' ' ' = + + + = + + +
| | |
\ . \ . \ .

.
En consecuencia las coordenadas de x en la base B son
1 2
1 1 1
, , ,
n n n
j j j j n j j
j j j
a x a x a x
= = =
| |
' ' '
|
\ .

que
anteriormente habamos llamado
( )
1 2
, , ,
n
X x x x = y por lo tanto:

1
1
1 11 1 12 2 1 11 12 1
2 2 21 1 22 2 2 21 22 2
1
1 1 2 2 1 2
1
n
j j
j
n n n
n
j j n n n
j
n n n nn n n n nn
n
n j j
j
a x
x a x a x a x a a a
a x x a x a x a x a a a
X
x a x a x a x a a a
a x
=
=
=
| |
'
|
|
' ' ' + + + | | | | | |
|
| |
' ' ' ' + + +
|
| |
= = = =
|
| |
|
| |
' ' ' | + + +
\ . \ . \
|
'
|
\ .

1
2
.
n
x
x
x
'
| |
| |
'
| |
| |
| |
'
. \ .
.

As que . X P X' = .

Observemos que
( )
' B B
P Id = y ( )
B B
P Id
'
' = ( ) ( ) ( )
' ' '
'.
B B B B B B
P P Id Id Id I
'
= = = de
donde
1
P P

' =
Adems:
( )
1 1
. . X P X P X P P X

' ' = =
1
. X P 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
2
consideramos las bases
{ } (1,1), (0,1) B = y
{ } ( 1,0),(2,1) B' = .
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.

1) ( , ) (1,1) (0,1)
a a
a b
b b a
o o
o |
o | |
= =
= +

+ = =

por lo tanto
( ) , X a b a = .



101
101

2 2
( , ) ( 1, 0) (2,1)
a b a
a b
b b
o | o
o |
| |
+ = =
= +

= =

. As que
( ) 2 , X b a b ' = .


2) Acabamos de ver que la matriz de cambio de base de a B 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' .


( ) ( )
( ) ( )
( )
(1,1) ( 1, 0) 1 .(1,1) 1 .(0,1)
1 2
1 1 (0,1) (2,1) 2 .(1,1) 1 .(0,1)
B B
f
P f
f
= = +
| |
= =
`
|
= = +
\ .
)
.


( ) ( )
( ) ( )
( )
' '
( 1, 0) (1,1) 1 .( 1, 0) 1 .(2,1)
1 2
1 1 (2,1) (0,1) 2 .( 1, 0) 1 .(2,1)
B B
g
P g
f
= = +
| |
' = =
`
|
= = +
\ .
)
.

3)
1 2 2 2 2
. .
1 1 2
b a b a b a
P X X
b b a b b a
+ + | | | | | | | |
' = = = =
| | | |

\ . \ . \ . \ .


1 2 2 2 2
. .
1 1
a a b a b a
P X X
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
( )
D D
A T = y ( )
' ' D D
B T = .
Analicemos si existe una vinculacin "algebraica" entre A y B.
Sea x V e , 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.







X Y
Y'
X'
A
B
1
P

P


102
102
1
1 1 1
Ahora
' '
Tambin '
Y BX
BX P APX
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
1
B P AP

= . Justifique con detalle este hecho!

As que si A y B representan a un mismo operador lineal existe P invertible tal que
1
B P AP

= .
Ms precisamente si
( )
D D
A T = y ( )
' ' D D
B T = existe P invertible tal que
1
B P AP

= y P es la
matriz de cambio de base de a ' D D .

Definicin
Sean , ( )
n n
A B K

eM .
Decimos que A es semejante a B si existe ( )
n n
P K

eM , P invertible tal que

1
B P 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:

( )
, ( )
H) T) y representan al mismo operador lineal
n n
A B K
A B
A B

e

M
.

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 D
T B = .

Por hiptesis
1
( ) invertible /
n n
A B P K B P AP

~ - e = M .

Tomamos ahora ( )
1
' '
: operador lineal tal que
D D
g V V g P

= .
Como
1
P

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

Denominamos D a
( ) ' g D . En consecuencia
1
P

es la matriz de cambio de base de D' a D.

Consideramos ahora al operador lineal : S V V tal que
( )
D D
S A = .
Intentaremos probar que T S =



103
103
Ahora:
( ) ( ) T S T x S x x V = = e

x V e 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'.
( ) ( )
1 1 1 1
Z
x
Y BX P AP X P A PX P AX P Z Z Y Z

' ' ' ' ' ' ' = = = = = = =
( ) ( ) T x S x x V T S = e = .
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
( ) md a b 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
n
conserve en algn sentido la estructura algebraica de .
Ms precisamente notando con
| | x a la clase de equivalencia del entero x y definiendo
| | | | | | x y x y + = + y
| | | | | | . . x y x y = podemos probar que esta suma y este producto estn bien
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
( ) | | | | ' ' md ' ' x y x y n x y x y + + + = + como queramos.


104
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
( ) | | | | . '. md . '. x y x y 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 e , 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 e 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:








105
105
Proposicin
Sea V un K-espacio vectorial y S un subespacio de V. Definamos u v si u v S e .
1) Entonces es una relacin de equivalencia.
2) Si notamos
V
S
al conjunto cociente y definimos en l la suma y el producto por un escalar
como sigue:
| | | | | | u v u v + = + y
| | | | u u = , entonces las operaciones estn bien definidas.
3)
V
S
es un K-espacio vectorial con las operaciones definidas en 2) al que llamamos espacio
cociente.
4) Sea :
V
V
S
t definida por
| | ( ) v v t = . Entones t es una transformacin lineal
sobreyectiva y ( ) N S t = .

Dem:
1) A cargo del lector.

2) Si
| | | | ' u u = y
| | | | ' v v = debemos probar que
| | | | ' ' u v u v + = + .
| | | | ' u u = y
| | | | ' v v = ' u u S e y ' v v S e . Por lo tanto
( ) ( ) ' ' u u v v S + e y
reagrupando se obtiene
( ) ( ) ' ' u v u v S + + e y por ende
| | | | ' ' u v u v + = + como queramos.
Para el producto por un escalar si
| | | | ' v v = y K e , debemos probar que
| | | | ' v v = .
Veamos,
| | | | ' v v = ' v v S e
( ) ' v v S e ' v v S e | | | | ' v v = .

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
S
mientras que en la igualdad restante se utiliz la propiedad conmutativa
de la suma en V.
Veamos ahora que | | | | ( ) | | | | u v u v + = + , | | | | ,
V
u v
S
e , K e .
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
| | 0 0 = y que
| | | | v v = .



106
106
4) La linealidad de t es consecuencia inmediata de la definicin de las operaciones en
V
S
y la
sobreyectividad es inmediata. Veamos que ( ) N S t = .
Se tiene:
| | | | | | ( ) ( ) v N v v v S v S t t 0 0 0 e = = e e lo que prueba la igualdad
deseada.

Ejemplos
1) Sean
2
V = , ( ) { }
2
, : 0 S x y y = e = . Dado un vector v de V, hallemos
| | v .
Notemos
( ) , v a b = . Por definicin
| | u v e sii u v S e . Si escribimos
( ) , u x y = , tenemos que
u v S e sii existe un real c tal que
( ) , 0 u v c = . Esto es
( ) ( ) , , 0 x a y b c = 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 e sii y b = . Dicho en palabras la clase de v est formada por
aquellos vectores cuya segunda coordenada coincide con la de v.


b
| | v
v

a



2) Sean
2
V = , ( ) { }
2
, : 2 S x y y x = e = . Dado un vector v de V, hallemos
| | v .
Igual que en el ejemplo anterior notemos
( ) , v a b = y
( ) , u x y = .
| | u v e u v S e
( ) ( ) / , , 2 c x a y b c c - e = ( ) ( ) ( ) / , , , 2 c x y a b c c - e = + .
Es decir que la clase de v est formada por vectores que se obtienen trasladando la recta 2 y x =
(o sea es subespacio S) segn el vector v.

S
| | v



v



Como se ve en la figura, los elementos del
espacio cociente
V
S
se pueden representar
como rectas horizontales (es decir paralelas
a S ).
Por lo tanto al igual que en ejemplo
anterior los elementos del espacio
cociente
V
S
se pueden representar
como rectas paralelas a S .


107
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 Im( )
( )
V
T
N T
~ .
Dem:
Sea

:
( )
V
T W
N T
definida por
| | ( ) ( )

T v T v = . Probemos que

T est bien definida, que

es inyectiva y que

Im( ) Im( ) T T = .
En efecto
| | | | ( ) ( ) ( ) ( ) u v u v N T T u v T u T v 0 = e = = 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 0 0 0 e = = e = por lo cual

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

T es biyectiva y
( )
V
N T
es
isomorfo a
( )

Im T .
Por ltimo
( )

Im w T e sii existe
| |
( )
V
v
N T
e tal que
| | ( )

T v w = sii existe v V e tal que

( ) T v w = sii
( ) Im w T e . Por lo tanto que

Im( ) Im( ) T T = como queramos.

Concluimos que
( )
V
N T
es isomorfo a
( ) Im T .

Corolario
Sea : T V W una transformacin lineal sobreyectiva. Entonces
( )
V
W
N T
~ .
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 _ .
Entonces
V S
V
U
U S
~ .



108
108
Dem:
Sea :
V
V
S
t definida por
| | ( ) v v t = y ' :
V S
V
S
U S
t definida por
| | ( ) | | ' v v t =
siendo
| | v la clase de
| | v en
V S
U S
. Consideremos ' t t = . Sabemos que t y ' t son
transformaciones lineales sobreyectivas de modo que es una transformacin lineal
sobreyectiva de V en
V S
U S
. Por lo tanto por el corolario anterior
( )
V S V
N U S
~ .
Pero
( ) v N e ( ) | | v 0 = ( ) ( ) | | ' v t t 0 = ( ) | | v t 0 = | | | | v 0 = | |
U
v
S
e
v U e . Concluimos que
( ) N U = y de aqu que
V S V
U U S
~ como queramos.