Diferencia entre revisiones de «Función sobreyectiva»
Appearance
Contenido eliminado Contenido añadido
Añado |
Sin resumen de edición |
||
Línea 17: | Línea 17: | ||
||left}} |
||left}} |
||
: Para todo '''y''' de '''Y''' existe '''x''' de '''X''', que |
: 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 == |
== Cardinalidad y sobreyectividad == |
Revisión del 18:33 23 mar 2021
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.
Cardinalidad y sobreyectividad
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.
Notación
En ocasiones se denota una función suprayectiva como :
Véase también
Referencias
- ↑ 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
- Bourbaki, Nicolas (2004) [1968]. Theory of Sets. Springer. ISBN 978-3-540-22525-6.