Relaciones

RELACIN
DEFINIDA
EN
UN
CONJUNTO
Si en AxB, el conjunto B es igual al
conjunto A, entonces tendramos
AxA, por ejemplo: Dado el conjunto A
= {1; 3; 5}, cul es la relacin R de
A en A definida por la relacin: a-b =
2?
Paso 1: Se halla el producto cartesiano
AxA
A x A = { (1;1), (1;3), (1;5), (3;1), (3;3),
(3;5),
(5;1), (5;3), (5;5)}
Paso

2: Extraemos
cumplen:
a b = 2.

aquellos

que

2. Propiedad Simtrica: Una relacin

R en A es simtrica, si siempre
que un elemento de A est
relacionado por R con otro,
tambin ste est relacionado por
R con el primero. Por ejemplo:
Dado el conjunto:

A ={1; 2; 3}

1. Propiedad reflexiva: Una relacin

R en A es reflexiva, si todo
elemento del conjunto A esta
relacionado consigo mismo por la
relacin R. Por ejemplo:

est relacionado con 3 y 3 esta

relacionado con 1.

est relacionado con 2 y 2 esta

relacionado con 2.

3. Propiedad
Transitiva:
Una
relacin R en A es transitiva, si
siempre que un elemento del
conjunto A est relacionado con
otro, y ste relacionado con un
tercero, entonces el primero est
relacionado por R con el tercero.
Por ejemplo:
A ={1; 2; 3}

A ={1; 2; 3}

Hallar:
R ={(a;b) AxA/a=b}={(1;1),(2;2),
(3;3)}
Donde
se
observa
que
cada
elemento del conjunto A est
relacionado consigo mismo, entonces
R es reflexiva.

A = {3; 4; 5}

Hallar: R = {(a;b) AxA/ a<b}

R = { (1;2),(1;3),(2;3)}
Donde se observa que:
1 R 2 y 2 R 3, entonces 1 R 3
4. Relacin de equivalencia: Una
relacin es de equivalencia, si es a

R2 = { (2,1), (3,2), (3,1), (4,3), (4,2),

(4,1)}
No es reflexiva
No es simtrica
Es transitiva

Hallar:
R = {(a ; b) A x A/ a = b a +
b=7}
R = {(3;3),(3;4),(4;3),(4;4),(5;5)}
Donde se observa que:

R ={(a;b) AxA/ a+b=4}={(1;3),(2;2),

(3;1)}
Donde se observa que:

Dado el conjunto:
Dado el conjunto:

Dado el conjunto:

Hallar:

R ={(3;1),(5;3)}
PROPIEDADES DE UNA RELACIN
DEFINIDA EN UN CONJUNTO

la
vez
reflexiva,
simtrica
transitiva. Por ejemplo:

3 R 3 ; 4 R 4 ; 5 R 5, entonces es
reflexiva.
3 R 4 y 4 R 3, entonces es simtrica.
3 R 4 y 4 R 3, entonces 3 R 3, por
lo tanto es transitiva.
Finalmente diremos que esta relacin
es de equivalencia.
EJERCICIOS RESUELTOS
01.

Sea R, una relacin en

A = {1, 2, 3, 4}, tal que:
R1 = { (1,2), (3,4), (4,3), (2,1),
(3,3) }
R2 = { (x,y)/x > y }
R3 = { (x,y)/x + y = 4}
R4 = { (x,y)/x mltiplo de y}
R5 = { (x,y)/y = 2x}
R6 = { (x,y)/x + y = par}
Indicar
cules
son
reflexiva,
simtrica y transitiva.
Solucin:
R1 : No es reflexiva. Para que lo sea
faltan los pares (1,1), (2,2) y (4,4)
Es simtrica
No es transitiva

R3 = { (1, 3), (2,2), (3,1) }

No es reflexiva
Es simtrica
No es transitiva
R4={(1,1),(2,1),(2,2),(3,1),(3,3),(4,1),
(4,2),(4,4)}
Es reflexiva
No es simtrica
Es transitiva
R5 = { (1,2), (2,4) }
No es reflexiva
No es simtrica
No es transitiva
R6={(1,1),(2,2),(1,3),(3,1),(3,3),
(4,2),(2,4),(4,4)}
Es reflexiva
Es simtrica
Es transitiva Es una relacin de
equivalencia
02.
Sea A = {1, 2, 3, 4, 5, 6} y R una
relacin en A determinada mediante
la regla:
R = { (x,y) / y = 3 }
Determinar R por extensin.
Solucin:
R = {(1,3), (2,3), (3,3), (4,3), (5,3),
(6,3)}

03.

