Matemtica Discreta (1028)

UNLaM

Trabajo Prctico N 3
Relaciones Binarias - Propiedades
RESOLUCIN DE EJERCICIOS
1- Sea A = 0,1.Utilizando el dgrafo, estudiar las propiedades de las siguientes
relaciones:
1.1 R1 = (0,0), (1,1)
R1 es reflexiva, simtrica y transitiva. (equivalencia)
1.2 R2 = (0,1), (1,0)
R2 es arreflexiva simtrica y atransitiva.
1.3 R3 = (0,0), (0,1)
R3 es no reflexiva, no simtrica, antisimtrica y transitiva. (Orden amplio)
1.4 R4 = A x A
AXA es reflexiva, simtrica y transitiva. (equivalencia)
2-2.1 Sea A = (a, a) / a A Probar que R es reflexiva A R
Demostracin
) R es reflexiva a A : a, a R A a, a / a A R

) A a, a / a A R a A : a, a R R es reflexiva
2.2 Sea R: A A . Demostrar que R es simtrica R = R-1
Demostracin

) R es simtrica a , b A : a , b R (b, a ) R (b, a ) R 1

b, a R (b, a) R 1 R R 1

) R R 1 a, b A : a, b R (b, a ) R 1 (b, a ) R R es simtrica

2.3 R es arreflexiva A R =
Demostracin

) R es arreflexiva a A : (a, a) R (a, a) A A R

) A R a : a, a A (a, a ) R R es arreflexiva

Demostracin

Prof. Lic. Hctor Conrado

Pgina 1 de 3

Matemtica Discreta (1028)

UNLaM

2.4 R es antisimtrica R R-1 A

) R es antisimtrica x; y A : ( x, y ) R ( y , x) R ( y, x) R 1
( y, x) R R 1 x y ( x, y ) A ( R R 1 ) A

) ( R R 1 ) A ( x, y ) : ( x, y ) ( R R 1 ) ( x, y ) R 1 ( x, y ) R
x y R es antisimtrica
2.5 R es transitiva R2 R
Demostracin

) R es transitiva x; y; z A : ( x, y) R ( y, z ) R ( x, z ) R R
( x, z ) R R ( x , z ) R R R ( R 2 ) R

) R 2 R ( x, z ) : ( x, z ) R 2 ( x, z ) R
y A /( x, y ) R 2 ( y, z ) R 2 ( x, y ) R ( y, z ) R R es transitiva
5-Dar un ejemplo de una relacin en el conjunto A= {1, 2, 3,4} que:
5.1 Sea reflexiva y simtrica, pero no transitiva
5.2 Sea simtrica y transitiva, pero no reflexiva
5.3 Sea reflexiva, antisimtrica, pero no transitiva
5.4 Sea reflexiva, antisimtrica y transitiva
5.1 No existe tal relacin ya que en este caso toda relacin reflexiva y simtrica ser
tambin transitiva R es reflexiva x A( x, x) R y adems
R es simtrica x; y A : ( x, y ) R ( y, x) R ( x, x) R
5.2 R (1,1), (2,2), (1,2), (2,1)
5.3 R (1,1), (2,2), (3,3), (4,4), (2,3), (3,4)
5.4 R (1,1), (2,2), (3,3), (4,4), (2,3)
7- Estudiar las propiedades de cada una de las relaciones R definidas en cada uno de los
siguientes casos y clasificarlas:
7.4 x R y x = y2 en 0,1

R es Re flexiva ya que x 0,1 x x 2 ; 0 0 2 1 12

Prof. Lic. Hctor Conrado

Pgina 2 de 3

Matemtica Discreta (1028)

UNLaM

R es Simtrica ya que x, y 0,1 : x, y R x y 2 y x 2 y, x R

R es Transitiva ya que x, y , z 0,1 : x, y R x y 2 ( y , z ) R y z 2

x y2

x y z 0 x y z 1 x, z R
Por lo tanto R es de equivalencia.

7.5

x R y n (x y) en Z, n N

R es reflexiva ya que x N : n 0 n x x x, x R

R es simtrica ya que x, y Z : ( x, y ) R n x y n x y 1
n y x ( y, x) R
R es transitiva ya que x; y; z Z : ( x, y ) R n x y ( y, z ) R n y z
n x y y z n x z ( x, z ) R
Por lo tanto R es de equivalencia.

7.6 x R y x y en Z
R es reflexiva ya que x Z : x x ( x, x) R
R es antisimtrica ya que x; y Z : ( x, y ) R ( y, x) R x y y x x y
Re stransitivayaque x; y; z : ( x, y ) R ( y, z ) R x y y z

x z ( x, z ) R

Por lo tanto R es de orden amplio

11- Si R y S son relaciones de equivalencia en A

Es R S una relacin de equivalencia en A?
Es Falso .Contraejemplo
A 1,2,3 R (1,1), (2,2), (3,3), (1,2), (2,1) ; S (1,1), (2,2), (3,3), (2,3), (3,2)
R S (1,1), (2,2), (3,3), (1,2), (2,1), (2,3), (3,1), (3,2) es no simtrica

Prof. Lic. Hctor Conrado

Pgina 3 de 3