NOLAN JARA J.

RELACION

PRODUCTO CARTESIANO

Si tenemos dos conjuntos A y B, y tratamos de armar todos los pares posibles formados
por un elemento del conjunto A y un elemento del conjunto B, obtendremos el
producto cartesiano de los dos conjuntos. Se escribe: AxB

RELACIÓN

Se llama relación R entre los elementos de los conjuntos A y B a un subconjunto del

producto cartesiano A x B. Este puede estar formado por un solo par ordenado, varios o
todos los que forman parte de A x B. por lo tanto: R  AxB .

Dados dos conjuntos A y B () R es una relación de A en B si R  A x B

A x B (a,b)/aA  bB
Si establecemos una relación entre los elementos de un mismo conjunto, existen tres
propiedades fundamentales que pueden cumplirse en esa relación: propiedad reflexiva,
simétrica y transitiva.
Propiedad reflexiva
Una relación es reflexiva si todo elemento del conjunto está relacionado con sí mismo.
aRa
Propiedad simétrica
Una relación es simétrica si cada vez que un elemento está relacionado con otro, éste
segundo también está relacionado con el primero.
aRb  bRa
Propiedad transitiva
Una relación es transitiva si cada vez que un elemento está relacionado con otro, y este
está a su vez relacionado con un tercero, el primer elemento está relacionado con el
tercero.
Si aRb  bRc  aRc
Relación de equivalencia
Una relación de equivalencia es aquella que cumple las propiedades reflexiva, simétrica
y transitiva.

Elementos de una relación

[FIEE-UNMSM] Página 25
NOLAN JARA J.

El conjunto de salida A es aquel del cual salen las flechas que representan la relación.

El conjunto de llegada B es aquel al cual llegan las flechas que representan la relación.

El Dominio es el conjunto de los primeros elementos de cada par ordenado. De cada

elemento del dominio sale por lo menos una flecha. El Dominio es un subconjunto del
conjunto de salida A, ya que algunos elementos de la salida pueden no formar parte de
la relación.

[FIEE-UNMSM] Página 26
NOLAN JARA J.

Dom (R) aA / aRb (a,b)R; Dom (R)  A

El Codominio o Rango es el conjunto de los segundos elementos de cada par

ordenado. En una relación, a cada elemento del codominio llega por lo menos una
flecha. El Codominio o Rango es un subconjunto del conjunto de llegada, ya que
algunos elementos del conjunto de llegada pueden no formar parte de la relación.

Ran (R) bA / aRb (a,b)R Ran (R)  B

RESUMIENDO
Dados dos conjuntos A y B () R es una relación de A en B si R  A x B

A x B (a,b)/aA  bB

Dominio y Rango de una Relación

Dom (R) aA / aRb (a,b)R; Dom (R)  A

Ran (R) bA / aRb (a,b)R Ran (R)  B

[FIEE-UNMSM] Página 27
NOLAN JARA J.

RELACIÓN BINARIA

A R B
Dom (R) Ram (R)

CONJUNTO CONJUNTO
PARTIDA LLEGADA

Ejemplo.

Sean: A 1,3,5,7,9 ; B 2,4,6,8 ; R (a,b)  AxB / a+b  7

R (1,2) (1,4) (1,6) (3,2) (3,4) (5,2)  AxB

Dom (R) 1, 3, 5  A ; Ran (R) 2, 4, 6  B

Observación. Si A  B  R AxB  R x R  R2

R2 = {(x,y)/x R, y R… Plano Cartesiano

Ejemplos

1. Si R  (x,y) R2/ x+y  7

¿(0,0) R? y

0+0 < 7..... (v)  (0,0)  R x+y=7

Dom (R): x  R ; Ran (R): y  R x

(0,0)

[FIEE-UNMSM] Página 28
NOLAN JARA J.

2. Sea R  {(x,y) R2 / (x-5)(y-4) 0}

y
R: x-50 v y-40  R: x5 v y4 x=5

Dom (R): x  R
y=4
Ran (R): y  R

x
(0,0)

3. Sea R  {(x,y) R2/ x  [-1,2] ; y[1,3] }

y3

R
y1

x
X=-1 X=2

4. R  {(x,y)  R2 / x  y  2}

R: x  y  2  x  y  2

[FIEE-UNMSM] Página 29
NOLAN JARA J.

5. Sea R  {(x,y) R2 / |x| + |y|  2}

 x; si x  0
x 
 x; si x  0
 y; si y  0
y 
 y; si y  0

R: |x| + |y|  2 ..... (*)

1) Si x  0  y  0  x + y  2

2) Si x  0  y < 0  x - y  2

3) Si x < 0  y  0  -x + y  2

4) Si x < 0  y < 0  -x - y  2

Graficando: (0,0) R
y

R
(0,2)
x+y=2
-x+y2
x
(-2,0) (2,0)

(0,-2) x-y2
-x-y2

Dom (R): x  [-2,2] ; Ran (R): y  [-2,2]

6. Sea R  {(x,y)  R2 / x  y  x3}

R: y  x3  y  x

Intersecando las líneas: y = x  y  x3

 x(x2-1)  0  x  {-1, 0, 1} ; y = {-1, 0, 1}

[FIEE-UNMSM] Página 30
NOLAN JARA J.

Dom ( R): x  [-1, 0] U [1,  > ; Ran (R): y  [-1, 0] U [1,  >

7. Sea R{(x,y)R2 / 8  x2 + y2 16, |x| + |y|  4}. Hallar el área de la región R

R: x2 + y2  16  x2 + y2  8  |x| + |y|  4

[FIEE-UNMSM] Página 31
NOLAN JARA J.

Dom (R): x [-4, 4] ; Ran (R) : y [-4, 4] ; A(R)  32 - 8

8. Sea R = { (x,y)  R² / 2x ² – 3xy ² + y 4 < 0}

R: 2x ² – 3xy ² + y 4 < 0  ( x  y 2 )(2 x  y 2 )  0

 (( x  y 2 )  0  (2 x  y 2 )  0)  (( x  y 2 )  0  (2 x  y 2 )  0)
y2 y2 y2
 (x  y2  x  )  (x  y2  x  )   x  y2
2 2 2

y2=2x

y2=x

O x

9. Sea   {(x,y) R2 / x  y  2}

-2  x-y  2

[FIEE-UNMSM] Página 32
NOLAN JARA J.

y
x-y=2

x-y -2

Problema: Hallar el dominio rango y graficar la siguiente relación:

R  {(x,y)  R2 / 5x2 – 6xy + 5y2 -32  0}

PROBLEMAS

Hallar el dominio de las siguientes relaciones:

y2 – y2x3 – x = 0

4x2 – y² - 8x – 4y – 4 = 0

y² - xy² - 4x = 0

Hallar el dominio rango y graficar las siguientes relaciones:

R = { (x,y) € R² / x²y – x² - 4y = 0}

R = { (x,y) € R² / x² - xy – 2x + y +2 = 0 }

R = { (x,y) € R² / xy² - y² - 4x = 0 }

R = { (x,y) € R² / xy² + 4x + 4y² - 5 > 0 }

R = { (x,y) € R² / (x-1)/y-1/ = x }

R = { (x,y) € R² / x² - 6x – 4y + 21 > 0 }

R = { (x,y) € R² / 6x²+xy – y² +6x +3y < 0}

R = { (x,y) € R² / 8<x²+y²<16 ; /x/+/y/ <4}

R = { (x,y) € R² / y  x  3}

R = { (x,y) € R² / y  x ², y  x }

[FIEE-UNMSM] Página 33
NOLAN JARA J.

[FIEE-UNMSM] Página 34