Álgebra Lineal I.

Monomor…smos, Epimor…smos e Isomor…smos

Recordemos. Sean (V; +V ; V ), (W; +W ; W ) k-espacios vectoriales y f : V !

W una función (de conjuntos) es una función (o transformación) (k )lineal
si y sólo si: 8v; v 0 2 V; 8 2 k se tiene que
i) f (v +V v ) = f (v) +W f (v 0 )
ii) f ( V v) = W f (v)

Observaciones. Sea f : V ! W función entre k-espacios vectoriales. Demostrar

O.1. f (0V ) = 0W (pues f (0V ) = f (0 V 0V ) = 0k W f (0V ) = 0W ).
W esp.vect.
O.2. 8x 2 V; f ( x) = f (x); donde x (resp. f (x)) es el inverso aditivo de
x (resp. f (x)) en V (resp. W ).

Dem.: Sea x 2 V:
PD. f ( x) = f (x):
Recordemos que demostramos que x = ( 1k ) V x: Entonces
f ( x) = f (( 1k ) V x) = ( 1k ) W f (x) = f (x);p
f lineal

O.3. El núcleo de f; ker f := fv 2 V : f (v) = 0W g V es k-subespacio

vectorial de V .
O.4. La imagen de f; Im f := ff (x) 2 W : x 2 V g W es un k-subespacio
vectorial de W:

O.5. Para todo U V k subespacio vectorial de V; la imagen de U bajo f;

f (U ) := ff (x) 2 W : x 2 U g es un k subespacio vectorial de W:
Observen que f (V ) = Im f:

O.6. Para todo W 0 W k subespacio vectorial de W; la imagen inversa de

W 0 bajo f; f 1 [W 0 ] := fx 2 V : f (x) 2 W 0 g es un k subespacio vectorial de
V:
Observen que f 1 [W ] = V:

NOTA: Por comodidad, si no hay confusión, no pondremos los subíndices

en las operaciones + y .

De…nición: Sea f : V ! W k-lineal. Diremos que

a) f es un monomor…smo si f es función inyectiva
b) f es un epimor…smo si f es una función suprayectiva (o sobreyectiva).
c) f es un isomor…smo si f es una función biyectiva (= inyectiva y suprayec-
tiva).
En este caso diremos que V es isomorfo a W ó V y W son (espacios vecto-
riales) isomorfos. y se denotará V ' W:

1
0.7. Ejemplos:
0.7.1. La función identidad IV es un isomor…smo.
0.7.2. Sea U W un k subespacio vectorial de W; entonces la función
proyección
W
: W ! U
w 7 ! [w]U
es un epimor…smo.
Recuerden que [w]U = fu + w 2 W : u 2 U g:

0.8. Ejercicio: Sean f : V ! W y g : W ! U funciones k-lineales y g f su

composición (que demostramos es k lineal).
0.8.1. Si g f es un monomor…smo, entonces f es un monomor…smo.
0.8.2. Si g f es un epimor…smo, entonces g es un epimor…smo.
Demostración.
0.8.1. PD. Si g f es un monomor…smo, entonces f es un monomor…smo.
PD. 8x:y 2 V; f (x) = f (y) =) x = y:
Sean x:y 2 V tales que f (x) = f (y)
PD. x = y:

f (x) = f (y) =) g(f (x)) = g(f (y)) =) (g f )(x) = ( g f )(y) ) x = y:p

g f m ono

0.8.2. PD. Si g f es un epimor…smo, entonces g es un epimor…smo.

PD. 8u 2 U; 9w 2 W; u = g(w):
Sea u 2 U:
PD. 9w 2 W; u = g(w):

Como g f es un epimor…smo,
entonces 9v 2 V; u = (g f )(v) = g(f (v)):
Como f : V ! W; f (v) 2 W:
De…nimos w := f (v); entonces g(w) = u:
Por lo tanto, g es un epimor…smo:p

1. Teorema. Sea f : V ! W una función k-lineal. Sea X V subconjunto,

de…nimos f (X) := ff (v) : v 2 Xg la imagen de X bajo la función f: Entonces

a) f es monomor…smo
() ker f = f0V g
() 8X V conjunto linealmente independiente =) f (X) W es lin. ind.
() 8Z k esp.vect:8g; h : Z ! V k lineales, [f g = f h =) g = h]

