Algebras Booleanas

Y la l ogica matem atica

1 Motivaci on
La denici on de una sem antica para los lenguajes de primer orden no solo cumple con el objetivo central de crear un lenguaje para hablar de los objetos matem aticos en cuesti on, sino que dota al lenguaje de una estructura l ogica bastante rica. Las relaciones de consecuencia l ogica y consecuencia tautol ogica imponen entre las f ormulas una organizaci on que no es m as que la concretizaci on de la l ogica cl asica intuitiva. Las algebras booleanas son una abstracci on de este g enero de estructuras, en donde la l ogica cl asica se encuentra plasmada en las relaciones que cumplen las operaciones del algebra. En esta secci on presentamos (de manera informal, error que se corregir a en la seccion 3) como es que se induce esta estructura sobre las f ormulas. En primer lugar damos una lista de denici ones para estandarizar y recordar. Denici on Sea una f ormula, A una estructura y s una asignaci on (s N A). Se dice que s satisface a si A [s]. Denici on Sea una f ormula y un subconjunto de f ormulas. Se dice que es una consecuencia l ogica de si toda estructura A y toda asignaci on s N A que satisface las formulas de , tambi en satisface a . Se denota . Denici on En el caso en que = { } se escribe . y . Se

Denici on Dos f ormulas y son logicamente equivalentes si denota

Denici on Una f ormula es universalmente v alida, si toda asignaci on de toda estructura la satisface. La consecuencia l ogica es de capital importancia, lleva codicada la informaci on acerca de los raz onamientos logicamente v alidos (si se cumple esto entonces seguramente esto otro). Ademas si dos f ormulas son logicamente equivalentes, es lo mismo armar que se cumple una a que se cumpla la otra. Si estamos tratando una teor a axiom atica, nos interesan las f ormulas que son consecuencia l ogica del conjunto de axiomas pues son estas f ormulas las que deber an de ser ciertas en cualquier modelo de nuestra teor a, son las verdades matem aticas del objeto de estudio.

La relaci on de logicamente equivalente es una relaci on de equivalencia. Aqu es donde nace la algebreizaci on del lenguaje, pues si consideramos a las f ormulas m odulo la relaci on de logicamente equivalente, es decir el conjunto F RM / = {[] | F RM }, es posible darle la forma de una algebra booleana, llamada el algebra de Lindenbaum para las universalmente v alidas. Cuestiones a cerca de la estructura proposicional de las f ormulas pueden ser estudiadas a trav es del concepto de los bloques y las asignaciones de verdad. Los bloques representan proposiciones en el sentido cl asico, esto es que al ser interpretadas (en cualquier lugar, ya no solo en las estructuras matem aticas) son verdaderas o falsas. Es por esto que se dene naturalmente las asignaciones de verdad: Denici on Una asignaci on de verdad es una funci on V : B {0, 1} Esta funci on debe de entenderse como una interpretaci on posible de las f ormulas de manera que un bloque es verdad cuando obtiene el valor 1 y es falso en el otro caso. De esta manera podemos identicar las interpretaciones posibles de nuestro lenguaje, en su aspecto proposicional (lo que est a pasando es que un lenguaje de primer orden tiene contenido, a traves de los bloques, un lenguaje del c alculo proposicional como se ver a m as adelante), con las asignaciones de verdad. Los conectivos l ogicos {, , , , } forman un grupo de las relaciones m as comunes que podemos establecer entre las proposiciones b asicas. A partir de los bloques y estos conectivos l ogicos se construyen todas las f ormulas (es m as, las f ormulas estan libremente generadas por los conectivos l ogicos a partir de los bloques), por lo cual el concepto de asignaci on de verdad se puede extender a todas las f ormulas. En una f ormula compuesta, su verdad depender a de los valores de verdad de los bloques que la componen y como est an ligados por los conectivos. Proposici on 1.1 Sea V una asignaci on de verdad, entonces existe una u nica funci on V : F orm {0, 1} tal que: 1. Para todo B se da que V () = V () 2. (a) V ( ) = H (V (), V ( )) (b) V ( ) = H (V (), V ( )) (c) V ( ) = H (V (), V ( )) (d) V ( ) = H (V (), V ( )) (e) V () = H (V ()) Donde {H , H , H , H , H } son los siguientes operadores sobre el conjunto {0, 1}: H 0 1 0 1 0 1 1 1 H 0 1 0 1 0 1 0 1 H 0 1 2 0 0 0 1 0 1 H 0 1 0 0 1 1 1 1 0 1 H 1 0

Las asignaci ones de verdad denen una clase de f ormulas muy especiales, las tautologias, y adem as fabrican una tela de relaciones en el lenguaje con las cuales podemos construir otra estructura, semejante al algebra de lindenbaum para las universalmente v alidas. Denici on Sea una f ormula. Cuando una asignaci on de verdad V es tal que V () = 1, (donde V es la u nica extensi on de V a las f ormulas como en la proposici on 1.1) entonces se dice que V satisface a . Denici on Sea una f ormula. Se dice que es una tautolog a toda asignaci on de verdad la satisface. Denici on Sea una f ormula y F RM . Se dice que es una consecuencia tautol ogica de si para toda asignaci on de verdad V que satisfaga a las f ormulas de satisface tambien a . Lo denotare asi . Denici on Dos f ormulas y son tautol ogicamente equivalentes si y .

Si consideramos ahora las f ormulas m odulo la relaci on de ser tautol ogicamente equivalentes, que de nuevo es una relaci on de equivalencia, obtenemos otro conjunto al cual se le puede dotar una estructura de algebra booleana. Estas dos algebras booleanas son distintas puesto que la relaci on de ser tautologicamente equivalente es mas fuerte que la de ser logicamente equivalente (hay f ormulas que son logicamente equivalentes pero no tautologicamente equivalentes) aunque estan muy emparentadas. Sin embargo hasta que no hayamos desarrollado el lenguaje de las algebras booleanas no podre precisar este punto. Todo esto se ha hecho en t erminos completamente sem anticos, que se reere a la asignaci on de un signicado al lenguaje. Sin embargo, nuestro objetivo ser a, el de dar una sintaxis al lenguaje, de tal forma que al construir las estructuras an alogas correspondientes, estas simulen de la manera m as aproximada a est a estructura que conocemos y tenemos por ideal (en cierta manera, la estructura sem antica es la estructura plat onica de la matem atica cl asica). Dicho esto nos adentramos primero en la teor a de las algebras booleanas, para luego poder estudiar el caso concreto de las algebras anunciadas. Construiremos nuevas algebras booleanas a partir de una sintaxis introducida en aras de reconstruir las viejas algebras booleanas y con esto demostraremos importantes teoremas.

2 Algebras Booleanas
2.1 Denici ones
Las algebras booleanas se pueden introducir de dos maneras diferentes: uno a traves de una relaci on de orden que cumple ciertos axiomas; otra a traves de operaciones sobre un

conjunto que satisfacen ciertas ecuaciones. Las dos denici ones son equivalentes, lo cual ser a el resultado principal de esta subsecci on, por lo que en un futuro podremos utilizar cualquiera de las dos denici ones. Denici on Una ret cula es una pareja ordenada (A, ) tal que (A, ) es un orden parcial, y donde todo par de objetos {x, y } tiene nmo y supremo. Ya que en un orden parcial los nmos y los supremos de existir son u nicos podemos introducir la siguiente notaci on: inf {x, y } = x y , sup{x, y } = x y . Nota La notaci on de nmo y supremo puede ser un poco confusa puesto que son los mismos s mbolos que utilizan como conectivos l ogicos, sin embargo tengo que subrayar que no son iguales. Unos son s mbolos de un lenguaje formal, mientras que los otros son s mbolos que representan operaciones en un conjunto. Uso esta notaci on ya que es la m as usual en los libros de algebras booleanas. Ejercicio 2.1 Demuestre que en una ret cula todo conjunto nito tiene supremo e nmo. Ejercicio 2.2 Demuestre que en una ret cula se cumplen las siguiente ecuaciones: 1. x x = x = x x 2. x y = y x 3. x y = y x 4. x (y x) = x = x (y x) 5. x (y z ) = (x y ) z 6. x (y z ) = (x y ) z Ejercicio 2.3 En una ret cula x y si y solo si x y = x. Dualmente x y si y solo si x y = y . Ejemplo 1. Los subespacios de un espacio vectorial V junto con la inclusi on forma una ret cula. 2. Los numeros enteros con el orden de la divisi on (n m si y solo si n|m) es una ret cula.(Quienes son el supremo y el nmo de dos numeros?). 3. Cualquier orden total es una ret cula. 4. Sea X un conjunto, entonces el conjunto potencia con el orden de la inclusi on es una ret cula. Hay ret culas que tienen elemento m aximo y/o elemento m nimo. De haber un elemento m aximo, dado que es u nico, lo llamaremos 1; y para el elemento m nimo usaremos 0. Denici on Sea x un elemento de una ret cula A con m aximo y m nimo, se dice que y es un complemento de x si x y = 0 y x y = 1. leyes de absorci on asociatividad idempotencia conmutatividad

Denici on Una ret cula A es complementada si tiene m aximo, m nimo y todo elemento tiene un complemento. Ejercicio 2.4 Compruebe que los ejemplos 1 y 4 son ret culas complementadas. Demuestre que un orden total con m aximo y m nimo es complementado si y solo si a lo m as tiene dos elementos. Ejercicio 2.5 Sea A una ret cula con 0 y 1. Demuestre que: 1. x 0 = 0 2. x 1 = 1 3. x 1 = x = x 0 Los subespacios de un espacio vectorial nos da un ejemplo de una ret cula complementada, sin embargo un elemento de esta ret cula puede tener mas de un complemento. Por ejemplo si consideramos V = R2 entonces cualesquiera dos subespacios de la forma W1 = {(x, y ) R2 |x = ay } y W2 = {(x, y ) R2 |x = by }, con a y b numeros reales positivos distintos, son espacios complementarios. Sin embargo existe una condici on sobre la ret cula que garantiza la unicidad de los complementos. Denici on Una ret cula A es distributiva si se satisfacen las siguiente ecuaciones: 1. x (y z ) = (x y ) (x z ) 2. x (y z ) = (x y ) (x z ) Proposici on 2.6 En una ret cula distributiva los complementos son u nicos. Demostraci on Sea x un elemento de la ret cula, y z1 , z2 complementos de x. Entonces: z1 = z1 1 = z1 (x z2 ) = (z1 x) (z1 z2 ) = 0 (z1 z2 ) = (z1 z2 ) Por lo que, del ejercicio 2.3 concluimos que z1 z2 . De manera an aloga uno obtiene z2 z1 , por lo tanto z1 = z2 La proposici on anterior nos concede el poder darle un nombre al complemento de un elemento. Si un elemento x de una ret cula distributiva tiene complemento, al complemento lo denotaremos x. Denici on Una algebra booleana es una ret cula distributiva complementada con al menos dos elementos. Ejemplo 5. 2 = {0, 1} con el orden 0 0, 0 1 y 1 1 es una algebra booleana. (Note que este es el conjunto de valores de verdad y que x = H (x), inf {x, y } = H (x, y ), sup{x, y } = H (x, y )) 6. El conjunto potencia de cualquier conjunto no vac o, junto con la inclusi on es una algebra booleana. Este es el ejemplo arquet pico de las algebras booleanas. Existe un teorema, llamado el teorema de representaci on de Stone que establece que las algebras de conjuntos potencia son bastante gen eericas en el sentido de que toda 5