Sea A = {1, 2, 3, 4, 5,
6, 7} y sea R una relacin definida
en A por
R = { (x,y) / x + y = 8.
Hallar n(R)
Solucin:
R={(1,7),(7,1), (2,6), (6,2), (3,5),
(5,3), (4,4)}

n (R) = 7
Sean A = {n N / n

04.

R3 = { (3,8), (4,6), (8,3), (6,4) }

R4 = (1,3),(1,4),(1,5),(1,6),(1,7),(1,8),
(2,5),
(2,6),(2,7),(2,8),(3,7),(3,8) }
06.
Es
transitiva
relacin dada por el grfico?

a.

es impar}
B = {m N/ m es par}
{considerar 0 = par}

Se define R: A B mediante la
regla:
R = { (n,m) / m + n = primo menor
que 10}
Encontrar el cardinal de R
Solucin:
R = {(1, 2), (1,4), (1,6), (3,2), (3,4),
(5,2)}
n (R) = 6
05.

Sea U = {1, 2, 3, 4, 5,
6, 7, 8} y sean las siguientes
relaciones definidas en U, segn sus
correspondientes
reglas
de
correspondencia:
R1 ={ (x,y)/ y = 3x}
{ (x,y)/xy = 24
R2 ={ (x,y)/ y = x2}
> 2x }

R3

R4 = { (x,y)/ y

Determinar por extensin cada una

de las relaciones.

I.

.c
.d .f

la

.h

Son verdaderas TODAS

Sea R una relacin en
A= {1,2,3,4}, tal que:
R 1= {(1,2), (3,4), (4,3), (2,1), (3,3)}

.g

R 2=
R 3=
R 4=
R 5=
R 6=

Solucin:
Al analizar: a, b y c se cumple:
(a, b), (b,c) y (a,c); (a,I) (I,d), (a,d) y
(c,f) (f,g) y (c,g). Adems (c,d) es
(F), (c.g) es V y (d,f) es (F)
a

no es REFLEXIVA, porque a R, el
par (a;a) no satisface la regla de
correspondencia de R2 o sea es falso
que: a<a
La relacin 3 = [(x;y) Z2 / x3 +y
= x+y3]
es REFLEXIVA, en vista que: a Z
, el par (a;a) verifica la regla de
correspondencia
de 3 , as : a3 + a = a+a3
definimos la relacin IDNTICA /: A
A, como:

reflexiva,

I=[x;y A2 / y = x, x A]
PRACTICA DE CLASE

Solucin:
R 1: No es reflexiva. Para que lo sea
faltan los pares (1,1), (2,2) y (4,4)
Es simtrica.
No es transitiva

07.
Sea el conjunto A= [1;
2; 3; 4] en el cual se define la
relacin.
= [(1;1), (1;2), (2;2), (2;3), (3;3),
(3;4), (4;4),(4;1)]
Sea observa que:

R 2= {(2,1), (3,2), (3,1), (4,3), (4,2),

(4,1)}
No es reflexiva
No es simtrica
Es transitiva

es REFLEXIVA.

01.
Determina
por
extensin cada relacin de M en
M (relacin en M) definida en los
siguientes diagramas:

R 3= {(1,3), (2,2), (3,1)}

No es reflexiva
Es simtrica
No es transitiva

Se afirma que se puede colocar

por extensin, as:
10.

La relacin 1 = [(x;y)
N2 / x es un divisor de y] es
REFLEXIVA, pues todo nmero

1
2
1

08. En A= {1;2;3;4} se considera la

relacin:
= {(x;y) A2 / x = y x+ y = 3}

= [(1;1), (2;2), (3;3), (4;4), (1;2),

(2;1),]

{(x,y)/x>y}
{(x,y)/x+y=4 }
{(x,y) / x mltiplo de y}
{(x,y) / y = 2x}
{(x,y) / x+y=par}

Indicar
cules
son
simtrica y transitiva

una

Solucin:
R1 = { (1,3), (2,6) }
R2 = { (1.1), (2,4) }

La relacin 2 = [(x;y) R2 / x < y]

concluye que es de EQUIVALENCIA

09.

El grfico pertenece
relacin binaria transitiva.

IV. Como

es
REFLEXIVA,
SIMTRICA Y TRANSITIVA a la vez, se

Se observa que es REFLEXIVA

II. es SIMTRICA

.b

III. es TRANSITIVA

natural es divisor de si mismo y en

consecuencia:
a N: (a;a) 1

I.

10

-1
-2

-3
-4

02.
Sea: C ={-2; -1; 0} y
la relacin R definida en C por:
aRb a.b <4, determina R por
extensin y por comprensin.

03.

Si: A ={-5;3}, cules

son relaciones de A en A y cules
no?por qu?

a) R1 ={(2;3),(3;3)}

