Booleova algebra

Booleova algebra, nazvaná podle irského matematika George Boolea, je struktura $\mathbb {B} =(B,\wedge ,\vee ,{\textbf {1}},{\textbf {0}},-)$, kde $B$ je neprázdný nosič, $\wedge ,\vee$ jsou binární operátory, 0 je nejmenší a 1 největší prvek, $-$ je unární operátor na B a platí axiomy:
$B_{1}$ asociativita $\wedge ,\vee$
$B_{2}$ komutativita $\wedge ,\vee$
$B_{3}$ distributivita $\wedge ,\vee$
$B_{4}$ komplementarita $a\wedge -a=0,a\vee -a=1$
$B_{5}$ absorpce $a\vee (a\wedge b)=a,a\wedge (a\vee b)=a$
$B_{6}$ nedegenerovanost ${\textbf {0}}\neq {\textbf {1}}$

Poslední z uvedených axiomů způsobuje, že triviální svaz tvořený jednoprvkovou množinou (0 = 1) není BA.

Booleova algebra je distributivní komplementární svaz, tedy pro každý prvek z nosiče existuje právě jeden jeho komplement (doplněk) takový, který splňuje $a\wedge -a=0\wedge a\vee -a=1$. Uvedené operace, tedy průsek, spojení a operaci $-$ pro doplněk, označujeme jako booleovská operace.

Dualita operací

Máme-li formuli $\varphi$ v jazyce $(\wedge ,\vee ,{\textbf {1}},{\textbf {0}},-)$, pak její dualitu $d(\varphi )$ vytvoříme tak, že nahradíme $\wedge$ za $\vee$, $\vee$ za $\wedge$,1 za 0 a 0 za 1. Formule $\varphi$ platí v každé BA, jestliže v každé BA platí její dualita $d(\varphi )$. Stačí nám tedy dokazovat jen polovinu vět, zbytek dostaneme díky této vlastnosti.

Formule a zákony platné v Booleově algebře

$a\leq b\equiv a\wedge b=a\equiv a\vee b=b$
$a-b\equiv a\wedge -b$
$a\vartriangle b\equiv a-b\vee b-a$ (symetrický rozdíl)
$--a=a$
$-a=-b\rightarrow a=b$
$a\leq b\leftrightarrow -b\leq -a$

Zákony de Morganovy

$-(a\wedge b)=-a\vee -b$
$-(a\vee b)=-a\wedge -b$

Monotonie

Jestliže $a_{1}<a_{2}$ a $b_{1}<b_{2}$, pak v každé Booleově algebře platí:
$a_{1}\vee b_{1}\leq a_{2}\vee b_{2}$
$a_{1}\wedge b_{1}\leq a_{2}\wedge b_{2}$
$-a_{2}\leq -a_{1}$

Isomorfismus BA

Dvě Booleovy algebry $\mathbb {B}$ a $\mathbb {C}$ jsou isomorfní právě tehdy, když $(\mathbb {B} ,\leq )$ a $(\mathbb {C} ,\leq )$ jsou isomorfní jako uspořádání.

Mohutnost Booleovy algebry

Mohutnost Booleovy algebry odpovídá mohutnosti její nosné množiny. Je-li $\kappa$ nekonečná, pak existuje Booleova algebra mohutnosti $\kappa$.

Zdroje

• BALCAR B., ŠTĚPÁNEK P. Teorie množin, Kapitola IV. Academia, Praha, 1986.