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 el cual cumple que para todo , existen (en ) e . Algunos ejemplos:
(E1) El poset es un reticulado par () ya que dados , hemos visto que y son infimo y supremo del conjunto en
(E2) El poset es un reticulado par () ya que dados , hemos visto que y son infimo y supremo del conjunto en
Recordemos que dado un conjunto , por una operacion binaria sobre entenderemos una funcion cuyo dominio es y cuya imagen esta contenida en . En un reticulado par tenemos dos operaciones binarias naturalmente definidas: Escribiremos en lugar de y en lugar de .
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 se cumplen las siguientes.
(1) , cualesquiera sean
(2) , cualesquiera sean
(3) , cualesquiera sean
(4) , cualesquiera sean
(5) , cualesquiera sean
(6) , cualesquiera sean
Proof. Prueba perfecta de (1). Sean , fijos. Por definicion de tenemos que . O sea que por definicion de supremo de un conjunto tenemos que es cota superior del conjunto en . O sea que . Ya que eran arbitrarios, hemos probado que vale (1).
Prueba perfecta de (3). Sea , fijo. Por definicion de tenemos que . O sea que debemos probar que . Es claro que es cota superior de . Ademas es claro que si es cota superior de , entonces . O sea que por definicion de supremo de un conjunto tenemos que . O sea que hemos probado que . Ya que era arbitrario, hemos probado que vale (3).
Dejamos al lector completar la prueba.
5.3. Dado un reticulado par se tiene que:
(1) si y solo si , cualesquiera sean
(2) si y solo si , cualesquiera sean
Proof. Ejercicio
Las siguientes dos propiedades son conocidas como leyes de absorcion (por que?)
5.4. Dado un reticulado par , se tiene que:
(1) , cualesquiera sean
(2) , cualesquiera sean
Proof. (1). Sean , fijos. Por definicion de debemos probar que . O sea debemos probar que es la menor cota superior de . Por un lema anterior tenemos que y obviamente se da , lo cual nos dice que es cota superior de . Es claro que es menor o igual que cualquier otra cota superior. O sea que hemos probado que , lo cual ya que 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 dos elementos son iguales, desdoble su tarea en las dos tareas siguientes:
- Probar que
- Probar que
Regla Superar un Supremo
Si ud esta intentando probar que en un reticulado par se da que , desdoble su tarea en las dos tareas siguientes:
- Probar que
- Probar que
Regla Ser Menor o Igual que un Infimo
Si ud esta intentando probar que en un reticulado par se da que , desdoble su tarea en las dos tareas siguientes:
- Probar que
- Probar que
Ambas operaciones e son asociativas, es decir:
5.5. Dado un reticulado par , se tiene que:
(1) , cualesquiera sean
(2) , cualesquiera sean
Proof. (1) Sean , fijos. Usaremos la regla Igualdad en Posets. Primero probaremos . Para esto usaremos la regla Superar un Supremo. Es decir que debemos probar que Para la primer desigualdad usaremos tambien la regla Superar un Supremo, por lo cual deberemos probar O sea que en suma debemos probar las siguientes desigualdades La primera es directa de un lema anterior, y para la segunda notese que el mismo lema nos dice que por lo cual solo resta usar que es transitiva. La tercera es completamente analoga a la segunda.
En forma similar se prueba que . Es decir que por la regla Igualdad en Posets tenemos que . Ya que eran elementos arbitrarios hemos probado que vale (1).
(2) es dejada como ejercicio.
El siguiente lema prueba que en un reticulado par las operaciones e preservan el orden.
5.6. Dado un reticulado par , se tiene que:
(1) e implica , cualesquiera sean
(2) e implica , cualesquiera sean
Proof. (1) Sean , elementos fijos. Supongamos que e . Probaremos que entonces . Por la regla Superar un Supremo basta con probar que Para ver que notese que (por hipotesis) y , por lo cual podemos usar que es transitiva. La desigualdad se prueba en forma similar. O sea que hemos probado que Ya que eran elementos arbitrarios hemos probado que vale (1).
(2) es dejada al lector
5.7. Dado un reticulado par , se tiene que:
- , cualesquiera sean
Proof. Sean , elementos fijos. Por la regla Superar un Supremo, basta con probar que Pero estas dos desigualdades pueden ser facilmente probadas aplicando (2) del lema anterior. O sea que , de lo cual se deduce nuestro lema ya que eran elementos arbitrarios.
Iterar supremos (resp. infimos) da supremos (resp. infimos), es decir:
5.8. Sea un reticulado par. Se tiene que cualesquiera sean los elementos , con .
Proof. Por induccion en . Claramente el resultado vale para . Supongamos vale para y veamos entonces que vale para . Sean , fijos. Por hipotesis inductiva tenemos que
(1)
Veamos entonces que
(2)
Usando (1), es facil ver que es cota superior de . Supongamos que es otra cota superior. Ya que es tambien cota superior del conjunto , por (1) tenemos que Pero entonces ya que , tenemos que con lo cual hemos probado (2). Ya que eran elementos arbitrarios, hemos probado que vale el enunciado del lema para .
Dado que la distribucion de parentesis en una expresion de la forma es irrelevante (ya quees asociativa), en general suprimiremos los parentesis.
Una regla que hemos usado constantemente es la siguiente:
Regla Igualar un Supremo
Si ud esta intentando probar que en un poset se da que , desdoble su tarea en las dos tareas siguientes:
- Probar que es cota superior de
- Probar que si es una cota superior de , entonces
Concluimos la seccion con una regla que es una de las mas usadas por los matematicos:
Regla del Director de Cine Generoso
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 Por supuesto que en general puede haber varios objetos con dicha propiedad Entonces la Regla del Director de Cine Generoso nos dice que introduzcamos un nuevo objeto en nuestro discurso diciendo “sea un elemento fijo tal que cumple ”. Este nuevo actor 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.