Correspondencia

De Wikipedia

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 llamamos f\; a la correspondencia entre A y B, ésta podemos expresarla simbólicamente:

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.
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.
Aplicacion inyectiva pero no sobreyectiva
Aumentar
Aplicacion inyectiva pero no sobreyectiva
Aplicación sobreyectiva pero no inyectiva
Aumentar
Aplicación sobreyectiva pero no inyectiva
Aplicación biyectiva
Aumentar
Aplicación biyectiva
Herramientas personales
* 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