´ Algebras Booleanas

Y la l´ ogica matem´ atica

1 Motivaci´ on
La definici´ 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 definici´ ones para estandarizar y recordar. Definici´ 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]. Definici´ 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 Γ α. Definici´ on En el caso en que Γ = {β } se escribe β α. β y β α. Se

Definici´ on Dos f´ ormulas α y β son logicamente equivalentes si α denota α ≡ β

Definici´ 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 codificada 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 afirmar 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.

1

↔.La relaci´ on de logicamente equivalente es una relaci´ on de equivalencia. De esta manera podemos identificar las interpretaciones posibles de nuestro lenguaje. Aqu´ ı es donde nace la algebreizaci´ on del lenguaje. A partir de los bloques y estos conectivos l´ ogicos se construyen todas las f´ ormulas (es m´ as. Es por esto que se define naturalmente las asignaciones de verdad: Definici´ on Una asignaci´ on de verdad es una funci´ on V : Bρ → {0. Para todo α ∈ Bρ se da que V (α) = V (α) 2. (a) V (α → β ) = H→ (V (α). H∨ . con las asignaciones de verdad. esto es que al ser interpretadas (en cualquier lugar. entonces existe una u ´nica funci´ on V : F ormρ → {0. H∧ . V (β )) (e) V (¬α) = H¬ (V (α)) Donde {H→ . V (β )) (c) V (α ∧ β ) = H∧ (V (α). es posible darle la forma de una ´ algebra booleana. 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. en su aspecto proposicional (lo que est´ a pasando es que un lenguaje de primer orden tiene contenido. V (β )) (d) V (α ∨ β ) = H∨ (V (α). su verdad depender´ a de los valores de verdad de los bloques que la componen y como est´ an ligados por los conectivos. 1} tal que: 1. →. pues si consideramos a las f´ ormulas m´ odulo la relaci´ on de logicamente equivalente. por lo cual el concepto de asignaci´ on de verdad se puede extender a todas las f´ ormulas. es decir el conjunto F RMρ /≡ = {[α]≡ |α ∈ F RMρ }. Proposici´ on 1. llamada el ´ algebra de Lindenbaum para las universalmente v´ alidas.1 Sea V una asignaci´ on de verdad. 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 . H¬ } son los siguientes operadores sobre el conjunto {0. En una f´ ormula compuesta. a traves de los bloques. ya no solo en las estructuras matem´ aticas) son verdaderas o falsas. 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. V (β )) (b) V (α ↔ β ) = H↔ (V (α). un lenguaje del c´ alculo proposicional como se ver´ a m´ as adelante). H↔ . Los conectivos l´ ogicos {∧. ¬} forman un grupo de las relaciones m´ as comunes que podemos establecer entre las proposiciones b´ asicas. las f´ ormulas estan libremente generadas por los conectivos l´ ogicos a partir de los bloques). ∨. Los bloques representan proposiciones en el sentido cl´ asico.

Definici´ on Dos f´ ormulas α y β son tautol´ ogicamente equivalentes si α βyβ α. de tal forma que al construir las estructuras an´ alogas correspondientes. Sin embargo hasta que no hayamos desarrollado el lenguaje de las ´ algebras booleanas no podre precisar este punto. semejante al ´ algebra de lindenbaum para las universalmente v´ alidas. ´ ´ 2 Algebras Booleanas 2. (donde V’ es la u ´nica extensi´ on de V a las f´ ormulas como en la proposici´ on 1. el de dar una sintaxis al lenguaje. Definici´ on Sea α una f´ ormula. la estructura sem´ antica es la estructura plat´ onica de la matem´ atica cl´ asica). que de nuevo es una relaci´ on de equivalencia. obtenemos otro conjunto al cual se le puede dotar una estructura de ´ algebra booleana. y adem´ as fabrican una tela de relaciones en el lenguaje con las cuales podemos construir otra estructura. las tautologias. 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 α. 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.1) entonces se dice que V satisface a α. Todo esto se ha hecho en t´ erminos completamente sem´ anticos. que se refiere a la asignaci´ on de un significado al lenguaje. otra a traves de operaciones sobre un 3 . Se dice que α es una tautolog´ ıa toda asignaci´ on de verdad la satisface. Sin embargo. Definici´ on Sea α una f´ ormula. Dicho esto nos adentramos primero en la teor´ ıa de las ´ algebras booleanas. Si consideramos ahora las f´ ormulas m´ odulo la relaci´ on de ser tautol´ ogicamente equivalentes. Lo denotare asi Γ α. nuestro objetivo ser´ a. Cuando una asignaci´ on de verdad V es tal que V (α) = 1.Las asignaci´ ones de verdad definen una clase de f´ ormulas muy especiales. para luego poder estudiar el caso concreto de las ´ algebras anunciadas.1 Definici´ ones Las ´ algebras booleanas se pueden introducir de dos maneras diferentes: uno a traves de una relaci´ on de orden que cumple ciertos axiomas. Definici´ on Sea α una f´ ormula y Γ ⊂ F RMρ . Construiremos nuevas algebras booleanas a partir de una sintaxis introducida en aras de reconstruir las viejas ´ algebras booleanas y con esto demostraremos importantes teoremas. estas simulen de la manera m´ as aproximada a est´ a estructura que conocemos y tenemos por ideal (en cierta manera.

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

Demostraci´ on Sea x un elemento de la ret´ ıcula. sup{x. 2 = {0. y } = H∧ (x. y ) ∈ R2 |x = ay } y W2 = {(x. x ∧ 0 = 0 2. 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 . Por ejemplo si consideramos V = R2 entonces cualesquiera dos subespacios de la forma W1 = {(x. z2 complementos de x.4 Compruebe que los ejemplos 1 y 4 son ret´ ıculas complementadas. del ejercicio 2. al complemento lo denotaremos ¬x. con a y b numeros reales positivos distintos. 0 ≤ 1 y 1 ≤ 1 es una ´ algebra booleana. De manera an´ aloga uno obtiene z2 ≤ z1 . y ) ∈ R2 |x = by }. (Note que este es el conjunto de valores de verdad y que ¬x = H¬ (x). Existe un teorema. x ∨ 1 = 1 3.Definici´ on Una ret´ ıcula A es complementada si tiene m´ aximo. Definici´ on Una ret´ ıcula A es distributiva si se satisfacen las siguiente ecuaciones: 1. Ejemplo 5.5 Sea A una ret´ ıcula con 0 y 1. inf {x. y z1 . 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. El conjunto potencia de cualquier conjunto no vac´ ıo. Este es el ejemplo arquet´ ´ ıpico de las ´ algebras booleanas. 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. m´ ınimo y todo elemento tiene un complemento. 1} con el orden 0 ≤ 0. y } = H∨ (x. Sin embargo existe una condici´ on sobre la ret´ ıcula que garantiza la unicidad de los complementos.6 En una ret´ ıcula distributiva los complementos son u ´nicos. Definici´ on Una ´ algebra booleana es una ret´ ıcula distributiva complementada con al menos dos elementos. Si un elemento x de una ret´ ıcula distributiva tiene complemento. Demuestre que: 1. x ∨ (y ∧ z ) = (x ∨ y ) ∧ (x ∨ z ) Proposici´ on 2. y )) 6. son espacios complementarios.3 concluimos que z1 ≤ z2 . y ). x ∧ (y ∨ z ) = (x ∧ y ) ∨ (x ∧ z ) 2. por lo tanto z1 = z2 La proposici´ on anterior nos concede el poder darle un nombre al complemento de un elemento. Entonces: z1 = z1 ∧ 1 = z1 ∧ (x ∨ z2 ) = (z1 ∧ x) ∨ (z1 ∧ z2 ) = 0 ∨ (z1 ∧ z2 ) = (z1 ∧ z2 ) Por lo que. junto con la inclusi´ on es una algebra booleana. Ejercicio 2.

entonces para todo x. si Cof(X)= {Y ⊂ X |X \ Y es finito} y Fin(X)= {Y ⊂ X |Y es finito}. ¬. implica 2. ∨ : A × A → A.2. ¬(x ∨ y ) = ¬x ∧ ¬y 3. 7. 2. entonces KX = Cof(X) ∪ Fin(X) con el orden inducido por la inclusi´ on es una ´ algebra booleana. En un espacio topol´ ogico. 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.´lgebra booleana ”es” una sub´ a algebra de alguna de estas (pronto definiremos lo que significa ser sub´ algebra).7 Demuestre que si A es un ´ algebra booleana. llamadas ∧. que con la inclusi´ on forma un ´ algebra booleana. El conjunto de los conjuntos finitos junto con los cofinitos es una ´ algebra booleana. 2. A tiene tres operaciones ∧ : A × A → A. ¬¬x = x 2. y ∈ A se cumple: 1.8 Sea A un conjunto con al menos dos elementos. Esto es. Ejercicio 2. Teorema 2. A es una ´ algebra booleana. los conjuntos que son abiertos y cerrados simultaneamente forman un conjunto llamado el ´ algebra caracter´ ıstica del espacio topol´ ogico. ≤) es una ret´ ıcula distributiva complementada. ∨. Vale la pena observar 6 .5 y la definici´ on de una ret´ ıcula distributiva complementada. Sea X un conjunto no vac´ ıo. Entonces son equivalentes: 1.1. Esto es A tiene un orden parcial ≤ tal que (A. esta contenida en los ejercicios 2. (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. 8. y dos objetos distinguidos 0. que satisfacen las siguientes ecuaciones: (a) x ∧ y = y ∧ x y x∨y =y∨x 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. ¬(x ∧ y ) = ¬x ∨ ¬y La relaci´ on de orden en un ´ algebra booleana genera tres diferentes operaciones sobre el conjunto. ¬ : A → A.

Sean x. y ∧ (x ∨ y ) = x por la ley de absorci´ on (d). veamos que tiene ´ ınfimos y supremos de pares de elementos.que las operaciones de complemento. Usaremos para demostar la distributividad de A que se satisface la otra ley de absorci´ on (x ∨ (y ∧ x) = x). Sea ≤⊆ A × A definida como x ≤ y si y solo si x ∧ y = x. 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 . x ∨ y es el supremo. Por lo tanto x ≤ x ∨ y y y ≤ x ∨ y . Sea z ∈ A tal que z ≤ x y z ≤ y . propongo a x ∧ y como el ´ ınfimo y a x ∨ y como el supremo. Hasta ahora sabemos que (A. y tales que x ≤ y y y ≤ x. 0 es m´ ınimo puesto que 0 ∧ x = (¬x ∧ x) ∧ x = ¬x ∧ (x ∧ x) = ¬x ∧ x = 0. 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 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 ). Falta probar que ≤ es antisim´ etrica. Asi que supongamos que tenemos un conjunto con al menos dos elementos que satisface 2. sean x. Para la transitividad supongamos que x ≤ y y y ≤ z .6 . Sea z ∈ A tal que z ≤ x y z ≤ y . x ∧ (x ∨ y ) = x ∧ (y ∨ x) = x por la misma raz´ on. Entonces lo primero que debemos de comprobar es que ≤ as´ ı definida es una relaci´ on de orden. ´ ınfimo y supremo est´ an bien definidas ya que estos son u ´nicos gracias a la proposici´ on 2. entonces z ∧ (x ∧ y ) = (z ∧ x) ∧ y = z ∧ y = z . x ∧ y es el ´ ınfimo: 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 . El ejercicio 2. lo cual se traduce a z ∧ x = z y z ∧ 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)).3 nos da una pista de como debemos de definir el orden en A. A tiene m´ aximo y m´ ınimo: 1 es m´ aximo ya que x ∧ 1 = x (1 es neutro (f)). ≤) es un conjunto parcialmente ordenado. A es una algebra booleana. por lo que A es una ret´ ıcula distributiva y complementada con al menos dos elementos. entonces x = x ∧ y = y ∧ x = y (conmutatividad (1)). y ∈ A. por lo tanto z ≤ x ∧ y . ´ 7 . La idempotencia (c) asegura que la relaci´ on es reflexiva.

Si esto se cumple. Definiremos las relaciones relevantes en el mundo de las ´ algebras booleanas. Ejercicio 2. 2. dado por f (0) = 0 y f (1) = 1. se usaran ambas caracterizaci´ ones libremente. f (¬x) = ¬f (x) Ejercicio 2. Sea X un conjunto no vac´ ıo. Demuestre que f (0) = 0 y f (1) = 1. 3. f (x ∨ y ) = f (x) ∨ f (y ) 3. y } y que x ∨ y =sup{x. Ejercicio 2. Sean X ⊂ Y dos conjuntos no vac´ ıos. Definici´ on Un morfismo de ´ algebras booleanas es una funci´ on f : A → B entre ´ algebras booleanas que preserva la estructura de ´ algebra booleana. Definici´ on Un morfismo f : A → B es un monomorfismo (o mono) si f es inyectiva. se sigue que x ∧ y = inf{x. Entonces la inclusi´ on i : KX → ℘(X ) es un morfismo de ´ algebras booleanas. Entonces la funci´ on fX : ℘(Y ) → ℘(X ) dada por fX (A) = A ∩ X es un morfismo de ´ algebras booleanas. En lo que sigue.12 Demuestre que los ejemplos son morfismos de ´ algebras booleanas. Esto es si x ≤ y entonces f (x) ≤ f (y ) Ejemplo 1. 2. Para cualquier ´ algebra booleana A existe un u ´nico morfismo f : 2 → A.2 Homomorfismos En esta subsecci´ on nuestro enfoque ser´ a el siguiente: estudiar las ´ algebras seg´ un su contexto en el mundo de las ´ algebras booleanas. La relaci´ on de isomorf´ ıa es 8 .10 Sean f : A → B y g : B → C morfismos de ´ algebras booleanas. Demuestre que g ◦ f es un morfismo de ´ algebras booleanas. y }. Definici´ on Un morfismo f : A → B es un epimorfismo (o epi) si f es suprayectiva. Ejercicio 2. decimos que A y B son isomorfas (se escribe A B ).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. f (x ∧ y ) = f (x) ∧ f (y ) 2. Definici´ on Un morfismo f : A → B es un isomorfismo (o iso) si f es mono y epi.11 Demuestre que todo morfismo de ´ algebras booleanas preserva el orden. En el caso de que exista un isomorfismo entre dos ´ algebras booleanas A y B.9 Sea f : A → B un morfismo de ´ algebras booleanas. Hay algunas clases de morfismos de ´ algebras booleanas (de ahora en adelante omitir´ e el ”de ´ algebras booleanas”) que merecen ser mencionadas. es decir: 1.

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

Ejercicio 2. Notemos que si y ∈ N uc(f ) y x ∈ A entonces f (x ∨ y ) = f (x) ∨ f (y ) = f (x) ∨ 0 = f (x). b ∈ B entonces a ∧ b ∈ B . bajo la funci´ on. y ∈ A. Entonces F in(X ) ⊂ ℘(X ) es un ideal. 1}. An´ alogamente {1} es el filtro trivial. Si a ∈ A entonces a ↓= {y ∈ A|y ≤ a} es un ideal. 3. Ejercicio 2. Los ideales y los filtros no son las u ´nicas subestructuras de una ´ algebra booleana. o un ideal I. Sea X un conjunto infinito. si a.15 Sea f : A → B . Cof(X) es un filtro. Es decir. y ∧ ¬x ∈ N uc(f ).16 Sean x. ¿Qu´ e importancia tienen estos ideales y filtros? Supongamos que tengo un filtro F. Demuestre que Im(f ) = f (A) = {f (a)|a ∈ A} es una sub´ algebra de B. Ejercicio 2. 4. 3. que en este caso es la siguiente: 10 . la de sub´ algebra: Definici´ on Sea A una ´ algebra booleana y B ⊆ A.ocurrencia de ∧ por ∨. y que si x. 2. {0} es un ideal. o Sh(f)=F?. b ∈ B entonces a ∨ b ∈ B . Por ejemplo. Concluya que f (x) = f (y ) si y solo si x∆y ∈ N uc(f ).14 Demuestre que toda sub´ algebra de una ´ algebra booleana contiene al conjunto {0. en un mismo punto. Responderemos la primer pregunta. Es decir: 1. y ∈ A son tales que f (x) = f (y ) entonces x ∧ ¬y. si a ∈ B entonces ¬a ∈ B . Definimos la diferencia sim´ etrica como x∆y = (x ∧ ¬y ) ∨ (y ∧ ¬x). De hecho existe una mas natural. Con toda partici´ on viene una relaci´ on de equivalencia. llamado el ideal trivial. Se dice que B es una sub´ algebra de A si B es no vac´ ıo y B es cerrado bajo las operaciones. El ejercicio anterior expresa que los conjuntos {a ∨ j |j ∈ N uc(f )} caen. ¿Existir´ a un morfismo tal que Nuc(f)=I. La observac´ ıon que nos llevo a esta definici´ on dice entonces que todo morfismo de ´ algebras booleanas induce un ideal y un filtro en el ´ algebra dominio. cada ocurrencia de ∨ por ∧ y permutar 0 con 1. si a. Demuestre que x ∨ (x∆y ) = y ∨ (x∆y ). y que si dos elementos caen en un mismo punto entonces estan en el mismo conjunto. a ↑= {x ∈ A|a ≤ x} es un filtro. los conjuntos {a ∨ j |j ∈ N uc(f )} forman una partici´ on de A. 2. Ejemplo 1. La respuesta a estas pregunta nos lleva a demostrar una serie de teoremas muy imporantes llamados los teoremas de isomorfismos. A es un filtro y un ideal. un ideal es el concepto dual de un filtro.

demuestre que las siguientes relaci´ ones son de equivalencia.19 Sea f : A → B un morfismo. Ejercicio 2. x ∼Sh(f ) y Ejercicio 2. 11 .18 Demuestre que efectivamente son equivalentes: 1. Es decir. Pero esto se puede enmendar facilmente.17 Duemuestre que si uno define las mismas relaci´ ones pero para filtos e ideales arbitrarios.x ∼N uc(f ) y si y solo si existe j ∈ N uc(f ) tal que x ∨ j = y ∨ j . x ∼N uc(f ) y si y solo si f(x)=f(y).17 son relaci´ ones de congruencia. definimos x ∼F y si y solo si existe f ∈ F tal que x ∧ f = y ∧ f . 2. Y como consecuencia la definici´ on de esta relaci´ on de equivancia. sin embargo f ˆ no es un morfismo f (a).20 Las relaci´ ones definidas en el ejericicio 2. y adem´ as podemos observar que f de ´ algebras ya que A/N uc(f ) no tiene estructura de ´ algebra booleana. f (x) = f (y ) 2. y ∈ A tales que x ∼F y . podemos definir la siguiente relaci´ on: x ∼Sh(f ) y si y solo si existe k ∈ Sh(f ) tal que x ∧ k = y ∧ k Ejercicio 2. 3. 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. f es mono si y solo si Sh(f ) = {1}). Sean x. 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 ). el otro caso es dual. Usando las leyes de De Morgan (Ejercicio 2. Demostraci´ on Se demostrara solo para ∼F . Proposici´ on 2. Si x ∼F y (x ∼I y ) entonces ¬x ∼F ¬y ( ¬x ∼I ¬y ). x ∼N uc(f ) y 3. Entonces existe f ∈ F tal que x ∧ f = y ∧ f . y por lo tanto podemos heredar esta estructura al cociente. pues la relaci´ on ∼N uc(f ) preserva la estructura de ´ algebra booleana. An´ alogamente para el shell. Demuestre que f es mono si y solo si N uc(f ) = {0} (dualmente para el shell. Sea F un filto e I un ideal. y x ∼I y si y solo si existe i ∈ I tal que x ∨ i = y ∨ i. 1. entonces estas relaci´ ones son de equivalencia. Es decir: 1. Por lo tanto (¬x ∨ ¬f ) ∧ f = (¬y ∨ ¬f ) ∧ f .7) obtenemos ¬x ∨ ¬f = ¬y ∨ ¬f . Por lo tanto ¬(x ∧ f ) = ¬(y ∧ f ). 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 ).

