Correspondencia

De Wikipedia

(Diferencia entre revisiones)
Revisión de 12:48 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 correspondencias)
Ir a siguiente diferencia →
Línea 57: Línea 57:
[[Imagen:correspondencia_univoca.png|thumb|center|Correspondencia unívoca pero no biunívoca]] [[Imagen:correspondencia_univoca.png|thumb|center|Correspondencia unívoca pero no biunívoca]]
|celda2=[[Imagen:correspondencia_biunivoca.png|thumb|center|Correspondencia biunívoca]] |celda2=[[Imagen:correspondencia_biunivoca.png|thumb|center|Correspondencia biunívoca]]
-|celda3= [[Imagen:correspondencia_aplicacion.png|thumb|center|Aplicación o función]]}}+|celda3= [[Imagen:correspondencia_aplicacion.png|thumb|center|Aplicación o función]]
 +}}
 +{{p}}
 +==Tipos de aplicaciones==
 +{{Caja_Amarilla|texto=
 +* 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.
 +}}
 +{{Tabla3|celda1=
 +[[Imagen:apliccion_inyectiva.png|thumb|center|Aplicacion inyectiva]]
 +|celda2=[[Imagen:apliccion_sobreyectiva.png|thumb|center|Aplicación sobreyectiva]]
 +|celda3= [[Imagen:apliccion_biyectiva.png|thumb|center|Aplicación biyectiva]]
 +}}

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
* 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