b) f es epimor…smo
() Im f = W
() 8X V , hXi = V =) hf (X)i = W
() 8Z k esp.vect:8g; h : W ! Z; k lineales, [g f = h f =) g = h]

c) f es isomor…smo

2
() ker f = f0V g e Im f = W
() 9g : W ! V k-lineal, g f = 1V y f g = 1W :
Más aún, g es única tales que g f = 1V y f g = 1W :
Por lo que a g la denotaremos por f 1 y la llamaremos la inversa de f

Demostración.

a) PD.
f es monomor…smo
() ker f = f0V g
() 8X V conjunto linealmente independiente =) f (X) W es lin. ind.
g g f
() 8Z V k lineales, ( Z V ! W conmuta) =) (g = h)
h h
a.1) PD. f es monomor…smo () ker f = f0V g.
=)) Sea f un monomor…smo.
PD. ker f = f0V g.
Como f (0V ) = 0W ; entonces (por ser f mono) 8x 2 V; x 6= 0V ; f (x) 6= 0W :
Por lo tanto, ker f = f0V g.

(=) Sea ker f = f0V g.

PD. f es un monomor…smo.
PD. 8x; y 2 V; [f (x) = f (y)] =) [x = y]:
Sean x; y 2 V tales que f (x) = f (y):
PD. x = y

[f (x) = f (y)] () [f (x) f (y) = 0W ] () [f (x y) = 0W ]

f lineal
() [x y 2 ker f ] () [x y = 0V ] () [x = y]:
def ker f ker f =f0V g

Por lo tanto, f es monomor…smo.

Por lo tanto, f es monomor…smo () ker f = f0V g.X

a.2.) PD. f es un monomor…smo () (8X V conjunto linealmente indepen-

diente =) f (X) W es linealmente independiente).

=)) Sea f un monomor…smo.

PD. 8X V conjunto linealmente independiente =) f (X) W es linenal-
mente independiente.

Sea X un conjunto linealmente independiente.

PD. f (X)es linealmente independiente en W:

Recordemos que f (X) = ff (x) 2 W : x 2 Xg:

Caso 1. X = ;. Observemos que ff (x) 2 W : x 2 ;g = ;: Pues

3
PD. 8y 2 W; :[y 2 ff (x) 2 W : x 2 ;g]
PD. 8y; (y 2 W ) ) (y 2 = ff (x) 2 W : x 2 ;g)
Demostración. Sea y 2 V:
PD. y 2= ff (x) 2 W : x 2 ;g:
PD. 8x 2 ;; y 6= f (x):
Sabemos que 8x 2 ;; P (x) es una proposición verdadera para cualquier
proposición P (x):
Por lo tanto, 8x 2 ;; y 6= f (x) es una proposición verdadera.
Por lo tanto, 8x 2 ;; x 2= ff (x) 2 W : x 2 ;g:
Por lo tanto, ff (x) 2 W : x 2 ;g = ; que es linealmente independiente.p

Caso 2. X 6= ;.
Sean f (x1 ); :::; f (xn ) 2 f (X) con x1 ; :::; xn 2 X 1 ; :::; n 2 k tales que
Xn
i f (xi ) = 0W :
i=1
PD. 1 = = n = 0k :

Ahora,
" n
# " n
! # " n
#
X X X
i f (xi ) = 0W () f i xi = 0W () i xi = 0V
f lineal f m ono
i=1 i=1 i=1

() 1 = = n = 0k :
x1 ;:::;xn 2X y X lin.ind.

Por lo tanto, f (X) es linealmente independiente.

Por lo tanto, 8X V conjunto linealmente independiente =) f (X) W

es linealmente independiente.

(=) PD. (8X V conjunto linealmente independiente =) f (X) W es

linealmente independiente)=)(f es un monomor…smo).
Supongamos que 8X V conjunto linealmente independiente =) f (X)
W es linealmente independiente.
PD. f es un monomor…smo.
PD. 8x; y 2 V; (f (x) = f (y)) =) (x = y):

1o. 8x 2 V f0V g; f (x) 6= 0W :

