You are on page 1of 11

IIC 2252 - Matem atica Discreta

L. Dissett Clase 11 Representaci on de relaciones. Reticulados. Relaciones de equivalencia.

c Luis Dissett V.

P.U.C. Chile, 2003

Administrivia
Notas I1 habemus. Promedio: 3.56 (bajo, dentro de lo normal). Notas m as altas: 6.4, 6.1, 5.8, 5.5 (2), 5.4, 5.3, 5.1 (2). Notas m as bajas: 1.5, 1.9, 2.0, 2.1(2), 2.3(2), 2.4(3), 2.5(5). Desviaci on standard: 1.01 (absolutamente normal).

Las notas est an publicadas en la p agina web. Las pruebas ser an entregadas la pr oxima clase. Se corrigi o un error en la p agina web del a no pasado (los links a algunas clases del a no pasado llevaban a las de este a no).

c Luis Dissett.

P.U.C. Chile, 2003

(Q, ) no es un orden completo, (R, ) s lo es


Vimos la clase pasada que (Q, ) no es un orden completo. Intuitivamente, R se obtiene a partir de Q llenando los agujeros que se forman en Q (los supremos que le faltan a algunos conjuntos de racionales). M as adelante esbozaremos algunas formas de construir los reales a partir de los racionales.

c Luis Dissett.

P.U.C. Chile, 2003

El teorema de Knaster-Tarski
Un teorema u til al tratar con ordenes completos es el siguiente: Teorema (Knaster-Tarski). Sea (A, ) un orden completo, con un elemento m aximo y un elemento m nimo. Sea : A A una funci on -mon otona; en otras palabras, preserva el orden : x y (x) (y ). Entonces existe a A tal que ( a) = a (o sea, tiene un punto jo). Demostraci on. Ejercicio. Ejercicio. Muestre por qu e se necesitan las hip otesis de que A debe tener un elemento m aximo y un elemento m nimo.

c Luis Dissett.

P.U.C. Chile, 2003

Formas de representar relaciones binarias


Una relaci on binaria denida en un conjunto nito A puede ser representada de varias maneras: por extensi on: listando los pares que la forman. como una matriz 0-1: una matriz M cuyas las y columnas est an indexadas por los elementos de A, y donde 1 0 si xRy, si x R y.

Mxy =

como un grafo dirigido : donde los elementos de A son los v ertices y, para cada par (x, y ) R, se tiene una arista que va desde x a y .

c Luis Dissett.

P.U.C. Chile, 2003

Ejemplo
Sea A = {1, 2, 3, 4, 5}, y sea R A A dada por R = {(1, 2), (1, 4), (1, 5), (2, 3), (2, 5), (3, 4), (4, 5)} . Esta relaci on puede ser representada por la matriz o bien por el grafo dirigido
2 1

0 0 0 0 0

1 0 0 0 0

0 1 0 0 0

1 0 1 0 0

1 1 0 1 0

c Luis Dissett.

P.U.C. Chile, 2003

Diagramas de Hasse
Consideremos el orden (P ({1, 2, 3}), ). Un grafo dirigido que representa este orden es:

{1,2,3}

{1,2}

{1,3}

{2,3}

{1}

{2}

{3}

c Luis Dissett.

P.U.C. Chile, 2003

Diagramas de Hasse (cont.)


Muchas de las aristas del grafo anterior pueden ser deducidas de otras, usando el hecho de que la relaci on es un orden parcial. Un orden parcial puede ser representado en forma gr aca de una forma simplicada, tomando el grafo dirigido que lo representa (como relaci on), y haci endole los siguientes cambios: eliminar las aristas que pueden ser deducidas de otras por transitividad; eliminar los lazos (se sabe que todos los posibles lazos est an, por reexividad); ubicar los v ertices de modo que todas las echas vayan hacia arriba, y eliminar las echas. La gura resultantes es llamada un diagrama de Hasse .

c Luis Dissett.

P.U.C. Chile, 2003

Diagramas de Hasse (cont.)


Por ejemplo, para el ejemplo anterior, el diagrama de Hasse ser a:

{1,2,3}

{1,2}

{1,3}

{2,3}

{1}

{2}

{3}

c Luis Dissett.

P.U.C. Chile, 2003

Reticulados (lattices)
Denici on 1. Un orden parcial (A, ) es un reticulado si todo subconjunto de A de cardinalidad 2 tiene un supremo y un nmo. Ejemplos: (P (U ), ) es un reticulado. (N {0} , |) es un reticulado. Ejercicio. D e deniciones expl citas de sup {x, y } e inf {x, y } para los ejemplos anteriores. A futuro veremos otros ejemplos . . .

c Luis Dissett.

P.U.C. Chile, 2003

Relaciones de equivalencia
Denici on 2. Sea A un conjunto. Una relaci on de equivalencia en A es una relaci on denida en A que es: 1. reeja en A, 2. sim etrica, y 3. transitiva.

Ejemplos
La igualdad es siempre una relaci on de equivalencia, en cualquier conjunto A. Si f : A B es una funci on cualquiera, entonces la relaci on denida en A por x y f (x) = f (y ) es una relaci on de equivalencia.

c Luis Dissett.

10

P.U.C. Chile, 2003