En matemáticas, Relación es la correspondencia de un primer conjunto, llamado Dominio, con un segundo conjunto, llamado Recorrido o Rango, de manera que a cada elemento del Dominio le corresponde uno o más elementos del Recorrido o Rango.
Por su parte, una Función es una relación a la cual se añade la condición de que a cada valor del Dominio le corresponde uno y sólo un valor del Recorrido.
De las definiciones anteriores podemos deducir que todas las funciones son relaciones, pero no todas las relaciones son funciones.
También debemos agregar que toda ecuación es una Relación, pero no toda ecuación es una Función.
EJERCICIOS:
Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.
El producto cartesiano de A x B está conformado por las siguientes parejas o pares ordenados:
A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}
Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en B:
R1 = {(2, 1), (3, 1)}
R2 = {(2, 4), (2, 5), (3, 4), (3, 5)}
R3 = {(2, 4), (3, 5)}
Ejemplo 2.
Dados los conjuntos C = {1, –3} y D = {2, 3, 6}, encontrar todos los pares ordenados (x, y) que satisfagan la relación
R = {(x, y) / x + y = 3}
Solución
El producto cartesiano de C x D está formado por los siguientes pares ordenados
C x D = {(1, 2), (1, 3), (1, 6), (–3, 2), (–3, 3), (–3, 6)}
Las parejas ordenadas que satisfacen que la suma de sus componentes sea igual a 3 son:
R = {(1, 2), (–3, 6)}
Dominio El dominio de es el conjunto de existencia de la misma, es decir, los elementos para los cuales la función está definida. Es el conjunto de todos los objetos que puede transformar, se denota o bien y está definido por:
Recorrido o codominio El recorrido o conjunto de llegada de es el conjunto y se denota o bien
Rango El rango de está formada por los valores que alcanza la misma. Es el conjunto de todos los objetos transformados, se denota.
