Función sobreyectiva
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,
Ejemplo de función sobreyectiva (no
inyectiva).
Para todo y de Y existe x de X, que cumple que la función: f de x es igual a y.
Índice
Definición
Notación
Cardinalidad y sobreyectividad
Véase también
Referencias
Bibliografía
Definición
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
En ocasiones para denotar que una función es sobreyectiva se utiliza la notación:
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.
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.
Obtenido de «[Link]
Esta página se editó por última vez el 23 nov 2021 a las 17:13.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.