Algunas observaciones sobre inversas derechas, inversas izquierdas, inversas

(por ambos lados) de funciones lineales entre espacios vectoriales de dimensión

…nita.

Primero en funciones entre conjuntos …nitos (pues trabajaremos con bases).

1. Sea f : f1; 2; 3; 4g ! fa; b; cg función de conjuntos. Entonces

1.1. f no puede ser inyectiva, ¿se ve? (Si no, construyan todas las funciones,
hay 34 funciones distintas).
1.2. También puede haber funciones que no son ni inyectivas ni suprayecti-
vas, por ejemplo la función constante ctea , entre otras.
1.3. Pero como jfa; b; cgj jf1; 2; 3; 4gj sí podemos construir al menos una
función suprayectiva (en este caso, hay varias).
Por ejemplo,

f : f1; 2; 3; 4g ! fa; b; cg
1 7 ! a
2 7 ! c
3 7 ! a
4 7 ! b

1.4. Y al ser la función anterior suprayectiva, tiene inversa derecha. Es decir,

existe g : fa; b; cg ! f1; 2; 3; 4g tal que
f g = 1fa;b;cg la identidad.
Entonces, ¿qué tiene que ser g(a) si f (g(a)) = a? La misma pregunta para b
y c:
Por ejemplo,

g : fa; b; cg ! f1; 2; 3; 4g
a 7 ! 3
b 7 ! 4
c 7 ! 2

g f
fa; b; cg !f1; 2; 3; 4g ! fa; b; cg
1 7 ! a
c 7 ! 2 7 ! c
a 7 ! 3 7 ! a
b 7 ! 4 7 ! b
Cumple que f g = 1fa;b;cg , pero como ya notaron, también la siguiente
función hace lo mismo:

h : fa; b; cg ! f1; 2; 3; 4g
a 7 ! 1
b 7 ! 4
c 7 ! 2

1
 yf h = 1fa;b;cg

2. Sea f : fa; b; cg ! f1; 2; 3; 4g función de conjuntos. Entonces

2.1. f no puede ser suprayectiva, ¿se ve?
2.2. También puede haber funciones que no son ni inyectivas ni suprayecti-
vas, por ejemplo la función constante cte3 , entre otras.
2.3. Pero como jfa; b; cgj jf1; 2; 3; 4gj sí podemos construir al menos una
función inyectiva (en este caso, hay varias).
Por ejemplo,

f : fa; b; cg ! f1; 2; 3; 4g
a 7 ! 1
b 7 ! 2
c 7 ! 4

2.4. Como f es inyectiva, tiene inversa(s) izquierdas. Construir dos inversas

izquierdas distintas.

3. Sea f : fa; b; cg ! f1; 2; 3g función de conjuntos. Entonces

2.1. Puede haber funciones que no son ni inyectivas ni suprayectivas, por
ejemplo la función constante cte3 , entre otras.
2.3. Pero como jfa; b; cgj = jf1; 2; 3gj entonces f es inyectiva si y sólo si f es
biyectiva si y sólo si f es suprayectiva.
Recuerden que todo esto es porque etamos trabajando con conjuntos …nitos!
Por ejemplo, si queremos construir una función inyectiva:

f : fa; b; cg ! f1; 2; 3g
a 7 ! 3
b 7 ! 1
c 7 ! 2

Como elementos distintos tienen que tener imágenes distintas, entonces f es

biyectiva.
No estoy demostrando nada, sólo que utilicen estos resultados.

Proposición. Sean X y Y conjuntos …nitos y f : X ! Y función de conjuntos.

Entonces
a) f es inyectiva si y sólo si f tiene inversa izquierda (es decir, existe g :
Y ! X; g f = 1X ). En este caso, jXj jY j:
b) f es suprayectiva si y sólo si f tiene inversa derecha (es decir, existe
h : Y ! X; f h = 1X ). En este caso, jXj jY j:
c) f es biyectiva si y sólo si f tiene inversa derecha e izquierda y en este caso
g = h: Por lo que la llamaremos f 1 :
En este caso, jXj = jY j:
d) Si jXj = jY j entonces
f es inyectiva si y sólo si f es biyectiva si y sólo si f es suprayectiva.

2
 Monomor…smos, Epimor…smos e Isomor…smos.

Como podemos construir funciones lineales entre espacios vectoriales …nita-

mente generados, por los teoremazos, podemos de…nirlas por medio de bases y
éstas son conjuntos …nitos.

Y les recuerdo que demostramos el siguiente resultado que es la proposición

anterior pero ya en espacios vectoriales.
Corolario del Teorema3 (Versión Matrices). Sean A = A1 An 2
Mm n (k) una matriz de m n con coe…cientes en k y Ai es la i ésima columna
de A:
Recordemos que A de…ne una función k lineal, A : k n ! k m ; donde
Ai = A (ei ) la imagen de ei bajo A y B = fe1 ; :::; en g la base canónica de k n :
Es decir, "A(B)" = fA1 ; :::; An g : Entonces

