PROPIEDADES

DE LAS
RELACIONES BINARIAS
Prof. Lic. Teresa Fernndez
Propiedad reflexiva
Diremos que R es reflexiva si aeA, a R a
En N la relacin R definida por: x R y x divide a y
es reflexiva ya que xeN, x R x porque x divide a x


Sea R una relacin binaria R en A, (A = C).
Prof.Lic. Teresa Fernndez
2
R A _
Propiedad reflexiva
Si la relacin R es reflexiva
entonces la diagonal
pertenece a la relacin. En
la matriz asociada, la
diagonal es toda de 1.
A
Si la relacin R es reflexiva entonces
todo elemento tiene una flecha que
comienza y termina en s mismo (un
bucle).
Prof.Lic. Teresa Fernndez
0 0 1
1 1 0
0 0 1
0
1
1
1
1 1 0
R
M
(
(
(
=
(
(

Propiedad arreflexiva
Diremos que R es arreflexiva si
Prof.Lic. Teresa Fernndez
e a A: aRa
0 0 1
1 1 0
0 0 1
0 1
0
0
0
0 0
M
R
(
(
(
(
(
(

=
En N la relacin R definida por: a R b a < b.
Es arreflexiva ya que ningn nmero natural es menor que s mismo.
Propiedad no reflexiva
Diremos que R es no reflexiva si
- e a A/ aRa
0 0 1
1 1 0
0 0 1
0
1
0
0
1 1 0
R
M
(
(
(
=
(
(

Prof.Lic. Teresa Fernndez
En N la relacin R definida por: a R b a es el doble de b.
es no reflexiva ya que (1, 1) eR puesto que 1 no es el doble de 1
Propiedad simtrica
Diremos que R es simtrica si a, b eA: a R b b R a
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 peZ tal que a b = 2p
b a = 2(-p) con -p e Z b R a

Prof.Lic. Teresa Fernndez
Propiedad simtrica
Si la relacin R es
simtrica sobre A
entonces los pares
relacionados se reflejan
respecto a la diagonal
principal, en la matriz
asociada.
A
Si la relacin R es simtrica entonces
todo par de elementos que tiene una
flecha la tiene en las dos direcciones
Prof.Lic. Teresa Fernndez
1
1
1 0
0 0
0 1 0
0 1
1 1
1
1
0
R
M
(
(
(
=
(
(

Prof.Lic. Teresa Fernndez
Propiedad asimtrica
Diremos que R es asimtrica si a, b eA: a R b b a
En Z la relacin R definida por: a R b a < b. es asimtrica ya
que si a< b , b por lo tanto no ser menor que a.
Prof.Lic. Teresa Fernndez
R
1 0
0 0
0 1 0
0
1
0
1
0
1
0 1 0
M
R
(
(
(
(
(
(

=
No hay
pares que
se reflejen
a travs de
la diagonal
No hay
flecha de ida
y vuelta en
ningn par
de
elementos.
Propiedad antisimtrica
Diremos que R es antisimtrica si a, b eA: [a R b . b R a] a = b
Otra manera de expresarlo: Si a=b [ (a,b) e R v (b,a) e R ]
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 eN tales que:
b = an y a = bm.
Sustituyendo en esta ltima,
a = bm = (a.n).m n.m = 1
n = m = 1 a = b.


Prof.Lic. Teresa Fernndez
Propiedad antisimtrica

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
La relacin R es antisimtrica si para
cada par de elementos distintos
relacionados la flecha est solo en un
sentido
Prof.Lic. Teresa Fernndez
1 0 1
0 0 1 0
1 0 1
0 0 0
1
1
1
R
M
(
(
(
=
(
(

Propiedad Transitiva
Diremos que R es transitiva si a, b, c eA: [a R b . b R c] a R c
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 eN tales que: b = an y c =
bm. Sustituyendo en esta ltima: c = bm = (a.n).m= a(n.m) con n.m eN
b R c.

Prof.Lic. Teresa Fernndez
Cada vez que hay un camino de un elemento
a otro pasando por un elemento intermedio,
tambin existe un camino entre ambos
elementos directamente.
Propiedad Transitiva

A
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.
Prof.Lic. Teresa Fernndez
*
_
s

s
. s
2
t
n
n
t
2
t
n
R A M: matriz asociada
I : matriz identidad M : matriz transpuesta
Res reflexiva I M
Re
*
*
*
s simtrica M= M
Res transitiva M M
Res antisimtrica M M I
s
ij ij
Nota:
S y Tmatrices booleanas del mismo orden
S T si s t
Prof.Lic. Teresa Fernndez
Siendo A
A
, la Relacin diagonal, definida de la
siguiente manera:

R es reflexiva A
A
_ R;
R es simtrica R = R
-1
;
R es arreflexiva A
A
R = C ;
R es antisimtrica R R
-1
_ A
A ;

R es transitiva R
2
_ R;
R es asimtrica R R
-1
= C

{ }
A e e
A
2
= (a,a) A / a A
Prof.Lic. Teresa Fernndez
Tipos de relaciones

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

Son de equivalencia:
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:
A R B A D = B D
Prof.Lic. Teresa Fernndez
Tipos de relaciones

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
Son Relaciones de orden:
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 s b.
Prof.Lic. Teresa Fernndez
Tipos de relaciones
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 eA: [a R b v b R a]
En este caso diremos que el conjunto A est totalmente ordenado
Prof.Lic. Teresa Fernndez