SISTEMAS PARCIALMENTE

ORDENADOS
DEFINICIN:

Se dice que un sistema A es parcialmente ordenado

cuando sus elementos estn relacionados mediante
una relacin reflexiva, antisimtrica y transitiva.
Reflexiva: a a
Antisimtrica: si a b y b a a = b
Transitiva: si a b y b c a c
DEFINICIN:

Un sistema parcialmente ordenado se denomina

totalmente ordenado si para todo a,b A, a b o b
a.
En este caso se dice que a y b son comparables y que
el sistema A forma una cadena.
Ejemplos:

1. (P(A), ) es un S. P. O.
2. (IR, ) es un S. P. O. y totalmente ordenado, por
tanto, forma una cadena.
3. (IN, ), (IN; ) son totalmente ordenados.
4. (IN, |) es un S. P. O.
DEFINICIONES:

1. Un elemento a de un S. P. O. A se llama elemento

maximal de A si
Si a x x a x A
2. Un elemento b de un S. P. O. A se llama elemento
minimal de A si
Si x b x b x A

3. a se denomina elemento mximo si no hay

elemento mayor que a.
4. b se denomina elemento mnimo si no hay
elemento menor que b.
Observaciones:

En un S. P. O. A, se pueden tener algunos elemento

maximales (minimales), pero los elementos mximo
y mnimo, si existen, son nicos.
Los elementos mximo y mnimo de un S. P. O. se
denotan por 1 y 0 respectivamente. Se llaman cotas
universales y corresponden a los conjuntos universal
y vaco.
En un S. P. O. con la relacin a b, la relacin a<b
est definida por a b y a b.
En un S. P. O. si a < b y para x no se verifica a<x<b,
entonces se dice que b es cobertura de a.
tomo es un elemento a, tal que a es cobertura de 0.
tomo dual es un elemento b, tal que b sea cubierto
por 1.
DIAGRAMAS DE HASSE

Los S. P. O. Y finitos se representan mediante

diagramas que se conocen con el nombre de
diagramas de Hasse.
Si b es cobertura de a entonces b se representa
mediante un circulito pequeo que se coloca encima
del crculo que representa a a y de b se traza un
segmento hasta a
b

a
Ejemplos:
1.
Ejemplos:

2. Trazar el diagrama de Hasse que corresponde al

conjunto potencia de A = {a,b,c} utilizando la
relacin inclusin.
3. Construir el diagrama de Hasse para el conjunto de
divisores de 24 con la relacin de divisibilidad.
DEFINICIN

1. x es mnima cota superior, supremo o superior de y,

z en A, si:
i) x es cota superior de y, z i.e. y x, z x
ii) x es menor que cualquier otra cota superior, i.e. si
y w, z w x w
2. x es mxima cota inferior, nfimo o inferior de y, z si:
i) x y, x z
ii) si w y, w z w x
REDES

Si R es un sistema parcialmente ordenado por una

relacin binaria de orden tal que cada par de
elementos de R admite un supremo y un nfimo,
entonces R se llama red o retcula
Notacin:
supremo de a y b: ab
nfimo de a y b: ab
Ejemplos:
Para uno, dos y tres elementos existe solo una red y se representa:
Un conjunto de cuatro elementos tiene las siguientes redes
Para un conjunto de cinco elementos existen las siguientes redes:
TEOREMA 1.- Si a, b, c son elementos de una red
cualquiera, entonces:

1. a b b a 1'. a b b a
2. a (b c) 2'. a (b c)
( a b) c ( a b) c
3. a a a 3'. a a a
4. a ( a b ) a 4'. a (a b) a
Demostracin
TEOREMA 2.- En un sistema parcialmente
ordenado, las siguientes condiciones son
equivalentes:
a ) a b;
b) a b b;
c) ab a

Demostracin
TEOREMA 3.-

Si en una red ab y c d , entonces

a c b d.
Demostracin
Ejemplos de redes:

1. (IR, )

2. (P(A), )

3. (IN, |)
REDES DISTRIBUTIVAS

DEFINICIN.- son redes en el cual los operadores

de supremo e nfimo cumplen con las leyes de
distributividad, i.e.

a) x ( y z ) ( x y ) ( x z );
b) x ( y z ) ( x y ) ( x z )
Nota: no todas las redes son distributivas, por ejemplo:
Observacin:

Una red R no puede ser distributiva si R contiene

una subred de cinco elementos isomorfa con las
redes del ejemplo anterior y reciprocamente, una red
es distributiva si no contiene una subred isomorfa
con las redes del ejemplo anterior.
PROPOSICIN

Una red es distributiva si y slo si para todo a, x, y de

R, a x a y, a x a y, x y
DEMOSTRACIN

DEFINICIN.- Una red R se llama modular si y solo

si para todo x, y, z de R, x z implica x ( y z ) ( x y) z
Ejemplo:
Nota.- La distributibidad de una red R implica su
modularidad, pues:
Si x z , entonces x z z
ahora bien,
x ( y z ) ( x y ) ( x z ) ( x y ) z.
REDES COMPLEMENTADAS

DEFINICIN.- Una red R que contiene a 0 y a 1 se

dice que es complementada, si para todo elemento x
de R existe al menos un elemento x en R que
satisface las ecuaciones:
x x' 0, x x' 1
Nota.- un elemento distinto de 0 y 1 puede tener
ninguno, uno o varios complementos.
Ejemplos:
Teorema. En una red distributiva y complementada, se cumple las
siguientes propiedades:

a ) El complemento de un elemento es nico.

b) ( x' )' x
c) ( x y )' x' y ' , ( x y )' x' y ' ;
d ) x y, si y solo si y ' x' ;
e) x y, si y solo si x y ' 0, x' y 1.
DEFINICIN.- Un lgebra de Boole es una red
distributiva y complementada.