Matemáticas

discretas

Látices
Nombre: Mérida Aranguré Luis
Daniel

Profesora: Mónica Zaima

Víquez Cano

Grupo: 1351
 Definición
Una látice o red es un conjunto parcialmente
ordenado por una relación de orden, en el cual cada
subconjunto {a, b} de este, que consta de dos
elementos, tiene una mínima cota superior y una
máxima cota inferior.

Normalmente, los subconjuntos sobre los que se

trabaja son parejas. Cuando una pareja de elementos
de A, por ejemplo a y b, hacen parte de la relación,
es decir, a < b, su m.c.s se representa como a+b, y su
M.C.I. máxima cota inferior se simboliza ab.
 Látices Normales
Definición: Sea (𝐿, ≤) un conjunto parcialmente ordenado y sea (𝑙, ≥) el conjunto
parcialmente ordenado dual por lo tanto si (𝐿, ≤) es una latís, entonces (𝐿, ≥)también es una
latis (retícula)

Ejemplo :
Sea n un entero positivo y sea 𝐷𝑛 un conjunto de todos los divisores positivos de n. 𝐷𝑛 es una
latis bajo la relación de divisibilidad.
Látices Distributivas
Definición: Una látice L se llama distributiva si para todo a, b y c Î L se cumple:
- a + (b.c) = (a + b)(a + c).
- a(b + c) = (ab) + (a.c).
Ejemplo 6. El conjunto potencia de S, P(S) ordenado por la relación "Í " es una látice
distributiva ya que las operaciones de unión o intersección distribuyen la una respecto a la
otra.