Estructuras DISCRETAS

Relaciones
Propiedad reflexiva
Sea R una relacin binaria R en A, (A ).

Definicin:
Diremos que R es reflexiva si aA, a R a
Ejemplo:
1) En N la relacin R definida por: x R y x divide a y
es reflexiva ya que xN, x R x porque x divide a x
2) En N la relacin R definida por:
a R b a es el doble de b.
no es reflexiva ya que (1, 1) R puesto que 1 no es el doble de 1

1
 Propiedad reflexiva

Representacin Cartesiana

A
Si la relacin R es reflexiva
entonces la diagonal
pertenece a la relacin.

A
Representacin Sagital:

Si la relacin R es reflexiva entonces

A todo elemento tiene una flecha que
comienza y termina en s mismo (un bucle).

2
 Propiedad simtrica
Definicin:

Diremos que R es simtrica si a, b A: a R b b R a

Ejemplo:

1) En Z la relacin R definida por: a R b a b es mltiplo de 2.

es simtrica ya que si a R b hay pZ tal que a b = 2p
b a = 2(-p) con -p Z b R a

2) En N la relacin R definida por: x R y x divide a y

no es simtrica ya que 2 R 4 porque 2 divide a 4 pero 4 no divide a 2
por lo tanto (4,2) R

3
 Propiedad simtrica

Representacin Cartesiana

A
Si la relacin R es simtrica
sobre A entonces los
pares relacionados se reflejan
respecto a la diagonal
principal.
A

Representacin Sagital:

Si la relacin R es simtrica entonces

todo par de elementos que tiene una flecha
A la tiene en las dos direcciones

4
 Propiedad antisimtrica
Definicin:

Diremos que R es antisimtrica si a, b A: [a R b b R a] a = b

Otra manera de expresarlo: Si ab [ (a,b) R (b,a) R ]

Ejemplo:

1) En N la relacin R definida por: x R y x divide a y es antisimtrica

Ya que si a R b y b R a entonces existen n, m N tales que:

b = an y a = bm. Combinndolas, a = bm = (a.n).m n.m = 1
n = m = 1 a = b.

2) En Z la relacin R definida por: a R b a b es mltiplo de 2.

no es antisimtrica ya que 2R4 y 4R2, pero 24
5
 Propiedad antisimtrica

Representacin Cartesiana
A
Si la relacin R es antisimtrica
pueden existir pares por encima o por
debajo de la diagonal pero ningn par
tiene reflejo respecto a la diagonal
principal excepto la diagonal misma. A

Representacin Sagital:

La relacin R es antisimtrica si para

cada par de elementos distintos
A relacionados la flecha est solo en un
sentido

6
 Propiedad Transitiva
Definicin:

Diremos que R es transitiva si a, b, c A: [a R b b R c] a R c

Ejemplo:

1) En N la relacin R definida por: x R y x divide a y

es transitiva ya que si a R b y b R c entonces existen n, m N tales que:

b = an y c = bm. Combinndolas, c = bm = (a.n).m= a(n.m) con n.m N
b R c.

2) En N la relacin R definida por: a R b a es el doble de b.

no es transitiva ya que (4, 2) R y (2, 1) R puesto que 4 es el doble de 2
y 2 es el doble de 1, sin embargo 4 no es el doble de 1, de donde (4,1) R
7
 Propiedad Transitiva

Representacin Sagital:
La relacin R es transitiva si cada vez que
hay un camino entre tres elementos,
tambin est la flecha que comienza en el
principio del camino y va al elemento que
es final del camino.

8
 Cuadro Resumen
Completa la siguiente tabla:

Propiedad Se satisface sii No se satisface sii

R
Reflexiva aA a R a

Simtrica a, b A:
aRbbRa
Antisimtrica a, b A:
[a R b b R a] a = b
Transitiva a, b, c A:
[a R b b R c] a R c

9
 Cuadro Resumen
Verifique:

Propiedad Se satisface sii No se satisface sii

R
Reflexiva aA a R a aA (a,a)R

Simtrica a, b A: a, b A:
aRbbRa (a, b) R (b, a) R
Antisimtrica a, b A: a, b A:
[a R b b R a] a = b (a, b) R (b, a) R a b
Transitiva a, b, c A: a, b, c A:
[a R b b R c] a R c (a, b) R (b, c) R (a, c) R

10
 Ejercicios
Ejercicio 1:

Sea A = {1, 2, 3, 4}.

i) Represente grficamente las relaciones (b) y (d) en forma cartesiana y

sagital.

