RELACIONES

Definición.- 𝑆 es una relación de 𝐴 en 𝐵, si 𝑆 es un subconjunto de 𝐴 × 𝐵, es decir si

𝑆 ⊂ (𝐴 × 𝐵).

Si 𝑆 es una relación de 𝐴 en 𝐵 se denota con 𝑆: 𝐴 → 𝐵 y se dice que 𝑆 es una

correspondencia entre los elementos del conjunto 𝐴 y los elementos del conjunto 𝐵.

Observaciones:

1.- Si 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵 y se cumple que (𝑥, 𝑦) ∈ 𝑆 se dice que 𝑥 esta en relación con 𝑦

mediante 𝑆 y se denimina con 𝑥 𝑆 𝑦.

2.- Si 𝑆 es una relación de 𝐴 en 𝐵, al conjunto 𝐴 se le llama conjunto de partida y al

conjunto 𝐵 se le llama conjunto de llegada.

3.- Como 𝜙 ⊂ 𝐴 × 𝐵, 𝜙 es una relación de 𝐴 en 𝐵 y es llamada relación nula o vacía.

4.- 𝑆 es una relación en 𝐴, sí y solo sí, 𝑆 ⊂ 𝐴 × 𝐴.

5.- Si 𝑆 es una relación en 𝐴 en 𝐵 y 𝑆 = {(𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 ), (𝑥3 , 𝑦3 ), (𝑥4 , 𝑦4 )} a 𝑆 se le

representa con el siguiente gráfico.

Dominio y rango de una relación

Sea 𝑆 una relación no vacía de 𝐴 en 𝐵, es decir 𝑆 = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 𝑆 𝑦}

Definición.- El dominio de 𝑆 es el conjunto de los elementos 𝑥 ∈ 𝐴 para los cuales

existe un 𝑦𝜖𝐵 tal que (𝑥, 𝑦) ∈ 𝑆; es decir el dominio de 𝑆 es el subconjunto de 𝐴
formado por todas las primeras componentes de los pares orden ados que
 pertenecen a la relación. Al dominio lo simbolizamos como el siguiente conjunto
𝐷(𝑆) = {𝑥 ∈ 𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 ∃𝑦 ∈ 𝐵; (𝑥, 𝑦) ∈ 𝑆}.

Relaciones de ℝ en ℝ.

Generalmente en este texto, utilizaremos relaciones de 𝐴 en 𝐵, donde 𝐴 y 𝐵 son

subconjuntos de ℝ.

Relación inversa.

Definición.- Sea la relación 𝑆 de 𝐴 en 𝐵: 𝑆 = {(𝑥, 𝑦) ∈ 𝐴 × 𝐵 𝑡𝑎𝑙 𝑞𝑢𝑒 (𝑥, 𝑦) ∈ 𝑆} la

relación inversa de 𝑆 denotado por 𝑆 −1 se define del modo siguiente.

𝑆 −1 = {(𝑦, 𝑥) ∈ 𝐵 × 𝐴 𝑡𝑎𝑙 𝑞𝑢𝑒 (𝑥, 𝑦) ∈ 𝑆} es decir, 𝑆 −1 es la relación de 𝐵 en 𝐴

que se obtiene a partir de la relación 𝑆 intercambiando las componentes de los
elementos de 𝑆.

Observaciones:

1.- De la definición de 𝑆 −1 , (𝑦, 𝑥) ∈ 𝑆 −1 ↔ (𝑥, 𝑦) ∈ 𝑆

2.- 𝐷(𝑆 −1 ) = 𝑅(𝑆) y 𝑅(𝑆 −1 ) = 𝐷(𝑆)

3.- (𝑆 −1 )−1 = 𝑆.

EJERCICIOS

1.- Siendo A = 1,3,5, 7 y B = 3,5,8,9 , escribir en forma de conjunto la relación de A

en B , definida por.

a) x  y; x  A  y  B

b) x  y ; x  A  y  B

c) x = y ; x  A  y  B

d) x = y ; x  A  y  B
2.- En el ejercicio anterior.

a) Hacer el gráfico de cada relación.

b) Dar el dominio y rango de cada una de las relaciones.

c) Dar la relación inversa de cada una de las relaciones.

3.- Sea A = . Construir la gráfica, hallar el dominio y rango de las siguientes

relaciones definidas en A


a) S = ( x, y )  2
/ x = 3  y  0


b) S = ( x, y )  2
/ x = 3  − 2  y  2


c) S = ( x, y )  2
/ y = 2 x  x   −2,1


d) S = ( x, y )  2
/ y = 2x 


e) S = ( x, y )  2
/ x = 3y 


f) S = ( x, y )  2
/ ( x − 2)( y + 3) = 0

 1
g) S = ( x, y )  2
/y= 
 x

 3x 2 − 8 x + 4 
h) S = ( x, y )  /y=
2

 x2 


i) S = ( x, y )  2
/ y 3 − x 2 + 3 y 2 + 2 x − 2 = 0


j) S = ( x, y )  2
/ y 3 − x 2 + 3 y 2 + 2 x − 2 = 0


k) S = ( x, y )  2
/ x3 − 6 x 2 − y 2 − 12 x + 2 y − 9 = 0

4.- Graficar e indicar el dominio y el rango de las relaciones:


a) R = ( x, y )  2
/ y  x  3


b) S = ( x, y )  2
/ y  x 2 , y  x


c) T= ( x, y )  2
/ y  x2 , y  x 
 d) Hallar T-1


5.- Sea S = ( x, y )  2
/ 3x − y  12  2 x − 3 y  0 ¿Cuáles de las siguientes
afirmaciones son verdaderas?


I) S −1 = (m, n)  2
/ 3n − m  12  2n − 3m  0

II) (4,5)  S −1

III)  (a, b)  S / (b, a)  S

6.- Bosquejar las gráficas de:

a) y = x 2 + 6 x + 8 b) y = 2 x − x 2 + 6 c)

1.- Grafique e indique el dominio y el rango de las relaciones:

a) R = ( x, y )   / y  x  3


b) S = ( x, y )   / y  x 2 , y  x


c) T = ( x, y )   / y  x2 , y  x 