Función sobreyectiva

En matemáticas, una función:

Ejemplo de función sobreyectiva (no inyectiva).

${\displaystyle {\begin{array}{rccl}f:&X&\longrightarrow &Y\\&x&\longmapsto &y=f(x)\end{array}}}$

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 ${\displaystyle \scriptstyle Y}$ es la imagen de como mínimo un elemento de ${\displaystyle \scriptstyle X}$.

Formalmente,

${\displaystyle \forall y\in Y\quad \exists x\in X:\quad f(x)=y}$

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

Cardinalidad y sobreyectividad

Dados dos conjuntos ${\displaystyle \scriptstyle A}$  y ${\displaystyle \scriptstyle B}$ , entre los cuales existe una función sobreyectiva ${\displaystyle f:A\to B}$ , se tiene que los cardinales cumplen:

${\displaystyle {\mbox{card}}(A)\geq {\mbox{card}}(B)}$ 

Si además existe otra aplicación sobreyectiva ${\displaystyle g:B\to A}$ , entonces puede probarse que existe una aplicación biyectiva entre ${\displaystyle A}$  y ${\displaystyle B}$ , por el teorema de Cantor-Bernstein-Schröder.

Notación

En ocasiones se denota una función suprayectiva como :

${\displaystyle f:X\twoheadrightarrow Y}$ 

Véase también

• Función inyectiva
• Función biyectiva

Referencias

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

Bibliografía

• Bourbaki, Nicolas (2004) [1968]. Theory of Sets. Springer. ISBN 978-3-540-22525-6. 

•   Datos: Q229102
•   Multimedia: Surjectivity