Pues si x 6= 0V entonces fxg V es linealmente independiente.
Entonces (por hipótesis), ff (x)g W es linealmente independiente. Por lo
tanto, f (x) 6= 0W :X

2o. PD. f es un monomor…smo.

Sean x; y 2 V tales que f (x) = f (y):
PD. x = y:

4
 Como f (x) = f (y); entonces f (x y) = 0W :
Entonces por (1o), fx yg no puede ser linealmente independiente. Pero es
un conjunto de un sólo vector, por lo tanto x y = 0V :

Por lo tanto, x = y:

Es decir, probamos que f es un monomor…smo () (8X V conjunto lineal-

mente independiente =) f (X) W es linealmente independiente).

a.3) PD. (f es monomor…smo) () (8Z k esp.vect:8 ; : Z ! V; [f =f ] =) [ = ]).

Diremos en este caso: Todo monomor…smo se cancela por la izquierda.

=)) Sea f un monomor…smo.

PD. 8Z k esp.vect:8g; h : Z ! V; [f g=f h =) g = h] :

Sean Z k esspacio vectorial y g; h : Z ! V funciones k lineales tales que

f g = f h:
PD. g = h:
PD. 8x 2 Z; g(x) = h(x):

Sea x 2 Z:
PD. g(x) = h(x):

Por hipótesis, f g=f h, entonces

(f g)(x) = (f h)(x)

Entonces,
f (g(x)) =: (f g)(x) = (f h)(x) = f (h(x)):

Entonces f (g(x)) = f (h(x)):

Entonces (por ser f mono), g(x) = h(x):

Por lo tanto, 8x 2 Z; g(x) = h(x):

Por lo tanto, g = h:X

(=) Sea f : V ! W k lineal tal que satisface que

8Z k esp.vect:8g; h : Z ! V; [f g = f h] =) [g = h])
PD.f es monomor…smo.

PD. 8x; y 2 V; (f (x) = f (y)) =) (x = y):

Sean x; y 2 V tales que f (x) = f (y):
PD. x = y:

5
 Fíjense, de…namos un Z k espacio vectorial y g; h : Z ! V funciones
k lineales tales que f g = f h y en algún punto nos comparen f (x) = f (y):
Es decir, en algún vector v de Z; g(v) = x y h(v) = y: :)

Por ejemplo, de…namos las siguientes funciones k lineales:

g: k ! V h: k ! V
y
7 ! x 7 ! y

PD. g y h son funciones k lineales.

PD. g es función k lineal.
PD. 8 ; ; 2 k; g( + ) = g( ) + g( ) y g( ) = g( ):
Sean ; ; 2 k: (Aquí los vectores y los escalares son los mismos).
PD. g( + ) = g( ) + g( ) y g( ) = g( ):

g( + ) := ( + )x = x + x =: g( ) + g( )
dist.
y
g( ) := ( )x = ( x) = g( ):
aso c

Por lo tanto, g es una función k lineal.

La demostración de que h es función k lineal es análoga.p

PD. f g = f h:
PD. 8 2 k; (f g)( ) = (f h)( ):

Sea 2 k
PD. (f g)( ) = (f h)( ):

(f g)( ) := f (g( )) = f ( x) = f (x) = f (y) = f ( y) =

def.g f lineal f (x)=f (y) f lineal def h
f (h( )) =: (f h)( ):

Por lo tanto, f g = f h:
Por lo tanto, (por hipótesis), g = h:

En particular, g(1k ) = h(1k ):

Por lo tanto, x = g(1k ) = h(1k ) = y:
Por lo tanto, 8x; y 2 V; (f (x) = f (y)) =) (x = y):
Por lo tanto, f es un monomor…smo.

b) PD.
f es epimor…smo
() Im f = W
() 8X V , hXi = V =) hf (X)i = W
g f g
() 8 W Z k lineales, ( V !W Z conmuta) =) (g = h)
h h
Esta vez, para demostrar estas equivalencias, demostraremos lo siguiente:

6
 PD. (f es epimor…smo) =) (Im f = W ) =) (8X V , hXi = V =)
hf (X)i = W )
=) (8Z k esp.vect:8g; h : W ! Z k lineales; [g f = h f =) g = h])
=) (f es epimor…smo).

