Captulo 5

Homomorsmos
Hasta ahora la unica relaci on que hemos visto entre espacios vectoriales diferentes es
la contenci on. En este tema estudiaremos una nueva relaci on: los homomorsmos, que
como su propio nombre da a entender son las aplicaciones entre espacios vectoriales que
preservan la forma.
5.1. Denici on y propiedades
Veamos qu e tipo de aplicaciones preservan las dos operaciones b asicas de los espacios
vectoriales: la suma de vectores y el producto de vectores por escalares.
Homomorsmos
Sea k un cuerpo y V y W dos k-espacios vectoriales. Sea f una apli-
caci on de V en W, que denotaremos
f : V W.
Esto quiere decir que a cada vector v V le hacemos corresponder un
vector f(v) W. Diremos que f es un homomorsmo o aplicaci on
lineal si se cumplen las condiciones siguientes:
f(u +v) = f(u) + f(v) u, v V.
f(v) = f(v) k, v V.
Ejemplos 5.1.1. Veamos algunos ejemplos de homomorsmos y de aplicaciones que no
lo son.
1. Si V es un k-espacio vectorial, la aplicaci on identidad, id
V
: V V , denida por
id
V
(v) = v para todo v V , es un homomorsmo.
2. Dados dos espacios vectoriales cualesquiera V y W, la aplicaci on O
V,W
: V W,
denida por O
V,W
(v) = 0 para todo v V , es un homomorsmo denominado
homomorsmo trivial.
3. Si V es un k-espacio vectorial de dimensi on nita dimV = n con base B V , la
aplicaci on de asignaci on de coordenadas c
B
: V k
n
, denida por c
B
(v) = v
B
,
es un homomorsmo.
4. Si V W es un subespacio vectorial, la inclusi on i : V W, i(v) = v, es un
homomorsmo. Es m as, la proyecci on natural sobre el cociente p: W W/V ,
p(w) = w + V , tambi en es un homomorsmo.
5. Las propiedades elementales de la suma y el producto de matrices demuestran que
toda matriz A /
mn
(k) da lugar a un homomorsmo
k
n
k
m
,
v Av.
6. La aplicaci on f : k k denida por f(x) = x + 1 no es un homomorsmo de
k-espacios vectoriales ya que
f(x + y) = (x + y) + 1 ,= x + y + 2 = (x + 1) + (y + 1) = f(x) + f(y).
7. Si k = Q, Ro C, la aplicaci on f : k k, f(x) = x
2
, tampoco es un homomorsmo
de k espacios vectoriales puesto que dados x, y k 0,
f(x + y) = (x + y)
2
= x
2
+ 2xy + y
2
,= x
2
+ y
2
= f(x) + f(y).
Algunas propiedades b asicas de los homomorsmos son las siguientes.
Proposici on 5.1.1. Sea f : V W un homomorsmo de k-espacios vectoriales. Se tiene:
1. f(0) = 0,
2. f(v) = f(v) para todo v V .
3. Dados vectores v
1
, . . . , v
n
V y escalares
1
, . . . ,
n
k cualesquiera, se veri-
ca la siguiente ecuaci on,
f(
1
v
1
+ +
n
v
n
) =
1
f(v
1
) + +
n
f(v
n
).
PRUEBA:
1. Como 0 +0 = 0,
f(0) = f(0 +0) = f(0) + f(0).
Despejando en esta ecuaci on obtenemos que f(0) = 0.
2. Sabemos que el vector opuesto v se puede obtener a partir de v multiplicando por
el escalar 1 k, es decir v = (1)v, por tanto
f(v) = f((1)v) = (1)f(v) = f(v).
2
3. Por inducci on sobre n. Para n = 1 se sigue de la propia denici on de homomors-
mo que f(
1
v
1
) =
1
f(v
1
). Si suponemos que la ecuaci on es cierta para n 1,
aplicando la hip otesis de inducci on junto con la denici on de homomorsmo obten-
emos lo siguiente:
f(
1
v
1
+ +
n
v
n
) = f(
1
v
1
+ +
n1
v
n1
+
n
v
n
)
= f(
1
v
1
+ +
n1
v
n1
) + f(
n
v
n
)
=
1
f(v
1
) + +
n1
f(v
n1
) +
n
f(v
n
).
2
Los homomorsmos preservan conjuntos linealmente dependientes.
Proposici on 5.1.2. Sea f : V W un homomorsmo entre k-espacios vectoriales. Si
o = v
1
, . . . , v
n
V es un conjunto linealmente dependiente, entonces f(o) =
f(v
1
), . . . , f(v
n
) W es tambi en un conjunto linealmente dependiente.
PRUEBA: Por ser o linealmente dependiente existen escalares
1
, . . . ,
n
, no todos nulos,
tales que

