Correspondencia

De Wikipedia

(Diferencia entre revisiones)
Revisión de 12:38 8 dic 2016
Coordinador (Discusión | contribuciones)
(Correspondencia entre conjuntos)
← Ir a diferencia anterior
Revisión de 12:43 8 dic 2016
Coordinador (Discusión | contribuciones)
(Tipos de correspondencias)
Ir a siguiente diferencia →
Línea 41: Línea 41:
{{p}} {{p}}
==Tipos de correspondencias== ==Tipos de correspondencias==
-{{Tabla75|celda2=[[Imagen:correspondencia_univoca.png|thumb|Correspondencia unívoca pero no biunívoca]]{{p}}[[Imagen:correspondencia_biunivoca.png|thumb|Correspondencia biunívoca]]+{{Caja_Amarilla|texto=
-|celda1={{Caja_Amarilla|texto=+
* Una correspondencia es '''unívoca''' si cada elemento inicial que tenga imagen solo tienen una imagen. * 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 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.
}} }}
 +{{Tabla3|celda1=
 +[[Imagen:correspondencia_univoca.png|thumb|Correspondencia unívoca pero no biunívoca]]
 +|celda2=[[Imagen:correspondencia_biunivoca.png|thumb|Correspondencia biunívoca]]
 +|celda3= [[Imagen:correspondencia_aplicacion.png|thumb|Aplicación o función]]}}

Revisión de 12:43 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
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