b.1. Recordemos que una función f es suprayectiva si y sólo si Im f = W (=el

contradominio de f ).
Por lo tanto, por de…nición, tenemos que
[f es epimor…smo] () [Im f = W ].p

b.2. PD. (Im f = W ) =) (8X V , hXi = V =)(hf (X)i = W )

Supongamos que W = Im f:
PD. 8X V conjunto generador de V =) f (X) es un conjunto generador
de W:

Sea X V tal que hXi = V:

PD. hf (X)i = W .

caso 1. V = f0V g:
Entonces Im f = f0W g y los únicos conjuntos generadores de V = f0V g son
el conjunto vacío ; y V = f0V g:

Por lo tanto,
Si X = ; entonces f (;) := fx 2 X : f (x) 2 ;g = ; (ver antes).
y hf (;)i = h;i = f0W g = Im f = W:
Im f =W
Entonces f (;) genera a W:

Y si X = V; entonces f (V ) = Im f = W:
Im f =W
Entonces f (V ) genera a W:

Por lo tanto, 8X V = f0V g conjunto generador de V

=) f (X) es conjunto generador de W:

caso 2. V 6= f0V g:
Estamos con la hipótesis de que Im f = W:
PD. 8X V conjunto generador de V =) f (X)es conjunto generador de
W:

Sea X V conjunto generador de V

PD. f (X)es conjunto generador de W:

Como V 6= f0V g;(entonces X 6= ;: )

Xn
Entonces hXi = i xi 2 V : n 1; 8i = 1; :::; n; i 2 k y xi 2 X el con-
i=1
junto de combinaciones lineales de elementos de X y hXi = V:

7
 PD. hf (X)i = W:

)X pues por de…nición, hf (X)i es subespacio vectorial de W:

) PD. 8w 2 W; w 2 hf (X)i :

Sea w 2 W:
Como W = Im f (por hipótesis).

Entonces existe v 2 V tal que w = f (v):

Como v 2 V = hXi, entonces existen 1 ; :::; n 2 k y x1 ; :::; xn 2 X tales

n
X
que v = i xi :
i=1

n
! n
X X
Entonces w = f (v) = f i xi = i f (xi ) 2 hf (X)i :
f lineal x1 ;:::;xn 2X
i=1 i=1

Por lo tanto, w 2 hf (X)i :

Por lo tanto, W hf (X)i :

Por lo tanto, W = hf (X)i :

Por lo tanto, 8X V conjunto generador de V

=) f (X) es conjunto generador de W:X

b.3. PD. (8X V , hXi = V =) hf (X)i = W )

=) (8Z k esp.vect:8g; h : W ! Z k lineales; [g f = h f =) g = h])

Supongamos que f satisface que 8X V , [hXi = V ] =) [hf (X)i = W ].

Observación. Como hV i = V y f (V ) = Im f = hIm f i = W:
Im f V hip ótesis

PD. 8Z k esp.vect:8g; h : W ! Z k lineales; [g f = h f =) g = h].

Sean Z k espacio vectorial y g; h : W ! Z k lineales tales que g f = h f:

PD. g = h:
PD. 8w 2 W; g(w) = h(w):

Sea w 2 W:
PD. g(w) = h(w):

Por la observación anterior, existe (al menos un) x 2 V tal que f (x) = w:
Y como g f = h f; tenemos que para esta x:

8
 (g f ) (x) = (h f ) (x)

Entonces g(w) = g(f (x)) =: (g f ) (x) = (h f ) (x) = h(f (x)) = h(w):

Por lo tanto, 8w 2 W; g(w) = h(w):

Por lo tanto, g = h:
(En este caso se dice que f se cancela por la derecha).

b.4. PD. (8Z k esp.vect:8g; h : W ! Z k lineales; [g f = h f =) g = h])

=) (f es un epimor…smo).

Sea f tal que (8Z k esp.vect:8g; h : Z ! V k lineales; [g f = h f =) g = h]).

PD. f es un epimor…smo.
PD. 8x 2 W; 9x 2 V; f (x) = w:

W
b.4.1. De…namos las siguientes funciones k lineales g; h : W ! Im f

W
g: W ! Im f la función lineal que de…nimos cuando vimos espa-
w 7 ! [w]Im f
cios cociente

