Funciones inyectivas, sobreyectivas y biyectivas

Definición 102 (Funciones inyectivas, sobreyectivas o biyecciones) Sea

. Diremos que:

1. es inyectiva o 1:1 (o es una inyección) si y sólo si para todos ,

implica .

2. es sobreyectiva si y sólo si .

3. es biyectiva (o es una biyección) si es inyectiva y sobreyectiva.

Para antes de seguir leyendo:

1. Demuestre que para cualquier conjunto, la función identidad es

una biyección.

2. Diremos que una función es constante si es un singleton.

Encuentre una condición necesaria y suficiente para que una función constante

sea una biyección.

3. la función es una biyección. [ ¿Qué ocurriría si no fuera 1:1?

¿Qué ocurriría si no fuera sobreyectiva?].
Note que las propiedades de sobreyectividad y biyectividad no dependen

exclusivamente de la función , sino también del conjunto , de modo que, por

ejemplo, es más correcto decir: es una sobreyección de en .

Ejemplo 103 Sea la función . Veamos que es una

biyección:

1. Inyectividad: si , entonces . Por ende

y .
 2. Sobreyectividad: Hay que mostrar que . Es claro que .

Para la otra inclusión, sea . Es fácil ver que si , entonces

, y esto prueba que (dado que es imagen bajo de algún

real ).

Ejemplo 104 Sea la función . Es fácil ver que

, luego es sobreyectiva. Pero no es inyectiva: ,

pero . En otras palabras, si sabemos quién es , no sabemos con seguridad

quién es .

Definición 105 (Función invertible) Diremos que una función es invertible, si y

sólo si la relación es también una función.

Recuerde que , luego si es invertible, entonces

,e .

Ejemplo 106 Sea la función . ,

de modo que . Si y

, entonces . Esto prueba que es una función, luego es

invertible. Sea . Es claro que ,y

además que .

Lema 107 Para , las siguientes afirmaciones son equivalentes:

 1. es inyectiva.

2. Para todos , implica .

3. es invertible.
La prueba se deja como ejercicio.

Note que si es invertible, entonces , luego es invertible (e

inyectiva, por el teorema anterior).
Muchas funciones pueden expresarse como composición de varias funciones básicas.
Para determinar la inyectividad de una función, en varios casos bastará con estudiar la
inyectividad de las funciones básicas que la componen. Lo mismo ocurre con la
sobreyectividad.

Teorema 108 Para , , tenemos:

1. Si y son inyectivas, entonces es inyectiva.

2. Si y son sobreyectivas, entonces es sobreyectiva.

3. Si y son biyectivas, entonces es biyectiva.

Demostración. [Prueba]
(a)

Si . Entonces por inyectividad de , . Por

inyectividad de , . Esto prueba la inyectividad de .

(b)

Dado , por sobreyectividad de existe tal que . Por

sobreyectividad de , existe tal que . Por ende,

, y esto prueba la sobreyectividad de .

(c)
Se deduce de (a) y (b).
¿Valen los conversos de las propiedades anteriores? La respuesta es negativa en general.
Pero al menos podemos concluir lo siguiente:

Teorema 109 Para , , tenemos:

1. Si es inyectiva, entonces es inyectiva.

2. Si es sobreyectiva, entonces es sobreyectiva.

Demostración. [Prueba]

(1): Suponga . Entonces , e.d.,

. Por inyectividad de , concluimos .

(2): Sea . Como es sobre, existe tal que

. Esto prueba que .

Definición 110 (Inversa a derecha e inversa a izquierda de funciones) Sea

una función.

1. Una inversa a izquierda de es una función tal que

2. Una inversa a derecha de es una función tal que

.
La existencia de inversas a derecha e izquierda de una función es una caracterización de
inyectividad y sobreyectividad:

Teorema 111 Para :

1. es 1-1 si y sólo si tiene una inversa a izquierda.

 2. es sobreyectiva si y sólo si tiene una inversa a derecha.
La prueba se deja como ejercicio.

Corolario 112 Si , entonces es inyectiva y es sobreyectiva.

Suponga el caso en que tiene inversas y a

izquierda y derecha, respectivamente. La existencia de garantiza que es la imagen

de . Además, la existencia de garantiza que es invertible, luego es función

con dominio .

Bajo las anteriores condiciones podemos concluir que y son la misma función, y

más aún, son iguales a . Veamos la demostración:

Sabemos que , luego

. Así, . Ahora, , luego

, y así,

.
A continuación enunciamos un criterio muy útil para verificar si cierta función es
biyectiva:

Teorema 113 Sean , funciones. Si y

, entonces y son biyectivas y mutuamente inversas, esto es,

y .
Demostración. [Prueba]Como tiene a como inversa a izquierda y derecha, por el

corolario 112 es biyectiva. De manera análoga podemos concluir que es una

biyección. Por la demostración anterior al enunciado del teorema concluimos que

, Entonces .

Lema 114 Sean y conjuntos disyuntos, y conjuntos disyuntos, y

, funciones. Sea la
función definida por:

Entonces:

1. Si y son inyectivas, entonces también lo es.

2. (en particular, si y son sobreyectivas,

entonces también lo es).

Demostración. Probamos la primera propiedad, dejando la segunda al lector. Sean

tales que . Como y son disyuntos,

supongamos que (el caso es similar). Entonces

(de lo contrario se tendría , y consecuentemente .

Similarmente . Entonces . Como es

inyectiva, concluimos que .