lgebra booleana es una sub a algebra de alguna de estas (pronto deniremos lo que signica ser sub algebra). 7. Sea X un conjunto no vac o. El conjunto de los conjuntos nitos junto con los conitos es una algebra booleana. Esto es, si Cof(X)= {Y X |X \ Y es nito} y Fin(X)= {Y X |Y es nito}, entonces KX = Cof(X) Fin(X) con el orden inducido por la inclusi on es una algebra booleana. 8. En un espacio topol ogico, los conjuntos que son abiertos y cerrados simultaneamente forman un conjunto llamado el algebra caracter stica del espacio topol ogico, que con la inclusi on forma un algebra booleana. Ejercicio 2.7 Demuestre que si A es un algebra booleana, entonces para todo x, y A se cumple: 1. x = x 2. (x y ) = x y 3. (x y ) = x y La relaci on de orden en un algebra booleana genera tres diferentes operaciones sobre el conjunto, llamadas , , , cuyas propiedades est an enunciadas en algunos de los ejercicios. El siguiente teorema nos dice que en realidad basta con suponer que nuestro conjunto tiene estas tres operaciones que cumplen algunas de las propiedades demostradas. Teorema 2.8 Sea A un conjunto con al menos dos elementos. Entonces son equivalentes: 1. A es una algebra booleana. Esto es A tiene un orden parcial tal que (A, ) es una ret cula distributiva complementada. 2. A tiene tres operaciones : A A A, : A A A, : A A, y dos objetos distinguidos 0,1, que satisfacen las siguientes ecuaciones: (a) x y = y x y xy =yx y x (y z ) = (x y ) z conmutatividad asociatividad idempotencia ley de absorci on distributividad 1 es neutro y x x = 1 no contradicci on y tercero excluido.

(b) x (y z ) = (x y ) z (c) x x = x = x x (d) x (y x) = x

(e) x (y z ) = (x y ) (x z ) (f ) x 1 = x (g) x x = 0

Demostraci on La demostraci on de que 1. implica 2. esta contenida en los ejercicios 2.2, 2.5 y la denici on de una ret cula distributiva complementada. Vale la pena observar

que las operaciones de complemento, nmo y supremo est an bien denidas ya que estos son u nicos gracias a la proposici on 2.6 . Asi que supongamos que tenemos un conjunto con al menos dos elementos que satisface 2. El ejercicio 2.3 nos da una pista de como debemos de denir el orden en A. Sea A A denida como x y si y solo si x y = x. Entonces lo primero que debemos de comprobar es que as denida es una relaci on de orden. La idempotencia (c) asegura que la relaci on es reexiva. Para la transitividad supongamos que x y y y z , entonces x y = x y y z = y por lo que x z = (x y ) z = x (y z ) = x y = x (asociatividad (2)). Falta probar que es antisim etrica; sean x, y tales que x y y y x, entonces x = x y = y x = y (conmutatividad (1)). Hasta ahora sabemos que (A, ) es un conjunto parcialmente ordenado, veamos que tiene nmos y supremos de pares de elementos. Sean x, y A, propongo a x y como el nmo y a x y como el supremo. x y es el nmo: x (x y ) = (x x) y ) = x y y y (x y ) = y (y x) = (y y ) x = y x = x y por lo que x y x y x y y . Sea z A tal que z x y z y , lo cual se traduce a z x = z y z y = z ; entonces z (x y ) = (z x) y = z y = z , por lo tanto z x y . x y es el supremo. y (x y ) = x por la ley de absorci on (d). x (x y ) = x (y x) = x por la misma raz on. Por lo tanto x x y y y x y . Sea z A tal que z x y z y , entonces (x y ) z = z (x y ) = (z x) (z y ) = (x z ) (y z ) = x y (distributividad (e)) por lo que x y z . A tiene m aximo y m nimo: 1 es m aximo ya que x 1 = x (1 es neutro (f)). 0 es m nimo puesto que 0 x = (x x) x = x (x x) = x x = 0. Usaremos para demostar la distributividad de A que se satisface la otra ley de absorci on (x (y x) = x), por lo que lo demostramos aqu : x (y x) = (x y ) (x x) = x (y x) = x A es una ret cula distributiva: falta demostrar que se cumple la otra distributividad x (y z ) = (x y ) (x z ). Esto se sigue de la otra distributividad: (x y ) (x z ) = (x (x z )) (y (x z )) = x ((y x) (y z )) = (x (y x)) (y z ) = x (y z ) Las ecuaciones (g) nos aseguran que A es una ret cula complementada, por lo que A es una ret cula distributiva y complementada con al menos dos elementos. A es una algebra booleana. 7

