Función sobreyectiva

Una función sobreyectiva (o suprayectiva) f es una función tal que todos los elementos del conjunto final Y tienen al menos un elemento del conjunto inicial X al que le corresponde.

Dibujo de una función sobreyectiva.

Es decir, una función es sobreyectiva si el recorrido de la función es el conjunto final Y. Dicho de otra manera, una función es suprayectiva cuando son iguales su codominio y su recorrido o rango.

Por lo tanto, también será sobreyectiva:

Dibujo de un ejemplo de una función sobreyectiva

En términos matemáticos, f es suprayectiva si:

Fórmula de la condición de una función suprayectiva

Ejercicio 1

Sea la función en los números reales definida por f(x) = x+1.

Gráfica de la función sobreyectiva f(x)=x+1

Esta función sí que es sobreyectiva. Vamos a verlo demostrando que el recorrido de la función son todos los números reales.

Demostración de que la función f(x)=x+1 es suprayectiva.

El recorrido de la función es el mismo que el conjunto final Y, por lo que la f es suprayectiva.

Es decir, que, con la función f(x), todo número real será imagen de, como mínimo, otro número real (en el caso de esta función, imagen de un único número real).

Igualmente, con los mismos argumentos, será sobreyectiva la función definida sobre los reales:

Gráfica del ejemplo 2

En esta función, todos los elementos del conjunto imagen (que aquí coincide con el codominio), tienen al menos un elemento del conjunto inicial, pudiendo tener dos o tres elementos del conjunto imagen un mismo elemento del conjunto inicial.

Ejercicio 2

Ahora supongamos que tenemos la función f(x) = x2-1, siendo el conjunto inicial X y el final Y los números reales. Comprobar si es sobreyectiva.

Vamos a comprobar si el recorrido de la función coincide con el codominio, que se ha definido sobre los reales.

Como todos los números reales elevados al cuadrado dan un número positivo, la función nunca puede ser menor de -1, que es cuando x es 0.

El recorrido de la función es [-1, ∞>).

Gráfica de la función no suprayectiva f(x)=x^2+1

El recorrido de la función son los números reales mayores o iguales que -1, por lo que no coincide con el conjunto final Y. La f no es suprayectiva.

Podría convertirse esta función en sobreyectiva asignándole un dominio Dom [-1, ∞,) para que coicidiese con el rango.

28 comentarios en “Función sobreyectiva”

  1. Daniel Serrano Romero

    Si la imagen de una función es el conjunto de todos los números reales y el dominio no lo es. ¿La función sigue siendo sobreyectiva?

    1. La condición para que una función sea sobreyectiva es:
      Una función sobreyectiva (o suprayectiva) f es una función tal que todos los elementos del conjunto final Y tienen al menos un elemento del conjunto inicial X al que le corresponde.
      Es decir, una función es sobreyectiva si el recorrido (o conjunto imagen Im f) de la función es el conjunto final Y. Dicho de otra manera, una función es suprayectiva cuando son iguales su codominio y su recorrido o rango.

  2. YEFRY ALEXANDER GETIAL ZUIN

    alguien me podría colaborar diciéndome como obligo a una función que no es sobreyectiva a que se vuelva sobreyectiva

    1. Las que se indican en esta página.
      todos los elementos del conjunto final Y tienen al menos un elemento del conjunto inicial X
      una función es suprayectiva cuando son iguales su codominio y su recorrido o rango.

  3. Jennifer vargas

    Hola alguien seria tan amable de ayudarme como deducir la definición de la función sobreyectiva se los agradeceré mucho

    1. Una función f es sobreyectiva (o suprayectiva) si todos los elementos del conjunto final Y tienen al menos un elemento del conjunto inicial X al que le corresponde.
      Una función es sobreyectiva cuando son iguales su codominio y su recorrido o rango (no hay elementos del conjunto final que no sean imagen del conjunto X)

  4. Me gustó mucho los programas que me está ofreciendo esta pagina web me sirvió muchísimo de los agradezco muuuuccccchhhhhhiiiiiiiissssssiiiiiiimmmmmmooooooo

  5. Mi pregunta es que, si hay un elemento del dominio que no tiene imagen mientras que todos los elementos del conjunto de llegada son imagen del resto de elementos del dominio, es función Sobreyectiva?.
    Es necesario que sea función antes de ser sobreyectiva, me podrían dar un ejemplo por favor

  6. Tengo 2 dudas.
    a) Si x^2 – 1 no es inyectiva ni sobreyectiva (y por lo tanto no es biyectiva) ¿Entonces qué sí es?
    b) Si se define el conjunto contradominio como y E R | y >= -1 (Para toda y que pertenece a los Reales tales que y sea mayor o igual a menos uno) entonces f(x) = y = x^2 – 1 sí es suprayectiva, ¿Correcto? ¿Entendí bien?

    1. a)Esta función, tal y como está definida no es biyectiva (no inyectiva, no 1 – 1, prueba de recta horizontal, ni sobreyectiva, porque no coinciden dominio y contradominio).
      b)Si restringes el contradominio como indicas, continua sin cumplir el criterio de inyectividad (no 1 – 1). En todo caso, deberías restringir el dominio, por ejemplo a los reales positivos iguales o mayores que 1,62.

  7. La verdad no me ayudo para nada dicen 3 ejemplos y solo dan uno dr slbreyectiva y el otro es de no sobreyectiva entonces sean serios

    1. Los ejemplos dados son dos.
      En el primero, aparecen dos ejemplos de función sobreyectiva
      En el segundo ejemplo se muestra una función, que no cumple las condiciones para que sea una función sobreyectiva.
      Se hace didácticamente para su contraste y comprensión.
      Gracias por tu participación.

  8. Emmanuel Duran

    lo que tienen de que le pertenece por lo menos un elemento en x se contradice con lo dicho en el articulo de funcion biyectiva y lo cito textualmente «Es decir, si todo elemento del conjunto final Y tiene un único elemento del conjunto inicial X al que le corresponde (condición de función sobreyectiva) y…..»

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio