CORRESPONDENCIAS Y APLICACIONES

Correspondencia
Dados dos conjuntos: X e Y, y
una función f, que determina alguna relación binaria entre algún elemento de X con algún elemento de Y,
diremos que esa función: f, define una correspondencia entre X e Y, representada por : f: XY
cuando al menos un elemento de X está relacionado con al menos un elemento de Y.

Cada elemento de X puede estar asociado con ninguno, uno, o varios elementos de Y

Conjunto inicial: es el primer conjunto de la correspondencia,

En el ejemplo: Inic(f) = X = {1,2,3,4}
Conjunto final: es el segundo de la correspondencia
En el ejemplo: Final(f) = Y = {a,b,c,d}
Conjunto origen: el formado por los elementos del conjunto inicial,
que están relacionados con algún elemento del conjunto final.
En el ejemplo Origen(f) = {1,2,3}
Conjunto imagen: es el formado por los elementos del conjunto final
con los que están relacionados los elementos del conjunto origen
En el ejemplo: Im(f) = {a,c,d}
Elementos homólogos: dos elementos, uno del conjunto origen y otro del conjunto imagen, se dice que son
homólogos, si están relacionados según la correspondencia f.
En el ejemplo: los siguientes pares ordenados son homólogos: (1,d) (2,d) (3,a) (3,c)
Imagen de un elemento: dado un elemento x del conjunto origen, y otro elemento (o elementos) y del
conjunto imagen, se dice que y=f(x) es imagen de x si el elemento si y está relacionado con x según la
correspondencia f.
En el ejemplo: f(1) = d, f(2) = d, f(3) = {a,c}

Producto cartesiano: Y
Dados los conjuntos (Conjunto inicial) e (Conjunto final) se define el a b c d
producto cartesiano de estos dos conjuntos como el 1 (1,a) (1,b) (1,c) (1,d)
conjunto de pares ordenados (x, y), donde e 2 (2,a) (2,b) (2,c) (2,d)
X
3 (3,a) (3,b) (3,c) (3,d)
Se suele representar los pares en una tabla de esta forma: 4 (4a) (4,b) (4,c) (4,d)
Y como conjunto así: = { (1,a), (1,b), (1,c), (1,d), (2,a), (2,b), (2,c), (2,d), (3,a), (3,b), (3,c), (3,d), (4,a), (4,b), (4,c), (4,d) }

Y
Una correspondencia f queda definida por el conjunto F de los pares a b c d
ordenados homólogos. 1 (1,d)
En nuestro ejemplo: F = { (1,d) (2,d) (3,a) (3,c) } 2 (2,d)
X
Se ve mejor gráficamente en la tabla: 3 (3,a) (3,c)
4
Resulta evidente que F  .

Correspondencia inversa: Dada una correspondencia entre los conjuntos A y B,

representada por f: A  B , se define como correspondencia inversa de f ,
a f-1: BA , que asocia la imagen(f) con Origen(f), donde los pares asociados
de f-1 son los mismos que los de f pero en orden inverso,
es decir (b,a)  F-1  (a,b)  F

En nuestro ejemplo, F-1 = { (d,1), (d,2), (a,3), (c,3) } f-1

Correspondencia unívoca:
Es una correspondencia en la que
cada elemento del conjunto inicial tiene a lo sumo una imagen.
Observa que puede haber elementos del conjunto inicial que no tienen imagen,
Es decir, 

Correspondencia biunívoca
Es una correspondencia unívoca, en la que además
cada elemento del conjunto imagen tiene un único origen.
Observa que: f es correspondencia biunívoca  ( f es unívoca  f-1 es unívoca )

APLICACIÓN o FUNCION f: XY es una correspondencia en la que

todo elemento del conjunto inicial tiene sólo única imagen x  ! y = f(x)

Conjunto inicial = Origen(f) Correspondencia unívoca

Ejemplo: f:
x  y = x2, es una aplicación o función.
Gráficamente se ve que para todo valor de x hay sólo un valor de y

En cambio, la gráfica de una elipse por ejemplo, no se corresponde con una aplicación,
pues hay valores de x que tienen dos valores de y distintos.

Aplicación inyectiva es una aplicación f: si orígenes distintos tienen imágenes distintas

es decir, x1,x2  / x1  x2  f(x1) f( x2)
Ejemplo: f: f:
x  y = ex es aplicación inyectiva x  y = x2, es una aplicación no inyectiva

Aplicación suprayectiva o sobreyectiva es una aplicación en que todo el conjunto final es imagen(f),
es decir, y x / f(x) = y, (cada elemento del conjunto final tiene al menos un origen)
Ejemplo: f:
x  y = x3 – 4x es aplicación suprayectiva
No es inyectiva porque f(-2)=0, f(0)=0, f(2)=2

Aplicación biyectiva es una aplicación que es simultáneamente inyectiva y suprayectiva

Es una aplicación uno a uno, por tanto el conjunto inicial y el final tienen el mismo cardinal.

Si puedo establecer una aplicación biyectiva, aunque sea entre conjuntos infinitos,
aunque aparentemente parezca que tengan distinto cardinal, resulta que al ser biyectiva,
tendrán el mismo número de elementos.
Ej: f: asocia a cada número natural su doble. Como el conjunto final es el de los números
n  2·n El conjunto inicial es , el de los números naturales: inic.(f) = {1, 2, 3, 4, …}
El conjunto final es de los números naturales pares: final(f) = {2, 4, 6, 8, …}
Claramente final(f)  inicial(f), el final es subconjunto propio del inicial,
es decir, aparenta que el tamaño de ambos conjuntos fuera diferente, pero como
se puede establecer una aplicación biyectiva entonces = cardinal(números naturales pares) =
En general, el cardinal de cualquier conjunto infinito numerable es
Un conjunto infinito es numerable si puedo hacer una aplicación biyectiva entre y ese conjunto
Falta nombrar función inversa en biyectivas
Falta nombrar composición de funciones