1
v
1
+ +
n
v
n
= 0.
Aplicando f a ambos t erminos de esta ecuaci on se obtiene

1
f(v
1
) + +
n
f(v
n
) = f(
1
v
1
+ +
n
v
n
) = f(0) = 0,
luego f(o) es linealmente dependiente. 2
La composici on de homomorsmos es un homomorsmo.
Proposici on 5.1.3. Dados dos homomorsmos de k-espacios vectoriales
U
g
V
f
W,
su composici on f g : U W es un homomorsmo.
PRUEBA: Dados u, v V se tiene que
(f g)(u +v) = f(g(u +v))
= f(g(u) + g(v))
= f(g(u)) + f(g(v))
= (f g)(u) + (f g)(v).
Por otra parte, si adem as k,
(f g)(v) = f(g(v))
= f(g(v))
= f(g(v))
= (f g)(v),
luego f g es un homomorsmo. 2
3
Para denir un homomorsmo, basta con dar la imagen de los vectores de una base
del espacio vectorial de partida.
Proposici on 5.1.4. Sean V y W dos k-espacios vectoriales. Supongamos que V es de
dimensi on nita dimV = n con base B = v
1
, . . . , v
n
V . Sea o = w
1
, . . . , w
n

W un conjunto de n vectores cualesquiera de W. Entonces existe un unico homomorsmo
f : V W tal que f(v
i
) = w
i
para todo 1 i n.
PRUEBA: La aplicaci on f se dene de la siguiente manera. Dado un vector v V ,
tomamos sus coordenadas respecto de B, v
B
= (a
1
, . . . , a
n
), y denimos f(v) mediante
la f ormula
f(v) = a
1
w
1
+ + a
n
w
n
.
Veamos que f es un homomorsmo. Si u V tiene coordenadas u
B
= (b
1
, . . . , b
n
)
entonces las coordenadas de u +v son
(u +v)
B
= (b
1
+ a
1
, . . . , b
n
+ a
n
),
por tanto, aplicando la denici on de f obtenemos que
f(u +v) = (b
1
+ a
1
)w
1
+ + (b
n
+ a
n
)w
n
= (b
1
w
1
+ a
1
w
1
) + + (b
n
w
n
+ a
n
w
n
)
= (b
1
w
1
+ + b
n
w
n
) + (a
1
w
1
+ + a
n
w
n
)
= f(u) + f(v).
Si k las coordenadas del vector v son (v)
B
= (a
1
, . . . , a
n
), luego
f(v) = (a
1
)w
1
+ + (a
n
)w
n
= (a
1
w
1
) + + (a
n
w
n
)
= (a
1
w
1
+ + a
n
w
n
)
= f(v).
Con esto concluye la demostraci on de que f es un homomorsmo.
Para ver la unicidad de f razonamos del siguiente modo. Sea g : V W un homo-
morsmo que tambi en satisface g(v
i
) = w
i
para todo 1 i n. Por denici on de
coordenadas tenemos que v = a
1
v
1
+ + a
n
v
n
, por tanto
g(v) = a
1
g(v
1
) + + a
n
g(v
n
) = a
1
w
1
+ + a
n
w
n
= f(v),
luego la aplicaci on g es igual a f. 2
4
5.2. La matriz de un homomorsmo
Matriz de un homomorsmo
Sea f : V W un homomorsmo entre k-espacios vectoriales de di-
mensi on nita con bases
B = v
1
, . . . , v
n
V, B

