ALGEBRAS BOOLEAS Y TOPOLÓGICAS

ALGEBRAS BOOLEAS

Introducción. La teoría de las álgebras booleanas se ha presentado en detalle en

varios libros y es bastante conocida. Por lo tanto, suponemos que el lector está
familiarizado con esta teoría. Sin embargo, en aras de la continuidad y para
aplicaciones en booleanos topológicos, álgebras y álgebras posteriores,
explicadas en este capítulo y en el Capítulo VII, respectivamente, describimos aquí
algunas propiedades booleanas básicas Álgebras Estas incluyen el teorema de
representación de Stone.

Las álgebras booleanas topológicas fueron introducidas y estudiadas por

McKinsey y Tarski [1] bajo el término álgebras de cierre. Después de Nobeling,
usamos el término álgebras booleanas topológicas aquí, que es adoptado por
muchos autores. Estas álgebras caracterizan la lógica modal, que se analizará en
el Capítulo XIII.

Las álgebras booleanas topológicas son, en términos generales, álgebras

booleanas con, además, una operación de un argumento I, llamado operación
interior y caracterizado por axiomas análogos a los de las operaciones interiores
en espacios topológicos. La clase de todos los subconjuntos de cualquier espacio
topológico es un álgebra booleana topológica con respecto al conjunto de
operaciones teóricas (de unión, intersección, complementación) y operación
interior. Estas álgebras y sus subalgebras cubren todas las álgebras booleanas
topológicas hasta el isomorfismo.
Este capítulo resume las propiedades básicas de estas álgebras, la Teoría del
filtro y teorema de representación incluido. Además, también se incluyen los
teoremas que establecen la relación entre las álgebras booleanas topológicas, por
un lado, y las redes relativamente seudocomplementadas, las redes reticuladas
complementadas por el contraste, las redes semielaboradas y las álgebras
pseudobooleanas, por otra parte. Estos teoremas tienen sus análogos metálicos,
que se darán en la Parte Dos. Este capítulo también contiene lemas sobre
incrustaciones para todos los tipos de álgebras mencionados anteriormente. Se
aplicarán en la segunda parte al problema de decisión para el cálculo
proposicional de la lógica que se caracteriza algebraicamente por álgebras de este
tipo

1. Definición y propiedades elementales de álgebras booleanas (1).

Recordamos que un álgebra abstracta se dice que es un álgebra
booleana siempre que se cumplan las siguientes dos condiciones:

(b1) es un álgebra pseudo-booleana,

(b2) para cada a e A.

Las operaciones se denominan operación de implicación y

complementación, respectivamente.

El álgebra booleana de dos elementos puede ser denotado por 𝐵𝑜 ,

Las algebras booleanas de todos los subconjuntos de
cualquier espacio 𝑋 ≠ 0 y sus subalgebras son llamados campos de subconjuntos
de X