Diferencia entre revisiones de «Función sobreyectiva»
Apariencia
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 1: | Línea 1: | ||
[[Archivo:Surjection.svg|frame|right|Ejemplo de función sobreyectiva.]] |
[[Archivo:Surjection.svg|frame|right|Ejemplo de función sobreyectiva.]] |
||
En [[matemática]], una [[función matemática|función]] <math>\scriptstyle f \colon X \to Y \,</math> es '''sobreyectiva'''<ref name="c">{{cita libro|título=Diccionario esencial de las ciencias|editor=Real Academia de Ciencias Exactas, Física y Naturales|isbn=84-239-7921-0|año=1999|editorial=Espsa}}</ref> ('''epiyectiva''', '''suprayectiva''',<ref name="c"/> '''suryectiva''', '''exhaustiva'''<ref name="c"/> o '''subyectiva''') si está aplicada sobre todo el [[codominio]], es decir, cuando cada elemento de <math>\scriptstyle Y</math> es la imagen de como mínimo un elemento de <math>\scriptstyle X</math>. |
En [[matemática]], una [[función matemática|función]] <math>\scriptstyle f \colon X \to Y \,</math> es '''sobreyectiva'''<ref name="c">{{cita libro|título=Diccionario esencial de las ciencias|editor=Real Academia de Ciencias Exactas, Física y Naturales|isbn=84-239-7921-0|año=1999|editorial=Espsa}}</ref> ('''epiyectiva''', '''intra |
||
suprayectiva''',<ref name="c"/> '''suryectiva''', '''exhaustiva'''<ref name="c"/> o '''subyectiva''') si está aplicada sobre todo el [[codominio]], es decir, cuando cada elemento de <math>\scriptstyle Y</math> es la imagen de como mínimo un elemento de <math>\scriptstyle X</math>. |
|||
Formalmente, |
Formalmente, |
||
Línea 10: | Línea 11: | ||
== Cardinalidad y sobreyectividad == |
== Cardinalidad y sobreyectividad == |
||
Dados dos conjuntos <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, entre los cuales existe una función |
Dados dos conjuntos <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, entre los cuales existe una función quemada <math>\scriptstyle f:A \to B</math>, se tiene que los cardinales cumplen: |
||
{{ecuación| |
{{ecuación| |
||
<math>\mbox{card}(A) \ge \mbox{card}(B)</math> |
<math>\mbox{card}(A) \ge \mbox{card}(B)</math> |
Revisión del 12:58 15 mar 2017
En matemática, una función es sobreyectiva[1] (epiyectiva, intra suprayectiva,[1] suryectiva, exhaustiva[1] 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,
Cardinalidad y sobreyectividad
Dados dos conjuntos y , entre los cuales existe una función quemada , 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
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.