a)
A es monomor…smo () "A(B)" = fA1 ; :::; An g es lin. independiente
2 en3 k m
1 0
6 . 7
() 9M 2 Mn m (k) tal que M A = 4 .. 5 la matriz identidad en k n
0 1 n
En este caso, n m
b)
A es epimor…smo () "A(B)" = fA1 ; :::; An g genera a2k m 3
1 0
6 .. 7
() 9N 2 Mn m (k) tal que AN = 4 . 5 la matriz identidad en k m
0 1 m
En este caso, n m
c)
A es isomor…smo () "A(B)" = fA1 ; :::; An g es base de k m
() 9!A 1 2 Mn m (k), A 1 A = In y AA 1
= Im las identidades en k n y k m ; resp
En este caso, n = m

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

k-lineal. Entonces

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

4.1 Corolario. Sean V y W k-espacio vectorial …nitamente generados con

dimk V = dimk W y f : V ! W k-lineal. Entonces

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

3
 Hagamos ejemplos:

1. Dar n; m y un monomor…smo f : Rn ! Rm con dos inversas izquierdas

disntintas.

Entonces n tiene que ser menor o igual que m; PERO n NO puede ser igual
a m; pues si f fuera mono entonces sería iso y sólo tendría una única inversa.
Entonces por ejemplo n = 3 y m = 5:

Y podemos
0 trabajar
0 1con cualquier
0 1base, pero0 como
11 ejemplo tomemos la base
1 0 0
canónica @e1 = @ 0 A ; e2 = @ 1 A ; e3 = @ 0 AA ; ya la daré en forma de
0 0 1
matriz:

Aquí recuerden que no sólo necesitamos que f (ei ) 6= f (ej ) si i 6= j; sino

que ff (e1 ); f (e2 ); f (e3 )g tienen que ser linealmente independientes, ésta es la
diferencia en espacios vectoriales.

Pues por ejemplo, si escogemos sólo distintos elementos

f: R3 ! 5
0R 1
1
B 3 C
B C
e1 7 ! B 0 C
B C
@ 0 A
0 0 1
2
B 6 C
B C
e2 7 ! B 0 C
B C
@ 0 A
0 0 1
1
B 1 C
B C
e3 7 ! B 1 C
B C
@ 1 A
0 1 1
0 1 x 2y + z
x B x 6y + z C
B C
@ y A 7 ! B z C
B C
z @ z A
z

Y entonces por ejemplo, f (2e1 ) = f (e2 ) y 2e1 6= e2 :

Por lo que tengo que tener que

4
 ff (e1 ); f (e2 ); f (e3 )g tiene que ser linealmente independiente en R5 .

Entonces, por ejemplo

f : R3 ! 0 R5 1
1
B 3 C
B C
e1 7 ! B B 0 C
C
@ 0 A
0 0 1
2
B 6 C
B C
e2 7 ! B B 1 C
C
@ 0 A
0 0 1
1
B 1 C
B C
e3 7 ! B B 1 C
C
@ 1 A
1
y su matriz asociada es
2 3
1 2 1
6 3 6 1 7
6 7
6 0 1 1 7, nullspace basis: [] : Vean que la base del núcleo es el conjunto
6 7
4 0 0 1 5
0 0 1
vacío por lo que es un monomor…smo.

Ahora para hallar inversas izquierdas:

80 1 0 1 0 19
>
> 1 2 1 >
>
>
> C>
<B C B
B 3 C B 6 C B
C B 1 >
C=
Completemos B 0
B C B
C;B 1 C;B
C B 1 C a una base de R5 :
C>
>
> @ 0 A @ 0 A @ A>
>
> 1 >
>
: ;
0 0 1
00 1 0 1 0 1 0 1 0 11
1 2 1 1 0
BB 3 C B 6 C B 1 C B 0 C B 0 CC
BB C B C B C B C B CC
BB 0 C;B 1 C;B 1 C;B 0 C;B 0 CC por ejemplo,
BB C B C B C B C B CC
@@ 0 A @ 0 A @ 1 A @ 0 A @ 1 AA
0 0 1 0 0

entonces si g : R5 ! R3 entonces, a fuerza,

5
 00 11 00 11 00 11
1 0 1 2 0 1 1 0 1
BB 3 CC 1 BB 6 CC 0 BB 1 CC 0
BB CC BB CC BB CC
gBB
BB 0 CC = @ 0 A ; g BB
CC BB 1 CC = @ 1 A y g BB
CC BB 1 CC = @ 0 A :
CC
@@ 0 AA 0 @@ 0 AA 0 @@ 1 AA 1
0 0 1

¿Qué les parece que para hacer esto fácil, de…namos (pero pueden ser cualquier
cosa)
00 11 00 11
1 0 1 0
BB 0 CC 0 BB 0 CC
BB CC BB CC
gBB
BB 0 CC = @ 0 A = g BB
CC BB 0 CC :
CC
@@ 0 AA 0 @@ 1 AA
0 0

Ahora, para hacerlo en una matriz entre bases canónicas, tenemos que en-
contrar:
00 11 00 11 00 11
0 0 0
BB 1 CC BB 0 CC BB 0 CC
BB CC BB CC BB CC
gB B CC BB CC BB CC
BB 0 CC ; g BB 1 CC y g BB 0 CC directamente ó utilizar cambios
@@ 0 AA @@ 0 AA @@ 0 AA
0 0 1
de base y pueden utilizar la computadora.

Por favor terminen el ejercicio para que vean qué no se entiende y hallar otra
inversa izquierda distinta de g: