5.2 Reticulados par

El concepto de reticulado puede ser abordado en dos formas distintas, una geometrica, via posets, la cual daremos ahora y la otra algebraica, via estructuras algebraicas definidas ecuacionalmente, la cual daremos en la seccion siguiente. Como veremos mas adelante ambas definiciones son equivalentes.

Por un reticulado par entenderemos un poset (P,) el cual cumple que para todo a,bP, existen (en (P,)) sup({a,b}) e inf({a,b}). Algunos ejemplos:

  1. (E1) El poset (N,D) es un reticulado par (D={(x,y)N2:x|y}) ya que dados x,yN, hemos visto que mcd(x,y) y mcm(x,y) son infimo y supremo del conjunto {x,y} en (N,D)

  2. (E2) El poset (P(ω),) es un reticulado par (={(A,B)P(ω)2:AB}) ya que dados A,BP(ω), hemos visto que AB y AB son infimo y supremo del conjunto {A,B} en (P(ω),)

Recordemos que dado un conjunto A, por una operacion binaria sobre A entenderemos una funcion cuyo dominio es A2 y cuya imagen esta contenida en A. En un reticulado par (P,) tenemos dos operaciones binarias naturalmente definidas: s:P2P(a,b)sup({a,b})                        i:P2P(a,b)inf({a,b}) Escribiremos asb en lugar de s(a,b) y aib en lugar de i(a,b).

A continuacion nos dedicaremos a probar varias propiedades agradables que se cumplen en un reticulado par. Recomendamos al lector que en algunos casos practique encontrando pruebas perfectas. Esto lo entrenara en su capacidad de ser un matematico maduro, la cual sera crucial a la hora de hacer logica ya que la logica estudia (modeliza) matematicamente el funcionar de un matematico y sera muy practico que cada uno cuente con un matematico maduro en su propia mente.

5.2. Dado un reticulado par (L,) se cumplen las siguientes.

  1. (1) xx s y, cualesquiera sean x,yL

  2. (2) xiyx, cualesquiera sean x,yL

  3. (3) xsx=x, cualesquiera sean xL

  4. (4) xix=x, cualesquiera sean xL

  5. (5) xsy=ysx, cualesquiera sean x,yL

  6. (6) xiy=yix, cualesquiera sean x,yL

Proof. Prueba perfecta de (1). Sean a,bL, fijos. Por definicion de s tenemos que a s b=sup({a,b}). O sea que por definicion de supremo de un conjunto tenemos que a s b es cota superior del conjunto {a,b} en (L). O sea que aa s b. Ya que a,b eran arbitrarios, hemos probado que vale (1).  


Prueba perfecta de (3). Sea aL, fijo. Por definicion de s tenemos que a s a=sup({a,a})=sup({a}). O sea que debemos probar que a=sup({a}). Es claro que a es cota superior de {a}. Ademas es claro que si z es cota superior de {a}, entonces za. O sea que por definicion de supremo de un conjunto tenemos que a=sup({a}). O sea que hemos probado que asa=a. Ya que a era arbitrario, hemos probado que vale (3).

Dejamos al lector completar la prueba.

5.3. Dado un reticulado par (L,) se tiene que:

  1. (1) xy si y solo si xsy=y, cualesquiera sean x,yL

  2. (2) xy si y solo si xiy=x, cualesquiera sean x,yL

Proof. Ejercicio  


Las siguientes dos propiedades son conocidas como leyes de absorcion (por que?)

5.4. Dado un reticulado par (L,), se tiene que:

  1. (1) xs(xiy)=x, cualesquiera sean x,yL

  2. (2) xi(xsy)=x, cualesquiera sean x,yL

Proof. (1). Sean a,bL, fijos. Por definicion de i debemos probar que sup({a,aib})=a. O sea debemos probar que a es la menor cota superior de {a,aib}. Por un lema anterior tenemos que aiba y obviamente se da aa, lo cual nos dice que a es cota superior de {a,aib}. Es claro que es menor o igual que cualquier otra cota superior. O sea que hemos probado que as(aib)=a, lo cual ya que a,b eran elementos arbitrarios nos dice que vale (1).  


(2) es dejada al lector.

Antes de seguir dando propiedades basicas de los reticulados par daremos tres reglas que seran de suma utilidad para encontrar pruebas. Dejamos al lector justificar matematicamente la validez de dichas reglas.

Regla Igualdad en Posets

Si ud esta intentando probar que en un poset (P,) dos elementos x,y son iguales, desdoble su tarea en las dos tareas siguientes:

  1. - Probar que xy

  2. - Probar que yx

Regla Superar un Supremo

Si ud esta intentando probar que en un reticulado par (L,) se da que zxsy, desdoble su tarea en las dos tareas siguientes:

  1. - Probar que zx

  2. - Probar que zy

Regla Ser Menor o Igual que un Infimo

Si ud esta intentando probar que en un reticulado par (L,) se da que zxiy, desdoble su tarea en las dos tareas siguientes:

  1. - Probar que zx

  2. - Probar que zy

Ambas operaciones s e i son asociativas, es decir:

5.5. Dado un reticulado par (L,), se tiene que:

  1. (1) (xsy)sz=xs(ysz), cualesquiera sean x,y,zL

  2. (2) (xiy)iz=xi(yiz), cualesquiera sean x,y,zL

Proof. (1) Sean a,b,cL, fijos. Usaremos la regla Igualdad en Posets. Primero probaremos (asb)scas(bsc). Para esto usaremos la regla Superar un Supremo. Es decir que debemos probar que (asb)as(bsc)cas(bsc) Para la primer desigualdad usaremos tambien la regla Superar un Supremo, por lo cual deberemos probar aas(bsc)bas(bsc) O sea que en suma debemos probar las siguientes desigualdades aas(bsc)bas(bsc)cas(bsc) La primera es directa de un lema anterior, y para la segunda notese que el mismo lema nos dice que b(bsc) y (bsc)as(bsc) por lo cual solo resta usar que es transitiva. La tercera es completamente analoga a la segunda.

En forma similar se prueba que as(bsc)(asb)sc. Es decir que por la regla Igualdad en Posets tenemos que as(bsc)=(asb)sc. Ya que a,b,c eran elementos arbitrarios hemos probado que vale (1).

(2) es dejada como ejercicio.  


El siguiente lema prueba que en un reticulado par las operaciones s e i preservan el orden.

5.6. Dado un reticulado par (L,), se tiene que:

  1. (1) xz e yw implica xs yzs w, cualesquiera sean x,y,z,wL

  2. (2) xz e yw implica xiyziw, cualesquiera sean x,y,z,wL

Proof. (1) Sean a,b,c,dL, elementos fijos. Supongamos que ac e bd. Probaremos que entonces as bcs d. Por la regla Superar un Supremo basta con probar que acsdbcsd Para ver que acsd notese que ac (por hipotesis) y ccsd, por lo cual podemos usar que es transitiva. La desigualdad bcsd se prueba en forma similar. O sea que hemos probado que ac y bd implica as bcs d Ya que a,b,c,d eran elementos arbitrarios hemos probado que vale (1).

(2) es dejada al lector  


5.7. Dado un reticulado par (L,), se tiene que:

  1. - (xiy)s(xiz)xi(ysz), cualesquiera sean x,y,zL

Proof. Sean a,b,cL, elementos fijos. Por la regla Superar un Supremo, basta con probar que aibai(bsc)aicai(bsc) Pero estas dos desigualdades pueden ser facilmente probadas aplicando (2) del lema anterior. O sea que (aib)s(aic)ai(bsc), de lo cual se deduce nuestro lema ya que a,b,c eran elementos arbitrarios.  


Iterar supremos (resp. infimos) da supremos (resp. infimos), es decir:

5.8. Sea (L,) un reticulado par. Se tiene que (...(x1sx2)s...)sxn=sup({x1,...,xn})(...(x1ix2)i...)ixn=inf({x1,...,xn}) cualesquiera sean los elementos x1,...,xnL, con n2.

Proof. Por induccion en n. Claramente el resultado vale para n=2. Supongamos vale para n y veamos entonces que vale para n+1. Sean a1,...,an+1L, fijos. Por hipotesis inductiva tenemos que

  1. (1) (...(a1sa2)s...)san=sup({a1,...,an})

Veamos entonces que

  1. (2) ((...(a1sa2)s...)san)san+1=sup({a1,...,an+1})

Usando (1), es facil ver que ((...(a1sa2)s...)san)san+1 es cota superior de {a1,...,an+1}. Supongamos que z es otra cota superior. Ya que z es tambien cota superior del conjunto {a1,...,an}, por (1) tenemos que (...(a1sa2)s...)sanz Pero entonces ya que an+1z, tenemos que ((...(a1sa2)s...)san)san+1z con lo cual hemos probado (2). Ya que a1,...,an+1L eran elementos arbitrarios, hemos probado que vale el enunciado del lema para n+1.  


Dado que la distribucion de parentesis en una expresion de la forma (...(x1sx2)s...)sxn es irrelevante (ya queses asociativa), en general suprimiremos los parentesis.

Una regla que hemos usado constantemente es la siguiente:

Regla Igualar un Supremo

  1. Si ud esta intentando probar que en un poset (P,) se da que x=sup(S), desdoble su tarea en las dos tareas siguientes:

    1. - Probar que x es cota superior de S

    2. - Probar que si z es una cota superior de S, entonces xz

Concluimos la seccion con una regla que es una de las mas usadas por los matematicos:

Regla del Director de Cine Generoso

  1. Si ud esta en el medio de una prueba y puede introducir un nuevo actor, hagalo!

Obviamente esta regla necesita explicacion. La cosa es asi, muchas veces en el desarrollo de una demostracion probamos que existe al menos un objeto con cierta propiedad P. Por supuesto que en general puede haber varios objetos con dicha propiedad P. Entonces la Regla del Director de Cine Generoso nos dice que introduzcamos un nuevo objeto en nuestro discurso diciendo “sea a un elemento fijo tal que cumple P”. Este nuevo actor a muchas veces nos ayuda a seguir con la demostracion. Cabe destacar que la Regla Pertenecer a la Imagen dada al final de la seccion anterior es un caso particular de la Regla del Director de Cine Generoso (por que?)

Las seis reglas consideradas estan muy vinculadas al concepto de inteligencia artificial ya que si quisieramos hacer un probador automatico del tipo de teoremas hechos en esta seccion, claramente estas reglas le darian una alternativa de busqueda que podria (y de hecho en muchos casos lo hace) dar el camino adecuado para obtener la prueba de un enunciado dado.