Introducción

En la entrada anterior, hemos revisado la definición de las funciones matemáticas. Siguiendo con este tema, ahora vamos a estudiar tres tipos de funciones: las inyectivas, suprayectivas y finalmente las inyectivas. Hemos hablado anteriormente de las primeras dos, ahora estudiaremos algunas equivalencias de las definiciones vistas en un principio y algunos resultados interesantes.

Inyectividad entre funciones

Las definiciones que daremos al estar hablando de inyectividad y supreyactividad de funciones serán las mismas que dimos al hablar de los tipos de relaciones. Primero empezaremos hablando de la inyectividad.

Cuando estemos hablando de funciones, diremos que una función inyectiva es aquella que manda a elementos distintos en el dominio a elementos distintos en el contradominio.

Definición. Diremos que una función $f:X\to Y$ es inyectiva, si $f$ es una relación inyectiva. Es decir para cada elemento $y\in Im[f]$, existe un único $x$ tal que $(x,y)\in f$

Nota que esta es la definición de inyectividad que dimos anteriormente. El hecho de que $f$ sea una función, nos permitirá tener otra forma de ver la inyectividad, para darte cuenta de ello, observa la siguiente proposición:

Proposición. Sea $f:X\to Y$ una función. Entonces son equivalentes:

1. $f$ es inyectiva.
2. Para cualesquiera tres elementos $x,w\in X$ y $y\in Im[f]$ sucede que si $f(x)=y\wedge f(w)=y$ entonces $x=w$.

Demostración.

$1)\Rightarrow 2)$. Recordemos que una equivalencia de la inyectividad en relaciones es que si $(x,y)\in f$ y $(w,y)\in R$ entonces $x=w$. Usaremos esta equivalencia para nuestra demostración. Ahora nota que si $f(x)=y$ y $f(w)=y$ entonces $(x,f(x))\in f$ y $(w,f(w))\in f$. Como $f$ es inyectiva entonces $x=w$.

$2)\Rightarrow 1)$.Sean $(x,y)\in f$ y $(w,y)\in f$. Para demostrar el inciso, bastará demsotrar que $x=w$, para ello note que como $f$ es una función entonces $(x,y)=(x,f(x))$ y $(w,y)=(w,f(w))$. Ahora notemos que $f(x)=f(w)$, por hipótesis, esto significa que $x=w$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

.

Esta última equivalencia deja más claro que una función inyectiva es aquella que envía a elementos distintos en el dominio a elementos distintos en el contradominio.

Ejemplos de funciones inyectivas son:

• La función $f:\mathbb{Z}\to \mathbb{Z}$ donde $f(x)=x+1$, esto es debido a que si $f(x)=f(w)$ entonces $x+1=w+1$, lo que implicaría que $x=w$.
• La función $f:\{1,2,3\}\to \{a,b,c,d,e\}$ dada por: $f=\{(1,e),(2,b),(3,c)\}$.
• La función identidad entre cualquier conjunto $X$, dada por $f:X\Rightarrow X$ donde $f(x)=x$.

Suprayectividad entre funciones

Siguiendo con la lista de conceptos a revisar hoy, nos encontramos nuevamente con la suprayectividad, el concepto en donde todo el contradominio de la función coincide con su imagen:

Definición. diremos que una función $f:X\to Y$ es suprayectiva si $f$ es una relación suprayectiva. Es decir, si para cada $y\in Y$, existe un $x\in X$ tal que $f(x)=y$

Esta última definición es una derivación de una equivalencia que mostramos con anterioridad. Puesto que decir que para cada $y\in Y$, existe un $x\in X$ tal que $f(x)=y$, es equivalente a decir que para cada elemento $y\in Y$, existe un elemento $x\in X$ tal que $(x,y)\in f$, basta con notar que $f(x)=y$ produce la equivalencia deseada.

Algunos ejemplos de funciones suprayectivas son:

• La función identidad $f:X\to X$. Para ello, nota que para cada $y\in X$, sucede que $(y,f(y))\in f$, por lo que es suprayectiva, pues $f(y)=y$.
• Sea $X=\{0\}$, entonces la función $f:\mathbb{Z}\to X$ dada por $f(n)=0$ es una función suprayectiva.
• La función proyección $f:{\mathbb{Z}}^2\to \mathbb{Z}$ dada por $f((x,y))=x$ es suprayectiva.

Funciones biyectivas

El último concepto que revisaremos será el de funciones biyectivas. Estas funciones serán importantes porque en pocas palabras podrán «trasladar» un conjunto a otro. Definiremos a estas funciones como aquellas que son inyectivas y suprayectivas al mismo tiempo.

Definición. Sea $f:X\to Y$ una función. Diremos que $f$ es biyectiva si es inyectiva y suprayectiva.

Si una función es inyectiva, entonces manda distintos elementos del dominio a distintos elementos del contradominio. Mientras que si es suprayectiva, entonces todo el contradominio tiene su correspondencia. Así que si una función es biyectiva, entonces todo elemento del contradominio vendrá de uno y solamente un elemento del dominio. Esto significa que una función biyectiva «transforma» un conjunto en otro. A cada elemento del dominio lo vuelve uno del contradominio.

Por ejemplo, considera la función $f:X\to Y$ donde $X=\{1,2,3\}$ y $Y=\{a,b,c\}$ donde $f=\{(1,a),(2,b),(3,c)\}$. Nota que la función va de un conjunto $X$ y «traduce» cada uno de sus elementos a un elemento del conjunto $Y$. Esta es una forma en que las biyecciones nos dan información de cómo «traducir» un conjunto en otro.

Ahora considera la función $f:\mathbb{Z}\to \mathbb{Z}$ dada por $f(n)=n+1$. Esta es una función biyectiva. Y «traduce» cada número a su sucesor.

Otro ejemplo sería la función $f:\mathbb{R}\to \mathbb{R}$ dada por $f(x)=2x$. Nota que lo que hace esta función es «alejar» puntos del origen. Mientras que $f(0)=0$, a todos los números positivos los «aleja» más del origen del lado derecho, y a los número negativos los «aleja» del origen por la izquierda. Así que esta función biyectiva se podría pensar como una liga que pegamos a la mitad y jalamos por ambos lados hasta que cada lado mida el doble de lo que medía antes. Esta es una forma en que pasamos de una liga normal a una liga estirada, si cada punto de la recta real, fuera un pedazo de la liga, entonces «traducimos» ese punto estirando la liga.

Con estos ejemplos, vimos como una función biyectiva es una traductora de puntos, mandando cada punto del dominio a uno del contradominio, y cada punto del dominio tiene su propia traducción en el contradominio sin que otro punto del dominio comparta su traducción.

Así es como hemos revisado los tres tipos de funciones principales que usarás en muchas áreas de las matemáticas. La inyectividad nos dice que a cada elemento de la imagen de una función solo le corresponde una del dominio. La supreyactividad nos dice que la imagen de una función es igual al contradominio de la función. Mientras que la biyectividad nos habla de traducciones, o formas de ver un conjunto reflejado en otro conjunto.

Más adelante…

En la siguiente entrada daremos el paso de hablar de una función a más de una función, y esto lo haremos componiendo funciones. En un principio se pueden pensar las composiciones como mandar un elemento de un conjunto a otro conjunto mediante una función y después mandar este elemento a otro conjunto mediante otra función. Verás que será útil las composiciones cuando estemos hablando de distintas funciones entre conjuntos.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. Da un ejemplo de una función inyectiva pero no suprayectiva.
2. Sea $X$ un conjunto y $Y$ un subconjunto de $X$. La función inclusión está dada por $f:Y\to X$ donde $f(y)=y$.
   1. Demuestra que la función inclusión es inyectiva.
   2. Da condiciones necesarias para que la función inclusión sea biyectiva.
3. Considera la función $f:\mathbb{Z}\to \mathbb{Z}$ dada por $f(n)=an+b$. ¿Para qué valores $a,b$ la función es biyectiva?
4. Demuestra que una función $f:X\to Y$ es biyectiva si y solo si para cualquier subconjunto $A\subset X$ sucede que $f[X\setminus A]=Y\setminus f[A]$.

Entradas relacionadas

• Ir a Álgebra Superior I
• Entrada anterior del curso: Introducción a funciones
• Siguiente entrada del curso: Problemas introductorios a funciones y funciones inyectivas, suprayectivas y biyectivas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»