Correspondencia

(Diferencia entre revisiones)

Revisión de 12:10 8 dic 2016

Una correspondencia ente dos conjuntos A y B es una ley o criterio que asocia elementos de A con elementos de B.

$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)
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

Ejemplo: [Mostrar]

Correspondencia entre conjuntos (15'36") Sinopsis: [Mostrar]

 *Al conjunto A se le denomina '''conjunto inicial''' y al B '''conjunto final''' de la correspondencia.
 *Sea <math>x \in A\;</math>, al elemento de B que se corresponda con <math>x\;</math> lo representaremos por <math>f(x)\;</math> y se leerá "''imagen de x según f'' ". (Notación introducida por [[Euler]] en 1734)
-*Al subconjunto de A formado por los elementos que tienen correspondencia con alguno de B, lo llamaremos '''conjunto origen''', <math>Or(f)\;</math>, de la correspondencia f.
+*Al subconjunto de A formado por los elementos que tienen correspondencia con alguno de B, lo llamaremos '''conjunto origen''', <math>Or(f)\;</math>, de la correspondencia <math>f\;</math>.
-*Al subconjunto de B formado por los elementos que se corresponden con alguno de A, lo llamaremos '''conjunto imagen''', <math>Im(f)\;</math>, de la correspondencia f.
+*Al subconjunto de B formado por los elementos que se corresponden con alguno de A, lo llamaremos '''conjunto imagen''', <math>Im(f)\;</math>, de la correspondencia <math>f\;</math>.
 }}