ii) Determine las propiedades que satisfacen las siguientes relaciones en A y

verifquelas (demustrelas)

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

b) R = { (1,1) , (2,2) , (3,3), (4,4) , (1,2) , (1,4) , (2,1), (3,2) , (4,3) }.
c) R = { (1,1) , (2,2) , (3,3), (4,4)}.
d) R = { (1,1) , (2,2) , (3,3), (1,2), (3,2) , (2,3) }.
e) R = { (1,1) , (1,2) , (1,4) , (2,3), (4,3) }.

11
 Ejercicios
Ejercicio 2:

Sea A = {1, 2, 3, 4}. Construya tres relaciones binarias en A con las siguientes
propiedades:

i) Reflexiva, simtrica y no transitiva

ii) Reflexiva, no simtrica y transitiva

iii) No reflexiva, simtrica y transitiva

12
 Ejercicios
Ejercicio 3:

Sea A = {1, 2, 3, 4}. Considere las siguientes relaciones binarias en A:

(a) (b)

1 2 1 2
A A
3 4 3 4

a) Exprese las relaciones anteriores por extensin

b) Determine las propiedades que satisfacen las relaciones en A anteriores
y prubelas!
13
 Ejercicios
Ejercicio 4:

Sea A = {1, 2, 3, 4, 5}. Considere las siguientes relaciones binarias en A:

(c) (d)

1 2 1 2
A A
5 3
5 3
4
4

i) Determine las propiedades que satisfacen las relaciones en A anteriores

y prubelas!
14
 Ejercicios
Ejercicio 5:

Definimos en , el conjunto de los nmeros reales, la relacin R :

xRy xy

Determina las propiedades que cumple R y demuestra, usando la

definicin, que efectivamente las verifica!

15
 Conteo de relaciones

Relaciones reflexivas
Contemos la cantidad de relaciones reflexivas en A, con A=n
Tenemos n pares de la forma (ai,ai); como AxA=n2, nos quedan n2-n pares
con componentes distintas. Tenemos la opcin de incluirlos o no......por lo tanto
hay
2n n relaciones reflexivas en A
2

Relaciones simtricas

Tenemos n 2
i j j i i j
n subconjuntos de la forma (a , a ), (a , a ), j i, a , a A
2
y n subconjuntos de la forma (ai , ai ), ai A

Tenemos la opcin de incluirlos o no......por lo tanto hay

2
n n
2n 2 2 relaciones simtricas en A y....
n n
2

2 2 relaciones reflexivas y simtricas en A. 16

 Conteo de relaciones

Relaciones antisimtricas

Tenemos n 2

i j j i i j
n subconjuntos de la forma (a , a ), (a , a ), j i, a , a A
2
y n subconjuntos de la forma (ai , ai ), ai A

Tenemos la opcin de incluirlos o no cada par de la forma (ai,ai) y con

respecto a los pares (ai,aj), tenemos tres opciones:
(1) incluir (ai,aj) (2) Incluir (aj,ai) y (3) no incluir niguno de los dos.
Por lo tanto, hay n2 n
2n 3 2 relaciones antisimtricas en A..

17
 Tipos de relaciones

Relacin de equivalencia

Diremos que una relacin binaria sobre A, es una relacin de equivalencia

si satisface las tres propiedades:
R es reflexiva
R es simtrica
R es transitiva

Ejemplos:

1) En Z la relacin R definida por: a R b a b es mltiplo de 3.

2) Dado un conjunto D U, la relacin:
ARB A D = B D
Demuestra que estas son relaciones de equivalencia
18
 Tipos de relaciones

Relacin de orden

Diremos que una relacin binaria sobre A, es una relacin de orden parcial
si satisface las tres propiedades:
R es reflexiva
R es antisimtrica
R es transitiva
En este caso diremos que el conjunto A est parcialmente ordenado

Ejemplos:

1) En D60 , el conjunto de todos los divisores de 60, la relacin R definida

por: a R b a divide a b.
2) En R, la relacin definida por a R b a b.
Demuestra que estas son relaciones de orden. 19
 Tipos de relaciones

Relacin de orden

Diremos que una relacin binaria R sobre A, es una relacin de orden total
si es una relacin de orden parcial y adems se satisface que:

a, b A: [a R b b R a]
En este caso diremos que el conjunto A est totalmente ordenado

Ejercicio:
1) En las relaciones anteriores decida cules son de orden parcial o de
orden total
2) Para pensar: Considere la relacin en R2, definida por por:
(x,y) R (a,b) xa yb.
Qu tipo de relacin es?
20