CEPUNT MATEMÁTICA

“RELACIONES BINARIAS”

1. Definición:
Consideremos dos conjuntos A y B no vacíos, llamaremos RELACION
BINARIA de A en B o relación entre elementos de A y B a todo
subconjunto R del producto cartesiano A  B, es decir:
“ R es una relación de A en B  R ⊆ A  B ”

Ejemplo:

Dados los conjuntos: A = {1, 2, 3, 4, 5} B = {1, 3, 5, 6} y la relación R

definida como “mayor que” que vincula elementos de A con los de B
(en ese orden)
B
A
1 1
2 3
3 5
4
6
5

Forma implícita:
R = {(x, y)  AxB / x  y}

Forma explícita:
R = {(2,1); (3,1); (4,1); (4,3); (5,1); (5,3)}

Observaciones:
1) Si A = B, entonces R es una relación en A o R es una relación
entre elementos de A
2) Si R es una relación entre elementos de A y B, al conjunto A le
llamaremos conjunto de partida y al conjunto B le llamaremos
conjunto de llegada.
Equipo de Matemática 219
 CEPUNT MATEMÁTICA
3) Generalizando: una relación R, entre los elementos del conjunto
de los números reales R, está determinado por una función
proposicional P(x, y); esto es:
a. E = {(x, y)  R R / P(x, y)}
4) Si A  B tiene “n” elementos entonces A  B tiene 2n subconjuntos,
en consecuencia existen 2n relaciones de A en B. Donde “n” viene
a hacer el producto del número de elementos de A con B.
5) Cuando un elemento (a, b) pertenece a una relación R se denota
aRb. Es decir, (a, b)  R aRb. Caso contrario (a, b) ∉ R

2. Dominio, Rango de una Relación Binaria:

Consideremos una relación R de A en B; es decir que R ⊆ A  B
1) El dominio de R denotado por Dom(R) es el conjunto definido por
Dom (R) = {x  A / ∃ y  B ∧ (x, y)  R}
2) El rango de R denotado por Ran(R) es el conjunto definido por
Ran (R) = {y  B / ∃ x  A ∧ (x, y)  R}
Observaciones:
 Para determinar el dominio de una relación en ℝ, primero se
despeja la variable “y” enseguida se analiza los valores que
pueden tomar “x” para que la variable “y” sea real.
 Para determinar el rango de una relación en ℝ, primero se
despeja la variable “x” enseguida se analiza los valores que
pueden tomar “y” para que la variable “x” sea real.

3. Relación Inversa:
Dados dos conjuntos A y B, y una relación Rentre ellos, se denomina
relación inversa de R, y se representa por R -1, a la correspondencia
que asocia a los elementos del conjunto final con los del conjunto
inicial de R; es decir, tiene como Dominio el conjunto Imagen de R, y
como conjunto Imagen el Dominio de R.
Simbólicamente:

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

Equipo de Matemática 220

 CEPUNT MATEMÁTICA
Siguiendo con el ejemplo anterior, representemos R-1 :
A
B
1 1
3 2

5 3
4
6
5
6

Forma implícita:
R-1 = {(y, x)  B x A / y < x}

Forma explícita:
R-1 = {(1,2); (1,3); (1,4); (1,5); (3,4); (3,5)}

OBSERVACIONES:
 Dom(R) = Ran(R -1)
 Ran(R) = Dom(R -1)

4. Tipos de Relaciones:
Dada una relación R definida en A, tenemos los siguientes tipos:
a) Relación Reflexiva:
R es reflexiva  (a, a)  R  a A
b) Relación Simétrica:
R es simétrica  (a, b)  R  (b, a)  R
c) Relación Transitiva:
R es transitiva  (a, b)  R  (b, c)  R  (a, c)  R
d) Relación de Equivalencia:
Una relación R reflexiva, simétrica y transitiva es llamada relación
de equivalencia.
e) Relación Antisimétrica:
R es antisimétricax y : (x, y)  R  (y, x)  R  x = y
Equipo de Matemática 221
 CEPUNT MATEMÁTICA
f) Relación de Orden Parcial:
R es de orden parcial si R es reflexiva, antisimétrica y transitiva.
g) Relación Conexa:
R es conexa  [x  A y  A]  (x, y)  R  (y, x)  R
h) Relación de Orden Total:
R es una relación de orden total si es de orden parcial y conexa.

5. Composición de Relaciones:
A partir de las relaciones R  A  B y S  B  C es posible definir una
relación entre A y C llamada composición entre R y S mediante
S  R = {(x, z) /  y  B tal que (x, y)  R  (y, z)  S}
Ejemplo:
Consideremos los siguientes conjuntos y relaciones
A = {-1, 0, 1} B = {1, 3} C = {3/2, 5/2, 0}
R  A  B está definido por: la imagen de “x” es su cuadrado.
S  B  C está definido por: el correspondiente de “y” es su mitad
aumentada en 1.
A B C
-1 1 3/2
0 5/2
1 3 0

Se tiene
R = {(-1, 1), (1, 1)}
S = {(1, 3/2), (3, 5/2)}
S  R = {(-1, 3/2), (1, 3/2)}
La relación compuesta S  R  A  C está definida

x2
(x, z)  S  R  z = +1
2

Equipo de Matemática 222

 CEPUNT MATEMÁTICA
6. Relaciones Notables:
a) La Circunferencia:
Ecuación: x2 + y2 = r2; (x-h)2 + (y-k)2 = r2
Dominio: [-r, r]; [h-r, h+r]
Rango: [-r, r]; [k-r, k+r]
Gráfica:

