5. Sobreyectividad y biyectividad

Objetivo de aprendizaje

Comprender qué significa que una función sea sobreyectiva o biyectiva, identificándolo mediante diagramas sagitales, pares ordenados, tablas y gráficos sencillos.

  • Distinguir entre codominio e imagen.
  • Reconocer cuándo una función es sobreyectiva.
  • Reconocer cuándo una función es biyectiva.
  • Comparar funciones inyectivas, sobreyectivas y biyectivas.
  • Interpretar estas propiedades en representaciones sagitales y cartesianas simples.
🌍 Cuando no sobra nadie

Imagina que un grupo de estudiantes ocupa casilleros. Si todos los casilleros disponibles quedan ocupados, entonces no sobra ninguno. Esa idea ayuda a entender la sobreyectividad: todos los elementos del codominio reciben al menos una flecha.

Si además cada estudiante ocupa un casillero distinto, entonces la asignación es perfecta: no sobra ningún casillero y no se repite ninguno. Esa es la idea de biyectividad.

📐 Codominio e imagen

Sea \(f:A\to B\).

  • Codominio: es el conjunto de llegada \(B\).
  • Imagen de la función: es el conjunto de valores de \(B\) que realmente reciben al menos una flecha.

Siempre se cumple:

\[ \mathrm{Im}(f)\subseteq B \]

La función es sobreyectiva cuando la imagen coincide con el codominio:

\[ \mathrm{Im}(f)=B \]

🤓 Definiciones

Una función \(f:A\to B\) es sobreyectiva si todo elemento del codominio tiene al menos una preimagen.

Una función \(f:A\to B\) es biyectiva si es inyectiva y sobreyectiva al mismo tiempo.

En un diagrama sagital:

  • sobreyectiva: ningún elemento del codominio queda sin flecha,
  • biyectiva: ningún elemento del codominio queda sin flecha y, además, ninguna imagen se repite.

Ejemplo 1: función sobreyectiva, pero no inyectiva

Sea \(f:A\to B\) dada por:

\[ f=\{(1,a),(2,b),(3,c),(4,c)\} \]

con \(A=\{1,2,3,4\}\) y \(B=\{a,b,c\}\).

 

Todos los elementos del codominio reciben al menos una flecha, por lo tanto la función es sobreyectiva.

Sin embargo, \(3\) y \(4\) tienen la misma imagen \(c\), así que no es inyectiva.

Ejemplo 2: función que no es sobreyectiva

Sea \(g:A\to B\) dada por:

\[ g=\{(1,a),(2,c),(3,d)\} \]

con \(A=\{1,2,3\}\) y \(B=\{a,b,c,d\}\).

 

El elemento \(b\) del codominio no recibe ninguna flecha.

Por eso, la función no es sobreyectiva.

Ejemplo 3: función biyectiva

Sea \(h:A\to B\) dada por:

\[ h=\{(-1,p),(0,q),(1,r)\} \]

con \(A=\{-1,0,1\}\) y \(B=\{p,q,r\}\).

 

Cada elemento del codominio recibe una flecha y ninguna imagen se repite.

Por eso, la función es biyectiva.

💡 Cómo revisar sobreyectividad y biyectividad
  1. Mira el codominio completo.
  2. Verifica si todos sus elementos reciben al menos una flecha.
  3. Si alguno queda libre, la función no es sobreyectiva.
  4. Si todos reciben flecha y además no hay imágenes repetidas, la función es biyectiva.

Ejemplo 4: sobreyectividad en una tabla

Sea una función de \(A=\{1,2,3,4\}\) en \(B=\{m,n,p\}\) dada por la tabla:

\(x\) \(f(x)\)
1 m
2 n
3 p
4 p

La imagen de la función es:

\[ \mathrm{Im}(f)=\{m,n,p\} \]

Como coincide con el codominio, la función es sobreyectiva.

No es biyectiva porque la imagen \(p\) se repite.

Ejemplo 5: lectura gráfica sencilla

Consideremos la función \(f(x)=x+1\) con dominio \(A=\{-1,0,1,2\}\) y codominio \(B=\{0,1,2,3\}\).

La imagen es \(\{0,1,2,3\}\), que coincide con el codominio, y además no hay imágenes repetidas.

Por eso, en este contexto, la función es biyectiva.

⚠️ Error común

No confundir codominio con imagen.

El codominio es el conjunto de llegada que se declara desde el principio. La imagen está formada solo por los valores que realmente aparecen como salida.

Una función es sobreyectiva solo cuando ambos conjuntos coinciden.

Ejercicio 1: decidir si una función es sobreyectiva

Sea \(f:A\to B\) con \(A=\{1,2,3,4\}\), \(B=\{a,b,c\}\) y

\[ f=\{(1,a),(2,b),(3,c),(4,c)\} \]

Determina si la función es sobreyectiva.

Ejercicio 2: detectar que no es sobreyectiva

Sea \(g:A\to B\) con \(A=\{1,2,3\}\), \(B=\{m,n,p,q\}\) y

\[ g=\{(1,m),(2,p),(3,q)\} \]

¿Es sobreyectiva?

Ejercicio 3: clasificación desde un diagrama sagital

Observa el diagrama y decide si la función es sobreyectiva, biyectiva o ninguna de las dos.

 

Ejercicio 4: sobreyectiva pero no biyectiva

Observa el diagrama y clasifica la función.

 

Ejercicio 5: comparar codominio e imagen

Sea \(f:A\to B\) con \(A=\{1,2,3\}\), \(B=\{a,b,c,d\}\) y

\[ f=\{(1,a),(2,c),(3,c)\} \]

Determina:

a) el codominio,

b) la imagen,

c) si la función es sobreyectiva.

Ejercicio 6: tabla sobreyectiva

La función de \(A=\{1,2,3,4\}\) en \(B=\{m,n,p\}\) está dada por la tabla:

\(x\) \(f(x)\)
1 m
2 n
3 p
4 p

Determina si es sobreyectiva y si es biyectiva.

Ejercicio 7: tabla biyectiva

La función de \(A=\{-1,0,1\}\) en \(B=\{2,3,4\}\) está dada por la tabla:

\(x\) \(f(x)\)
-1 2
0 3
1 4

Clasifica la función.

Ejercicio 8: clasificación desde un gráfico discreto

Observa los puntos del gráfico correspondiente a una función con dominio \(A=\{-1,0,1,2\}\) y codominio \(B=\{0,1,2,3\}\).

Determina si la función es sobreyectiva y si es biyectiva.

Ejercicio 9: decidir si es sobreyectiva

Sea \(f:A\to B\) con \(A=\{1,2,3,4\}\), \(B=\{2,4,6,8,10\}\) y regla \(f(x)=2x\).

Determina la imagen de la función y decide si es sobreyectiva.

Ejercicio 10: síntesis final

Sea \(h:A\to B\) con \(A=\{1,2,3\}\), \(B=\{a,b,c\}\) y

\[ h=\{(1,b),(2,a),(3,c)\} \]

Determina:

a) la imagen de la función,

b) si es inyectiva,

c) si es sobreyectiva,

d) si es biyectiva.

🤓 Cierre

En esta página vimos que una función es sobreyectiva cuando todos los elementos del codominio reciben al menos una flecha.

También aprendimos que una función es biyectiva cuando es inyectiva y sobreyectiva al mismo tiempo.