a) R ={(-5;-5),(3;3),(-5;3)}
b) S ={(-5;5),(-5;3),(3;-5),(3;3)}
c) T ={(3;-5),(-5;3)}

(7;5)}

Elabora un diagrama sagital para

cada relacin en A.
04.

Sea: A ={aN/ 4 a}

b) R2 ={(2;3),(3;3),(3;5),(5;7)}
c) R3 ={(3;7),(3;2),(7;2),(2;5),(3;5),

Halla el nmero de elementos de R.

05.

Si A ={1; 2; 3}, ?
Cules de las siguientes relaciones
son reflexivas y cules no? Por
qu?
a) R1 ={(1;2),(3;2),(2;2),(2;3)}
b) R2 ={(1;2),(2;3),(1;3)}
c) R3 ={(1;1),(2;2),(2;3),(3;2),(3;3)}
d)R4={(1;1),(1;2),(2;1),(2;2),(2;3),
(3;1),(3;3)}

06.

Si: S={x/xes vocal

de la palabra valencia}, cules
de las siguientes relaciones son
simtricas en S y cules no?Por
qu?
a) R1 ={(a; e),(a; i),(e; i),(e; a),(i; e)}
b) R2 ={(a; a),(i; i),(e; e)}
c) R3 ={(a; a),(a; e),(e; e),(i; i),(e; a)}
d) R4={(i; a),(e; e),(a; i)}

07.

Si: D ={x N/xes

primo; x<8}, cules relaciones son
transitivas en D y cules no? Por
qu?

R3 ={(x;y) CxD/ 2x=y}

R4 ={(x;y) CxD/ y=7}
Si:
={xN/ x<4} ; Ri AxA

La

relacin

A ={1; 2; 3; 4; 5},
Donde:
R
={(1;2),(2;5),(5;b),(2;3),(1;3),
(a;5)}, es una relacin transitiva.
Halla a + b
10.
relacin:

Si

la

Indicar
cules
son
simtricas y transitivas.
14.

siguiente

11.
Sea:
={x/x es un miembro de
familia}
Representa grficamente:

reflexivas,

b) 2
e) 5

c) 3

Determina el nmero
de elementos de la relacin:
R ={(x;y) Z2/ x2+y2=25}

16.

Determina el nmero
de elementos de la relacin:
R ={(x ; y) Z2/ x2 + y2=36}

R1 ={(x;y) AxA/x es hijo de y}

17.

Analiza el
sagital de la relacin
R: AA, e indica V o F

diagrama

de

ENUNCIADO (EJERCICIOS 18 AL 20)

Dado los conjuntos A y B, hallar la
relacin R de A en B cuya regla de
correspondencia se indica.
18.
a)
b)
c)
d)
e)

A ={1;2} B ={1;2} b =2a

R={
R={
R={
R={
N.A.

(1,1), (1,2) }
(1,2), (2,1), (1,1) }
(1,2) }
(1,1), (2,2) }

19.
A ={x N/ x es impar 7 x
<12}
B ={y N/y es par 5<y<11}
x+y=15

15.
A
tu

R2 ={(x;y) AxA/x es hermano de

y}
R3 ={(x;y) AxA/x e y son de
igual sexo}

Siendo:

Si: A ={2; 3; 4; 5}
Hallar el n[Ran(R)];
si: R ={(x;y) A2/ x+y =7}
a) 1
d) 4

R ={(7;7),(4;a),(2;3),(b;2),(6;6)},
es reflexiva, hallar a + b

R1 ={(1;1),(2;2),(3;3)}
R2 ={(0;0},(1;3),(3;1),(2;2),(3;3)}
R3 ={(0;1),(1;3),(0;3)}

definida en:

a) A tiene 4 elementos.
b) R tiene 16 elementos.
c)
R
es
una
relacin
equivalencia.

R2 ={(x;y) CxD/ x+1=y}

13.

Halla x + y

Dado:

Determinar por extensin:

R1 ={(x;y) CxD/ x<y}

= {(2;2),(2;4),(4;6),(2;x),(4;4),
(4;2),(6;6),
(6;2),(6;y)}

09.

C = {3; 4; 5; 6; 8} y
D = {1; 2; 4; 6; 7; 8; 9}

08.
Dado: A ={2; 4; 6}, se
define la relacin de equivalencia:

y la relacin R:
R ={(a;b)A2/ a=b a+b=4},

12.

d) R4={(7;7)}

Relacin R

R4 ={(x;y) AxA/x es menor que

y}

a)
b)
c)
d)
e)

