Matemática Discreta

Relaciones de Orden Parcial

Retículas

MATEMÁTICA DISCRETA 1
RETÍCULAS O LÁTISES

Una latís (retícula) es un conjunto parcialmente

ordenado (L, ) tal que cada subconjunto {a, b}
de dos elementos tiene una mínima cota superior
y una máxima cota inferior.

MATEMÁTICA DISCRETA 2
NOTACIÓN

Se denota:

MCS({a, b}) = a  b
y es llamada unión de a y b.

MCI({a,b}) = a  b
y es llamada conjunción de a y b.

MATEMÁTICA DISCRETA 3
DEFINICIÓN

Sea (L,) una latís (retícula). Un subconjunto

no vacío S de L es una sublatís (subretícula)
de L si:
abS y abS
siempre que a  S y b  S.

MATEMÁTICA DISCRETA 4
PROPIEDADES
Sea L una latís (retícula). Entonces para toda a y
b en L
▪ a  b = b si y solo si a  b
▪ a  b = a si y solo si a  b
▪ a  b = a si y solo si a  b = b
▪ a  a = a ; a  a = a (Idempotencia)
▪ a  b = b  a ; a  b = b  a (Conmutativa)
▪ a  ( b  c ) = (a  b)  c (Asociativa)
▪ a  ( b  c ) = (a  b)  c
▪ a  (a  b) = a ; a  (a  b) = a (Absorción)

MATEMÁTICA DISCRETA 5
LATÍS ACOTADA

Una latís (retícula) L está acotada si tiene un

elemento máximo I y un elemento mínimo 0.

MATEMÁTICA DISCRETA 6
TEOREMA

Sea L = {a1, a2, ... , an} una latís (retícula) finita.

Entonces L es acotada.

MATEMÁTICA DISCRETA 7
LATÍS DISTRIBUTIVA

Una latís (retícula) L es distributiva si para

cualesquiera elementos a, b y c en L, se tiene:

a  ( b  c) = (a  b)  (a  c)
a  ( b  c) = (a  b)  (a  c)

MATEMÁTICA DISCRETA 8
DEFINICIÓN

Sea L una latís acotada con elemento máximo I

y elemento mínimo 0, y sea aL. Un elemento
a’L es un complemento de a si:

a  a’ = I y a  a’ = 0

MATEMÁTICA DISCRETA MA265 9

TEOREMA

Sea L una latís (retícula) distributiva acotada. si

un elemento tiene complemento, este es único.

MATEMÁTICA DISCRETA 10
DEFINICIÓN

Una latís L es complementada si está acotada y

si todo elemento en L tiene complemento.

MATEMÁTICA DISCRETA 11
ÁLGEBRA BOOLEANAS FINITAS

Una latís complementada y distributiva se llama

álgebra booleana.

NOTA

 Si una latís finita L no contiene 2n elementos para

algún entero no negativo n, L no puede ser un
álgebra booleana.
 Si |L| = 2n, entonces L podría ser un álgebra
booleana.

MATEMÁTICA DISCRETA MA265 12