ALGEBRA

SUPERIOR I
ERNESTO MAYORGA SAUCEDO

Funciones suprayectivas
Equivalencias para funciones suprayectivas.
Recordamos que una funcion f : X Y es suprayectiva si y solo si Im(f ) = Y . Es decir, una
funcion f : X Y es suprayectiva si y solo si
para cada y Y existe x X tal que f (x) = y.

Ejemplos 1.
1. Para cualquier conjunto X, la funci
on identidad idX : X X es suprayectiva. Pues claramente Im(idX ) = X.
2. Sea a R, a 6= 0. La funci
on a : R R dada por a (x) = x a, para toda x R, es
suprayectiva ya que si y R, como a R es diferente de 0 entonces ya R satisface que
a ( ay ) = ( ya ) a = y, es decir y = f ( ya ) Im(f ) lo cual muestra que R Imf y por lo tanto
Im(f ) = R.
3. Sea a R y a : R R la funci
on dada por a (x) = x + a, para toda x R. Entonces a
es suprayectiva ya que si y Y , como a R entonces y a R satisface que a (y a) =
(ya)+a = y+(a+a) = y, es decir, y = a (ya) Im(a ) y por consiguiente Y Im(a ).
Por lo tanto Im(a ) = R
X
4. Sean X y Y conjuntos; la funci
on CY,y
: X Y es suprayectiva si y s
olo si Y = {y0 }.
0
5. La funci
on vaca : B es suprayectiva si y s
olo si B = .
6. Sea f : R R+ {0} dada por f (x) = x2 , para toda x R. Entonces f es suprayectiva ya

2
que si y R+ {0} entonces y R satisface que f
y =
y = y, es decir, y Im(f )
+
y por lo tanto Im(f ) = R {0}.
7. Sean A el conjunto de todos los alumnos del grupo 4034, B = {N A, N P, 6, 7, 8, 9, 10} y
f : A B dada por f (a) = b si y s
olo si b es la calificaci
on final de a en este curso.
Entonces f no es suprayectiva ya que N A
/ Im(f ).
De manera similar al caso de funciones inyectivas, veremos que hay varias equivalencias del concepto
de suprayectividad. Si f : X Y es una funcion suprayectiva, entonces para cada y Y
f 1 (y) 6= ya que al ser f suprayectiva existe x X tal que y = f (x) lo que muestra que
x f 1 (y). As, es posible elegir un xy f 1 (y) para cada y Y . Hecha esta observacion, para cada
y Y elegimos uno y solo un elemento xy f 1 (y) y formamos el conjunto X 0 = {xy X | y Y }.
f

xy


Im(f ) = Y

Definimos
A pesar de que f 1 |

X 0
f 1  = {(y, x) Y X 0 | x = xy } Y X 0 Y X

Y X 0 , nos conviene pensar f 1 |

Si y Y , el elemento xy X cumple que (y, xy ) f



0
1 X
es decir, Y Dom f |
y por lo tanto
(1)

Dom

1 X

1 X

Y X.

y por consiguiente y Dom

1 X

= Y.

Por otra parte,

(2)

si (y, x), (y, x ) f

Se sigue de (1) y (2) que f 1 |

1 X

entonces x = xy = x0 .

es una funcion de Y a X y tiene regla de correspondencia:

X 0
f 1  (y) = xy , para toda y Y.

Ademas, para cada y Y





0
0
1 X
1 X
ff |
(y) = f f | (y)
= f (xy )
= y
= idY (y);

por la eleccion de xy
X

y como Y es el dominio y codominio de f f 1 | e idY tenemos que

 0
1 X
ff
= idY .

Nota 2. Si para alg

un y Y , f 1 (y) tiene m
as de un elemento y xy , x0y f 1 (y) con xy 6=
x0y , entonces los conjuntos X 0 = {xy X | y Y } y X 00 = X 0 \{xy } {x0y } son diferentes y
X

00

por consiguiente las funciones f 1 | y f 1 |

son distintas (ya que tienen distintas reglas de
correspondencia) sin embargo ambas cumplen que
X 0
X 00
f f 1  = idY = f f 1  .
Tenemos as la siguiente definicion.

Definici
on 3. Sea f : X Y una funci
on. Una funci
on h : Y X es una inversa derecha
de f si
f h = idY .
Utilizando esta definicion, la discusion anterior se puede resumir como:
Proposici
on 4. Si f : X Y es una funci
on suprayectiva, entonces f tiene una inversa derecha.

Analogo al caso de funciones inyectivas, el recproco de la Proposicion 4 es verdadero; antes de pasar
a este resultado veamos los siguientes hechos generales para funciones suprayectivas.
2