= w
1
, . . . , w
m
W.
La matriz de f respecto de B y B

es la matriz
M
B,B
(f) /
mn
(k)
cuyas columnas son las coordenadas de los vectores de f(B) respecto
de B

:
M
B,B
(f) = (f(v
1
)
B
[ [f(v
n
)
B
) .
Ejemplos 5.2.1. Los siguientes ejemplos de matrices asociadas a homomorsmos son ya
conocidos:
1. Si V es un espacio vectorial de dimensi on nita y B, B

V son dos bases de V

entonces la matriz del homomorsmo identidad id
V
: V V respecto de B en la
partida y de B

en la llegada es la matriz de cambio de base,

M
B,B
(id
V
) = M(B, B

).
2. Sea A /
mn
(k) una matriz y f : k
n
k
m
el homomorsmo denido a partir
de A en los ejemplos de la secci on anterior, f(v) = Av. Entonces, si B k
n
y
B

k
m
son las respectivas bases can onicas, tenemos que M
B,B
(f) = A.
La matriz de un homomorsmo determina dicho homomorsmo.
Proposici on 5.2.1. Sea f : V W un homomorsmo entre k-espacios vectoriales de
dimensi on nita con bases
B = v
1
, . . . , v
n
V, B

= w
1
, . . . , w
m
W.
Para todo v V se satisface la siguiente ecuaci on:
f(v)
B
= M
B,B
(f)v
B
.
PRUEBA: Si denotamos v
B
= (a
1
, . . . , a
n
) tenemos que v = a
1
v
1
+ + a
n
v
n
. Apli-
cando f obtenemos
f(v) = a
1
f(v
1
) + + a
n
f(v
n
).
5
Si ahora tomamos coordenadas respecto de B

, como esta operaci on es lineal deducimos

que
f(v)
B
= a
1
f(v
1
)
B
+ + a
n
f(v
n
)
B

= (f(v
1
)
B
[ [f(v
n
)
B
)

a
1
.
.
.
a
n

= M
B,B
(f)v
B
.
2
La composici on de homomorsmos se corresponde con la multiplicaci on de sus ma-
trices.
Proposici on 5.2.2. Dados dos homomorsmos de k-espacios vectoriales de dimensi on
nita
U
g
V
f
W,
con bases B U, B

V y B

W, se satisface la siguiente ecuaci on:

M
B,B
(f g) = M
B

,B
(f)M
B,B
(g).
PRUEBA: Sea B = u
1
, . . . , u
n
la base de U. Entonces, aplicando la proposici on ante-
rior,
M
B

,B
(f)M
B,B
(g) = M
B

,B
(f) (g(u
1
)
B
[ [g(u
n
)
B
)
= (M
B

,B
(f)g(u
1
)
B
[ [M
B

,B
(f)g(u
n
)
B
)
= (f(g(u
1
))
B
[ [f(g(u
n
))
B
)
= ((f g)(u
1
)
B
[ [(f g)(u
n
)
B
)
= M
B,B
(f g).
2
5.3. Imagen y contraimagen de subespacios vectoriales
La imagen y contraimagen (o imagen inversa) de un conjunto a trav es de una apli-
caci on son conceptos bien conocidos. Aqu veremos c omo estos conceptos interact uan
con los espacios vectoriales a trav es de los homomorsmos.
La imagen de un subespacio vectorial por un homomorsmo es un subespacio vecto-
rial de la llegada.
Proposici on 5.3.1. Dado un homomorsmo f : V W y un subespacio vectorial L
V , su imagen f(L) = f(v) ; v L W es un subespacio vectorial de W.
PRUEBA: Dos vectores cualesquiera w
1
, w
2
f(L) son siempre de la forma w
1
= f(v
1
)
y w
2
= f(v
2
) para ciertos v
1
, v
2
V . Por ser L un subespacio vectorial v
1
+ v
2
L y
si k adem as v
1
L, luego
w
1
+w
2
= f(v
1
) + f(v
2
) = f(v
1
+v
2
) f(L),
w
1
= f(v
1
) = f(v
1
) f(L).
6
2
La imagen de unos generadores es siempre un sistema generador de la imagen.
Proposici on 5.3.2. Dado un homomorsmo f : V W y un subespacio vectorial L
V , si o = v
1
, . . . , v
n
L es un conjunto de generadores de L entonces f(o) =
f(v
1
), . . . , f(v
n
) f(L) es un conjunto de generadores de la imagen.
PRUEBA: Si w f(L) es porque w = f(v) para cierto v V . Como o genera V
tenemos que v =
1
v
1
+ +
n
v
n
para ciertos
1
, . . . ,
n
k, por tanto
w = f(v) =
1
f(v
1
) + +
n
f(v
n
).
Esto demuestra que todo vector de f(L) es combinaci on lineal de f(o). 2
C alculo de la imagen de un subespacio
Dado un homomorsmo entre espacios vectoriales de dimensi on ni-
ta f : V W y un subespacio vectorial L V , para calcular f(L)
necesitamos conocer un sistema generador de L. Si L = v
1
, . . . , v
n
)
entonces
f(L) = f(v
1
), . . . , f(v
n
)).
Si f : k
n
k
m
es el homomorsmo de matriz A /
mn
(k) respecto
de las bases can onicas entonces
f(L) = Av
1
, . . . , Av
n
).
En general f(L) se calcula igual una vez jadas bases B V y B

W
para asignar coordenadas a los vectores de V y W y obtenida la matriz
A = M
B,B
(f).
La contraimagen o imagen inversa de un subespacio vectorial por un homomorsmo
es un subespacio vectorial de la partida.
Proposici on 5.3.3. Dado un homomorsmo f : V W y un subespacio vectorial L

W, su contraimagen f
1
(L

) = v V ; f(v) L

V es un subespacio vectorial.
PRUEBA: Dados dos vectores v
1
, v
2
f
1
(L

) y un escalar k, como f(v

1
), f(v
2
)
L

y L

W es un subespacio vectorial, tenemos que los siguientes vectores tambi en

pertenecen a L

,
f(v
1
+v
2
) = f(v
1
) + f(v
2
) L

, f(v
1
) = f(v
1
) L

,
por tanto v
1
+v
2
f
1
(L

) y v
1
f
1
(L

). 2
7
C alculo de la contraimagen
Sea f : V W un homomorsmo entre espacios vectoriales de dimen-
si on nita, dimV = n y dimW = m, con bases B V y B

W. Si
L

W es el subespacio vectorial cuyas ecuaciones implcitas respecto

de B

son
L

: A

x
1
.
.
.
x
m

= 0,
entonces las ecuaciones implcitas de f
1
(L

) V respecto de B son
f
1
(L

): AM
B,B
(f)

x
1
.
.
.
x
n

= 0.
5.4. La imagen y el n ucleo
Dado un homomorsmo f : V W, la imagen del subespacio total V V y la
contraimagen del subespacio trivial 0 W merecen una especial atenci on.
Imagen y n ucleo
Si f : V W es un homomorsmo, se denomina imagen de f al
subespacio vectorial f(V ) W, tambi en denotado im(f):
im(f) = f(V ) = f(v) ; v V .
El n ucleo de f es el subespacio ker(f) = f
1
(0) V :
ker(f) = f
1
(0) = v V ; f(v) = 0.
En la secci on anterior hemos visto c omo se calcula la imagen de un subespacio vecto-
rial cualquiera. De ah inferimos el siguiente procedimiento para el c alculo de la imagen
de un homomorsmo.
8
C alculo de la imagen de un homomorsmo
Si f : k
n
k
m
es el homomorsmo de matriz A /
mn
(k) respecto
de las bases can onicas entonces las columnas de A generan im(f)
k
m
.
En general, dado un homomorsmo f : V W entre espacios
vectoria-les de dimensi on nita, la imagen im(f) W se calcula -
jando bases B V y B

W para asignar coordenadas a los vectores

de V y W y obteniendo la matriz A = M
B,B
(f). As im(f) est a gen-
erado por los vectores de W cuyas coordenadas respecto de B

son las
columnas de M
B,B
(f).
El n umero de columnas linealmente independiente en una matriz coincide con su ran-
go. De aqu deducimos la siguiente f ormula para la dimensi on de la imagen de un homo-
morsmo.
Corolario 5.4.1. Dado un homomorsmo f : V W entre espacios vectoriales de di-
mensi on nita con bases B V y B

W se tiene que
dimim(f) = rango M
B,B
(f).
Usando la receta para el c alculo de la imagen inversa de un subespacio vista en la
secci on anterior obtenemos el siguiente procedimiento para el c alculo del n ucleo de un
homomorsmo.
C alculo del n ucleo
Sea f : V W un homomorsmo entre espacios vectoriales de dimen-
si on nita con bases B V y B

W. Las ecuaciones de ker(f) V

respecto de B son
ker(f): M
B,B
(f) x = 0.
Corolario 5.4.2. La dimensi on del n ucleo de un homomorsmo f : V W entre espa-
cios vectoriales de dimensi on nita con bases B V y B

W es
dimker(f) = dimV rango M
B,B
(f).
Los dos corolarios anteriores se combinan para demostrar el siguiente teorema.
Teorema 5.4.3. Dado un homomorsmo f : V W entre espacios vectoriales de di-
mensi on nita se tiene la siguiente ecuaci on:
dimV = dimker(f) + dimim(f).
9
5.5. Homomorsmos inyectivos y sobreyectivos
Los homomorsmos son un tipo especial de aplicaciones entre espacios vectoriales
(las que preservan su forma). En tanto que aplicaciones, pueden ser inyectivas, so-
breyectivas, ambas cosas (es decir, biyectivas) o ninguna. En esta secci on veremos como
interact uan estras propiedades conjuntistas con los homomorsmos.
Monomorsmos, epimorsmos e isomorsmos
Un homomorsmo f : V W se denomina . . .
. . . monomorsmo si la aplicaci on f es inyectiva.
. . . epimorsmo si la aplicaci on f es sobreyectiva.
. . . isomorsmo si la aplicaci on f es biyectiva.
Ejemplos 5.5.1. Algunos ejemplos conocidos de homomorsmos inyectivos, sobreyec-
tivos y biyectivos son los siguientes:
1. Si V W es un subespacio vectorial, la inclusi on i : V W, i(v) = v, es un
monomorsmo, y la proyecci on natural p: W W/V , p(w) = w + V , es un
epimorsmo.
2. La identidad id
V
: V V , id
V
(v) = v, es un isomorsmo.
Por denici on un homomorsmo f es sobreyectivo si y s olo si la imagen es el total,
im(f) = W. El car acter inyectivo de un homomorsmo est a determinado por su n ucleo.
Proposici on 5.5.1. Un homomorsmo f : V W es inyectivo si y s olo si ker(f) = 0.
PRUEBA: En primer lugar, supongamos que ker(f) ,= 0. Entonces existir a un vector
no nulo v ker(f), luego se tiene v ,= 0 y f(v) = 0 = f(0). Por tanto f no es inyectivo.
Recprocamente, supongamos que f no es inyectivo. Entonces existir an dos vectores
u ,= v en V tales que f(u) = f(v). En ese caso f(u v) = f(u) f(v) = 0, por tanto
0 ,= u v ker(f), luego ker(f) ,= 0. 2
C omo saber si un homomorsmo es inyectivo, sobreyectivo o
biyectivo
Dado un homomorsmo f : V W entre espacios vectoriales de di-
mensi on nita dimV = n y dimW = m con bases B V y B

W:
f es inyectivo si y s olo si rango M
B,B
(f) = n.
f es sobreyectivo si y s olo si rango M
B,B
(f) = m.
f es biyectivo si y s olo si n = m y [M
B,B
(f)[ , = 0.
10
Los epimorsmos preservan sistemas de generadores.
Proposici on 5.5.2. Si f : V W es un epimorsmo y el conjunto o = v
1
, . . . , v
n

V es un sistema de generadores entonces su imagen f(o) = f(v
1
), . . . , f(v
n
) W
tambi en es un sistema de generadores.
PRUEBA: Ya vimos en la secci on anterior que f(o) im(f) es un sistema de gener-
adores. Por ser f sobreyectivo im(f) = V . 2
Los monomorsmos preservan conjuntos linealmente independientes.
Proposici on 5.5.3. Si f : V W es un monomorsmo y el conjunto o = v
1
, . . . , v
n

V es linealmente independiente entonces su imagen f(o) = f(v
1
), . . . , f(v
n
) W
tambi en es linealmente independiente.
PRUEBA: Sean
1
, . . . ,
n
k escalares tales que

1
f(v
1
) + +
n
f(v
n
) = 0.
Hay que demostrar que todos los coecientes son nulos. Como f es un homomorsmo
tenemos que
f(
1
v
1
+ +
n
v
n
) =
1
f(v
1
) + +
n
f(v
n
) = 0 = f(0).
Al ser f es inyectivo,
1
v
1
+ +
n
v
n
= 0 y, como o es linealmente independiente,
todos los coecientes son cero
1
= =
n
= 0. 2
Las dos proposiciones anteriores tienen como consecuencia el siguiente corolario.
Corolario 5.5.4. Si f : V W es un isomorsmo y B = v
1
, . . . , v
n
V es una
base entonces f(B) = f(v
1
), . . . , f(v
n
) W tambi en es una base, en particular
dimV = dimW.
Isomorfa
Dos k-espacios vectoriales V y W se dicen isomorfos si existe un iso-
morsmo f : V W.
La relaci on de isomorfa, i.e. de ser isomorfos, es reexiva ya que todo espacio es
isomorfo a s mismo a trav es del isomorsmo identidad. Esta relaci on tambi en es sim etri-
ca.
Proposici on 5.5.5. Si f : V W es un isomorsmo la aplicaci on inversa f
1
: W V
tambi en lo es.
11
PRUEBA: Como f
1
es biyectiva, basta probar que f
1
es un homomorsmo. Es decir,
hay que probar que, dados w
1
, w
2
W y k,
f
1
(w
1
+w
2
) = f
1
(w
1
) + f
1
(w
2
),
f
1
(w
1
) = f
1
(w
1
).
Por ser f un homomorsmo,
f(f
1
(w
1
) + f
1
(w
2
)) = f(f
1
(w
1
)) + f(f
1
(w
2
))
= w
1
+w
2
= f(f
1
(w
1
+w
2
)),
f(f
1
(w
1
)) = f(f
1
(w
1
))
= w
1
= f(f
1
(w
1
)).
Ahora basta usar que f es inyectivo para deducir de aqu las dos ecuaciones de arriba. 2
El siguiente resultado demuestra que la relaci on de isomorfa es transitiva y por tanto
de equivalencia.
Proposici on 5.5.6. Dados dos isomorsmos
U
g
V
f
W,
su composici on f g : U W tambi en es un isomorsmo.
PRUEBA: Es conocido que la composici on de aplicaciones biyectivas es biyectiva. En la
primera secci on vimos que la composici on de homomorsmos es un homomorsmo, por
tanto la composici on de isomorsmos es un isomorsmo. 2
En virtud del corolario anterior, dos espacios vectoriales isomorfos tienen necesaria-
mente la misma dimensi on. Esta condici on resulta ser tambi en suciente.
Teorema 5.5.7 (Clasicaci on de espacios vectoriales de dimensi on nita). Dos espacios
vectoriales de dimensi on nita V y W son isomorfos si y s olo si dimV = dimW.
PRUEBA: El s olo si ya le hemos probado, as que basta ver el si. Supongamos que
dimV = dimW = n. Dadas dos bases B V y B

W, las respectivas asignaciones

de coordenadas son isomorsmos,
c
B
: V k
n
, c
B
: W k
n
.
Por lo visto antes, tanto la inversa c
1
B

: k
n
W como la composici on c
1
B

c
B
: V W
son isomorsmos, luego V y W son isomorfos. 2
Si sabemos que los espacios de salida y llegada de un homomorsmo tienen la misma
dimensi on (nita) es mucho m as f acil comprobar cu ando el homomorsmo es un isomor-
smo.
Proposici on 5.5.8. Si f : V W es un homomorsmos entre espacios de la misma
dimensi on nita, dimV = dimW, entonces los siguientes enunciados son equivalentes:
12
1. f es un monomorsmo.
2. f es un epimorsmo.
3. f es un isomorsmo.
PRUEBA: Por denici on sabemos que (3) (1) y (3) (2). Veamos las implicaciones
contrarias.
Supongamos primero que f es un monomorsmo. Esto equivale a decir que la di-
mensi on de ker(f) es 0. Por el teorema de la secci on anterior esto implica que dimV =
dimim(f). Estamos suponiendo que dimV = dimW, luego dimW = dimim(f). La
imagen es un subespacio vectorial im(f) W con la misma dimensi on que el total,
as que im(f) = W, es decir, f es tambi en sobreyectiva y por tanto un isomorsmo.
Sea ahora f un epimorsmo. Esto es lo mismo que decir que im(f) = W, o simple-
mente que dimim(f) = dimW puesto que la contenci on im(f) W se tiene siempre.
Usando la hip otesis del enunciado y el teorema de la secci on anterior concluimos que
dimker(f) = dimV dimim(f) = dimW dimim(f) = 0,
luego f es inyectiva y por tanto un isomorsmo. 2
Nota 5.5.1. Dado un homomorsmo f : V W entre espacios vectoriales de dimensi on
nita dimV = n y dimW = m, los resultados de esta secci on demuestran que:
Si n < m, entonces f podra ser inyectiva, pero nunca podra ser sobreyectiva.
Si n > m, entonces f podra ser sobreyectiva, pero nunca podra ser inyectiva.
Si n = m, entonces f es inyectiva si y s olo si es sobreyectiva.
Por ultimo veremos que la matriz del isomorsmo inverso es la matriz inversa del
isomorsmo original.
Proposici on 5.5.9. Sea f : V W un isomorsmo entre espacios vectoriales de dimen-
si on nita dimV = dimW = n. Sean B V y B

W bases. Entonces M
B

,B
(f
1
) =
M
B,B
(f)
1
.
PRUEBA: Usando la denici on y las propiedades elementales de la matriz de un homo-
morsmo obtenemos las ecuaciones siguientes, que demuestran la tesis del enunciado:
M
B

,B
(f
1
)M
B,B
(f) = M
B,B
(f
1
f)
= M
B,B
(id
V
)
= I
n
,
M
B,B
(f)M
B

,B
(f
1
) = M
B

,B
(f f
1
)
= M
B

,B
(id
W
)
= I
n
.
2
13
5.6. El espacio vectorial de los homomorsmos
Con los homomorsmos, aparte de componerlos, podemos realizar las dos opera-
ciones siguientes.
Operaciones con homomorsmos
Dados dos homomorsmos con la misma salida y llegada f, g : V W
y un escalar k, se denen:
El homomorsmo suma f + g : V W como
(f + g)(v) = f(v) + g(v).
El producto por un escalar f : V W como
(f)(v) = f(v).
Estas operaciones est an denidas en el conjunto Hom(V, W) de los ho-
momorsmos V W.
Proposici on 5.6.1. Dados dos homomorsmos de k-espacios vectoriales f, g : V W y
un escalar k, f +g y f son homomorsmos. Estas operaciones dotan a Hom(V, W)
de estructura de k-espacio vectorial.
PRUEBA: Ejercicio. 2
La matriz del homomorsmo suma es la suma de las matrices de los factores. Es m as,
la matriz de f se obtiene multiplicando la matriz de f por .
Proposici on 5.6.2. Dados dos homomorsmos f, g : V W entre espacios vectoriales
de dimensi on nita con bases B V y B

W y un escalar k, se satisfacen las

siguientes ecuaciones,
M
B,B
(f + g) = M
B,B
(f) + M
B,B
(g),
M
B,B
(f) = M
B,B
(f).
PRUEBA: Estas ecuaciones son cosencuencia inmediata de la denici on de la matriz
de un homomorsmo y de la linealidad de la asignaci on de coordenadas. En efecto, si
denotamos B = v
1
, . . . , v
n
V tenemos lo siguiente:
M
B,B
(f + g) = ((f + g)(v
1
)
B
[ [(f + g)(v
n
)
B
)
= (f(v
1
)
B
+ g(v
1
)
B
[ [f(v
n
)
B
+ g(v
n
)
B
)
= (f(v
1
)
B
[ [f(v
n
)
B
) + (g(v
1
)
B
[ [g(v
n
)
B
)
= M
B,B
(f) + M
B,B
(g),
M
B,B
(f) = ((f)(v
1
)
B
[ [(f)(v
n
)
B
)
= (f(v
1
)
B
[ [f(v
n
)
B
)
= M
B,B
(f).
2
14
El siguiente teorema nos demuestra que cuando trabajamos con espacios vectoriales
de dimensi on nita, la dimensi on de Hom(V, W) es el producto de las dimensiones de V
y de W.
Teorema 5.6.3. Sean V y W dos k-espacios vectoriales de dimensi on nita dimV = n
y dimW = m con bases B V y B

W. La aplicaci on M
B,B
que asigna a cada
homomorsmo de V en W su matriz respecto de estas bases es un isomorsmo,
M
B,B
: Hom(V, W) /
mn
(k),
f M
B,B
(f).
En particular dimHom(V, W) = mn.
PRUEBA: La linealidad de M
B,B
se ha demostrado en la proposici on anterior, as que
s olo queda por ver que el homomorsmo M
B,B
es biyectivo.
Denotemos B = v
1
, . . . , v
n
V y B

= w
1
, . . . , w
m
W. Sabemos que un ho-
momorsmo est a unvocamente determinado por su matriz, por tanto M
B,B
es inyectiva.
La aplicaci on M
B,B
es sobreyectiva ya que dada una matriz A /
mn
(k) el unico ho-
momorsmo f : V W que satisface f(v
i
) = a
1i
w
1
+ +a
mi
w
m
para todo 1 i n
tiene matriz M
B,B
(f) = A.
La conclusi on nal se deduce de que sabemos que dim/
mn
(k) = mn. 2
5.7. Primer teorema de isomorfa
El cociente de espacios vectoriales posee la siguiente propiedad universal.
Proposici on 5.7.1. Dado un homomorsmo f : V W y un subespacio vectorial L
ker(f), la aplicaci on
f : V/L W,
v + L f(v),
est a bien denida y es un homomorsmo. Es m as, si L = ker(f) entonces f es inyectivo.
PRUEBA: Veamos que est a bien denida. Si v + L = v

+ L es porque v v

L
ker(f), en particular f(v v

) = 0. Como f(v v

) = f(v) f(v

) deducimos que
f(v) = f(v

), por tanto la denici on de f(v +L) dada en el enunciado no depende de la

elecci on del representante de la clase v + ker(f).
La prueba de que f preserva la suma de vectores y el producto por escalares es obvia,
ya que f es un homomorsmo y f se dene a partir de f.
Supongamos que L = ker(f). Sea v +L ker(f). Como por denici on f(v +L) =
f(v), lo anterior equivale a decir que f(v) = 0, es decir, v ker(f) = L, por tanto
v + L = 0. Esto demuestra que en este caso ker(f) = 0, i.e. f es inyectivo. 2
El siguiente teorema es una importante generalizaci on del teorema visto dos secciones
atr as.
Teorema 5.7.2. Dado un homomorsmo f : V W, la aplicaci on

f : V/ ker(f) im(f),
v + ker(f) f(v),
est a bien denida y es un isomorsmo.
15
PRUEBA: El homomorsmo f se puede ver como la composici on del epimorsmo g : V
im(f), g(v) = f(v), con la inclusi on i : im(f) W, i(w) = w, f = i g. Obviamente
ker(f) = ker(g), as que tomando L = ker(g) la proposici on anterior demuestra que

f = g : V/ ker(f) im(f) es un monomorsmo.

Veamos que

f es sobreyectivo. Dado w im(f), por denici on de imagen existe
v V tal que f(v) = w, por tanto

f(v + ker(f)) = w. 2
16