Relaciones

Nociones

Dados dos conjuntos A y B, una relación de A con B es una regla de correspondencia que vincula
elementos del conjunto A con elementos del conjunto B. en símbolos: r : A → B

Alcance y rango

En este caso el conjunto A es el alcance de la relación y el conjunto b es el rango de la relación.

Dominio

El dominio de una relación r, que se denota Dom(r) es el conjunto formado por las primeras
componentes de los pares ordenados que verifican la relación. Sus elementos se llaman
argumentos. El dominio es un subconjunto del alcance.

Imagen

Imagen de una relación r, que se denota Im(r) es el conjunto formado por las segundas
componentes de los pares ordenados que verifican la relación. Sus elementos se llaman
imágenes. Es un subconjunto del rango.

Representación grafica de una relación a través de diagramas de Venn

Definición de una relación con pares ordenados

Se puede representar una relación entre elementos de distintos conjuntos como el conjunto
formado por los correspondientes pares ordenados.

Representación de una relación con un sistema de coordenadas cartesianas

Par ordenado y punto en el plano

Relación inversa

Dada una relación r : A → B, se llama relación inversa de r, a otra relación,r −1 : B  A, tal que

(y ,x)  r −1 , si y sólo si (x, y)  r.

Dominio e imagen de una relación inversa

Dom (r −1 ) = Im (r) Im (r −1 )) = Dom( r)

Relaciones funcionales

Una función f: A B (se lee: “f de A en B”) es una regla de asignación que a cada elemento “x” que
pertenece a A le asigna uno y sólo un elemento “y” en B.

2 condiciones para que relación sea una función

1) Cada elemento de A tiene imagen en B, es decir, el alcance es igual al dominio

2) La imagen de cada elemento de A es única, es decir, a todo elemento del alcance tiene una y
sólo una imagen.

Variable dependiente e independiente

Cada elemento del dominio recibe el nombre de argumento. La letra “x” representa los posibles
valores que asumen estos argumentos y se la denomina también variable independiente. Para
cada valor de x se obtiene un valor de y, por lo cual se dice que “y” es la variable dependiente o
que y es función de x.
 Dominio natural

Dominio Natural es el mayor conjunto de números reales donde se cumplen las condiciones para
que la relación sea función.

Clasificación de funciones

Clases Concepto Representación grafica con Inversa

diagramas de venn
Funciones Una función es inyectiva si a argumentos distintos No es un
inyectivas del dominio le corresponden imágenes distintas. función
En símbolos:
f es inyectiva   x1  x2  f(x1) ≠ f(x2).

Funciones Una función es sobreyectiva si el conjunto imagen No es función

sobreyectivas es igual al rango.
o En símbolos:
suprayectivas f es sobreyectiva  Im(f )= Rango(f)

Funciones Una función se dice que es biyectiva si es inyectiva Únicamente

biyectivas y sobreyectiva. cuando una
Si una función es biyectiva se establece una función es
relación biunívoca entre el alcance y el rango: todo biyectiva su
elemento del dominio tiene su imagen en el rango inversa también
y todo elemento del rango es imagen de algún es una función.
elemento del dominio.