W
h: W ! Im f
la función constante 0W =0 W :
w 7 ! 0W Im f
Im f Im f

PD. g f = h f:
PD. 8x 2 V; g f (x) = h f (x):

Sea x 2 V:
PD, (g f )(x) = (h f )(x):

(g f )(x) := g(f (x)) := [f (x)]Im f = 0 W =: h(f (x)) = (h f )(x);

f (x)2Im f Im f

donde (recuerden) 0W Im f
=0 W :
Im f

Por lo tanto, g f = h f:
Por lo tanto, por hipótesis (f se cancela por la derecha), g = h:
Por lo tanto, 8w 2 W; [w]Im f = g(w) = h(w) = 0 W = 0W Im f :
Im f
Por lo tanto, 8w 2 W; w 2 Im f:
Por lo tanto, f es un epimor…smo.p

b.4.2. PD. f es un epimor…smo.

9
 PD. 8w 2 W; 9x 2 V; f (x) = w:

Sea w 2 W
PD. 9x 2 V; f (x) = w:

Por (b.4.1), 0 W = g(w) := [w]Im f

Im f

Sabemos que 0 W = [w]Im f = Im f:

Im f

Por lo tanto, w 2 Im f:
Por lo tanto, 9x 2 V; f (x) = w:
Por lo tanto, 8w 2 W; 9x 2 V; f (x) = w:
Por lo tanto, f es un epimor…smo.

c) PD.
f es isomor…smo () ker f = f0V g e Im f = W
() 9g : W ! V k-lineal, g f = 1V y f g = 1W
Más aún, g es única tales que g f = 1V y f g = 1W
A g la denotaremos por f 1 y la llamaremos la inversa de f

c.1. f es isomor…smo () ker f = f0V g e Im f = W .X

Por (a) y (b)

c.2. PD. f es un isomor…smo () 9!g : W ! V k-lineal, g f = 1V y f g = 1W :

=)) PD. f es un isomor…smo =) 9!g : W ! V k-lineal, g f = 1V y f g = 1W :

Sea f un isomor…smo.

c.2.1. Observación: Sea w 2 W , como f es epi, entonces existe v 2 V tal que

w = f (v):
Por ser f un mono, esta v es única, pues si x 2 V tal que w = f (x): Entonces
f (v) = w = f (x) =) x = v:

g: W ! V
c.2.2. De…namos
w 7 ! v
donde v es el único elemento de V tal que w = f (v):
Por lo tanto, g es una función (de conjuntos).

c.2.2.a. PD. g es una función k lineal.

PD. 8w; w0 2 W; 8 2 k; g(w + w0 ) = g(w) + g(w0 ) y g( w) = g(w):
Sean w; w0 2 W y 2 k:
PD. g(w + w0 ) = g(w) + g(w0 ) y g( w) = g(w):

) g(w + w0 ) = z 2 V que es el único vector en V tal que w + w0 = f (z):

10
 Por otro lado, sean v; v 0 2 V tales que w = f (v) y w0 = f (v 0 ): En otras
palabras, g(w) = v y g(w0 ) = v 0 :

Como f es lineal, entonces w + w0 = f (v) + f (v 0 ) = f (v + v 0 ):

Por lo tanto, w + w0 = f (v + v 0 ) = f (z):
Por lo tanto, por unicidad, z = v + v 0 :
Por lo tanto, g(w + w0 ) = z = v + v 0 = g(w) + g(w0 ):

) g( w) = y 2 V que es el único vector en V tal que w = f (y):

Por otro lado, sea v 2 V tal que w = f (v). En otras palabras, g(w) = v:

Como f es lineal, entonces w = f (v) = f ( v):

Por lo tanto, w = f ( v) = f (y):
Por lo tanto, por unicidad o porque f es mono, y = v:
Por lo tanto, g( w) = y = v = g(w):

Por lo tanto, g es una función k lineal.p

c.2.2.b. PD. g f = IV y f g = IW :
PD. g f = IV
PD. 8v 2 V; (g f )(v) = IV (v) = v:

Sea v 2 V:
PD. (g f )(v) = v:

(g f )(v) = g(f (v)) := x donde x 2 V es el único vector de V tal que