Proposici
on 5. Sean f : X Y y g : Y Z funciones. Entonces
1) Si f y g son suprayectivas, entonces g f es suprayectiva.
2) Si g f es suprayectiva, entonces g es suprayectiva.
Demostraci
on. [(1)] Si f : X Y y g : Y Z son suprayectivas, entonces Im(f ) = Y e
Im(g) = Z. Como Dom(g) = Y Im(f ) se sigue del ejercicio 4 inciso (e) de la gua 2 que
Im(g f ) = Im(g) = Z y por lo tanto g f es suprayectiva.
[(2)] Sabemos que Im(gf ) Im(g) (esto es una consecuencia del ejercicio 4 inciso (c) de la segunda
gua). Si g f es suprayectiva entonces Z = Im(g f ) Im(g) y por lo tanto Im(g) = Z.

Ejercicio 1. Mostrar por medio de ejemplos que los recprocos de los incisos (1) y (2) de la Proposici
on 5 no necesariamente se cumplen.
A continuacion enunciamos el recproco de la Proposicion 4.
Proposici
on 6. Si f : X Y es una funci
on con una inversa derecha, entonces f es suprayectiva.
Demostraci
on. Si f : X Y tiene una inversa derecha h : Y X, entonces f h = idY , la cual
es suprayectiva; as que el inciso (2) de la Proposicion 5 asegura que f es suprayectiva.

Resumimos los resultados de las Proposiciones 4 y 6 en el siguiente teorema.
Teorema 7. Una funci
on f : X Y es suprayectiva si y s
olo si f tiene una inversa derecha.

Consideremos ahora las siguientes funciones, f : X Y y g, h : Y Z tales que g f = h f ,
entonces (g f )(z) = (h f )(z) para toda z Z, es decir,
(3)

g (f (z)) = h (f (z)) para toda z Z.

Si f es suprayectiva, entonces Im(f ) = Y y por consiguiente, si y Y existe z Z tal que y = f (z),

as que
g(y) = g (f (z))
= h (f (z)) por (3)
= h(y),
es decir, g y h tiene la misma regla de correspondencia. Como g y h tienen el mismo dominio
y el mismo codominio concluimos que g = h. Hemos visto que, si f : X Y es una funcion
suprayectiva y g, h : Y Z son funciones tales que g f = h f entonces g = h. Esto motiva la
siguiente definicion.
Definici
on 8. Una funci
on f : X Y es cancelable por la derecha si para toda g : Y Z
y h : Y Z, funciones, se cumple:
si g f = h f , entonces g = h.

Con esta definicion, podemos resumir la discusion anterior como:

Proposici
on 9. Si f : X Y es una funci
on suprayectiva, entonces f es cancelable por la
derecha.

La proposicion anterior dice que, cualquier funcion suprayectiva es cancelable por la derecha;
habra mas funciones que sean cancelables por la derecha que funciones suprayectivas? El siguiente
resultado da respuesta a esta pregunta y esta es negativa, esto es:
3

Proposici
on 10. Si f : X Y es una funci
on cancelable por la derecha, entonces f es suprayectiva.
Demostraci
on. Consideremos las siguientes funciones; Im(f ) : Y {0, 1} dada por la siguiente
regla de correspondencia:1

1 si y Im(f )
Im(f ) (y) =
0 si y
/ Im(f ).
Im(f )

Im(f )


Y
Y
y C{0,1},1
: Y {0, 1}, entonces para cada x X


Im(f ) f (x) = Im(f ) (f (x))
= 1
Y
= C{0,1},1
(f (x))


Y
= C{0,1},1
f (x)

Y
y por lo tanto Im(f ) f = C{0,1},1
f . Como f es cancelable por la derecha la igualdad anterior
Y
Y
implica Im(f ) = C{0,1},1 , entonces si y Y , Im(f ) (y) = C{0,1},1
(y) = 1 lo que implica y Im(f ), es
decir, Im(f ) = Y y por lo tanto f es suprayectiva.


Resumimos la Proposiciones 9 y 10 en el siguiente teorema.

Teorema 11. Una funci
on f : X Y es suprayectiva si y s
olo si f es cancelable por la derecha.

Finalmente, los teoremas 7 y 11 producen el siguiente teorema.
Teorema 12. Si f : X Y es una funci
on, entonces las siguientes afirmaciones son equivalentes:
(a) f es suprayectiva,
(b) f tiene una inversa derecha,
(c) f es cancelable por la derecha.

xico D.F.
Facultad de Ciencias, UNAM; Me
E-mail address: ernestoms@ciencias.unam.mx

Im(f )

se llama funci
on caracterstica de Im(f ).
4