Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Funciones»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 65:
<blockquote>
<p>'''(F-3)''' para cualesquiera <math>a\in x</math> y <math>b\in x,\quad f(a)=f(b) </math> implica <math>a=b</math>,</p>
</blockquote>
Línea 72:
Si
<blockquote>
<p>'''(F-4)''' para todo <math>b\in y</math> existe <math>a\in x</math> tal que <math>b=f(a) </math>,</p>
</blockquote>
es decir, si <math>\mathrm{ran}(f)=y</math> (i.e. si todo <math>b\in y</math> es imagen), se dice que <math>f</math> es una función ''sobreyectiva'' (o ''suprayectiva''), que es una función de <math>x</math> ''sobre'' <math>y</math>, o que es una ''sobreyección''.
<blockquote>
<p>'''(F-5)''' Una función que es a la vez inyectiva y sobreyectiva se dice función biyectiva o ''biyección''.</p>
</blockquote>
| |||