Es importante notar que en la equivalencia construida en la proposici on anterior la conexi on entre las operaciones a lgebraicas y el orden parcial es x y si y solo si x y = x. Si esto se cumple, se sigue que x y = inf{x, y } y que x y =sup{x, y }. En lo que sigue, se usaran ambas caracterizaci ones libremente.

2.2 Homomorsmos
En esta subsecci on nuestro enfoque ser a el siguiente: estudiar las algebras seg un su contexto en el mundo de las algebras booleanas. Deniremos las relaciones relevantes en el mundo de las algebras booleanas. Denici on Un morsmo de algebras booleanas es una funci on f : A B entre algebras booleanas que preserva la estructura de algebra booleana, es decir: 1. f (x y ) = f (x) f (y ) 2. f (x y ) = f (x) f (y ) 3. f (x) = f (x) Ejercicio 2.9 Sea f : A B un morsmo de algebras booleanas. Demuestre que f (0) = 0 y f (1) = 1. Ejercicio 2.10 Sean f : A B y g : B C morsmos de algebras booleanas. Demuestre que g f es un morsmo de algebras booleanas. Ejercicio 2.11 Demuestre que todo morsmo de algebras booleanas preserva el orden. Esto es si x y entonces f (x) f (y ) Ejemplo 1. Para cualquier algebra booleana A existe un u nico morsmo f : 2 A, dado por f (0) = 0 y f (1) = 1. 2. Sea X un conjunto no vac o. Entonces la inclusi on i : KX (X ) es un morsmo de algebras booleanas. 3. Sean X Y dos conjuntos no vac os. Entonces la funci on fX : (Y ) (X ) dada por fX (A) = A X es un morsmo de algebras booleanas. Ejercicio 2.12 Demuestre que los ejemplos son morsmos de algebras booleanas. Hay algunas clases de morsmos de algebras booleanas (de ahora en adelante omitir e el de algebras booleanas) que merecen ser mencionadas. Denici on Un morsmo f : A B es un epimorsmo (o epi) si f es suprayectiva. Denici on Un morsmo f : A B es un monomorsmo (o mono) si f es inyectiva. Denici on Un morsmo f : A B es un isomorsmo (o iso) si f es mono y epi. En el caso de que exista un isomorsmo entre dos algebras booleanas A y B, decimos que A y B son isomorfas (se escribe A B ). La relaci on de isomorf a es 8

claramente de equivalencia y de hecho, en el estudio de las algebras booleanas, es casi la relaci on de identidad. Dos algebras isomorfas son esencialmente la misma cosa, pero con nombres distintos. Cualquier propiedad (de algebras booleanas) que se cumpla en una algebra booleana, inmediatamente se cumple en todas las algebras que son isomorfa a ella. Ejercicio 2.13 Sea f : A B un morsmo. Demuestre que son equivalentes: 1. f es mono. 2. Para todo par de morsmos h, g : C A si f g = f h entonces g=h (f se puede cancelar por la izquierda). Los morsmos dejan en el algebra dominio mucha informaci on acerca de su comportamiento. Dadas sus restricciones estructurales, el morsmo induce dos subconjuntos del dominio con algunas propiedades algebr aicas interesantes. Estos subconjuntos son la preimagen del 0 (llamado el n ucleo) y la preimagen del 1 (cuyo nombre en ingl es es shell). Denici on El n ucleo de un morsmo f : A B es la preimagen del 0. N uc(f ) = 1 f (0) = {x A|f (x) = 0}. El shell es la preimagen del 1. Sh(f ) = f 1 (1) = {x A|f (x) = 1}. Notemos que si x, y N uc(f ) entonces x y N uc(f ), que 0 N uc(f ) y que si x N uc(f ) y z x entonces z N uc(f ). An alogamente para el Shell(f) se cumplen las siguientes tres propiedades: 1 Sh(f ), si x, y Sh(f ) entonces x y Sh(f ), y si x Sh(f ) y x z entonces z Sh(f ). Denici on Un subconjunto de un algebra booleana I A es un ideal si: 1. 0 I . 2. Si x, y I entonces x y I . 3. Si x I y y x entonces y I . Denici on Un subconjunto de un algebra booleana F A es un ltro si: 1. 1 F . 2. Si x, y F entonces x y F . 3. Si x F y x y entonces y F . Nota Una algebra booleana es una estructura dual. Esto signica que al invertir el orden que dene al algebra (A, ) obtenemos otra algebra booleana. Es decir (A, ) es una algebra booleana (Ejercicio). Cuando hayamos demostrado alg un hecho de una algebra booleana, inmediatamente se cumple el enunciado dual (el que se reere al algebra dual (A, )). En el algebra dual el nmo se convierte en el supremo, el supremo en el nmo el 0 en 1 y el 1 en 0, por lo que para obtener el enunciado dual basta con sustituir cada

ocurrencia de por , cada ocurrencia de por y permutar 0 con 1. Por ejemplo, un ideal es el concepto dual de un ltro. Ejemplo 1. A es un ltro y un ideal.

2. {0} es un ideal, llamado el ideal trivial. An alogamente {1} es el ltro trivial. 3. Si a A entonces a = {y A|y a} es un ideal. a = {x A|a x} es un ltro. 4. Sea X un conjunto innito. Entonces F in(X ) (X ) es un ideal. Cof(X) es un ltro. Los ideales y los ltros no son las u nicas subestructuras de una algebra booleana. De hecho existe una mas natural, la de sub algebra: Denici on Sea A una algebra booleana y B A. Se dice que B es una sub algebra de A si B es no vac o y B es cerrado bajo las operaciones. Es decir: 1. si a, b B entonces a b B . 2. si a, b B entonces a b B . 3. si a B entonces a B . Ejercicio 2.14 Demuestre que toda sub algebra de una algebra booleana contiene al conjunto {0, 1}. Ejercicio 2.15 Sea f : A B . Demuestre que Im(f ) = f (A) = {f (a)|a A} es una sub algebra de B. La observac on que nos llevo a esta denici on dice entonces que todo morsmo de algebras booleanas induce un ideal y un ltro en el algebra dominio. Qu e importancia tienen estos ideales y ltros? Supongamos que tengo un ltro F, o un ideal I, Existir a un morsmo tal que Nuc(f)=I, o Sh(f)=F?. La respuesta a estas pregunta nos lleva a demostrar una serie de teoremas muy imporantes llamados los teoremas de isomorsmos. Responderemos la primer pregunta. Notemos que si y N uc(f ) y x A entonces f (x y ) = f (x) f (y ) = f (x) 0 = f (x), y que si x, y A son tales que f (x) = f (y ) entonces x y, y x N uc(f ). Ejercicio 2.16 Sean x, y A. Denimos la diferencia sim etrica como xy = (x y ) (y x). Demuestre que x (xy ) = y (xy ). Concluya que f (x) = f (y ) si y solo si xy N uc(f ). El ejercicio anterior expresa que los conjuntos {a j |j N uc(f )} caen, bajo la funci on, en un mismo punto, y que si dos elementos caen en un mismo punto entonces estan en el mismo conjunto. Es decir, los conjuntos {a j |j N uc(f )} forman una partici on de A. Con toda partici on viene una relaci on de equivalencia, que en este caso es la siguiente: 10

x N uc(f ) y si y solo si existe j N uc(f ) tal que x j = y j . Y como consecuencia la denici on de esta relaci on de equivancia, x N uc(f ) y si y solo si f(x)=f(y). An alogamente para el shell, podemos denir la siguiente relaci on: x Sh(f ) y si y solo si existe k Sh(f ) tal que x k = y k Ejercicio 2.17 Duemuestre que si uno dene las mismas relaci ones pero para ltos e ideales arbitrarios, entonces estas relaci ones son de equivalencia. Es decir, demuestre que las siguientes relaci ones son de equivalencia. Sea F un lto e I un ideal, denimos x F y si y solo si existe f F tal que x f = y f ; y x I y si y solo si existe i I tal que x i = y i. Ejercicio 2.18 Demuestre que efectivamente son equivalentes: 1. f (x) = f (y ) 2. x N uc(f ) y 3. x Sh(f ) y Ejercicio 2.19 Sea f : A B un morsmo. Demuestre que f es mono si y solo si N uc(f ) = {0} (dualmente para el shell, f es mono si y solo si Sh(f ) = {1}). Si ahora consideramos el conjunto cociente bajo esta relaci ones de equivalencia ([a]) = : A/N uc(f ) B como f A/ nuc(f ) podemos extender la funci on f : A B a f es inyectiva, sin embargo f no es un morsmo f (a), y adem as podemos observar que f de algebras ya que A/N uc(f ) no tiene estructura de algebra booleana. Pero esto se puede enmendar facilmente, pues la relaci on N uc(f ) preserva la estructura de algebra booleana, y por lo tanto podemos heredar esta estructura al cociente. Proposici on 2.20 Las relaci ones denidas en el ejericicio 2.17 son relaci ones de congruencia. Es decir: 1. Si x F y (x I y ) entonces x F y ( x I y ). 2. Si x1 F x2 y y1 F y2 (x1 I x2 y y1 I y2 ) entonces x1 y1 F x2 y2 (x1 y1 I x2 y2 ). 3. Si x1 F x2 y y1 F y2 (x1 I x2 y y1 I y2 ) entonces x1 y1 F x2 y2 (x1 y1 I x2 y2 ). Demostraci on Se demostrara solo para F , el otro caso es dual. 1. Sean x, y A tales que x F y . Entonces existe f F tal que x f = y f . Por lo tanto (x f ) = (y f ). Usando las leyes de De Morgan (Ejercicio 2.7) obtenemos x f = y f . Por lo tanto (x f ) f = (y f ) f .

11

Desarrollando llegamos a que x f = (x f ) (f f ) = (x f ) f = (y f ) f = (y f ) (f f ) = y f Por lo tanto x F y . 2. Sean x1 , x2 , y1 , y2 A tales que x1 F x2 y y1 F y2 . Entonces existen f1 , f2 F tales que x1 f1 = x2 f1 y y1 f2 = y2 f2 . Entonces (x1 y1 ) (f1 f2 ) = (x1 (f1 f2 )) (y1 (f1 f2 )) = ((x1 f1 ) f2 ) ((y1 f2 ) f1 ) = ((x2 f1 ) f2 ) ((y2 f2 ) f1 ) = (x2 y2 ) (f1 f2 ) Como F es ltro f1 f2 F por lo que x1 y1 F x2 y2 . 3. Sean x1 , x2 , y1 , y2 A como en el inciso anterior. Entonces (x1 y1 ) (f1 f2 ) = (x1 f1 ) (y1 f2 ) = (x2 f1 ) (y2 f2 ) = (x2 y2 ) (f1 f2 ) Por lo que x1 y1 F x2 y2 . Si I es un ideal y F un itro, es posible construir una algebra booleana con las relaci ones inducidas por ellos. A estas algebras se les llama algebras cociente: Denici on Sea I un ideal. Al conjunto A/I = {[a]I |a A} (recordemos que [a]I = {b A|b I a} es la clase de equivalencia de a) se le llama A m odulo I y se le puede proveer de una estructura de algebra booleana con las siguientes operaciones: 1. [a] [b] = [a b] 2. [a] [b] = [a b] 3. [a] = [a] Si F es un ltro entonces A/F es el algebra booleana de las clases de equivalencia bajo la relaci on F con las operaciones heredadas. Tanto A/I como A/F son algebras booleanas gracias a la proposici on 2.20. Ejercicio 2.21 Sea I un ideal y F un ltro en A. Quien es el 0 y el 1 de A/I, y de A/F?

