1 Relaciones
1.1 El concepto de relacin
Segn la Real Academia Espaola, el trmino relacin remite a:
1. Exposicin que se hace de un hecho.
2. Conexin, correspondencia de algo con otra cosa.
3. Conexin, correspondencia, trato, comunicacin de alguien con otra persona.
4. Trato de carcter amoroso. U. m. en pl. Tienen relaciones desde hace tiempo
5. Lista de nombres o elementos de cualquier clase.
6. Informe que generalmente se hace por escrito, y se presenta ante una autoridad.
7. En el poema dramtico, trozo largo que dice un personaje para contar o narrar algo.
8. Gram. Conexin o enlace entre dos trminos de una misma oracin.
9. Mat. Resultado de comparar dos cantidades expresadas en nmeros.
10. En diversos bailes tradicionales, copla que se dicen los integrantes de las parejas.
11.Conocidos o amigos influyentes. Sin relaciones no se puede triunfar en esa profesin.
Probablemente esta cita no aporte mucho a las ideas que el lector tiene sobre lo que es una
relacin, pero en realidad aqu estamos interesados en la determinacin que la matemtica logra
para sus propsitos de dicho concepto. El punto 9, referido a la matemtica, nos da una pista:
el resultado de comparar dos cantidades expresadas en nmeros es un s o un no, si es que
la relacin esta perfectamente determinada. Por ejemplo, podemos determinar completamente
la relacin es menor que, siempre que logremos responder s o no cada vez que se hace
la pregunta es x menor que y?, cualesquiera sean los elementos x e y que se tomen.
Vemos entonces que una relacin entre individuos del universo X e individuos del universo
Y , determina un conjunto: el conjunto de todos los pares (ordenados) de individuos para los
cuales la pregunta
est x relacionado con y?
1
se contesta afirmativamente. Ese conjunto ser nuestra determinacin matemtica del concepto
de relacin. Por ejemplo, si
C representa la relacin es la capital de
P
entonces decimos que el par (El Cairo, Egipto) pertenece al conjunto determinado por la
relacin C, mientras que ({1, 2}, {1, 3, 4}) no pertenece al conjunto determinado por la relacin
P. Ntese que es importante el orden de los objetos en cuestin, ya que por un lado porque
pueden pertenecer a universos distintos, y por otro lado porque al alterar el orden puede cambiar el valor de verdad de la proposicin. Esto ocurre con el predicado P.
Las relaciones denotan conjuntos de pares ordenados de la misma manera que una
proposicin Q (que se refiere a individuos en un universo X) denota el conjunto formado por
los individuos que la satisfacen:
Q
denota {x X : Q(x)}
Recurra aqu a cualquier nocin provisoria que usted tenga del trmino proposicin, inclusive
no matemtica.
Definicin 1.1. Sean A y B conjuntos. Una relacin entre A y B es un subconjunto del producto
cartesiano A B.
Si R es una relacin entre A y B decimos que x est relacionado con y (y lo denotamos
x R y) si (x, y) R. Notaciones alternativas son R(x, y), xRy o simplemente x y. Si A = B
solemos decir que R es una relacin sobre A.
Ejemplo 1.1. Sea A = {2, 3} y B = {3, 4, 5, 6}, y consideremos la relacin divide, que
vincula elementos de A con elementos de b. Podemos definir R mediante:
R = {(a, b) | a A, b B y a divide a b}
Luego R = {(2, 4), (2, 6), (3, 3), (3, 6)} y decimos que 2 4, 2 6, 3 3 y 3 6. Tambin
decimos que 2 no est relacionado con 5 y que 3 no est relacionado con 4 y escribimos 2 6 5
y 36 4.
Ejemplo 1.2. Sea A = B = Z, R = {(x, y) | y = x2 }. R es un subconjunto de Z Z y con una
cantidad infinita de elementos:
1 1
11
2 4
24
3 9
..
.
39
..
.
2
Tres tipos de relaciones son las ms relevantes dentro de la matemtica: las funciones, las
relaciones de orden y las de equivalencia. Las funciones son relaciones entre dos conjuntos que
pueden ser distintos y no se incluirn en este texto debido a que es usual verlas en profundidad
en otras materias. Las relaciones de orden y de equivalencia son relaciones sobre un mismo
conjunto y veremos su definicin y algunas propiedades en este captulo, concentrndonos sobre
todo en las relaciones de orden.
Consideraremos de ahora en ms relaciones sobre un mismo conjunto.
(a) Sobre las ciudades de Argentina: la distancia de x a Buenos Aires es menor o igual
que la distancia de y a Buenos Aires.
(b) Sobre las ciudades de Argentina: la distancia de x a Buenos Aires es igual a la
distancia de y a Buenos Aires.
2. Sea G un grafo dirigido con vrtices V . Considere sobre V la relacin
existe un camino dirigido que lleva desde x hasta y.
Considere adems las siguientes propiedades sobre los grafos:
(a) G es no dirigido (si existe una arista de a a b, tambin existe una de b a a)
(b) G es completo
(c) G es acclico
Determine cuales de estas propiedades son suficientes, y cuales necesarias para asegurar
que:
(a) La relacin es reflexiva
(b) La relacin es simtrica
(c) La relacin es antisimtrica
3. Responda si la relacin sobre A = R dada por a b si y slo si a b es reflexiva,
simtrica, antisimtrica y/o transitiva.
4. Responda si la relacin sobre A = P (X) dada por A B si y slo si A B es reflexiva,
simtrica, antisimtrica y/o transitiva.
(4) es transitiva
si m n es par y n p es par entonces m p = (m n) + (n p) que es par.
Resumiendo, la relacin congruencia mdulo 2 es reflexiva, simtrica y transitiva.
(c) x [x]
(d) x 6 y [x] [y] = 0/
La accin conjunta de la transitividad y la simetra provocan que las clases de equivalencia
no se superpongan (son disjuntas), salvo que se trate de las clases de dos elementos relacionados
(por ejemplo el 2 y el 10, en la relacin anterior). En este caso las clases coinciden. El lector
habr podido observar este fenmeno analizando las propiedades (a) y (d) de arriba para la
relacin misma paridad.
Teorema 1.1. Sea ' una relacin de equivalencia en un conjunto A y sean x, y elementos de A.
Entonces
1. [x] = [y] si y slo si x ' y.
2. si x 6' y, entonces [x] e [y] son disjuntas.
Demostracin. (1) Sean [x] e [y] dos clases de equivalencia, tales que [x] = [y]. Eso significa
que
{a | a ' x} = {a | a ' y}.
Puesto que x ' x eso significa que x [x] y por lo tanto x [y]. Luego x ' y.
Recprocamente, si x ' y queremos ver que [x] = [y]. Probaremos entonces que [y] [x] y
que [x] [y]. Ahora bien, a [x] si y slo si a ' x. Como x ' y por transitividad se sigue que
a ' y y por lo tanto a [y].
Anlogamente, a [y] si y slo si a ' y. Pero entonces a ' y e y ' x de donde se sigue que
a ' x y por lo tanto a [x].
(2) Supongamos que x 6' y, y tomemos a [x] [y], para arribar a una contradiccin. Como
a [x], entonces a ' x, y por simetra, x ' a. Por otro lado, como a [y], entonces a ' y. Por
transitividad x ' y, lo que es una contradiccin.
De esta manera, las relaciones de equivalencia estn ligadas a la nocin de particin de un
conjunto. Recordemos la definicin:
Definicin 1.5. Una particin de un conjunto A es una familia de subconjuntos no vacos de A
que son disjuntos entre s y cuya unin es todo A.
Por ejemplo, las siguientes son particiones de A = {a, b, c}:
P1 : {a}, {b}, {c};
P2 : {a}, {b, c};
P3 : {a, b, c}.
7
Si ' es una relacin de equivalencia sobre A, entonces podemos partir A de manera que
cada parte agrupe a todos los elementos que son equivalentes entre s.
Por ejemplo, considere A = {0, 1, 2, 3, 4, 5, 6}, y sea ' la relacin dada por:
a ' b si y slo si 3 divide a (a b).
Podemos buscar las partes en las que se parte A comenzando a rastrear los equivalentes a
0, a saber, 0, 3, 6. Luego, una parte de la particin est dada por {0, 3, 6}.
Para encontrar otra de las partes, buscamos los que son equivalentes a alguno de los elementos que no estn en la primera parte, por ejemplo 1. Podemos repetir este procedimiento hasta
agotar el conjunto.
La relacin ' conduce a la siguiente particin:
{0, 3, 6},
{1, 4},
{2, 5}.
Luego, el teorema anterior que describe las propiedades de las clases de equivalencia puede
ser reformulado en trminos de las particiones de la siguiente manera.
Teorema 1.2. Sea una relacin de equivalencia sobre un conjunto A no vaco. La familia
de clases de equivalencia es una particin de A. Y recprocamente, toda particin P de un
conjunto A induce una relacin de equivalencia definida como a 'P b si y slo si existe S P
tal que a S y b S.
1.5.1
Diagramas de Hasse
Las relaciones de orden sobre conjuntos finitos pueden ser visualizadas a travs de dibujos
llamados diagramas de Hasse. Se adopt ese nombre en honor al matemtico Helmut Hasse
(1898-1979).
La idea del diagrama de Hasse (y de todos los diagramas en general) es eliminar informacin superflua y concentrarse en la informacin ms relevante relativa al orden. Esta (para los
conjuntos finitos) es convenientemente capturada por la nocin de cubrimiento.
Definicin 1.7. Sea A un conjunto finito parcialmente ordenado. Sean a, b A elementos
distintos. Decimos que b cubre a a si a b y no existe c distinto de a y b tal que a c y c b.
Por ejemplo, sea X = {1, 2, 3, 6, 12}, con la relacin dada por la relacin divide. Entonces
2 cubre a 1, pero no cubre a 3. Por otro lado, 6 cubre a 2 y 3, pero no cubre a 1 ni 12.
Un diagrama de Hasse para un conjunto parcialmente ordenado finito consiste de puntos en
el plano llamados vrtices que representan los elementos del conjunto y de arcos o segmentos
ascendentes que unen dos vrtices a y b si y slo si b cubre a a.
Por ejemplo, sea P = {a, b, c, d}, y sea la relacin dada por el conjunto
{(a, a), (b, b), (c, c), (d, d), (a, c), (a, d), (c, d), (b, c), (b, d)}
Entonces el diagrama de Hasse correspondiente es:
dr
a r
r c
@
@
@
@
@r b
Ejemplo 1.3. El diagrama de Hasse para P ({a, b, c}) ordenado por inclusin es el siguiente.
{a, b, c}
r
@
@
@
@
r {a, c} @r {b, c}
{a, b} r
@
@
@
@
@
@
@
@
@r{c}
@r
{a} r
@
{b}
@
@
@
@r
0/
1.6 Ejercicios
1. Determine si las siguientes relaciones sobre N son reflexivas, simtricas, antisimtricas o
transitivas:
(a) (x, y) R sii x2 = y2
(b) (x, y) R sii x > y
(c) (x, y) R sii x y
(d) (x, y) R sii si el m.c.d. de x e y es 1
(e) (x, y) R sii n 6= m
2. Sea ' la relacin congruencia mdulo 5, dada en Z por x ' y si y slo si 5 divide a
x y. Verifique que es una relacin de equivalencia.
3. D ejemplos de relaciones sobre {1, 2, 3, 4} que cumplan las propiedades:
(a) Reflexiva, simtrica, no transitiva.
(b) Reflexiva, no simtrica, no transitiva.
(c) Reflexiva, antisimtrica, no transitiva.
(d) No reflexiva, simtrica, no antisimtrica, transitiva.
(e) No reflexiva, no simtrica, transitiva.
10
r
A
A
A
A
Ar f
e r
rd
5r
@
@
r
2 @
@
@
@
@
r3
@r 4
@
@r
1
11
7. Dibuje los diagramas de Hasse para cada uno de los siguientes conjuntos con la relacin
de divisibilidad: n m si y slo si n divide a m:
(a) {1, 2, 3, 4, 6, 12}
(b) {1, 2, 4, 5, 10, 20}
(c) {1, 2, 4, 8, 16, 32}
(d) {1, 2, 3, 5, 6, 10, 15, 30}
1.7
Problemas
2. Sea A el conjunto formado por todas las palabras del alfabeto {a, b, c}. Considere las
palabras como secuencias finitas de smbolos del alfabeto. Por ejemplo acaaab, a y (la
palabra vaca) son elementos de A.
(a) Defina la relacin , que representa el orden lexicogrfico (o sea el del diccionario)
sobre A
(b) Pruebe es una relacin de orden.
12
3. Sea A un conjunto de tres elementos, y sea R una relacin de orden parcial sobre A.
Cuntos tipos diferentes de diagramas de Hasse de A son posibles? De esta mAneorae
sabemos cuntos ordenes parciales diferentes pueden ser definidos sobre un conjunto con
tres elementos. Piense detenidamente cuando dos diagramas pueden ser considerados
iguales y cuando diferentes. Por ejemplo, importan las longitudes de los arcos?, o
importan las pendientes de los arcos?
4. Repita la consigna anterior para conjuntos de cuatro elementos. (Ayuda: hay 16.)
5. Sea S = {A | A 6= 0/ and A {a, b, c}}. Sea R la relacin en S dada por:
(A, B) R (A = {a} y a 6 B) o A B.
(a) Probar que es una relacin de orden.
(b) Hacer el diagrama de Hasse correspondiente.
1.8 Operadores
Con las relaciones podemos operar de la misma manera que con las funciones. Una operacin
muy comn en el manejo de funciones es la composicin (denotada mediante ), y su definicin puede ser extendida a las relaciones. En este contexto, esta operacin hace referencia al
resultado de conectar relaciones. Por ejemplo, si x es padre de y, e y es padre de z, entonces
x es abuelo de z. Esto lo podemos decir escribiendo: padre padre = abuelo. Vamos ahora a
introducir formalmente sta y otras operaciones que tambin sern de utilidad.
Definicin 1.8. Sea R1 una relacin de A a B y sea R2 una relacin de B a C. La composicin
de R2 con R1 es la relacin entre A y C dada por:
R2 R1 = {(a, c) | existe algn b B tal que (a, b) R1 y (b, c) R2 }
Definicin 1.9. A denotar la relacin sobre A definida mediante:
A = {(x, x) : x A}.
A tal relacin la llamaremos diagonal.
Definicin 1.10. Sea R una relacin entre A y B. Entonces la relacin inversa, es una relacin
entre B y A que est dada por:
R1 = {(b, a) | b B, a A y (a, b) R}.
13
Ejercicios
R R1
R1 R.
3. Analice la validez de las siguientes afirmaciones, para una relacin cualquiera R no vaca:
(a) Si R no es simtrica entonces R R1 A .
(b) R R1 A .
(c) A R R1 .
(d) Si R es simtrica entonces R R1 A .
(e) Si R es simtrica y transitiva entonces R R1 R.
4. Sea R una relacin entre A y B (i.e., R A B), sea S una relacin entre B y C (i.e.,
S B C), y sea T una relacin entre C y D (i.e., T C D). Muestre que (T S) R =
T (S R).
En este captulo nos dedicamos a estudiar las relaciones de orden, y comenzaremos a preguntarnos sobre las distintas estructuras que el orden genera sobre el conjunto en el cual est
definido. Este conjunto ser llamado conjunto parcialmente ordenado.
Definicin 2.1. Un par (P, ) donde P es un conjunto y es un orden parcial sobre P se llama
conjunto parcialmente ordenado.
Note que utilizamos para denotar una relacin de orden parcial genrica el smbolo , que
hasta el momento estuvo reservado para el orden de los nmeros reales. Nos vamos a permitir
esta ambigedad de notacin, que resolveremos en cada caso observando el contexto. Pero el
lector debe tener presente que de ahora en ms el smbolo no necesariamente hace referencia
al orden de los nmeros, ni siquiera hace referencia a un orden total.
Para referirnos a los conjuntos parcialmente ordenados utilizaremos en este apunte dos abreviaturas que son clsicas en la literatura: posets (por partially ordered sets), o cpos, proveniente
de la abreviatura en castellano.
Para terminar estos comentarios sobre la notacin mencionamos que dado un orden parcial
sobre P podemos definir una nueva relacin < sobre P de la siguiente manera: a < b si y slo
si a b y a 6= b. Esta convencin tambin es compatible con el uso que se le da habitualmente
al smbolo < en los reales.
15
para todo a P.
para todo a P.
Una notacin usual consiste en utilizar el smbolo 1 para denotar el mximo del conjunto
(en el caso de que exista), y 0 para el mnimo. Luego, interpretamos que cuando aparece en un
contexto abstracto cualquiera de estos smbolos, entonces estamos asumiendo que el conjunto
en cuestin posee mximo o mnimo, segn corresponda.
En muchos ejemplos observamos que aunque no existe un elemento mnimo, encontramos
elementos que no tienen ningn otro elemento menor (por ejemplo {a, b} del ejemplo anterior).
Este tipo de elementos se llamarn minimales, como lo establece la siguiente definicin.
Definicin 2.3. Sea P un conjunto parcialmente ordenado con orden parcial . Un elemento
x P se dice maximal si para todo a en P, x a implica que x = a.
Un elemento y P se dice minimal si para todo a en P, a y implica que a = y.
16
Por supuesto esta es una categora muy particular de orden, por ejemplo si tomamos la
relacin sobre N dada por: a b si y slo si a divide a b entonces puede ocurrir que a 6 b y
que b 6 a, por ejemplo, 5 no divide a 8 y 8 no divide a 5.
Finalmente mencionamos un hecho que no desafa nuestra intuicin, relativo a los rdenes
finitos. Queda como ejercicio para el lector imaginar una justificacin.
Teorema 2.2.
1. Sea un orden parcial en un conjunto finito no vaco P. Entonces P
contiene al menos un elemento minimal y si existe slo uno entonces es el mnimo.
2. Sea un orden parcial en un conjunto finito no vaco P. Entonces P contiene al menos
un elemento maximal y si existe slo uno entonces es el mximo.
2.2
Supremos e nfimos
19
inf S :=
S = {r R | r A, para algn A S },
S = {r R | r A, para todo A S },
inf{A, B} = A B
2
/ NotePor ltimo vamos a estudiar en general que ocurre con sup(S) e inf(S) cuando S = 0.
/ De modo que
mos que todo elemento de P es cota superior e inferior del conjunto 0.
/ existe si y slo si P tiene menor elemento,
1. sup(0)
/ existe si y slo si P tiene mayor elemento.
2. inf(0)
P = {1, 2, 3, 6}
estn formados por objetos de distinta naturaleza, pero cuando consideramos los posets (P , )
y (P, |) (es decir, P con la relacin divide) comienza a haber ciertas similitudes. Podemos establecer una conexin entre los objetos de P y los objetos de P de manera de hacer corresponder
los roles que cada uno ocupa en sus respectivas estructuras ordenadas. Por ejemplo, a 0/ P le
corresponde 1 P, debido a que ambos son los menores elementos. Dicho de otra manera: los
posets poseen el mismo diagrama de Hasse. En la siguiente figura, el smbolo significa se
corresponde con.
20
{a, b} 6
{a} 2 r
@
@
r
@
@
@
@
@r {b} 3
@
@
@r
0/ 1
2.4 Ejercicios
1. La siguiente figura muestra los diagramas de Hasse de tres conjuntos parcialmente ordenados.
hs
@
@
@sg
fs
as
os
ps
qs
zs
rs
A
A
A
A
Asn
mAs
@
@
@s k
@
@
@s e
ds
@
@
@
@
@sc
@s b
ws
@
@
x s @sy
@
@s v
sj
su
sup{w, y, v},
sup{p, m},
inf{a, g}.
sup{m, n}
inf{g, a, f }
(c) Cul es el subconjunto ms grande que encuentra dentro de D90 que constituya en
s mismo un orden total?
3. Considere el poset (N, |); recuerde que m|n si m divide a n.
(a) Cul es el elemento mnimo?
(b) Tiene N un elemento mximo?
(c) Describa sup{n, m} e inf{n, m}, para cualquier m, n.
4. Determine cuales de los siguientes mapas de P a Q son isomorfismos. En caso de no serlo
determine qu es lo que falla.
(a) P = Q = Z (con el orden usual), f (x) = x + 1
(b) P = Q = Z (con el orden usual), f (x) = 2x
(c) P = Q = Z (con el orden usual), f (x) = x
(d) P = Q = P ({a, b, c}) (con la inclusin). La funcin f est definida de la siguiente
manera. Si a, b estn ambos en A, o no estn ninguno de los dos en A, entonces
f (A) = A. En otro caso f quita de A al que est y pone al que no est. Por ejemplo,
f ({a}) = {b}
2.5 Problemas
1. En la nocin de isomorfismo podemos observar que se recurre a un si y slo si para capturar la idea de que el orden es el mismo en las dos estructuras. Considere esta definicin
alternativa de isomorfismo:
Sean (P, ), (Q, 0 ) dos posets, y sea f : P Q una funcin. Diremos que f es un
isomorfismo si f es biyectiva y para todo x, y P, se cumple que x y implica f (x) 0
f (y).
Es equivalente a la anterior? Qu problemas tendra el adoptar esta definicin?
2. Determine si es posible encontrar dentro del poset (P ({a, b, c, d}), ) un subconjunto que
visto como poset sea isomorfo a D90
23
c
d
e
f
Tabla 1:
4. Supongamos que un poset tiene la siguiente propiedad: para todo a, b P se tiene que
/
sup{a, b} existe. Podemos concluir que sup(S) existe para cualquier S finito, S 6= 0?
5. Supongamos que un poset tiene la siguiente propiedad: para todo subconjunto finito S de
P se tiene que sup(S) existe. Podemos concluir que sup(S) existe para cualquier S?
6. Supongamos que un poset tiene la siguiente propiedad: para todo subconjunto S de P se
/
tiene que sup(S) existe (en particular existe sup(P) y sup(0)).
Podemos concluir que
inf(S) existe para cualquier S?
7. En un poset, un subconjunto D se dice decreciente si cada vez que un elemento est en
D, tambin estn los ms chicos. En smbolos: si d D y c d, entonces c D. Sea f
de P en Q una funcin. Probar que son equivalentes:
(a) f preserva el orden, o sea, x y implica f (x) 0 f (y).
(b) si D es un subconjunto decreciente de Q, entonces f 1 (D) es decreciente en P.
24
3 Reticulados y lgebras
Los conjuntos parcialmente ordenados constituyen un marco abstracto apropiado para modelar
una enorme cantidad de fenmenos, resultando as una herramienta terica de mucha utilidad,
sobre todo a la hora de establecer las bases fundacionales de las Ciencias de la Computacin.
Por ejemplo, permiten introducir la nocin de dominio, pilar del desarrollo de la semntica
denotacional de los lenguajes de programacin. Por otro lado, los conjunto parcialmente ordenados son la puerta de entrada a las estructuras que permiten la algebrizacin de la lgica,
constituyndose as en un concepto central en los desarrollos de la Lgica Matemtica, la Teora
de Pruebas, la Teora de Modelos y el lgebra Universal.
En este captulo vamos a introducir dos estructuras fundamentales para la lgica: los Reticulados y las lgebras de Boole. Estudiaremos sus propiedades fundamentales y sus distintas
formas de presentacin.
s
@
s @s
s
@
@s
s
s
s
@
@
@
@
s @s @s
a
b = inf{a, b}.
25
Antes de continuar, y como una manera de fijar los conceptos, sugerimos responder lo siguiente:
1. Determine cmo y cundo estn definidas las operaciones
,
en los siguientes posets.
Considere todos los pares de elementos posibles.
(a) (N, |) (aqu x|y si y solo si x divide a y)
(b) ({1, 2, 3, 4, 6, 12}, |)
(c) ({1, 2, 3, 4, 6}, |)
2. Cules de los anteriores posets son posets reticulados?
3. Relacione los siguientes diagramas de Hasse con los anteriores posets.
s
@
@s
s
s
s
@
@s
s
@
@
@s
s
@
@
@s
1. (x
y = y) (x
y = x)
2. x
y=y
3. x x
y=x
El siguiente lema nos muestra una serie de propiedades bsicas que son vlidas en todos los
reticulados.
Lema 3.1. Dado un reticulado (L, ), y elementos x, y, z, w L, se cumplen las siguientes
propiedades:
(a) x x
y
(b) x
yx
(c) x y
x
y=y
x
y = x,
x
y=y
x
x
(x
y) = x
x
yz
w,
implican
x
yz
w
(x
y)
(x
z) x
(y
z)
27
(x
y)
z=x
(y
z)
Demostracin. Las pruebas de los incisos (a) hasta (f) son dejados al lector. Veamos (g). Puesto
que
x zz
w,
ywz
w,
tenemos que z
w es cota superior de {x, y} lo cual dice que x
yz
w. La demostracin
para la otra desigualdad es anloga.
(h) Veamos la segunda desigualdad. La primera queda para el lector. Puesto que (x
y) x,
(x
z) x, (x
y) y
z y (x
z) y
z, tenemos que
(x
y) x
(y
z)
(x
z) x
(y
z),
por lo cual (x
y)
(x
z) x
(y
z).
(i) Notemos que por (i), x
(y
z) es cota superior del conjunto {x
y, z}, lo cual dice que
(x
y)
zx
(y
z). Anlogamente se puede probar que x
(y
z) (x
y)
z.
Dado que la distribucin de parntesis en una expresin del tipo
(...(x1
x2 )
...)
xn ,
es irrelevante (ya que
es asociativa), en general suprimiremos los parntesis.
x
y=y
x,
R3 leyes asociativas:
(x
y)
z=x
(y
z),
(x
y)
z=x
(y
z),
R4 leyes de absorcin:
x
(x
y) = x,
x
(x
y) = x.
x
y = inf{x, y}.
Demostracin. Dejamos como ejercicio para el lector probar que es reflexiva y antisimtrica.
Veamos que es transitiva. Supongamos que x y y y z. Entonces x
z = x
(y
z) =
(x
y)
z = y
z = z, por lo cual x z. Veamos ahora que x
y = sup{x, y}. Es claro que
x
y es una cota superior del conjunto {x, y}. Supongamos x, y z. Entonces
(x
y)
z = (x
y)
(z
z) = (x
z)
(y
z) = z
z = z,
por lo que x
y es la menor cota superior.
Para probar x
y = inf({x, y}), probaremos que
x y si y slo si x
y = x,
lo cual le permitir al lector aplicar un razonamiento similar al usado en el caso de la operacin
. Supongamos que x
y = y. Entonces x
y=x
(x
y) = x. Recprocamente si x
y=
x, entonces x
y = (x
y)
y = y.
29
El teorema anterior asegura que las dos definiciones de reticulado dadas anteriormente
(como poset o como estructura del tipo hL,
,
i) son equivalentes. Por esto, en lo que
sigue muchas veces utilizaremos la hiptesis L es un reticulado sin especificar si se trata de
un poset o una estructura algebraica. Una vez asumido que L es un reticulado, por lo anterior
podremos disponer tanto del orden, como de las operaciones
e
.
Ejemplo 3.3. (a) Si X es un conjunto arbitrario, entonces hP (X), , i es un reticulado. La
relacin binaria inducida por y es precisamente la inclusin, pues A = A B si y slo
si B A.
(b) Si n N entonces hDn , mcm, mcdi es un reticulado. La relacin binaria inducida es la
de divisibilidad, pues mcm(x, y) = y si y slo si x divide a y.
F(x
y) = F(x)
0 F(y).
Escribiremos hL,
,
i
0,
0 i cuando exista un isomorfismo de L en L0 .
= hL0 ,
Dado que hemos dado dos presentaciones diferentes para el mismo concepto de reticulado,
debemos adems probar que si dos reticulados son isomorfos vistos como posets, son tambin
isomorfos vistos como estructuras algebraicas.
Lema 3.3. Sean hL,
,
i y hL0 ,
0,
0 i reticulados y sean (L ) y (L0 , 0 ) los posets asociados. Entonces una funcin F : L 7 L0 es un isomorfismo entre las estructuras hL,
,
iy
0
0
0
0
0
hL ,
,
i si y slo si lo es entre los posets (L, ) y (L , ).
Demostracin. Sea F : L 7 L0 un isomorfismo de reticulados (vistos como estructuras algebraicas). Veamos que x y F(x) 0 F(y). Recordemos que x y si y slo si x
y = y.
Luego
x y F(x
y) = F(y) F(x)
0 F(y) = F(y) F(x) 0 F(y).
La recproca se deduce del Lema 2.3.
30
x
1 = 1.
Notemos que si (P, ) es un reticulado con mximo 1 y mnimo 0, entonces hP, sup, inf, 0, 1i
es un reticulado acotado. Adems en virtud del Teorema 3.2 todo reticulado acotado se obtiene
de esta forma.
Ejemplo 3.4.
(b) hN, mcm, mcdi no tiene estructura de reticulado acotado pues no tiene mximo.
/ Xi es un reticulado acotado.
(c) Si X es un conjunto finito, entonces hP (X), , , 0,
Definicin 3.5 (Complemento). Sea hL,
,
, 0, 1i un reticulado acotado. Dado a L, diremos que a es complementado cuando exista un elemento b L llamado complemento de a tal
que:
a
b = 1,
a
b = 0.
Notemos que un elemento puede no tener complementos, o tener varios complementos. Por
ejemplo en el reticulado S dado por el diagrama
u s
x s
st
@
sv @sw
@
@sy
@
@s z
1s
1s
sx
@
@
@sx0
xs
0
(a)
@
@s
0
(b)
a s
s 1 = 0c
@
@
s b @sc
@
@s
0 = 1c
as
s 1 = 0c
@
@sb
A
A
A
As
sc
0 = 1c
Es un ejercicio til comprobar que en el primer reticulado existe una nica forma de definir xc ,
para cualquier elemento x del reticulado. No ocurre lo mismo en los dems reticulados, en los
cuales tenemos distintas manera de definir xc para aquellos elementos x que poseen ms de un
complemento. Por ejemplo, en el reticulado del medio podemos definir ac = bc = c, cc = a,
pero tambin podramos definir ac = cc = b, bc = a, y esto no agota todas las posibilidades. Un
fenmeno parecido ocurre en el ltimo reticulado, debido a que a posee dos complementos.
s1
@
@
s b @sc
a s
@
@s 0
M3
as
s1
@
@sb
A
sc
A
A
As 0
N5
st
@
sv @sw
@
@sy
@
@s z
st
u s
sv
sx
M1
u s
x s
st
st
st
@
@
@
@s w u s
s v@s u s
sv @sw
w A
A
x s
@
A
As z
@s z
M2
M3
M4
st
@
@sw
u s
x s
@
@s z
M5
La figura tambin muestra los diagramas de Hasse de cinco subconjuntos parcialmente ordenados de (S, ). El subconjunto M1 es un subreticulado ya que a
b M1 , para todo a,
b M1 . El subconjunto M2 no es un subreticulado pues, en particular, no es un reticulado. El
subconjunto M3 es un subreticulado. El subconjunto M4 es por si mismo un reticulado, pero
como v
w = y e y 6 M4 , entonces no es un subreticulado. Por ltimo el conjunto M5 es
tambin un subreticulado.
El siguiente teorema resulta muy til cuando se desea determinar si un reticulado es distributivo. Slo daremos el enunciado y remitimos al libro de Davey and Priestley, Introduction
to lattices and order, Teorema 6.10 para quien desee conocer una demostracin del mismo.
34
(I),
pero por lo anterior mcm(a, b) = k.a0 .b0 y mcm(a, c) = k.a0 .c0 que son claramente diferentes
(pues al ser coprimos b0 y c0 no son iguales). Esto contradice (I).
Supongamos ahora que tenemos en Dn un subreticulado de la forma de la figura N5 del
Ejemplo 3.5, luego mcd(a, b) = mcd(a, c) = 0N5 . Como antes, llamemos k = 0M3 . Tenemos que
a = k.a0 , b = k.b0 , c = k.c0 , y adems a0 es coprimo con b0 y c0 . Por otro lado mcm(a, b) =
mcm(a, c) = 1N5 , y por las frmulas anteriores tenemos que mcm(a, b) = k.a0 .b0 y mcm(a, c) =
k.a0 .c0 , de lo cual concluimos que b0 = c0 , que implica que b = k.b0 = k.c0 = c, absurdo.
Es decir, suponiendo que Dn tiene un subreticulado de la forma M o N del Ejemplo 3.5
llegamos a un absurdo. Entonces el Teorema 3.6 implica que Dn es distributivo.
x
xc = 0
Ley de Complementacin.
/ Xi es un lgebra de Boole,
Ejemplo 3.9. Sea X un conjunto finito. Entonces hP (X), , ,c , 0,
c
donde A = X A para cada A X.
El ejemplo anterior tiene una importancia fundamental, puesto que el lgebra de Boole se
introduce para modelar abstractamente el lgebra de conjuntos. A tal punto este modelado
resulta acertado, que veremos ms adelante que toda lgebra de Boole finita es esencialmente
un lgebra de conjuntos.
Ejemplo 3.10. Veamos que Dn tiene estructura de lgebra de Boole si y slo si n es producto
de factores primos distintos (i.e., n = p1 . . . pk , con pi 6= p j si i 6= j).
Demostracin. Ya hemos visto que para todo n, hDn , mcm, mcd, 1, ni es un reticulado acotado
distributivo. Veamos en qu casos todo elemento de Dn tiene complementos. Supongamos que
n es producto de factores primos distintos. Sea x en Dn , es decir x|n, luego n = x.k, como n es
producto de factores primos distintos, es claro que x y k son coprimos, luego mcd(x, k) = 1 y
mcm(x, k) = n, es decir que x
k =0 y x
k = 1. Luego x tiene complemento. Notemos que
c
x = n/x.
Supongamos ahora que n no es producto de factores primos distintos, luego n = p2 .r para
algn p primo. Veamos que p no tiene complemento. Si lo tuviera existira y tal que mcd(p, y) =
1 y mcm(p, y) = n, ahora bien, la primera igualdad implica que p e y son coprimos y por lo
tanto p.y = mcm(p, y), es decir que p.y = n, luego y = p.r (pues n = p2 .r). Pero entonces
mcd(p, y) = mcd(p, p.r) = p y llegamos a una contradiccin.
Leyes fundamentales que el lector seguramente recordar del lgebra de conjuntos se reproducen en el lgebra de Boole.
Teorema 3.7. Sea hB,
,
,c , 0, 1i un lgebra de Boole, entonces se cumplen las leyes De
Morgan:
(x
y)c = xc
yc
(x
y)c = xc
yc
para todo x e y en B.
Demostracin. Probando que (x
y)
(xc
yc ) = 0 y (x
y)
(xc
yc ) = 1, se deduce de la unicidad del complemento que xc
yc = (x
y)c . Probemos primero que
(x
y)
(xc
yc ) = 0:
36
(x
y)
(xc
yc ) = (xc
yc )
(x
y)
( c
)
(
)
= (x
yc )
x
(xc
yc )
y
(
) ( c
)
= x
(xc
yc )
(x
yc )
y
(
) ( c
)
= (x
xc )
yc
x
(yc
y)
(
) ( c
)
= (x
xc )
yc
x
(y
yc )
Ley Conmutativa
Ley Distributiva
Ley Conmutativa
Ley Asociativa
Ley Conmutativa
= (0
yc )
(xc
0)
Ley de Complementacin
= (yc
0)
(xc
0)
Ley Conmutativa
=0
0
Ley de Absorcin
=0
Ahora probemos que (x
y)
(xc
yc ) = 1:
Ley de Idempotencia.
(
) (
)
(x
y)
(xc
yc ) = (x
y)
xc
(x
y)
yc
(
) (
)
= (y
x)
xc
(x
y)
yc
(
) (
)
= y
(x
xc )
x
(y
yc )
Ley Distributiva
Ley Conmutativa
Ley Asociativa
= (y
1)
(x
1)
Ley de Complementacin
=1
1
Ley de Absorcin
=1
Ley de Idempotencia.
F(x
y) = F(x)
0 F(y),
F(xc ) = F(x)c .
(F(x))c , para todo x B. Note que, si vemos que F(xc ) es un complemento de F(x) en B0 ,
0
entonces por la unicidad del complemento tendremos que F(xc ) = (F(x))c . Que F(xc ) es un
complemento de F(x) sale inmediatamente del hecho que F preserva las operaciones
y
.
3.7 Ejercicios
1. Considere el reticulado L2 de la Fig. 1.b.
(a) Encuentre v
x, s
v y u
v.
(b) Es L2 un reticulado con complementos?
(c) Encuentre un elemento con dos complementos.
(d) Es L2 un reticulado distributivo?
2. Considere el reticulado L1 de la Fig. 1.a.
(a) Para los elementos 1, b, c, muestre todas las formas posibles de escribirlo como
supremo. Por ejemplo, una manera sera 1 = d
c.
(b) D los complementos, si es que existen, de los siguientes elementos: a, b, d, 0.
(c) Es L1 un reticulado con complementos?
(d) Es L1 un reticulado distributivo?
s1
HHH
HH
s
sb
Hsc
a
@
@
@
@
@s e
d@s
@
@
@s 0
L1
s s
v s
s1
@
@
s t @su
@
@
w s @sx
@
@
@s y
L2
(b)
(a)
Figura 1:
4.
5.
(a) Muestre que las figuras 2.b y 2.c son diagramas de Hasse de reticulados distributivos.
(b) Es Fig. 2.b un reticulado con complementos?
(c) Es Fig. 2.c un reticulado con complementos?
6.
(a) Muestre que la Fig. 2.a es el diagrama de Hasse para (D36 , |).
(b) Es D36 un reticulado distributivo?
(c) Es D36 un reticulado con complementos?
s
@
@
s
@s
@
@
@
@
@s
s
@s
@
@
@
@
@s
@s
@
@
@s
s
@
@
s
@
@
@s
@s
@
@
@s
s
@
@
@s
(b)
(a)
s
@
s
@
@
@s
@
@s
(c)
Figura 2:
s
@
L1 :
L2 : s
s
s
@
@s
s @
s
@ @
L6 : s @
@s @
@s
@
@
@s
L3 : s
@
@
@s
s
@
@s
L4 :
s
@
s
@
@
@s
L5 : @@
s @s
@
@
@s
@
@s
s
@
@s
s
@
@
@s
s
@
L7 : s @
@s
@
@
@s
L8 :
s
@
@s
@
@s
s
@
@s
s
@
@
@s
s
s
@
@s
L9 :
s
@
s
@s
@
@
@s
@s
@
@s
Figura 3:
(c) Encuentre para Li con i = 1, 2, 3, 7, 8 un lgebra de Boole Bi tal que Li sea subreticulado de Bi .
11. Sea L un reticulado. Pruebe o refute cada una de las siguientes desigualdades:
1. x
(y
z) (x
y
z)
(x
y)
2. x
(y
z) (x
y)
(y
z)
3. x
(y
z) (x
y)
(x
y)
4. a c a
(b
c) (a
b)
c
40
5. (a
b)
(a
c)
(b
c) (a
b)
(a
c)
(b
c)
6. (a
b)
(a
c)
(b
c) (a
b)
(a
c)
(b
c)
12. Sea C un orden total (o sea una cadena). Pruebe la identidad
x
(y
z) = (x
y)
(x
z),
que demuestra la distributividad de C.
3.8 Problemas
1. Recordamos que pudimos concluir que f : L L0 es un isomorfismo de reticulados si
y slo si es un isomorfismo de posets (Lema 2.3). Lamentablemente, este resultado no
puede ser extendido a la estructura de reticulado complementado. Supongamos se define
isomorfismo de reticulados complementados como un isomorfismo f de reticulados que
satisface las ecuaciones
f (0) = 00
f (1) = 10
f (xc ) = ( f (x))c .
Encuentre dos reticulados complementados, y un iso de posets f entre ellos que no sea
iso de reticulados complementados.
2. Una mapa f : L0 L1 se dice un homomorfismo de reticulados si satisface las ecuaciones
f (x
y) = f (x)
f (y)
f (x
y) = f (x)
f (y).
De las siguientes propiedades, que son vlidas si f es un isomorfismo, diga cules son
vlidas si f es un homomorfismo.
1. f preserva orden,
2. si L0 es distributivo entonces L1 tambin lo es,
3. si x es complementado entonces f (x) tambin lo es,
4. f (L0 ) es subreticulado de L1 ,
5. si L0 tiene una copia de M3 entonces L1 tambin,
41
3. Para los puntos 1,...,5 del ejercicio anterior, determinar en que casos los falsos se vuelven
verdaderos:
a. f inyectiva,
b. f sobre,
c. f biyectiva.
4. Sean L, M dos poset. Considere el conjunto L M con la relacin definida:
(x1 , y1 ) (x2 , y2 ) sii x1 L x2 y y1 M y2 .
i. D los diagramas de Hasse de :
a. 2 3 (aqu n denota la cadena de n elementos).
b. P ({a, b}) 4.
ii. Pruebe que si L, M son reticulados entonces L M es un reticulado. D explcitamente
las operaciones
(x1 , y1 )
(x2 , y2 )
(x1 , y1 )
(x2 , y2 )
iii. Pruebe que si L, M (vistos como estructuras algebraicas) son distributivos, entonces
L M tambin lo es.
iv. Utilizando como gua lo hecho en ii defina el producto B0 B1 de las lgebras de
Boole B0 y B1 .
5. Sea L un reticulado. Pruebe que L es distributivo si y slo si para todo a L, el mapa
fa (x) = (x
a, x
a)
definido en L, con imagen en (a] [a), es un homomorfismo inyectivo.
6. En un reticulado distributivo (L,
,
, 0) el pseudocomplemento de x es el mximo
elemento z (si existe) que satisface x
z = 0. Pruebe que en las lgebras de Boole el
pseudocomplemento es exactamente el complemento.
7. Pruebe que si B es un lgebra de Boole finita entonces B es isomorfa a 2n para algn
n 1. (Aqu 2n denota al lgebra de Boole 2 ... 2).
42
4 Teoremas de representacin
El primer objetivo de este captulo ser demostrar que toda lgebra de Boole finita es isomorfa
al lgebra de subconjuntos de un conjunto finito (o sea P (X)). Luego llegaremos a un resultado
anlogo para los reticulados distributivos finitos. En este caso ya no podremos hablar del lgebra
de todos los subconjuntos de un conjunto finito (puesto que no todo reticulado distributivo
finito es complementado), pero podremos establecer un resultado similar quedndonos con un
subreticulado de tal lgebra de conjuntos.
Desde el Teorema anterior, concluimos que las dos lgebras de Boole no triviales ms chicas
son P ({a}) y P ({a, b}), cuyos diagramas son
{a,
s b}
s{a}
{a} s
@
@
@s{b}
@
@s
0/
0/
Luego, le siguen en orden creciente P (X), con |X| = 3, 4, .... El caso |X| = 3 tiene an un
diagrama fcil de dibujar:
s
@
s @
@s
s
@ @
@
s @
@s @s
@
@
@s
Por ltimo, el Teorema anterior nos permite responder la siguiente pregunta: Para qu
nmeros naturales n existe un lgebra de Boole B tal que |B| = n? La respuesta es: para todo
nmero de la forma 2k , con k = 0, 1, ....
Antes de pasar al estudio de los reticulados distributivos, es natural preguntarse si el Teorema anterior puede extenderse a las lgebras de Boole infinitas. Lamentablemente, la respuesta
es negativa, como lo demuestra el siguiente resultado.
Lema 4.5. Existe un lgebra de Boole infinita que no es isomorfa P (X), para ningn X.
Demostracin. Un subconjunto de nmeros naturales se dice cofinito si su complemento es
finito. Definamos
B = {X N : X es finito o cofinito}.
Note que las operaciones , y c estn bien definidas sobre B puesto que
X B , Y B (X Y ) B ,
X B , Y B (X Y ) B ,
X B Xc B.
/ N,c i es claramente un lgebra de Boole.
Luego, la estructura hB , , , 0,
45
Veamos que no puede ser isomorfa a P (X), para ningn X. Para esto veremos que es
imposible encontrar una funcin biyectiva entre B y P (X), cualquiera sea el X. Si X es finito,
entonces P (X) es finito, por lo tanto es imposible encontrar tal biyeccin puesto que B es
infinito.
El caso X infinito requiere un poco ms de trabajo. Primero notemos que el conjunto B es
infinito y numerable (o sea que puede ponerse en correspondencia biyectiva con los nmeros
naturales). En efecto, es sabido que {X N : X es finito} es numerable, y el mapa X X c es
una biyeccin entre {X N : X es finito} y {X N : X es cofinito}. Luego B resulta numerable
puesto que es unin de dos conjunto numerables.
Por otro lado, es sabido que si X es un conjunto infinito, entonces P (X) es un conjunto
infinito no numerable, luego no puede ponerse de ninguna manera en correspondencia con B ,
que es numerable.
a s
P
@
@s
0
Denotaremos mediante D (P) a la familia de todos los subconjuntos decrecientes de P:
D (P) = {D P : D es decreciente}.
46
Si hL,
,
, 0, 1i es un reticulado acotado, denotaremos
Irr(L) = {i L : i es
-irreducible}.
bs
sa
@
@
s c @s d
@
@
@se
L 1 = M3
s4
s3
a2 s
s2
a5 s
s1
L2
47
s a1
@
sa3@sa4
sa6 sa7
@
@s a8
L3
At(L2 ) = {2}
At(L3 ) = {a5 , a6 , a7 },
Irr(L3 ) = {a2 , a4 , a5 , a6 , a7 }.
Si X es un conjunto finito, entonces ya hemos mencionado que los subconjuntos que contienen un solo elemento son los tomos de P (X). Es un buen ejercicio comprobar en algunos
casos (|X| = 2, 4, 8) que estos adems son los nicos elementos irreducibles de P (X). La nocin de
-irreducible
si
y slo si x es un tomo.
Demostracin. Como ya se observ anteriormente todo tomo es
-irreducible.
Supongamos
ahora que x Irr(B) y sea y B tal que 0 y < x. Veremos que y = 0. Tenemos
x=x
1=x
(y
yc ) = y
(x
yc )
En consecuencia x x
yc , lo cual implica que x = x
yc , es decir x yc . Pero entonces
tenemos que y xc , lo cual nos dice que y = 0, ya que y < x.
Nuestro prximo objetivo es demostrar que todo reticulado distributivo finito es isomorfo al
reticulado de los decrecientes de un poset P. Seguiremos exactamente los pasos que efectuamos
para el caso de las lgebras de Boole. En particular, el candidato a ser el poset (P, ) asociado
la reticulado L es (Irr(L), ), donde es el orden heredado de L.
Vamos ahora a probar una serie de lemas que nos permitirn estructurar para los reticulados
una demostracin similar a la desarrollada para el caso de las lgebras de Boole.
Lema 4.7. Sea hL,
,
, 0, 1i un reticulado acotado distributivo y sea x Irr(L).
x1 , ..., xn L y x x1
x2
...
xn , entonces x xi , para algn i = 1, ..., n.
Si
( pues x x1
x2 )
= (x
x1 )
(x
x2 )
48
( pues L es distributivo).
Despus de esta maratn de lemas estamos en condiciones de probar nuestro (mejor dicho,
de Birkhoff) teorema de representacin para reticulados distributivos finitos.
Teorema 4.10 (Teorema de representacin de Birkhoff). Sea hL,
,
, 0, 1i un reticulado
acotado distributivo finito, y sea P = Irr(L). Entonces la funcin
F : L D (P)
x {y P : y x}
/ Pi.
es un isomorfismo entre hL,
,
, 0, 1i y hD (P), , , 0,
Demostracin. Sea Dx = {i Irr(L) : i x}. Para ver que el mapa definido mediante F(x) = Dx
es una biyeccin entre L y D (Irr(L)), repetimos exactamente el argumento hecho para el caso
de las lgebras de Boole, pero usando en este caso el Lema 4.9.
Veamos ahora que F es un isomorfismo. Hemos probado en el captulo anterior que F es
isomorfismo de reticulados distributivos acotados si y slo si es isomorfismo de posets. Luego,
resta verificar:
x y Dx Dy ,
Aqu nuevamente repetimos el argumento hecho para el caso de las lgebras de Boole.
Por ejemplo, consideremos el siguiente reticulado S.
cs
a s
s1
@
@sd
@
@sb
@
@s 0
S
Aqu Irr(S) = {a, b, d}. La familia de subconjuntos decrecientes de Irr(S) es
(
)
/ {a}, {b}, {b, d}, {a, b}, {a, b, d}} .
D Irr(S) = {0,
La correspondencia F dada por el Teorema 4.10 es:
0 0/
a {a}
b {b}
d {b, d}
c {a, b}
1 {a, b, d}
50
4.3 Ejercicios
1. Considere los reticulados S, T y U de la siguiente figura:
as
s1
@
@
@sb
@
@
d s @s c
@
@
@s 0
se
Bs
sE
@
@
s C @sD
@
@
@s A
sw
sz
sy
sx
S
(a) Calcule el conjunto de tomos de cada reticulado.
(b) Calcule el conjunto de irreducibles de cada reticulado.
(c) Tiene alguno de esos reticulados elementos irreducibles que no sean tomos?
2.
3.
s
@
L1 :
L2 : s
s
s
@
@s
s
s @
@ @
L6 : s @
@s
@s @
@
@
@s
L3 : s
@
@
@s
s
@
@s
L4 :
L5 : @@
s @s
@
@
@s
@
@s
s
@
@s
s
@
@
@s
s
@
L7 : s @
@s
@
@
@s
s
@
s
@
@
@s
L8 :
s
@
@s
@
@s
s
@
@s
s
@
@
@s
s
s
@
@s
L9 :
s
@
s
@s
@
@
@s
@s
@
@s
Figura 4:
(a) Halle en cada caso At(L).
(b) Halle en cada caso Irr(L).
(c) Dibuje en cada caso el diagrama de Hasse de P (At(L)).
(d) Dibuje en cada caso el diagrama de Hasse de D (Irr(L).
(e) Determine cules son lgebras de Boole.
5. Para cada uno de los reticulados de la Fig. 4, determine cuales satisfacen las hiptesis del
Teorema 4.4. En tal caso dar explcitamente el mapa F.
6. Para cada uno de los reticulados de la Fig. 4, determine cuales satisfacen las hiptesis del
Teorema 4.10. En tal caso dar explcitamente el mapa F. Qu propiedades tiene?
7. Para cada uno de los reticulados de la Fig. 4, utilice el Teorema 4.10 para determinar si
el reticulado es distributivo o no.
52
4.4
Problemas
5 Filtros primos
En esta seccin vamos a estudiar nocin de filtro primo, que tiene fundamental importancia en
la teora de reticulados distributivos. Los conceptos y resultados vertidos en esta seccin ser
utilizados en Lgica.
Vamos a dar ahora las definiciones ms importantes de esta seccin. En esta seccin L ser
siempre un reticulado distributivo. Un subconjunto no vaco F L se dice filtro si es creciente
y cerrado para el
, o sea:
(1) x F , x y implica y F,
(2) x F , y F implican x
yF .
Un filtro P se dice propio si est contenido estrictamente en L (o sea, si visto como conjunto
es distinto de L). Un filtro propio P se dice primo si cada vez que x
y P se tiene que x P
o y P. Por ltimo un filtro F se dice maximal si no existe otro filtro propio Q (distinto de F)
que lo contenga. Esto es lo mismo que decir que F es un elemento maximal del poset formado
por todos los filtros propios.
Vamos a dar ahora algunos ejemplos.
(1) Si C es una cadena, o sea un orden total, entonces para cada x C se tiene que
[x) = {z C : z x}
es un filtro, y [x) ser primo siempre que x no sea el menor elemento de C.
(2) Consideremos el reticulado distributivo (P (X), , ). Entonces para cada Z X se tiene
que
F = {Y X : Z Y },
o sea, la familia de todos los conjuntos que contienen a Z es un filtro de P (X). Tal filtro ser
/ y ser primo si y slo si Z tiene un slo elemento. En efecto, si Z tiene
propio cuando Z 6= 0,
ms de un elemento entonces es factible escribir Z = Z1 Z2 , con Z1 6= Z 6= Z2 , con lo que se
demuestra que F no es primo. Por otro lado, si Z = {x} y Y F entonces Y = Y1 Y2 implica
x Y1 o x Y2 , lo que indica que Y1 F o Y2 F.
Por otro lado es fcil ver que si Z tiene un elemento entonces F es maximal.
(3) Si L es cualquier reticulado distributivo entonces F = L es un filtro que no es propio, y
por lo tanto no es primo. Por otro lado, si a L entonces
[a) = {x L : x a}
54
es un filtro, llamado principal. Tenemos que [a) es propio salvo que a sea el mnimo elemento
de L. Note adems que si L es finito entonces todo filtro F es principal. En efecto, si F =
{x1 , ..., xn } entonces
F = [x1
...
xn ).
Lema 5.1. Sea L un reticulado distributivo. [a) es un filtro primo si y slo si a es joinirreducible. En consecuencia si L es finito entonces todo filtro primo es de la forma [a), con
a Irr(L).
Demostracin. Supongamos que [a) es primo, y sea x, y L tales que x
y = a. Entonces
x
y [a), y por lo tanto x [a) o y [a). Como tanto x como y son menores o iguales a a se
tiene que x = a o y = a. Luego hemos probado que a es join-irreducible.
Supongamos ahora que a es join-irreducible. Sea x, y L tales que x
y [a). Entonces
ax
y, o sea
a = (x
y)
a = (x
a)
(y
a).
Luego como a es join-irreducible se tiene a = x
a o a = y
a, o sea x [a) o y [a). Note
que en esta parte de la prueba es fundamental la propiedad de distributividad.
La prueba del siguiente lema se deja como ejercicio.
Lema 5.2. Sea L un reticulado distributivo. [a) es un filtro maximal si y slo si a es tomo. En
consecuencia si L es finito entonces todo filtro maximal es de la forma [a), con a At(L).
Corolario 5.3. Sea B un lgebra de Boole finita entonces todo filtro primo es un filtro maximal
de la forma [a), con a At(B).
De este corolario se desprende el ejemplo (2) en donde se describen los filtros primos de
P (X). Veremos ms adelante que en las lgebras de Boole los filtros primos y los maximales
coinciden. Esto no pasa en los reticulados distributivos en general. Obsrvese el ejemplo (1) de
las cadenas. All todo elemento x C distinto de 0 origina un filtro primo [x) que ser maximal
slo cuando x sea un tomo. Pero en todo reticulado distributivo vale el siguiente resultado.:
Lema 5.4. Sea L un reticulado distributivo y sea F un filtro maximal de L. Entonces F es
primo.
Demostracin. Supongamos que F es maximal y que x, y son elementos de L tales que x
/Fy
x
y F. Veamos que y F. Sea
Q = {z L : z y
f para algn f F}
55
Como y x
y P se tiene que y P. Luego hemos demostrado que para todo par x, y L
tales que x
y P, se tiene x P o y P. Esto concluye la demostracin de i.
56
El siguiente teorema es una herramienta fundamental de la Teora de Reticulados Distributivos, y se usar en las pruebas de completitud lgica.
Teorema 5.6 (del Filtro Primo). Si , son subconjuntos del reticulado distributivo L, y para
todo x1 , ..., xn , y1 , ..., ym se tiene
x1
...
xn
/ y1
...
ym ,
/
entonces existe un filtro primo P tal que P y P = 0.
En particular, en el caso = {x}, = {y} obtenemos el resultado: si x
/ y entonces existe
un filtro primo P tal que x P y y
/ P.
Note que por el Lema 5.1, para el caso finito este hecho se traduce en el resultado siguiente,
ya probado:
si y
/ x entonces existe un join irreducible j tal que j y y j
/ x.
De hecho la nocin de filtro primo reemplaza a la nocin de join irreducible en el caso
infinito en el cual estos elementos no son suficientemente expresivos.
Por ltimo estudiaremos la relacin entre filtros primos y homomorfismos. Sean L, R dos
reticulados. Un homomorfismo de reticulados es un mapa f : L R tal que:
f (x
y) = f (x)
f (y)
f (x
y) = f (x)
f (y)
para todo x L.
Denotaremos mediante 2 al reticulado formado por los elementos 0 y 1, satisfaciendo 0 < 1.
Existe una estrecha relacin entre los filtros primos de un reticulado distributivo y los homomorfismos sobre el reticulado 2.
Lema 5.7. Sea L un reticulado distributivo. Si f : L 2 es un homomorfismo entonces
f 1 (1) = {x L : f (x) = 1}
es un filtro primo. Adems, si P es un filtro primo de L entonces el mapa definido
{
1
xP
f (x) =
0
x
/P
es un homomorfismo.
57
5.1 Ejercicios
1. Encuentre todos los filtros del reticulado D90 . Luego determine cuales son primos.
2. Encuentre todos los filtros primos de 3 4.
3. Sea F un filtro en el reticulado distributivo L y sea x L tal que x
/ F. Pruebe que
G = {a L : a x
f para algn f F}
es un filtro, y adems G es el filtro ms chico que contiene a F y a x (o sea, si H es un
filtro que contiene a F {x} entonces H contiene a G).
4. Sea L un reticulado distributivo, y supongamos que x, y son dos elementos tales que y
cubre a x.Pruebe que
P = {z L : (z
x)
y = y}
es un filtro primo. Determine tal filtro primo en el reticulado P ({a, b, c}) con x = {a},
y = {a, c}.
5. Mostrar con un contraejemplo que el Lema 5.1 no vale para reticulados no distributivos.
como , simultneamente.
Note que todo reticulado completo L posee necesariamente un menor elemento 0 =
L, y
un mayor elemento, 1 =
L. Por otro lado todo reticulado finito es completo.
Lema 6.1. Sea P un poset. Son equivalentes:
i. P es un reticulado completo.
ii. Existe
S para todo subconjunto S de P.
iii. P tiene mayor elemento 1 y existe
S para todo subconjunto no vaco S de P.
58
T
(
)
^
V
V
(S T ) = ( S)
T .
La prueba del lema se deja como ejercicio.
Para la representacin de los reticulados completos como lgebras de conjuntos necesitamos el siguiente concepto.
Definicin 6.1. Sea X cualquier conjunto. Una funcin C : P (X) P (X) se dice un operador
clausura sobre X si para todo A, B X se cumple:
1. A C(A),
2. A B C(A) C(B),
3. C(C(A)) = C(A).
Sea C un operador clausura sobre X. Diremos que un subconjunto A de X es cerrado si
C(A) = A. Note que el conjunto total X es cerrado, por la propiedad 1. Una propiedad importante de los operadores clausura es que la interseccin de cerrados es cerrada. No ocurre
necesariamente lo mismo con la unin.
Lema 6.3. La interseccin de una familia arbitraria de cerrados es tambin un cerrado. En
smbolos, si {A}iI es una familia de subconjuntos cerrados de X, y
B = iI Ai ,
entonces C (B) = B.
Demostracin. Por la condicin 1, basta ver que C (B) B. Para cada i I se tiene que B Ai ,
y por la condicin 2 tenemos
C(B) C(Ai ) = Ai .
59
Luego
C(B) iI Ai = B.
/ En tal caso B = X
Notemos que un caso particular contemplado en el Lema es es caso I = 0.
que por la condicin 1 es claramente un cerrado.
Asociado a un operador clausura tenemos siempre un reticulado completo. En efecto, sea C
un operador clausura sobre X y sea C el conjunto de los subconjuntos cerrados de X. Consideremos la estructura de poset de C dada por la relacin .
Vamos a dar ahora algunos ejemplos.
1. Sea P un poset, y sea C el operador sobre P definido
C(X) = {z P : z x, para algn x X}.
Es fcil verificar que C es un operador clausura. Los cerrados del operador clausura son
los subconjuntos crecientes de P. Este operador clausura satisface claramente que la unin
de cerrados es cerrado.
2. Sea L un reticulado y sea C el operador clausura en L definido de la siguiente manera:
para cada subconjunto X del reticulado, C(X) es el subreticulado ms chico que contiene
a X. Entonces C es un operador clausura, y los cerrados del operador C son exactamente
los subreticulados de L. Claramente este operador no satisface que la unin de cerrados
es cerrado
Corolario 6.4. (Del Lema 6.1) C es un reticulado completo.
Demostracin. Dado que la interseccin de una familia arbitraria de miembros de C est en
C , tenemos que el nfimo de S existe para todo S C . Por el Lema 6.1 tenemos que C es un
reticulado completo, y la operacin
coincide con el operador .
Si nos fijamos en la prueba del Lema 6.1 podremos determinar inmediatamente como est
definida la operacin
en C . En efecto, sea S = {Ai }iI una familia de cerrados. Entonces
S = S1 ,
donde
S1 = {B C : Ai B para todo i I}.
Claramente Ai S1 , lo que implica
iI Ai S1 .
60
6.1 Ejercicios
1. Sea P un poset, y sea C el operador sobre P definido
C(X) = {z P : z x, para algn x X}.
Pruebe que C es un operador clausura y que los cerrados de C son exactamente los subconjuntos crecientes.
2. Sea L un reticulado y sea C el operador clausura en L definido de la siguiente manera:
para cada subconjunto X del reticulado, C(X) es el subreticulado ms chico que contiene
a X. Pruebe que C es un operador clausura, y los cerrados del operador C son exactamente
los subreticulados de L.
61