Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notación: Se escribirá la mínima cota superior del conjunto {a,b} como m.c.s({a,
b}) y se denotará por "a + b". Similarmente se escribirá la máxima cota inferior del
conjunto {a, b} como M.C.I({a, b}) y se denotará por "a. b".
Ejemplo: Sea S un conjunto no vacío y sea L = P(S). Se sabe que la operación "Í "
define una relación de orden parcial en P(S). Acá se cumple que A + B (m.c.s({A,
B})) es la unión de A y B y A B (M.C.I({A, B})) es la intersección de A y B.
Se concluye entonces que P(S) con el orden parcial definido por la relación "Í " es
un Reticulado.
Reticulado
Definición: Sea n un entero positivo y sea Dn el conjunto de
todos los divisores positivos de n. Entonces el conjunto Dn
ordenado por la relación de divisibilidad es un Reticulado.
Así, si n = 20 entonces D20 = {1, 2, 4, 5, 10, 20} y se cumple
que para cualesquiera a, bЄD20:
Ejemplo: Dado D20 = {1, 2, 4, 5, 10, 20} ordenado por la relación de divisibilidad,
entonces los siguientes conjuntos son subreticulados de D20.
D10 = {1, 2, 5, 10} ; D4 = {1, 2, 4}
1. a + b = b sí y sólo sí a ≤ b.
2. a.b = a sí y sólo sí a ≤ b.
3. a.b = a sí y sólo sí a + b = b.
Demostración: (Apartado 1) Suponga que a + b = b; como a ≤ a
+ b se concluye que a ≤ b. Recíprocamente si a ≤ b, entonces como
b ≤ b se tiene que b es una cota superior de {a, b}. Por la definición
de mínima cota superior se tiene que a + b ≤ b. Como a + b es cota
superior, se cumple que b ≤ a + b. De acá se concluye que b = a +
b.
Reticulado