Ejercicio 2. 2. Tanto A/I como A/F son ´ algebras booleanas gracias a la proposici´ on 2. Sean x1 . y1 . 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 filtro f1 ∧ f2 ∈ F por lo que x1 ∨ y1 ∼F x2 ∨ y2 . 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.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 . y de A/F? 12 . x2 . Sean x1 . 3. f2 ∈ F tales que x1 ∧ f1 = x2 ∧ f1 y y1 ∧ f2 = y2 ∧ f2 .20. y2 ∈ A como en el inciso anterior. y2 ∈ A tales que x1 ∼F x2 y y1 ∼F y2 . y1 . [a] ∧ [b] = [a ∧ b] 2. [a] ∨ [b] = [a ∨ b] 3. x2 . ¿Quien es el 0 y el 1 de A/I. A estas ´ algebras se les llama ´ algebras cociente: Definici´ on Sea I un ideal. 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 . es posible construir una ´ algebra booleana con las relaci´ ones inducidas por ellos. Entonces existen f1 . Si I es un ideal y F un flitro. ¬[a] = [¬a] Si F es un filtro entonces A/F es el ´ algebra booleana de las clases de equivalencia bajo la relaci´ on ∼F con las operaciones heredadas.21 Sea I un ideal y F un filtro en A.