f (x) = f (v):
Como f (v) = f (v); se tiene que x = v:
Por lo tanto, (g f )(v) = g(f (v)):
Por lo tanto, g f = IV :p

PD. f g = IW :
PD. 8w 2 W; (f g)(w) = IW (w) = w:

Sea w 2 W:
PD. (f g)(w) = w:

Sea y 2 V es el único vector de V tal que w = f (y): Entonces

(f g)(w) = f (g(w)) = f (y) = w:
Por lo tanto, (f g)(w) = f (g(w)) = f (y) = w = IW (w):
Por lo tanto, f g = IW :p
Por lo tanto, g f = IV y f g = IW :p

c.2.3. Demostrar que g es la única función k lineal tal que g f = IV y

f g = IW :
PD. 8h : W ! V k lineal, [h f = IV y f h = IW ] =) [h = g]:

11
 Sea h : W ! V k lineal tal que h f = IV y f h = IW :
PD. h = g:

g = g IW = g (f h) = (g f ) h = IV h = h:
hip. aso c. hip
Por lo tanto, g = h:p
(=) PD. Si 9!g : W ! V k-lineal, g f = 1V y f g = 1W entonces f es un
isomor…smo.

Como existe g : W ! V k-lineal, g f = 1V y f g = 1W entonces (por 0.8),

f es un isomor…smo.X

Por lo tanto, f es un isomor…smo , 9!g : W ! V k-lineal, g f = 1V y

f g = 1W :

2. Corolario. Sean V y W k-espacios vectoriales …nitamente generados, con

dimk V = n y dimk W = m: Y sea f : V ! W k-lineal. Entonces
i)
f es monomor…smo () 8BV base de V; f (BV ) W es lin. independiente
() 9BV base de V; f (BV ) W es linealmente ind.
(Es decir, basta con probarlo para una sola base de V )
En este caso, n m
ii)
f es epimor…smo () 8BV base de V; hf (BV )i = W
() 9BV base de V; hf (BV )i = W
(Es decir, basta con probarlo para una sola base de V )
En este caso, n m
iii)
f es isomor…smo () 8BV base de V; f (BV ) es base de W
() 9BV base de V; f (BV ) es base de W
(Es decir, basta con probarlo para una sola base de V )
En este caso, n = m

Demostración.
i.1) PD. f monomor…smo =) [8BV base de V; f (BV ) W es lin. independi-
ente].

Por el teorema anterior,

f es monomor…smo () 8X V; X lin. ind. ) f (X) W es lin. independiente

En particular,
f es monomor…smo =) 8BV base de V; f (BV ) W es lin. independiente.X

i.2) PD. 8BV base de V; f (BV ) W es lin. independiente. Entonces 9BV base
de V; f (BV ) W es lin. independiente.

12
 Como V es …nitamente generado, entonces tiene bases, sea B una base de V:
Entonces, por hipótesis, f (B) W es lin. independiente.
Por lo tanto, 9BV base de V; f (BV ) W es lin. independiente.X

i.3) PD. [9BV base de V; f (BV ) W es lin. independiente]=) f es un monomor-

…smo.
Sea BV = fx1 ; :::; xn g base de V tal que f (BV ) W es lin. independiente.
PD. ker f = f0V g:
) Como ker f V subespacio vectorial, entonces f0V g ker f:
) Sea v 2 ker f: Como BV es base de V; existen 1 ; :::; n 2 k tales que
Pn
v= i xi : Entonces
i=1
P
n P
n
0V = f (v) = f ( i xi ) = i f (xi ) =) 8i = 1; :::; n, i =
v2ker f i=1 i=1 f (BV ) lin. ind.
0k :
P
n
Por lo tanto, v = i xi = 0V ;
i=1

Por lo tanto, ker f = f0V g: Es decir, f es monomor…smo.X

Y con esto terminamos de demostrar (a).

Más aún, n = jf (BV )j m:
f m ono f (BV ) lin.ind.

ii) PD.
f es epimor…smo () 8BV base de V; hf (BV )i = W
() 9BV base de V; hf (BV )i = W
(Es decir, basta con probarlo para una sola base de V )
En este caso, n m

ii.1) PD. f epimor…smo =) 8BV base de V; hf (BV )i = W .

