JVBY

UNI-FIIS 2014
Relacin binaria
Dados dos conjuntos A y B, una relacin binaria de A en B
es cualquier subconjunto R del producto cartesiano AxB
R AxB = { (a, b) / a A, b B}
Si (a, b) R, se dice que a esta relacionado con b por
R Se escribe aRb.
Si (a, b) R, se escribe aRb
Si A=B se dice que R es una relacin (binaria) sobre A

Ejemplo
Sean A={2, 3, 4} y B={3, 4, 5, 6, 7}
R: A B, como (x, y) R, si x divide a y .(x|y)
R={(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}
_
e
e
e
e
e
Relacin binaria
Dominio y rango
Sea R: A B

Dominio de R
Dom(R)= {x A / (x, y) R para algn y B}

Rango de R
Ran(R)= {y B /(x, y) R para algn x A}

En el ejemplo anterior
Dom(R) = {2, 3, 4} Ran(R) = {3, 4, 6}
e e e
e e e
Representacin de una relacin
Una relacin binaria R, se puede representar mediante


Digrafo
Matriz
Diagrama sagital

Digrafo de una relacin
Sea R la relacin sobre A = {1, 2, 3, 4} y
R= {(1, 1), (1, 2), (2, 1), (2, 2), (2, 3), (2, 4), (3, 4), (4, 1)}



2
1 3
4
Propiedades de las relaciones

Sea R una relacin sobre el conjunto A . R: A A
Relacin reflexiva
R es reflexiva si a A => (a, a) R

Relacin irreflexiva
R es irreflexiva si a A => (a, a) R

Relacin simtrica
R es simtrica si a, b A , si aRb =>bRa

e
e

e
e
e
Propiedades de las relaciones

Relacin antisimtrica
R es antisimtrica si a, b A ,se cumple que si
aRb bRa a = b

Relacin transitiva
R es transitiva si a, b, c A se cumple que
Si aRb bRc aRc

e
.
.
Propiedades de las relaciones
Sea R la relacin sobre A = {3, 4, 5, 6} definida como
(x, y) R si x y

R es:
Reflexiva?
Simtrica?
Transitiva?
Antisimtrica?
Irreflexiva?


e
s
Matriz de una relacin
Es posible representar una relacin entre dos conjuntos
finitos como una matriz de la siguiente manera.
Si A={a1, a2, .am} y B={b1, b2, .bn} son conjuntos
finitos que contienen m y n elementos respectivamente.
y R una relacin de A a B, se representa por la matriz
mxn. MR =(mij), la cual se define por
1, si (ai, bj) R
mij= 0, si (ai, bj) R

e
e
Matriz de una relacin
Ejemplo
Sea A={1, 2, 3, 4} R: A A
R={(1, 1), (1, 3), (1, 4), (2, 1), (2, 2), (2, 4), (3, 1), (4, 2)}
Hallar MR

1 0 1 1
MR = 1 1 0 1
1 0 0 0
0 1 0 0
Relacin inversa y complementaria
Sea R: A B

Relacin inversa
= {(b, a) / (a, b) R}

Relacin complementaria
R: A B
Tal que a A, b R , aRb (a, b) R

1
R

e e

e
Operaciones con relaciones
Sean R: A B y S: A B
Unin
R S aRb aSb
Interseccin
R S aRb aSb

Relacin compuesta
Sean los conjuntos: A, B y C
Las relaciones: R: A B S: B C
La relacin compuesta R y S: S0R
a A, c C
S0R={(a, c)/ b B tal que ((a, b) R (b, c) S)}

e e
-
e
e
e

v
.
Ejemplos