12

Existen morsmos naturales de A en A/I y A/F llamados proyecciones pI : A A/I , pF : A A/F y cumplen que p(a) = [a] y de hecho: Lema 2.22 Sea I un ideal en A, y F un ltro. Entonces N uc(pI ) = I y Sh(pF ) = F . Demostraci on Demostrare solo el caso de los ideales. La demostraci on para los ltros es dual. Sea a A tal que pI (a) = 0. Entonces [a] = [0] por lo tanto existe i I tal que a i = i. Esto nos dice que a i pero I es un ideal y por lo tanto a I . adem as para todo i I [i] = [0]. Por lo tanto N uc(f ) = I . En resumen: Teorema 2.23 Sea A una algebra booleana. Existe una correspondencia biyectiva entre los ideales de A y el n ucleo de los morsmos con dominio A. Dualmente, existe una correspondencia biyectiva entre los ltros de A y el shell de morsmos con dominio A. {I |I es ideal} = {N uc(f )|f : A B es morsmo} y {F |F es ltro} = {Sh(f )|f : A B es morsmo}. Demostraci on Las algebras cociente se comportan de una manera bastante interesante como lo evidenc a el siguiente teorema. Teorema 2.24 Sea I un ideal en A. Entonces A/I cumple la siguiente propiedad (universal): Si f : A B es un morsmo tal que I N uc(f ) entonces existe un u nico morsmo h : A/I B tal que f = hpI . O en otras palabras, que hace conmutar el siguiente diagrama. A
pI f

/B =
!h

A/I Demostraci on Sea I un ideal y f : A B un morsmo tal que I N uc(f ). Denimos h : A/I B como sigue: h([a]) = f (a). Tenemos que vericar tres cosas, uno que la funci on h esta bien denida (es decir que su valor no depende del representante de la clase que tomemos), que h es un morsmo y que hace conmutar el diagrama. Sean a, b A tales que a I b, entonces existe i I tal que a i = b i por lo que f (a) = f (a) 0 = f (a) f (i) = f (a i) = f (b i) = f (b) f (i) = f (b) 0 = f (b) lo cual nos garantiza que h est a bien denida. Que h sea un morsmo es consecuencia de que f es morsmo y de como indujimos las operaciones en A/I. Y es claro que f = hpI . Sea h : A/I B un morsmo tal que h pI = f . Entonces h([a]) = h(pI (a)) = f (a) = h (pI (a)) = h ([a]), por lo que h = h. Ejercicio 2.25 Enuncie y demuestre el enunciado dual del teorema 2.24. Teorema 2.26 Sea f : A B un morsmo. Entonces A/N uc(f ) Im(f ).

13

Demostraci on Sea I = N uc(f ) por el teorema 2.24 existe un morsmo h : A/I B tal que f = hpI , veamos que h es un isomorsmo con la imagen. Por el ejercicio 2.18 y 2.19 h es un monomorsmo. Y es claro que Im(h) = Im(f ) por lo tanto es h : A/I Im(h) es mono y epi, y por lo tanto iso. Esto es A/I Im(f ). Corolario 2.27 Sea f : A B un epimorsmo. Entonces A/N uc(f ) Ejercicio 2.28 Demuestre el dual de los teoremas 2.26 y 2.27. Ejercicio 2.29 Sea X un conjunto no vac o y Y X . Sea I = Y = {Z X |Z Y }, demuestre que (X )/I (Y ). Los teoremas 2.23, 2.24, 2.25 nos han revelado la importancia de los ltros y los ideales. Estas son las subestructuras de una algebra booleana que nos dicen que tanto dieren de otras algebras booleanas y tambien a que algebras booleanas se parece. En lo que sigue nos dedicaremos a estudiar los ltros. B

2.3 Filtros
En esta secci on, supondremos que estamos trabajando en una algebra booleana A. Nombraremos Fil(A) al conjunto de ltros de A. Los ltros, junto con la inclusi on forman un orden parcial. Qu e propiedades tiene este orden parcial? Teorema 2.30 (F il(A), ) es una orden parcial donde todo subconjunto tiene nmo y supremos, y adem as tiene m aximo y m nimo. Antes de dar la demostraci on del teorema observemos que la intersecci on de cualquier cantidad de ltros es un ltro: Ejercicio 2.31 Sea {Fi }iI una familia de ltros. Entonces
iI

Fi es un ltro.

La uni on de dos ltros puede no ser un ltro. Por ejemplo: {x, y }

; b

{x, y }
; b

{x}
c

{y }

{x}

{y }

La gura de la izquierda es la uni on de de los ltros {{x}, {x, y }} y {{y }, {x, y }} mas no es un ltro, pues {x} {y } = no est a. Sin embargo si existe el supremo de una familia de ltros, y de hecho existen dos maneras de construirlos. Para resolver esta duda nos planteamos una pregunta un poco 14

mas general: Dado un subconjunto X A cual es el ltro m as chico que contiene a X? La respuesta m as inmediata esta contenida en el ejercicio 2.31. Sea X un subconjunto de A. Consideremos < X >= {F A|F es ltro y X F }. < X > es un ltro que contiene a X y de hecho es el mas chico con esta propiedad, y por ello se le llama el ltro generado por X. Sin embargo a veces nos gustar a dar una caracterizaci on mas expl cita de quien es < X >. Todo ltro debe tener nmos nitos (puesto que tiene nmos por pares) por lo que lo menos que podemos exigir de un conjunto para que sea ltro es que contenga todos los nmos de sus subconjuntos nitos. Sea X un subconjunto de A, denotamos por X c al siguiente conjunto: X c = {Inf (Y )|Y (X )}, donde = {Y X |Y es nito }. La tercera condici on para que un conjunto sea un ltro dice que debe de contener todos los elementos que sean m as grande que alg un elemento del conjunto. Sea X = {a A| existe b X tal que b a}. Ejercicio 2.32 Demuestre que para todo X A, X X c y X X . Proposici on 2.33 Sea X A no vac o. (X c ) es el ltro m as chico que contiene a c X. Por lo tanto (X ) =< X >. Demostraci on Por el ejercicio anterior X (X c ) . Como X es no vac o entonces c c c existe y X . y 1 por lo que 1 (X ) . Sean x, y (X ) , entonces existen Y1 , Y2 (X ) tales que Inf (Y1 ) x y Inf (Y2 ) y , por lo tanto Inf (Y1 Y2 ) x y ; x y (X c ) . Sea x (X c ) y x z . Entonces existe Y (X ) tal que Inf (Y ) x z , por lo tanto z (X c ) . Sea F un ltro que contiene a X. Sea y (X c ) entonces existe Y (X ) tal que Inf (Y ) y . Como F es ltro y contiene a X, Inf (Y ) F y por lo tanto y F . Es decir (X c ) F . Con esto hemos demostrado el teorema 2.30 Denici on Se dice que un ltro F es propio si F = A. Note que F es un ltro propio si y solo si 0 / F (Ejercicio). Cuando ocurre que < X > es propio? Si X tiene un subconjunto cuyo nmo es 0 entonces 0 X c y por lo tanto A (X c ) . Ahora supongamos que < X >= A. Entonces 0 < X >= (X c ) por lo que existe Y (X ) tal que Inf (Y ) 0. Esto es X tiene un subconjunto nito cuyo nmo es 0. Denici on Se dice que X tiene la propiedad de intersecci on nita (pif) si el nmo de todo subconjunto nito de X no es 0. Si para todo Y (X ) Inf (Y ) = 0. Proposici on 2.34 Sea X A entonces < X > es propio si y solo si X tiene la pif. Demostraci on

15

Como Fil(X) es una ret cula, nos podemos preguntar quienes son los elementos maximales de la ret cula, es decir, los ltros propios que no estan contenidos en otros ltros propios. A estos ltros los llamamos ultraltros. Denici on Un ltro F es un ultraltro si F es propio y si para todo ltro propio G, si F G entonces F = G. El siguiente teorema demuestra la importancia de los ultraltros, sobre todo para nuestros propositos l ogicos. Teorema 2.35 Sea F un ltro en A. Son equivalentes: 1. F es un ultraltro. 2. A/F 2.

3. Si x y F entonces x F o y F . (El ltro es primo) 4. Para todo x A, x F o x F . Demostraci on (1 = 3) Sea x, y A tales que x y A. Supongamos que y, x / F entonces < F {x} >= A =< F {y } > ya que F es un ultraltro. Por lo tanto existen Y1 (F {x}) y Y2 (F {y }) tales que Inf (Y1 ) = 0 = Inf (Y2 ). Como F es un ltro propio entonces tiene la pif, por lo que Y1 = {a1 , a2 , ..., an , x} y Y2 = {b1 , b2 , ..., bm , y }. Entonces Inf (Y1 ) = a1 a2 ... an x = 0 = b1 b2 ... bm y = Inf (Y2 ). Como F es ltro a1 ... an F y b1 ... bn F , entonces lo que tenemos es que existen a, b F tales que a x = 0 = b y . Entonces 0 = (a x) (b y ) = (a (b y )) (x (b y )) = (a b) (a y ) (x b) (x y ) Pero observemos que cada uno de los t erminos (a b), (a y ), (x b), (x y ) F por lo que 0 F . Esta contradicci on nos lleva a concluir que x F o y F . (3 = 4) Sea x A entonces x x = 1 F . Como F es primo entonces x F o x F (4 = 1) Sea G un ltro tal que F G. Supongamos que F = G. Entonces existe y G \ F . Como y / F entonces y F G. Como G es ltro 0 = y y G y por lo tanto G = A. (3 = 2) Denamos h : A 2 como sigue: h(a) = 1 si a F y h(a) = 0 si no. Se puede vericar que h es un morsmo (ejercicio). Como Sh(f)=F, y h es claramente un epimorsmo entonces 2 A/F . (Corolario 2.27) (2 = 3) Sean x, y A tales que x y F . Consideremos la proyecci on pF : A A/F 2. pF (x) pF (y ) = pF (x y ) = 1. Pero como A/F 2 no se puede tener que pF (x) = 0 = pF (y ) y por lo tanto pF (y ) = 1 o pF (x) = 1. Esto se traduce en x F o y F.

