Introducción

Anteriormente, vimos las operaciones que podemos llevar a cabo entre las funciones. Ahora revisaremos las características que debe cumplir una función para poder determinar si es inyectiva, sobreyectiva o biyectiva. De igual manera, definiremos el concepto de función inversa.

Definición de función inyectiva

Definición (1): Sea $f: A \rightarrow B$ una función. Decimos que $f$ es inyectiva si para cualesquiera dos elementos distintos en $A$, la función le asocia elementos distintos en $B$, es decir,
$$x_{1} \neq x_{2} \Rightarrow f(x_{1}) \neq f(x_{2})$$
para cualesquiera $x_{1}, x_{2} \in A$.

Definición (2): Sea $f: A \rightarrow B$ una función. Decimos que $f$ es inyectiva si para cualesquiera dos elementos iguales en $B$, provienen de dos elementos iguales en $A$ bajo la función, es decir,
$$f(x_{1}) = f (x_{2}) \Rightarrow x_{1} = x_{2}$$
para cualesquiera $x_{1}, x_{2} \in A$.

Ejemplo

Sea $f: (-\infty,-1] \rightarrow \r$ definida como:
$$f(x)=11- \sqrt{x^{2}-4x-5}\quad\text{.}$$

Tomemos $x_{1}, x_{2} \in (-\infty,-1]$ tales que $f(x_{1}) = f(x_{2})$. Así queremos probar que $x_{1}=x_{2}$.
Como $f(x_{1}) = f(x_{2})$ tenemos que:
\begin{align*}
11- \sqrt{x_{1}^{2}-4x_{1}-5} &=11- \sqrt{x_{2}^{2}-4x_{2}-5}\\
– \sqrt{x_{1}^{2}-4x_{1}-5} &=- \sqrt{x_{2}^{2}-4x_{2}-5} \quad \text{sumando $11$}\\
\sqrt{x_{1}^{2}-4x_{1}-5} &=\sqrt{x_{2}^{2}-4x_{2}-5} \quad \text{multiplcando por $-1$}\\
\sqrt{(x_{1}-2)^{2}-9} &=\sqrt{(x_{2}-2)^{2}-9} \quad \text{factorizando}\\
\sqrt{(x_{1}-2)^{2}} &=\sqrt{(x_{2}-2)^{2}}\\
|x_{1}-2| &=|x_{2}-2|\quad \text{quitando la raíz cuadrada}\\
\end{align*}
De la igualdad anterior tenemos que $x_{1}-2$ y $x_{2}-2$ son iguales en valor absoluto. Recordemos que para cualesquiera $a, b\in \mathbb{R}$ si:
$$|a| = b \Rightarrow a = b \quad \text{ o } \quad a = -b $$

Aplicando esto a nuestra igualdad $|x_{1} – 2| = |x_{2} – 2|$ tenemos los siguientes dos casos:
CASO 1: $x_{1} – 2 = x_{2} – 2$

\begin{align*}
&\Rightarrow x_{1} – 2 = x_{2} – 2\\
&\Rightarrow x_{1} = x_{2}\\
&\therefore x_{1} = x_{2}\\
\end{align*}

CASO 2: $x_{1} – 2 = -(x_{2} – 2)$

\begin{align*}
&\Rightarrow x_{1} – 2 = -x_{2} + 2\\
&\Rightarrow x_{1} + x_{2} = 4
\end{align*}

Ya que $x_1$ y $x_2 $ son números negativos, $x_1 + x_2$ debe ser una suma de dos números negativos, la que siempre resulta en un número negativo. Sin embargo, en el caso $2$ tenemos que $x_{1} + x_{2} = 4$.

Esto implica que la suma de $x_1$ y $x_2$ es positiva, lo cual es una contradicción.

Por lo tanto, el segundo caso no es posible si $x_1 $ y $x_2 $ son ambos negativos.

Concluyendo así que la única posibilidad es el primer caso:

$$\therefore x_{1} = x_{2}$$
De lo anterior vemos que $f$ es inyectiva.

Definición de función sobreyectiva

Definición (1): Sea $f: A \rightarrow B$ una función. Decimos que $f$ es sobreyectiva si todo elemento en $B$ proviene de algún elemento en $A$ bajo la función, es decir, para todo $y \in B$ existe $x \in A$ tal que:
$$f(x)=y\quad\text{.}$$

Definición (2): Sea $f: A \rightarrow B$ una función. Decimos que $f$ es sobreyectiva si
$$Im_{f}=Codom_{f}\quad\text{.}$$

Ejemplo

Un ejemplo sería la función tangente, ya que su $Im_{f}= \mathbb{R} $ y su $Codom_{f}= \mathbb{R}$, más adelante veremos su definición con mayor detenimiento:
$$f(x)=tan(x)\quad\text{.}$$

Definición de función biyectiva

Definición: Sea $f: A \rightarrow B$ una función. Decimos que $f$ es biyectiva si cumple con ser inyectiva y sobreyectiva.

Ejemplo

Sea $f: \r \rightarrow \r$ definida como:
$$Id(x)=x\quad\text{.}$$

Veremos que esta función es inyectiva:
Tomemos $x_{1}, x_{2} \in \r$ distintos, queremos ver que $f(x_{1}) \neq f(x_{2})$. Como tenemos que:
$$f(x_{1})= x_{1},$$
$$f(x_{2})= x_{2}\quad\text{.}$$
Y como sabemos $x_{1} \neq x_{2}$ se sigue así:
$$f(x_{1})\neq f(x_{2})\quad\text{.}$$
Por lo que $Id(x)$ es inyectiva.

Ahora vemos que también cumple ser sobreyectiva:
Consideremos $y \in \r$. Por definición de la función identidad tenemos que:
$$y=Id(y)\quad\text{.}$$
Así vemos que cumple ser sobreyectiva.

De lo anterior podemos concluimos que $Id(x)$ es una función biyectiva.

Proposición

Proposición: Si tomamos las funciones $g: A \rightarrow B$ y $f: B \rightarrow C$ se cumple que:

1. $f$ inyectiva y $g$ inyectiva $\quad \Rightarrow \quad f \circ g$ es inyectiva.
2. $f$ sobreyectiva y $g$ sobreyectiva $\quad \Rightarrow \quad f \circ g$ es sobreyectiva.
3. $f$ biyectiva y $g$ biyectiva $\quad \Rightarrow \quad f \circ g$ es biyectiva.

Demostración:

1. Tomemos $x_{1}, x_{2} \in A$ tales que $f \circ g (x_{1})= f \circ g (x_{2})$. Queremos probar que:
   $x_{1}=x_{2}$.
   Observemos que por hipótesis tenemos que:
   $$f(g(x_{1}))= f(g(x_{2}))$$
   donde $g(x_{1}), g(x_{2}) \in B$.
   Como $f$ es una función inyectiva entonces se cumple:
   $$g(x_{1})=g(x_{2})\quad\text{.}$$
   Y al ser $g$ inyectiva obtenemos:
   $$x_{1}=x_{2}\quad\text{.}$$
2. Como $f \circ g : A \rightarrow C$ por lo que tomemos $c \in C$. Queremos ver que existe $a \in A$ tal que $f(a)=c$.
   Ya sabemos que $f: B \rightarrow C$ es sobreyectiva entonces existe $b \in B$ tal que:
   $$f(b)=c\quad\text{.}$$
   Recordemos que $g: A \rightarrow B$ al ser sobreyectiva ocurre que existe $a \in A$ tal que:
   $$g(a)=b\quad\text{.}$$
   De lo anterior al sustituir en la composición de funciones se sigue:
   \begin{align*}
   f \circ g(a)&=f(g(a))\\
   &=f(b)\\
   &=c
   \end{align*}
3. Se queda como ejercicio de tarea moral.

$\square$

Función inversa

Definición (función invertible): Sea $f: A \rightarrow B$ una función. Decimos que $f$ es invertible si y sólo si existe una función $g: B \rightarrow A$ tal que cumple las siguientes condiciones:

• $g \circ f = Id_{A}$
• $f \circ g = Id_{B}$

A continuación veremos una equivalencia que nos será de utilidad para poder decir si una función es invertible:

Teorema: Consideremos a $f: A \rightarrow B$ una función. Decimos que:
$f$ es Invertible $\Leftrightarrow f$ es biyectiva.
Demostración:
$\Rightarrow ):$ Tomemos $f$ invertible, así por definición existe una función $g: B \rightarrow A$ tal que cumple:

• $g \circ f = Id_{A}$
• $f \circ g = Id_{B}$

Debemos probar que $f$ es biyectiva, por lo que debemos verificar que sea inyectiva y sobreyectiva:

Inyectiva: Sean $x_{1} , x_{2} \in A$ tales que $f(x_{1})= f (x_{2})$ por lo que $g(f(x_{1}))=g( f (x_{2}))$ al ser $g$ función. Reescribiendo lo anterior tenemos lo siguiente:
\begin{align*}
g(f(x_{1}))=g( f (x_{2})) &\Rightarrow (g \circ f)(x_{1})=(g \circ f)(x_{2})\\
&\Rightarrow Id_{A}(x_{1})=Id_{A}(x_{2}) \tag{por definición de $g$}\\
&\Rightarrow x_{1}= x_{2}
\end{align*}

$\therefore f$ es inyectiva
Sobreyectiva: Sea $y \in B$. Debido a que $Id_{B}$ es sobreyectiva tenemos que $Id_{B}(y)=y$. De lo anterior tenemos:
\begin{align*}
Id_{B}(y)=y &\Rightarrow f \circ g (y)= y\\
&\Rightarrow f(g(y))=y\\
&\Rightarrow g(y) \in A
\end{align*}
$\therefore f$ es sobreyectiva
De todo lo anterior concluimos que $f$ es biyectiva.

$\Leftarrow ):$ Sea $f: A \rightarrow B$ una función biyectiva. De este modo para todo $y \in B$ existe $x \in A$ tal que:
$$f(x)=y$$
ya que $f$ es sobreyectiva. De igual manera cumple ser inyectiva por lo que esa $x$ es única.

Consideremos la función $g: B \rightarrow A$ tal que:
$$g(y)=x \Leftrightarrow f(x)=y\quad\text{.}$$
Por lo que al realizar la siguiente composición de funciones tenemos:
$$ (g \circ f)(x)=g(f(x)) =g(y)=x = Id_{A}(x),$$
$$(f \circ g)(y)= f(g(y))= f(x)=y = Id_{B}(y)$$\quad\text{.}
Vemos que esto cumple la definición de ser invertible.
$\therefore f$ es una función invertible.

$\square$

Definición: Sea $f: A \rightarrow B$ entonces:

• $f$ tiene inversa izquierda si existe $g: B \rightarrow A$ tal que $g \circ f=Id_{A}$.
• $f$ tiene inversa derecha si existe $h: B \rightarrow A$ tal que $f\circ h=Id_{B}$.

Definición (función inversa): Si $f: A \rightarrow B$ es invertible donde $g: B \rightarrow A$ que cumple lo anterior. Decimos que $f^{-1}=g$ es la inversa de $f$.

Corolario: Si $f: A \rightarrow B$ es una función invertible entonces $f^{-1}$ también es biyectiva.

Demostración:
Como $f$ es invertible por definición cumple:

• $f^{-1} \circ f =Id_{A}$
• $f \circ f^{-1}=Id_{B}$

Por lo que cumple ser inyectiva y sobreyectiva.

$\square$

Del resultado anterior observamos que $f^{-1}$ es función inversa al componer por la derecha y por la izquierda.

Teorema: Si $f: A \rightarrow B$ entonces es equivalente lo siguiente:

• $f$ es una función inyectiva
• $f$ tiene inversa izquierda

Teorema: Si $f: A \subseteq \r \rightarrow \r$ entonces es equivalente lo siguiente:

• $f$ es una función suprayectiva
• $f$ tiene inversa derecha

Más adelante

En la siguiente entrada veremos otras características que las funciones pueden cumplir para clasificarse como pares o impares. Veremos su definición formal, algunos ejemplos y resultados.

Tarea moral

• Demuestra que $f: [0, \infty) \rightarrow [0, \infty)$ definida como:
  $$f(x)= x^{2}$$
  es inyectiva.

• Argumenta porque la función $f: \r \rightarrow \r$ definida como:
  $$f(x)= x^{2}$$
  no es inyectiva.

• Demuestra que $f: \r \rightarrow \r$ definida como:
  $$f(x)= -2x+1$$
  es inyectiva.

• Prueba que si $f$ y $g$ son funciones biyectivas entonces $f \circ g$ es biyectiva.
• Demuestra la siguiente igualdad:
  $$(f \circ g)^{-1}= f^{-1} \circ g^{-1}$$

Entradas relacionadas

• Ir a: Cálculo Diferencial e Integral I
• Entrada anterior del curso: Cálculo Diferencial e Integral I:Suma, producto, cociente y composición de funciones.
• Entrada siguiente del curso: Cálculo Diferencial e Integral I: Funciones pares e impares.
• Resto de cursos: Cursos

Agradecimientos

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