Topologiczna algebra Heytinga

Topologiczna algebra Heytinga - algebra Heytinga, której uniwersum jest rodzina zbiorów otwartych (topologia) pewnej przestrzeni topologicznej. Można powiedzieć, że topologiczne algebry Heytinga są tym dla ogólnych algebr Heytinga czym ciała zbiorów dla algebr Boole'a (por. twierdzenie o reprezentacji algebr Heytinga).

Konstrukcja

Niech $(X,\tau)$ będzie przestrzenią topologiczną. Algebra $\mathcal{H}_\tau$ o uniwersum $\tau$ z działaniami danymi wzorami (1)-(6)

(1)	$\mathbf{A}^{(\mathcal{H}_\tau)}(U,V):=U\cup V$
(2)	$\mathbf{K}^{(\mathcal{H}_\tau)}(U,V):=U\cap V$
(3)	$\mathbf{C}^{(\mathcal{H}_\tau)}(U,V):=U\Rightarrow V$
(4)	$\mathbf{N}^{(\mathcal{H}_\tau)}(U):=\mbox{int}(X\setminus U)$
(5)	$\mathbf{O}^{(\mathcal{H}_\tau)}:=\varnothing$
(6)	$\mathbf{I}^{(\mathcal{H}_\tau)}:=X$

dla zbiorów otwartych $U,V\subseteq X$, jest algebrą Heytinga, gdzie

$U\Rightarrow V:=\mbox{int}(X\setminus U\cup V)$.

Żeby to sprawdzić wystarczy jedynie wykazać, że

$W\cap U\subseteq V\iff W\subseteq(U\Rightarrow V)=\mbox{int}(X\setminus U\cup V)$,

co wynika z faktu, że zbiór $W$ jest otwarty. Algebra $\mathcal{H}_\tau$ nazywana jest topologiczną algebrą Heytinga (przestrzeni $X$).

Każda algebra Heytinga jest izomorficzna z topologiczną algebrą Heytinga (p. twierdzenie o reprezentacji algebr Heytinga) pewnej przestrzeni topologicznej $X$. W przypadku, gdy algebra ta jest wzbogaceniem algebry Boole'a, to przestrzeń $X$ jest zerowymiarową zwartą przestrzenią Hausdorffa (zob. przestrzeń Stone'a).

Bibliografia

• J. Michael Dunn, Gary M. Hardegree. Algebraic methods in philosophical logic, Oxford Logic Guides, Oxford 2001, ss. 384-386