Correspondencia

De Wikipedia

(Diferencia entre revisiones)
Revisión de 12:52 8 dic 2016
Coordinador (Discusión | contribuciones)
(Tipos de correspondencias)
← Ir a diferencia anterior
Revisión de 12:52 8 dic 2016
Coordinador (Discusión | contribuciones)
(Tipos de aplicaciones)
Ir a siguiente diferencia →
Línea 63: Línea 63:
}} }}
{{Tabla3|celda1= {{Tabla3|celda1=
-[[Imagen:apliccion_inyectiva.png|thumb|center|Aplicacion inyectiva]]+[[Imagen:aplicacion_inyectiva.png|thumb|center|Aplicacion inyectiva]]
-|celda2=[[Imagen:apliccion_sobreyectiva.png|thumb|center|Aplicación sobreyectiva]]+|celda2=[[Imagen:aplicacion_sobreyectiva.png|thumb|center|Aplicación sobreyectiva]]
-|celda3= [[Imagen:apliccion_biyectiva.png|thumb|center|Aplicación biyectiva]]+|celda3= [[Imagen:aplicacion_biyectiva.png|thumb|center|Aplicación biyectiva]]
}} }}

Revisión de 12:52 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.
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
Aumentar
Aplicacion inyectiva
Aplicación sobreyectiva
Aumentar
Aplicación sobreyectiva
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