16

Ahora supongamos que tenemos un ltro. Nos gustar a poder extenderlo si es posible a un ultraltro. Siempre que tengamos un ltro podemos extenderlo para contener un elemento o la negacion de ese elemento. Sin embargo el paso que se tiene que tomar para extender un ltro a un ultraltro requerir a del axioma de elecci on. Pero por ahora: Proposici on 2.36 Sea F un ltro propio A y x A entonces F {x} o F {x} tiene la pif. Demostraci on Supongamos que x / F y que ni F {x} ni F {x} tienen la pif. Entonces existen Y1 (F {x}) y Y2 (F {x}) tales que Inf (Y1 ) = 0 = Inf (Y2 ). Como X tiene la pif x Y1 y x Y2 . Entonces (a1 a2 ... an ) x = 0 = (b1 b2 ... bm ) x. Por lo tanto

0 = ((a1 ... an ) x) ((b1 ... bn ) x) = ((a1 ... an ) (b1 ... bn )) ((a1 ... an ) x) ((b1 ... bm ) x) (x x) = ((a1 ... an ) (b1 ... bn )) ((a1 ... an ) x) ((b1 ... bm ) x) Entonces 0 F , contradicci on. Entonces F {x} o F {x} tiene la pif. Ejercicio 2.37 Demuestre que si X es un conjunto que tiene la pif, y x un elemento de A entonces X {x} o X {x} tiene la pif. Teorema 2.38 (Teorema del Ultraltro (AE)) Todo ltro propio esta contenido en alg un ultraltro. Demostraci on Usaremos el axioma de elecci on en la forma del lema de Zorn. Sea F un ltro propio. Consideremos H = {K |K es ltro propio y F K }. H es no vac o ya que F H . Sea C una cadena en H. Armo que C H . Esto es que C es un ltro propio que contiene a F. Pero 1 C ya que C contiene al menos un ltro y todo ltro contiene al 1. Sean x, y C entonces x F1 y y F2 donde F1 , F2 C . Como C es una cadena, podemos suponer sin perdida de generalidad que F1 F2 por lo que x, y F2 . Como F2 es un ltro x y F2 C . Sea x C y x z , entonces x F1 C . Como F1 es ltro z F1 C , con lo cual concluimos que C es un ltro. Adem as es propio ya que si 0 C entonces 0 F C H lo cual es imposible. Por lo tanto H es un orden parcial no vac o en donde toda cadena est a acotada superiormente. Por el lema de Zorn, existe un elemento maximal U en H. Pero U es un ultraltro pues si K es un ltro tal que U K , como F U K entonces K es A o K es propio y por lo tanto K H , lo cual implica por la maximalidad de U que K = U . Ejercicio 2.39 Si X es un subconjunto no vac o de A que tiene la pif, entonces X esta contenido en un ultraltro.

17

Ejercicio 2.40 En una a lgebra booleana A se cumple que: x y = 0 x y Corolario 2.41 Sean x, y A tales que x xU yy / U. y , entonces existe un ultraltro U tal que

Demostraci on Consideremos el conjunto X = {x, y }. Por el ejercicio 2.40 X tiene la pif y por lo tanto (en virtud del ejercicio 2.39) existe un ultraltro U tal que {x, y } U . La presencia de y en U impide que y U ya que conllevaria a que U no sea propio (0 = y y U ). En resumen U es un ultraltro tal que x U y y / U. Este ultimo corolario es bastante importante, ya que nos dice que es posible separar los puntos de A con ultraltros, y como consecuencia de este hecho tenemos que podemos recuperar gran parte de la informaci on del algebra booleana a partir de su estructura de ltros. Un ejemplo notable de esto es el teorema de representaci on de Stone, que aunque no sea relevante en lo que sigue, ser a demostrado aqu . Teorema 2.42 (de representaci on de Stone (AE)) Sea A una algebra booleana, entonces existe un conjunto X y un monomorsmo : A (X ). (A (A)) Demostraci on Consideremos X = {U A|U es ultraltro}. Denimos : A (X ) como (a) = {U X |a U } es un morsmo: ((a b) = (a) (b)) : Sean a, b A y U (a b), entonces a b U . Como U es ltro y a b a, b entonces a, b U , por lo que U (a) (b). Sea U (a) (b) entonces, a, b U por lo que a b U . Por lo tanto (a b) = (a) (b). ((a b) = (a) (b)) : Sean a, b A y U (a b), entonces a b U . Por el teorema 2.35 a U o b U , lo cual implica que U (a) (b). Sea U (a) (b) entonces a U o b U . En ambos casos como a, b a b se tendria que ab U por lo que U (ab). Por lo tanto (ab) = (a)(b). ((a) = X \ (a)) : Sea a A y U (a). Entonces a U , y como U es propio entonces a / U , esto es U / (a). Sea U X \ (a) entonces a / U . De nuevo por el teorema 2.25, esto implica que a U y por lo tanto (a) = X \ (a). es mono: Por el corolario 2.41 si x = y entonces x y o y x. Sin perdida de generalidad supongamos que x y , por lo tanto existe un ultraltro tal que x U yy / U . Esto es (x) = (y ).

3 L ogica

18