Diferencia entre revisiones de «Función sobreyectiva»

m
rv
m (rv)
[[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''', '''intrasuprayectiva''',<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>.
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,
 
== Cardinalidad y sobreyectividad ==
Dados dos conjuntos <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, entre los cuales existe una función quemadasobreyectiva <math>\scriptstyle f:A \to B</math>, se tiene que los cardinales cumplen:
{{ecuación|
<math>\mbox{card}(A) \ge \mbox{card}(B)</math>
4809

ediciones