Ir al contenido

Función sobreyectiva

De Wikipedia, la enciclopedia libre
(Redirigido desde «Sobreyectiva»)
Ejemplo de función sobreyectiva (no inyectiva).

En matemáticas, una función:

es sobreyectiva,[1]epiyectiva, suprayectiva,[1]suryectiva, exhaustiva,[1]onto o subyectiva si está aplicada sobre todo el codominio, es decir, cuando cada elemento de es la imagen de como mínimo un elemento de .

Formalmente,

Para todo y de Y existe x de X, que cumple que la función: f de x es igual a y.

Definición

[editar]

Una función sobreyectiva es una función cuya imagen es igual a su codominio. Equivalentemente, una función con dominio y codominio es sobreyectiva si para cada en existe al menos una en tal que .

Simbólicamente

Si entonces se dice que es sobreyectiva si

Notación

[editar]

En ocasiones para denotar que una función es sobreyectiva se utiliza la notación:

Cardinalidad y sobreyectividad

[editar]

Dados dos conjuntos y , entre los cuales existe una función sobreyectiva , se tiene que los cardinales cumplen:

Si además existe otra aplicación sobreyectiva , entonces puede probarse que existe una aplicación biyectiva entre y , por el teorema de Cantor-Bernstein-Schröder.

Véase también

[editar]

Referencias

[editar]
  1. a b c Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0. 

Bibliografía

[editar]