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[edytuj | edytuj kod]

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).

Aby to sprawdzić, wystarczy jedynie wykazać, że

W\cap U\subseteq V

wtedy i tylko wtedy, gdy

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

co wynika z faktu, że zbiór $W$ jest otwarty^[a]. 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).

Uwagi[edytuj | edytuj kod]

↑ Zapisanie tego warunku w postaci $W\cap U\subseteq V\iff W\subseteq (U\Rightarrow V)={\mbox{int}}(X\setminus U\cup V)$ byłoby mylące, bowiem $\Rightarrow$ należy tu intepretować jako działanie w algebrze ${\mathcal {H}}_{\tau }$ , a $\iff$ jako część zdania spoza tej algebry orzekającego o równoważności dwóch warunków.

Bibliografia[edytuj | edytuj kod]

J. Michael Dunn, Gary M. Hardegree, Algebraic methods in philosophical logic, Oxford Logic Guides, Oxford 2001, s. 384–386.
H. Rasiowa i R. Sikorski, The Mathematics of Metamathematics, Monografie Matematyczne, PWN, Warszawa 1963, s. 54–62, 93–95, 123–130.

[1] Zapisanie tego warunku w postaci $W\cap U\subseteq V\iff W\subseteq (U\Rightarrow V)={\mbox{int}}(X\setminus U\cup V)$ byłoby mylące, bowiem $\Rightarrow$ należy tu intepretować jako działanie w algebrze ${\mathcal {H}}_{\tau }$ , a $\iff$ jako część zdania spoza tej algebry orzekającego o równoważności dwóch warunków.

[a]