Por el teorema anterior,

f es epimor…smo () 8X V; hXi = V ) hf (X)i = W

En particular,
f es epimor…smo =) 8BV base de V; hf (BV )i = W .X

ii.2) PD. 8BV base de V; hf (BV )i = W . Entonces 9BV base de V; hf (BV )i = W .

Como V es …nitamente generado, entonces tiene bases, sea B base de V:
Entonces, por hipótesis, hf (BV )i = W .
Por lo tanto, 9BV base de V; hf (BV )i = W .X

ii.3) PD. Si 9BV base de V; hf (BV )i = W , entonces f es un epimor…smo.

Sea BV = fx1 ; :::; xn g base de V tal que hf (BV )i = W .
PD. Im f = W:

13
 ) Como Imf W subespacio vectorial, entonces Im f W:

) Sea w 2 W: Como hf (BV )i = W; existen 1 ; :::; n 2 k tales que w =

P
n
i f (xi ): Entonces
i=1
P
n P
n
w= i f (xi ) = f i xi 2 Im f:
i=1 f lineal i=1
Por lo tanto, Im f = W: Es decir, f es un epimor…smo.X

Y con esto terminamos de demostrar (b).

Más aún, m jf (BV )j n:
hf (BV )i=W jBV j=n

iii) Por (i) y (ii) tenemos.

f es isomor…smo () 8BV base de V; f (BV ) es base de W
() 9BV base de V; f (BV ) es base de W
(Es decir, basta con probarlo para una sola base de V )
En este caso, n = m

3. Corolario. Sean V k-espacio vectorial …nitamente generado y f : V ! V

una función k-lineal. Entonces

f es monomor…smo () f es epimor…smo () f es isomor…smo

Demostración.
f es un monomor…smo
=)
9BV base de V; f (BV ) es linealmente en V
=) (f mono =) jf (BV )j = n)
9BV base de V; f (BV ) es base de V
=)
f es un isomor…smo
=)
f es un epimor…smo
=)
9BV base de V; hf (BV )i = V
=)
9BV base de V; hf (BV )i = V
Veamos que jf (BV )j n y como f (BV ) genera a V; contiene una base, pero
la dimk V = n (que es la cardinalidad de cualquiera de sus bases), se tiene que
f (BV ) es base de V
=) f es un isomor…smo
=) f es un monomor…smo.

14
 Por lo tanto,
f es monomor…smo () f es epimor…smo () f es isomor…smo.

Recuerden que vimos que Homk (k n ; k m ) ' Mm n (k). En otras palabras,

construyendo matrices de n m tenemos todas las funciones lineales de k n a
k m : Pero también tenemos el siguiente
4. Teorema: Sean V y W k-espacios vectoriales, con V …nitamente generado
y BV = fv1 ; :::; vn g base ordenada de V: Entonces
8w1 ; :::; wn 2 W (n elementos, no necesariamente distintos de W ) =) 9!f :
V ! W k-lineal tal que f (v1 ) = w1 ; :::; f (vn ) = wn :

Demostración. Sean BV = fv1 ; :::; vn g base de V y w1 ; :::; wn 2 W; n elementos

de W:
PD. 9!f : V ! W k-liineal tal que f (v1 ) = w1 ; :::; f (vn ) = wn :

(#) : Recordemos que si x 2 V , existen únicos escalares 1 ; :::; n 2 k tales que

Pn
x= i vi :
i=1
f: V ! W
De…namos P
n P
n
:
x= i vi 7! i wi
i=1 i=1

A de…nir una función lineal, primero de…niendo f (v1 ) := w1 ; :::; f (vn ) := wn

P
n P
n
y para cada x = i vi , f (x) := i wi se le llama "de…nir una función
i=1 i=1
lineal extendiéndola linealmente".

PD. f es función k-lineal, f (v1 ) = w1 ; :::; f (vn ) = wn y 8g : V ! W k-lineal,

[g(v1 ) = w1 ; :::; g(vn ) = wn ] ) [g = f ]:

4.1. f es función, por (#):

4.2. PD. f es k lineal.
PD. 8x; y 2 V; 8 2 k; f (x + y) = f (x) + f (y) y f ( x) = f (x):

4.2.1. Sean x; y 2 V
PD. f (x + y) = f (x) + f (y):
P
n P
n
Como BV es base de V; 9! 1 ; :::; n; 1 ; :::; n 2 k; x = i vi yy= i vi :
i=1 i=1
P
n
Entonces x + y = ( i + i )vi :
i=1
P
n P
n P
n
Por lo tanto, f (x+y) = ( i + i )wi = i wi + i wi = f (x)+f (y):p
i=1 dist. i=1 i=1
4.2.2. Sean x 2 V y 2 k:
PD. f ( x) = f (x):
P
n
Como BV es base de V; 9! 1 ; :::; n 2 k; x = i vi :
i=1

15
 P
n P
n
Entonces x = i vi = ( i )vi :
i=1 dist. i=1
P
n P
n
Por lo tanto, f ( x) = ( i )wi = i wi = f (x):p
i=1 dist. i=1
Por lo tanto, f es una función k lineal.p

4.3. PD. 8g : V ! W k-lineal, [g(v1 ) = w1 ; :::; g(vn ) = wn ] ) [g = f ]:

Sea g : V ! W función k-lineal tal que f (v1 ) = w1 ; :::; f (vn ) = wn
PD. g = f:
PD. 8x 2 V; g(x) = f (x):

Sea x 2 V:
P
n
Como BV es base de V; 9! 1 ; :::; n 2 k tales que x = i vi :
i=1
Entonces,
P
n P
n P
n P
n
g(x) = g( i vi ) = i g(vi ) = i wi = i f (vi ) =
i=1 g lineal i=1 hip. i=1 hip. i=1 f lineal
P
n
f( i vi ) = f (x):
i=1

Por lo tanto, f = g:p

Por lo tanto, 9!f : V ! W k-liineal tal que f (v1 ) = w1 ; :::; f (vn ) = wn :

Ejemplos: Sea k = R. Tomemos la base canónica ordenada de R2 , fe1 =

1 0
; e2 = g:
0 1
5.1. Queremos la función lineal f : R2 ! R2 tal que f (e1 ) = e1 y f (e2 ) = e2 :
x x
Entonces f ( )= es lineal (NO tienen que demostrarlo).
y y

¿Qué función es ésta? Dibujarla: Es la re‡exión con eje de re‡exión el Eje

Y:

5.2. Queremos la función lineal g : R2 ! R2 tal que g(e1 ) = e2 y f (e2 ) = e1 :

x y
Entonces g( )= es lineal (NO tienen que demostrarlo).
y x

0
¿Qué función es ésta? Dibujarla: Es la rotación con centro el y
0
0
ángulo de 45 (ó 2 ).
5.3. Sea V = fa2 x2 + a1 x + a0 2 R[x] : a2 ; a1 ; a0 2 Rg el R espacio vectorial
de los polinomios en x con coe…cientes reales de grado menor o igual a 2.
Queremos la función lineal h : V ! R[x] tal que h(x2 ) = x3 ; h(x) = x2 y
h(1) = x:
Entonces g(a2 x2 + a1 x + a0 ) = a2 x3 + a1 x2 + a0 x es lineal (NO tienen que
demostrarlo).

16
Tarea. Sean f : V ! W y g : W ! U funciones k-lineales. Entonces
6. Encontrar f : V ! W y g : W ! U funciones k-lineales tales que f sea un
monomor…smo y g f no lo sea.
7. Encontrar f : V ! W y g : W ! U funciones k-lineales tales que g sea un
epimor…smo y g f no lo sea.
8. Encontrar f : V ! W y g : W ! U funciones k-lineales tales que f sea un
monomor…so, g un epimor…smo y g f no sea iso.
9. Encontrar f : V ! W y g : W ! U funciones k-lineales tales que f y g
sean isomor…smo, entonces g f es un isomor…smo.
10. Sean n 2 N y V un k-espacio vectorial con dimk V = n: Demostrar que
V ' kn :
11. Dar bases de Homk (k n ; k m ) y de Mm n (k):
12. Sean n 2 N y V un k-espacio vectorial con dimk V = n:
Demostrar que dimk V = n, donde V :=Homk (V; k) el k espacio vectorial
dual de V .

17