Correspondencia

De Wikipedia

(Diferencia entre revisiones)
Revisión de 12:51 8 dic 2016
Coordinador (Discusión | contribuciones)
(Tipos de correspondencias)
← Ir a diferencia anterior
Revisión de 12:51 8 dic 2016
Coordinador (Discusión | contribuciones)
(Tipos de aplicaciones)
Ir a siguiente diferencia →
Línea 60: Línea 60:
}} }}
{{p}} {{p}}
-==Tipos de aplicaciones==+===Tipos de aplicaciones===
{{Caja_Amarilla|texto= {{Caja_Amarilla|texto=
* Una aplicación es '''inyectiva''' si cada imagen se corresponde con un único origen. * Una aplicación es '''inyectiva''' si cada imagen se corresponde con un único origen.

Revisión de 12:51 8 dic 2016

Correspondencia entre conjuntos

Una correspondencia ente dos conjuntos A y B es una ley o criterio que asocia elementos de A con elementos de B.

  • Si denotamos por f\; a la correspondencia entre A y B, lo expresaremos:

f: A \rightarrow B

  • Al conjunto A se le denomina conjunto inicial y al B conjunto final de la correspondencia.
  • Sea x \in A\;, al elemento de B que se corresponda con x\; lo representaremos por f(x)\; y se leerá "imagen de x según f ". (Notación introducida por Euler en 1734)
  • También se suele expresar como par ordenado (x,y)\;, con y=f(x)\;, a las parejas de elementos que estén en correspondencia mediante f\;.
  • Al subconjunto de A formado por los elementos que tienen correspondencia con alguno de B, lo llamaremos conjunto origen, Or(f)\;, de la correspondencia f\;.
  • Al subconjunto de B formado por los elementos que se corresponden con alguno de A, lo llamaremos conjunto imagen, Im(f)\;, de la correspondencia f\;.
Correspondencia representada mediante un diagrama de Venn
Aumentar
Correspondencia representada mediante un diagrama de Venn

Tipos de correspondencias

  • Una correspondencia es unívoca si cada elemento inicial que tenga imagen solo tienen una imagen.
  • Una correspondencia es biunívoca si cada elemento inicial que tenga imagen solo tienen una imagen, y cada elemento imagen solo tiene ese origen.
  • Una aplicación o función es una correspondencia unívoca cuyo conjunto origen coincide con el conjunto inicial.
  • Una aplicación es inyectiva si cada imagen se corresponde con un único origen.
  • Una aplicación es sobreyectiva si el conjunto imagen coincide con el conjunto final.
  • Una aplicación es biyectiva si es inyectiva y sobreyectiva simultaneamente.
Correspondencia unívoca pero no biunívoca
Aumentar
Correspondencia unívoca pero no biunívoca
Correspondencia biunívoca
Aumentar
Correspondencia biunívoca
Aplicación o función
Aumentar
Aplicación o función

Tipos de aplicaciones

  • Una aplicación es inyectiva si cada imagen se corresponde con un único origen.
  • Una aplicación es sobreyectiva si el conjunto imagen coincide con el conjunto final.
  • Una aplicación es biyectiva si es inyectiva y sobreyectiva simultaneamente.
Imagen:Apliccion inyectiva.png
Aplicacion inyectiva
Imagen:Apliccion sobreyectiva.png
Aplicación sobreyectiva
Imagen:Apliccion biyectiva.png
Aplicación biyectiva
Herramientas personales
phpMyVisites * AVISO: Para que te funcionen los applets de Java debes usar Internet Explorer y seguir las instrucciones de la Ayuda del menu de la izquierda