adem´ as para todo i ∈ I [i] = [0]. 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 definida.26 Sea f : A → B un morfismo. A pI f /B = ∃!h  A/I Demostraci´ on Sea I un ideal y f : A → B un morfismo tal que I ⊆ N uc(f ).Existen morfismos naturales de A en A/I y A/F llamados proyecciones pI : A → A/I . Demostraci´ on Demostrare solo el caso de los ideales. Entonces N uc(pI ) = I y Sh(pF ) = F . Esto nos dice que a ≤ i pero I es un ideal y por lo tanto a ∈ I . {I |I es ideal} ∼ = {N uc(f )|f : A → B es morfismo} y {F |F es filtro} ∼ = {Sh(f )|f : A → B es morfismo}. Por lo tanto N uc(f ) = I . Entonces A/I cumple la siguiente propiedad (universal): Si f : A → B es un morfismo tal que I ⊆ N uc(f ) entonces existe un u ´nico morfismo h : A/I → B tal que f = hpI . que hace conmutar el siguiente diagrama. que h es un morfismo y que hace conmutar el diagrama. pF : A → A/F y cumplen que p(a) = [a] y de hecho: Lema 2. Demostraci´ on Las ´ algebras cociente se comportan de una manera bastante interesante como lo evidenc´ ıa el siguiente teorema.24 Sea I un ideal en A. Teorema 2. Entonces [a] = [0] por lo tanto existe i ∈ I tal que a ∨ i = i. Entonces h([a]) = h(pI (a)) = f (a) = h (pI (a)) = h ([a]). Entonces A/N uc(f ) Im(f ). En resumen: Teorema 2. Dualmente. Y es claro que f = hpI . existe una correspondencia biyectiva entre los filtros de A y el ”shell” de morfismos con dominio A. Existe una correspondencia biyectiva entre los ideales de A y el n´ ucleo de los morfismos con dominio A. Definimos h : A/I → B como sigue: h([a]) = f (a). Teorema 2. 13 . Que h sea un morfismo es consecuencia de que f es morfismo y de como indujimos las operaciones en A/I. La demostraci´ on para los filtros es dual. Sean a. Tenemos que verificar tres cosas. y F un filtro. uno que la funci´ on h esta bien definida (es decir que su valor no depende del representante de la clase que tomemos).22 Sea I un ideal en A. Ejercicio 2. b ∈ A tales que a ∼I b. Sea a ∈ A tal que pI (a) = 0. Sea h : A/I → B un morfismo tal que h pI = f . por lo que h = h. O en otras palabras.23 Sea A una ´ algebra booleana.24.25 Enuncie y demuestre el enunciado dual del teorema 2.

Para resolver esta duda nos planteamos una pregunta un poco 14 . y }} y {{y }. pues {x} ∩ {y } = ∅ no est´ a. La uni´ on de dos filtros puede no ser un filtro. Sea I = Y ↓= {Z ⊂ X |Z ⊂ Y }.26 y 2. Sin embargo si existe el supremo de una familia de filtros.25 nos han revelado la importancia de los filtros y los ideales. veamos que h es un isomorfismo con la imagen. 2.18 y 2.23. y por lo tanto iso. 2. ¿Qu´ e propiedades tiene este orden parcial? Teorema 2. b {x. {x. demuestre que ℘(X )/I ℘(Y ). Y es claro que Im(h) = Im(f ) por lo tanto es h : A/I → Im(h) es mono y epi. {y } {x} {y } ∅ La figura de la izquierda es la uni´ on de de los filtros {{x}.Demostraci´ on Sea I = N uc(f ) por el teorema 2. ⊆) es una orden parcial donde todo subconjunto tiene ´ ınfimo y supremos. y }} mas no es un filtro. Los teoremas 2.19 h es un monomorfismo.27.24. supondremos que estamos trabajando en una ´ algebra booleana A. Nombraremos Fil(A) al conjunto de filtros de A. Entonces i∈I Fi es un filtro. En lo que sigue nos dedicaremos a estudiar los filtros.27 Sea f : A → B un epimorfismo.3 Filtros En esta secci´ on.30 (F il(A). y } . y adem´ as tiene m´ aximo y m´ ınimo. Los filtros. Corolario 2. Esto es A/I Im(f ). y de hecho existen dos maneras de construirlos. Entonces A/N uc(f ) Ejercicio 2. Estas son las subestructuras de una ´ algebra booleana que nos dicen que tanto difieren de otras ´ algebras booleanas y tambien a que ´ algebras booleanas se parece. Antes de dar la demostraci´ on del teorema observemos que la intersecci´ on de cualquier cantidad de filtros es un filtro: Ejercicio 2.31 Sea {Fi }i∈I una familia de filtros.29 Sea X un conjunto no vac´ ıo y Y ⊂ X . B 2. y } .28 Demuestre el dual de los teoremas 2. junto con la inclusi´ on forman un orden parcial. {x. Por el ejercicio 2. Ejercicio 2. Por ejemplo: {x.24 existe un morfismo h : A/I → B tal que f = hpI . b {x} c .

mas general: ¿Dado un subconjunto X ⊆ A cual es el filtro m´ as chico que contiene a X? La respuesta m´ as inmediata esta contenida en el ejercicio 2. entonces existen Y1 . x ∧ y ∈ (X c ) ↑. Proposici´ on 2. Inf (Y ) ∈ F y por lo tanto y ∈ F .31. Entonces existe Y ∈ ℘ω (X ) tal que Inf (Y ) ≤ x ≤ z . Ejercicio 2. Todo filtro debe tener ´ ınfimos finitos (puesto que tiene ´ ınfimos por pares) por lo que lo menos que podemos exigir de un conjunto para que sea filtro es que contenga todos los ´ ınfimos de sus subconjuntos finitos. Sea X un subconjunto de A.32 Demuestre que para todo X ⊆ A. Como F es filtro y contiene a X. Consideremos < X >= {F ⊆ A|F es filtro y X ⊆ F }. Como X es no vac´ ıo entonces c c c existe y ∈ X . Sea y ∈ (X c ) ↑ entonces existe Y ∈ ℘ω (X ) tal que Inf (Y ) ≤ y . Y2 ∈ ℘ω (X ) tales que Inf (Y1 ) ≤ x y Inf (Y2 ) ≤ y . por lo tanto z ∈ (X c ) ↑. y ≤ 1 por lo que 1 ∈ (X ) ↑. Por lo tanto (X ) ↑=< X >. Sea x ∈ (X c ) ↑ y x ≤ z .34 Sea X ⊆ A entonces < X > es propio si y solo si X tiene la pif. Definici´ on Se dice que X tiene la propiedad de intersecci´ on finita (pif) si el ´ ınfimo de todo subconjunto finito de X no es 0. Sea X un subconjunto de A. donde ℘ω = {Y ⊆ X |Y es finito }.30 Definici´ on Se dice que un filtro F es propio si F = A. Demostraci´ on 15 . Ahora supongamos que < X >= A. Esto es X tiene un subconjunto finito cuyo ´ ınfimo es 0. Entonces 0 ∈< X >= (X c ) ↑ por lo que existe Y ∈ ℘ω (X ) tal que Inf (Y ) ≤ 0. Demostraci´ on Por el ejercicio anterior X ⊆ (X c ) ↑. denotamos por X c al siguiente conjunto: X c = {Inf (Y )|Y ∈ ℘ω (X )}. Es decir (X c ) ↑⊆ F . y ∈ (X ) ↑. Proposici´ on 2. X ⊆ X c y X ⊆ X ↑. La tercera condici´ on para que un conjunto sea un filtro dice que debe de contener todos los elementos que sean m´ as grande que alg´ un elemento del conjunto. y por ello se le llama el filtro generado por X. Note que F es un filtro propio si y solo si 0 ∈ / F (Ejercicio). Sea F un filtro que contiene a X. Sean x. < X > es un filtro que contiene a X y de hecho es el mas chico con esta propiedad. por lo tanto Inf (Y1 ∪ Y2 ) ≤ x ∧ y . ¿Cuando ocurre que < X > es propio? Si X tiene un subconjunto cuyo ´ ınfimo es 0 entonces 0 ∈ X c y por lo tanto A ⊆ (X c ) ↑. (X c ) ↑ es el filtro m´ as chico que contiene a c X. Con esto hemos demostrado el teorema 2.33 Sea X ⊆ A no vac´ ıo. Sea X ↑= {a ∈ A| existe b ∈ X tal que b ≤ a}. Si para todo Y ∈ ℘ω (X ) Inf (Y ) = 0. Sin embargo a veces nos gustar´ ıa dar una caracterizaci´ on mas expl´ ıcita de quien es < X >.

Supongamos que y.Como Fil(X) es una ret´ ıcula. ∧ bm ∧ y = Inf (Y2 ). Entonces Inf (Y1 ) = a1 ∧ a2 ∧ .. ∧ bn ∈ F . b2 .35 Sea F un filtro en A. es decir. Como F es primo entonces x ∈ F o ¬x ∈ F (4 =⇒ 1) Sea G un filtro tal que F ⊆ G. Como G es filtro 0 = y ∧ ¬y ∈ G y por lo tanto G = A. x} y Y2 = {b1 . A/F 2. Si x ∨ y ∈ F entonces x ∈ F o y ∈ F .. (El filtro es primo) 4. y ∈ A tales que x ∨ y ∈ F . pF (x) ∨ pF (y ) = pF (x ∨ y ) = 1. y h es claramente un epimorfismo entonces 2 A/F . sobre todo para nuestros propositos l´ ogicos. a2 . 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.. ∧ an ∧ x = 0 = b1 ∧ b2 ∧ . 3. Definici´ on Un filtro F es un ultrafiltro si F es propio y si para todo filtro propio G. A estos filtros los llamamos ultrafiltros.. Teorema 2. Consideremos la proyecci´ on pF : A → A/F 2. Como Sh(f)=F. Como F es un filtro propio entonces tiene la pif.. (a ∨ 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). por lo que Y1 = {a1 .27) (2 =⇒ 3) Sean x. Esto se traduce en x ∈ F o y ∈ F. y }. b ∈ F tales que a ∧ x = 0 = b ∧ y . Como y ∈ / F entonces ¬y ∈ F ⊆ G.. los filtros propios que no estan contenidos en otros filtros propios.. (3 =⇒ 2) Definamos h : A → 2 como sigue: h(a) = 1 si a ∈ F y h(a) = 0 si no. El siguiente teorema demuestra la importancia de los ultrafiltros. an . . Demostraci´ on (1 =⇒ 3) Sea x. (x ∨ b).. Por lo tanto existen Y1 ∈ ℘ω (F ∪ {x}) y Y2 ∈ ℘ω (F ∪ {y }) tales que Inf (Y1 ) = 0 = Inf (Y2 ).. Como F es filtro a1 ∧ . y ∈ A tales que x ∨ y ∈ A.. (Corolario 2. 16 . 2. ∧ an ∈ F y b1 ∧ . si F ⊆ G entonces F = G. bm . x ∈ F o ¬x ∈ F . (x ∨ y ) ∈ F por lo que 0 ∈ F .. F es un ultrafiltro. . entonces lo que tenemos es que existen a. Se puede verificar que h es un morfismo (ejercicio). Son equivalentes: 1. (3 =⇒ 4) Sea x ∈ A entonces x ∨ ¬x = 1 ∈ F .. Para todo x ∈ A. Supongamos que F = G. Entonces existe y ∈ G \ F . x ∈ / F entonces < F ∪ {x} >= A =< F ∪ {y } > ya que F es un ultrafiltro. Esta contradicci´ on nos lleva a concluir que x ∈ F o y ∈ F .. nos podemos preguntar quienes son los elementos maximales de la ret´ ıcula.

Sean x. y x un elemento de A entonces X ∪ {x} o X ∪ {¬x} tiene la pif. Como F2 es un filtro x ∧ y ∈ F2 ⊆ C . lo cual implica por la maximalidad de U que K = U . Afirmo que C ∈ H . Esto es que C es un filtro propio que contiene a F. ∧ bn )) ∧ ((a1 ∧ .. Demostraci´ on Usaremos el axioma de elecci´ on en la forma del lema de Zorn. como F ⊆ U ⊆ K entonces K es A o K es propio y por lo tanto K ∈ H . entonces x ∈ F1 ∈ C . ∧ an ) ∨ (b1 ∧ ... ∧ an ) ∧ x = 0 = (b1 ∧ b2 ∧ ... ∧ bn )) ∧ ((a1 ∧ . Como X tiene la pif x ∈ Y1 y ¬x ∈ Y2 ... Por lo tanto H es un orden parcial no vac´ ıo en donde toda cadena est´ a acotada superiormente. Teorema 2.39 Si X es un subconjunto no vac´ ıo de A que tiene la pif.Ahora supongamos que tenemos un filtro.36 Sea F un filtro propio A y x ∈ A entonces F ∪ {x} o F ∪ {¬x} tiene la pif.38 (Teorema del Ultrafiltro (AE)) Todo filtro propio esta contenido en alg´ un ultrafiltro. Consideremos H = {K |K es filtro propio y F ⊆ K }. con lo cual concluimos que C es un filtro.. Pero 1 ∈ C ya que C contiene al menos un filtro y todo filtro contiene al 1.. F2 ∈ C . Ejercicio 2. Entonces existen Y1 ∈ ℘ω (F ∪{x}) y Y2 ∈ ℘ω (F ∪{¬x}) tales que Inf (Y1 ) = 0 = Inf (Y2 )... Entonces (a1 ∧ a2 ∧ . contradicci´ on. Como F1 es filtro z ∈ F1 ⊆ C ... Por el lema de Zorn. y ∈ F2 . y ∈ C entonces x ∈ F1 y y ∈ F2 donde F1 .. H es no vac´ ıo ya que F ∈ H . Sin embargo el paso que se tiene que tomar para extender un filtro a un ultrafiltro requerir´ a del axioma de elecci´ on. Pero U es un ultrafiltro pues si K es un filtro tal que U ⊆ K ... Siempre que tengamos un filtro podemos extenderlo para contener un elemento o la negacion de ese elemento.37 Demuestre que si X es un conjunto que tiene la pif. ∧ bm ) ∧ ¬x.. Sea F un filtro propio.. Como C es una cadena. ∧ bn ) ∧ ¬x) = ((a1 ∧ . Entonces F ∪ {x} o F ∪ {¬x} tiene la pif. ∧ an ) ∨ ¬x) ∧ ((b1 ∧ ... Adem´ as es propio ya que si 0 ∈ C entonces 0 ∈ F ∈ C ⊆ H lo cual es imposible. podemos suponer sin perdida de generalidad que F1 ⊆ F2 por lo que x. existe un elemento maximal U en H... ∧ an ) ∧ x) ∨ ((b1 ∧ . Sea x ∈ C y x ≤ z . ∧ bm ) ∨ x) ∧ (x ∨ ¬x) = ((a1 ∧ . Por lo tanto 0 = ((a1 ∧ . ∧ an ) ∨ ¬x) ∧ ((b1 ∧ . entonces X esta contenido en un ultrafiltro. Sea C una cadena en H. 17 . Ejercicio 2. ∧ bm ) ∨ x) Entonces 0 ∈ F ... Demostraci´ on Supongamos que x ∈ / F y que ni F ∪ {x} ni F ∪ {¬x} tienen la pif. Pero por ahora: Proposici´ on 2. Nos gustar´ ıa poder extenderlo si es posible a un ultrafiltro. ∧ an ) ∨ (b1 ∧ .

Sea U ∈ φ(a) ∪ φ(b) entonces a ∈ U o b ∈ U . ya que nos dice que es posible separar los puntos de A con ultrafiltros. 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 filtros. b ∈ U por lo que a ∧ b ∈ U . entonces a ∧ b ∈ U . Esto es φ(x) = φ(y ). entonces existe un ultrafiltro U tal que Demostraci´ on Consideremos el conjunto X = {x.35 a ∈ U o b ∈ U . a. Sea U ∈ φ(a) ∩ φ(b) entonces. entonces a ∨ b ∈ U . Sin perdida de generalidad supongamos que x y .41 Sean x.40 En una a ´lgebra booleana A se cumple que: x ∧ ¬y = 0 ⇐⇒ x ≤ y Corolario 2.42 (de representaci´ on de Stone (AE)) Sea A una ´ algebra booleana. (φ(¬a) = X \ φ(a)) : Sea a ∈ A y U ∈ φ(¬a). lo cual implica que U ∈ φ(a) ∪ φ(b).25. Entonces ¬a ∈ U . Como U es filtro y a ∧ b ≤ a. (A φ(A)) Demostraci´ on Consideremos X = {U ⊆ A|U es ultrafiltro}. b ∈ U .40 X tiene la pif y por lo tanto (en virtud del ejercicio 2. b ∈ A y U ∈ φ(a ∧ b). 3 L´ ogica 18 . y como U es propio entonces a ∈ / U .Ejercicio 2. φ es mono: Por el corolario 2. y . b ∈ A y U ∈ φ(a ∨ b). esto es U ∈ / φ(a). Por lo tanto φ(a ∧ b) = φ(a) ∩ φ(b). Este ultimo corolario es bastante importante. por lo que U ∈ φ(a) ∩ φ(b). ser´ a demostrado aqu´ ı. Por lo tanto φ(a∨b) = φ(a)∪φ(b). b entonces a. De nuevo por el teorema 2. ¬y }.41 si x = y entonces x y o y x. Definimos φ : A → ℘(X ) como φ(a) = {U ∈ X |a ∈ U } φ es un morfismo: (φ(a ∧ b) = φ(a) ∩ φ(b)) : Sean a. Sea U ∈ X \ φ(a) entonces a∈ / U . por lo tanto existe un ultrafiltro tal que x ∈ U yy∈ / U . Por el teorema 2. En resumen U es un ultrafiltro tal que x ∈ U y y ∈ / U.39) existe un ultrafiltro U tal que {x. Un ejemplo notable de esto es el teorema de representaci´ on de Stone. Teorema 2. entonces existe un conjunto X y un monomorfismo φ : A → ℘(X ). esto implica que ¬a ∈ U y por lo tanto φ(¬a) = X \ φ(a). (φ(a ∨ b) = φ(a) ∪ φ(b)) : Sean a. b ≤ a ∨ b se tendria que a∨b ∈ U por lo que U ∈ φ(a∨b). y ∈ A tales que x x∈U yy∈ / U. Por el ejercicio 2. ¬y } ⊆ U . que aunque no sea relevante en lo que sigue. En ambos casos como a. La presencia de ¬y en U impide que y ∈ U ya que conllevaria a que U no sea propio (0 = y ∧ ¬y ∈ U ).

Sign up to vote on this title
UsefulNot useful