R={
R={
R={
R={
N.A.

(7,6),
(7,8),
(8,9),
(9,6),

(7,8), (11,10) }
(9,6) }
(19,11), (11,8) }
(9,10), }

20.
A ={1; 2; 3; 4}
B ={2 ; 5; 6} a + b = 9
a)
b)
c)
d)

R
R
R
R

=
=
=
=

{
{
{
{

(3,6),
(1,6),
(3,2),
(4,6),

(4,5) }
(2,2), (3,6) }
(4,5), (4,6) }
(3,5) }

e) N.A.
21.

M ={2; 3; 4}, hallar n(R), si:

R ={(x;y)M2/ x+y6}

Dado el conjunto: A
={1; 2; 3; 4}
cules de las siguientes relaciones
son reflexivas?

22.

b) Slo R1

R1

c)

Slo

23.

R2

Afirmamos:

Si:

R1
R3
R2
R1
)

a) FVVF
d) VVFF

c)

Slo

(2,4), (6,3), (1,7),

(m,b), (b,a), (b,m),

20

falso

b) FVFF
e) N.A.

a) 5
d) 8

b) 10
e) 7

c) 9

29.
En A={1,2,3,4}, se
define la relacin
R = {(x,y) A2 / xy es par}
Hallar el nmero de elementos de R

c) VFFV

a) R = {(5,5), (6,8), (7,7), (7,8),

(8,8)}
b) R = {(5,5), (5,6), (6,6), (6,7),
(7,7), (7,8)}
c) R = {(5,5), (6,5), (6,6), (7,7),
(7,8), (8,8)}

b) I y II

d) Slo III

e) Ninguna

I.

c)

Slo

a) 8
d) 6
30.

b) 10
e) 9

c) 12

En el conjunto de los
nmeros enteros (Z) se define la
relacin:
(a;b) ab 0. Con respecto a
las afirmaciones:
I.

es reflexiva

II. es simtrica
III. es transitiva

es reflexiva

II. es simtrica
III. es transitiva

(7,8), (1,5), (8,7),

El valor de (a+b+c+d) es:

segn

es reflexiva. (
)
es simtrica. (
)
y R4 son transitivas (
)
y R4 son de equivalencia (

a) Todas

31.
En A=[1;2;4;6;8] se
define la relacin:
= [(x;y) / 3 es divisor de x+y]
Cules
de
las
afirmaciones
siguientes son verdaderas?

(6,3), (5,2), (1,2),

28.
En A = {1,2,3,4}, se
define la relacin reflexiva
R = {(1,a), (b,2), (c,c), (4,d)}

10

26.
Cul
de
las
siguientes relaciones definidas en
A= {5, 6, 7, 8} es reflexiva?

I. R es reflexiva.
II. R es simtrica.
III. R es transitiva.

e) Todas

I.
II.
III.
IV.

(3,4), (4,3), (2,1),

Indicar verdadero
corresponda:

c)

e) {4;6}

b) Slo II

R4

Cul
de
las
siguientes relaciones es simtrica?
a) R = {(1,2),
(5,6), (6,7)}
b) R = {(7,1),
(3,6), (4,2)}
c) R = {(a,m),
(n,m),( a,b)}
d) R = {(2,5),
(3,6), (2,3)}
e) R = {(3,6),
(6,3), (5,4)}

2
4

27.

A ={1; 2; 3}
R={(1;1),(2;2),(1;2),(2;1),(3;3),(3;1),
(1;3)}

24.

IV. es de equivalencia

III

Sea la relacin
definida en A, donde:

a) Slo I
III
d) I y II

R3

Hallar: Dom(R) Ran (R)

b) {2;4}

c) 3

Dadas las siguientes

e) R1 y R3

Sea la relacin R
definida en los nmeros naturales
por:
R ={(a;b) NxN/ a+2b=10}

a) {4}
{0;2;4}
d) {0;2}

b) 2
e) 6

25.
relaciones:

R1 ={(1;1),(2;2),(4;4) }
R2 ={(1;1),(3;3),(4;4)}
R3 ={(1;1),(2;2),(3;3),(4;4)}
a) Todas
R2
d) Slo R3

a) 1
d) 4

d) R = {(5,6), (6,7), (7,8), (5,8)}

e) R = {(5,5), (6,8), (7,7), (7,8),
(8,8)}

a) Slo I

b) Slo II

d) I y III

e) Todas

c)

Slo

III

32.
En A=
definen las relaciones:

[1;2;3]

se

= [(1;1),(2;3),(a;2),(3;b)] ; es
reflexiva
S = [(1;3),(c;d)], S es simtrica ;
T =[(3;e),(2;3)], T es transitiva
Hallar: a+b+c+d+e
a) 12
d) 9

b) 11
e) 8

c) 10