r k+r

c (h,k)
-r r k
h
k-r h-r h+r
-r

b) El Cuadrado:
Ecuación: x + y = c; x-h + y-k = c; c > 0
Dominio: [-c, c]; [h-c, h+c]
Rango: [-c, c]; [k-c, k+c]
Gráfica:

c k+c

(h,k)
k
-c c
h
h-c h+c
k-c
-c

c) El Rombo:
x y x-h y-k
Ecuación: + =1 ; + =1 ; a, b > 0
a b a b
Dominio: [-a, a]; [h-a, h+a]
Rango: [-b, b]; [k-b, k+b]

Equipo de Matemática 223

 CEPUNT MATEMÁTICA
Gráfica:
k+b

b
(h,k)
k
-a a
h
-b h-a h+a
k-b

PROBLEMAS DE APLICACIÓN:

1) Dados los conjuntos A = {1, 3, 5} y B = {2, 4, 6} se definen las

relaciones
R1 = {(x, y)  AB / x+y = 7}
R2 = {(x, y)  AB / y = 6}
La suma de todos los elementos de
Dom(R1 – R2)  Ran(R1 – R2)
es:
A) 10 B) 11 C) 12 D) 13 E) 14

Resolución
R1 = {(1, 6), (3, 4), (5, 2)}
R2 = {(1, 6), (3, 6), (5, 6)}
R1 – R2 = {(3, 4), (5, 2)}
Dom(R1 – R2) = {3, 5}, Ran(R1 – R2) = {4, 2}
Luego:
suma = 3 + 5 + 4 + 2 = 14
CLAVE E

2) Dada la relación R definida en los reales por

R = {(x, y)  R2 / x – y 4}
Sean las siguientes afirmaciones:
I) R es reflexiva.
II) R es simétrica
III) R es transitiva
IV) R no es de equivalencia
De las afirmaciones anteriores son verdaderas:
A) Sólo I, II y III B) Sólo I, II y IV C) Sólo II, III y IV
D) Sólo I, III y IV E) Todas
Equipo de Matemática 224
 CEPUNT MATEMÁTICA
Resolución
I) R es reflexiva, pues x – x = 0  4
 (x, x)  R x  R

II) R es simétrica, pues

(x, y)  R x – y 4
y – x 4
 (y, x)  R
Luego, R es simétrica.

III) R no es transitiva, pues

(6, 3)  R pues 6 – 3 = 3  4
(3, 1)  R pues 3 – 1 = 2  4
Sin embargo (6, 1)  R pues 6 – 1 = 5  4

IV) Como R no es transitiva, R no es de equivalencia

Luego, son verdaderas I, II y IV.

CLAVE B

3) Sean las relaciones

R1 = {(x, y)  R2 / x + y 4}
R2 = {(x, y)  R2 / x2 + y2 8}.
El área de R1  R2, es:
A) 8(4 – ) u2 B) (8 – ) u2C) 4(8 – ) u2
D) (6 – ) u2E) 4(6 – ) u2
Resolución
La gráfica de R1 es el conjunto de
puntos en el interior del cuadrado de
diagonal 2(4) = 8 y lado 4 2 ,
entonces:
A(R1) = (4 2 )2 = 32u2.

Luego, la gráfica de R2 es el conjunto de puntos que están fuera y

sobre la circunferencia x2 + y2 = 8, cuyo círculo tiene por área:
A(C) =  r2 = 8 u2
A(R1  R2) = A(R1) – A(R2) = 8(4 – ) u2.
CLAVE A

Equipo de Matemática 225

 CEPUNT MATEMÁTICA
4) Dadas las relaciones
R1 = {(x, y)  R2 / y2 8x}
R2 = {(x, y)  R2 / x2 + y2 – 4x – 12  0}.
El área acotada por R1  R2, es:
8 8 8
A) (2 + 3) u2 B) (3 + 5) u2 B) (3 + 4) u2
3 3 3
8 8
D) (2 +5) u2 E) (2 + 3) u2
3 3

Resolución
La gráfica de R1 es el conjunto de
puntos en el interior de la parábola
P :y2 = 8x.
Tenemos en R2 :
C : x2 + y2 – 4x – 12  0
(x – 2)2 + (y – 0)2 = 16
cuyo centro es C(2, 0) y r = 4, donde
su gráfica es el conjunto de puntos
en el interior y sobre la
circunferencia C.
P  C = A(2, 4) y B(2, -4).
A(R1  R2)=(área del semicírculo)+(área del sector parabólico AOB)
1 2 8
= ()(4)2 + (2)(8) = (3 + 4) u2.
2 3 3
CLAVE C
5) Dada la siguiente relación:
y –y= x – x
De las siguientes gráficas, la que corresponde, es:
A) B) C)
Y Y Y

0 X 0 X 0 X

D) Y E) Y

0 X 0 X

Equipo de Matemática 226

 CEPUNT MATEMÁTICA
Resolución
Dada la relación: y–y= x – x Y
a) Si y  0
La ecuación nos queda: y – y = x – x
Entonces: x = x x  0, cuya gráfica es: 0 X

b) Si y < 0
La ecuación nos queda: y + y = x – x
x x
Entonces: y
2
0; x  0
y
 x; x  0
Ahora, como y < 0  y = x; x < 0, cuya gráfica es:

0 X

Luego, la gráfica pedida es la unión de las dos gráficas:

0 X

CLAVE D

Equipo de Matemática 227