Correspondencia

De Wikipedia

(Diferencia entre revisiones)
Revisión de 09:19 23 may 2017
Coordinador (Discusión | contribuciones)
(Tipos de correspondencias)
← Ir a diferencia anterior
Revisión de 09:20 23 may 2017
Coordinador (Discusión | contribuciones)
(Tipos de correspondencias)
Ir a siguiente diferencia →
Línea 54: Línea 54:
* Una '''aplicación''' o '''función''' es una correspondencia unívoca cuyo conjunto origen coincide con el conjunto inicial. * Una '''aplicación''' o '''función''' es una correspondencia unívoca cuyo conjunto origen coincide con el conjunto inicial.
 +}}
 +{{Tabla3|celda1=
 +[[Imagen:correspondencia_univoca.png|thumb|center|Correspondencia unívoca pero no biunívoca]]
 +|celda2=[[Imagen:correspondencia_biunivoca.png|thumb|center|Correspondencia biunívoca]]
 +|celda3= [[Imagen:correspondencia_aplicacion.png|thumb|center|Aplicación o función]]
}} }}
{{p}} {{p}}
Línea 61: Línea 66:
|sinopsis=Concepto de función. Ejemplos. |sinopsis=Concepto de función. Ejemplos.
|url1=https://www.youtube.com/watch?v=nAdy1A0JHeQ |url1=https://www.youtube.com/watch?v=nAdy1A0JHeQ
-}} 
-{{Tabla3|celda1= 
-[[Imagen:correspondencia_univoca.png|thumb|center|Correspondencia unívoca pero no biunívoca]] 
-|celda2=[[Imagen:correspondencia_biunivoca.png|thumb|center|Correspondencia biunívoca]] 
-|celda3= [[Imagen:correspondencia_aplicacion.png|thumb|center|Aplicación o función]] 
}} }}
{{p}} {{p}}

Revisión de 09:20 23 may 2017

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 o dominio, 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 o rango, 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
* 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