Relaciones de orden. Diagrama de Hasse. Elementos destacables. Cierres de relaciones. Algoritmo de Warshall. Contenidos: Relaciones de orden: ejemplos.

Diagramas de Hasse. Elementos destacables. Cierre de relaciones. Algoritmo de Warshall.

M.A.Gal an, CURSO 08-09 1

Relaciones de orden Denici on. Decimos que una relaci on R es de orden si verica las propiedades reexiva, antisim etrica y transitiva. Las relaciones de orden R se suelen denotar por . Denici on. Llamamos conjunto ordenado a un par (E, ) donde E es un conjunto y es un orden denido en E . Orden total o lineal. Un conjunto ordenado (E, ) se dice que es totalmente ordenado o linealmente ordenado si cumple la propiedad conexa, es decir si para cada par de elementos a, b E se tiene o bien a o bien b a. Un conjunto ordenado que no es totalmente ordenado se dice que es parcialmente ordenado.

M.A.Gal an, CURSO 08-09 2

Ejemplos.

(R, ), siendo la relaci on ser menor o igual usual. Es totalmente ordenado. (Z+, |) siendo | la relaci on ser divisor de denida sobre los enteros positivos. Es parcialmente ordenado. (P (A), ) siendo la relaci on estar incluido denida sobre los subconjuntos de A. Es parcialmente ordenado.

M.A.Gal an, CURSO 08-09 3

Diagramas de Hasse Todo conjunto ordenado nito se puede representar mediante un diagrama de Hasse que se determina por la relaci on de orden, poniendo los elementos posteriores a otros, en escalones superiores unidos por una sucesi on ascendente de arcos. Ejemplo. Dado (A, |), donde A = {1, 2, 3, 5, 6, 8, 10, 15, 16, 20, 30} su diagrama de Hasse se puede representar:

M.A.Gal an, CURSO 08-09 4

Elementos destacables Denici on. Sean M , m elementos de (E, )

M es maximal si x E y M x M = x. m es minimal si x E y x m m = x.
Denici on. Sean M, m elementos de (E, ).

M es m aximo si x E, x M . m es m nimo si x E, m x.

M.A.Gal an, CURSO 08-09 5

Denici on. Sean (E, ) y B E , diremos que K E es cota superior (c.s.) de B si K es posterior a todos los elementos de B :

(K es c.s de B ) (x B x K )
An alogamente se dene cota inferior (c.i.):

(K es c.i de B ) (x B K x)
Decimos que B : est a acotado superiormente si B tiene una cota superior. est a acotado inferiormente si B tiene una cota inferior. est a acotado si lo est a superior e inferiormente. umeros pares} no est a acotado. Ejemplo. Sea (Z+ , |), el subconjunto B = {n
M.A.Gal an, CURSO 08-09 6

Denici on. Dado (E, ) y B E acotado superiormente, llamamos extremo superior o supremo de B (sup(B )) a la menor de las cotas superiores. Es decir sup(B ) es extremo superior si y s olo si para toda cota superior K de B , sup(B ) K . An alogamente se dene el extremo inferior o nmo, inf (B ) c omo la mayor de las cotas inferiores. Si el supremo o el nmo de B pertenecen al propio subconjunto B , coincidir an, respectivamente, con el m aximo o m nimo de dicho conjunto.

M.A.Gal an, CURSO 08-09 7

Cierre de relaciones Dada una relaci on binaria R sobre un conjunto A y una propiedad P , llamareon R denida sobre el mismo conjunto que mos cierre P de R a una relaci verica:

R posee la propiedad P . RR.

Si S posee la propiedad P y R S , entonces R S . on de conectividad R: Denici on. Dada R en A, construimos la relaci

aRb n Z+ | aRnb
Teorema. Sea R una relaci on binaria, entonces:

R =

Rn
n=1

M.A.Gal an, CURSO 08-09 8

Cierres y representaci on matricial de la relaci on

Cierres Reexivo Simetrico Transitivo

si A es nito

(R) = R I (R) = R R1 (R) = R

M ((R)) = M (R) In M ( (R)) = M (R) M (R)T

Algoritmo de Warshall

Ejercicio. Sea A = {a, b, c} y la relaci on binar a R sobre A dada por

R = {(a, a), (b, b), (b, c), (c, b)}

Hallar los cierres reexivo y sim etrico.

M.A.Gal an, CURSO 08-09 9

Ejercicio. Sea A = {a, b, c, d} y

R = {(a, a), (a, b), (a, d), (b, c), (b, d), (d, a), (d, d)}
Por qu e R2 no es el cierre transitivo de R?. Hallar el cierre transitivo.

M.A.Gal an, CURSO 08-09 10

Algoritmo de Warshall T ecnica que aumenta la eciencia de la b usqueda del cierre transitivo. on binaria R Denici on. Dado el conjunto A = {a1, a2, . . . , an} y una relaci sobre A, denimos la secuencia de matrices W0, W1, . . . , Wn formadas por 0 (k) y 1 y cuyos elementos denotaremos por Wk = (wi,j ) construidas del siguiente modo:

W0 = M (R)
para k > 0 se dene Wk a partir de W(k1)

wi,j = wi,j

(k)

(k1)

(wi,k

(k1)

wk,j

(k1)

Teorema. En las condiciones de la denici on anterior, se tiene que

Wn = M (R)

M.A.Gal an, CURSO 08-09 11

Ejercicio. Sea A = {a, b, c, d} y sea R la relaci on sobre A dada por:

R = {(a, a), (a, b), (a, d), (b, c), (b, d), (d, a), (d, d)}
Calcular el cierre transitivo de la relaci on R mediante el algoritmo de Warshall.

M.A.Gal an, CURSO 08-09 12

W0

W1

W2

W4

1 0 = 0 1 1 0 = 0 1 1 0 = 0 1 1 1 = 0 1

1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1

0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1

1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1

a(11) d(41)

a(11) 11 41 c(23) 13 43

b(12) 12 42 d(24) 14 44

d(14) 14 44

a(12) d(42)

W3 = W 2

a(14) b(24) d(44)

a(41) 11 21 41

b(42) 12 22 42

c(43) 13 23 43

d(44) 14 24 44

Por tanto M (R ) = W4
M.A.Gal an, CURSO 08-09 13