Zbiór spolaryzowany

Zbiór spolaryzowany – zbiór częściowo uporządkowany, w którym dla dowolnych dwóch elementów $p,q$ takich, że $p\nleqslant q,$ można znaleźć $r,$ które ogranicza $p$ z dołu, ale $r$ i $q$ nie da się jednocześnie ograniczyć z dołu.

Definicja formalna

Określa się relację $\leqslant$ na zbiorze $P.$ Zbiorem spolaryzowanym nazywa się parę $(P,\leqslant ),$ gdy spełnione są następujące warunki:

• $\forall _{p\in P}\;(p\leqslant p),$
• $\forall _{p,q\in P}\;(p\leqslant q\wedge q\leqslant p\implies p=q),$
• $\forall _{p,q,r\in P}\;(p\leqslant q\wedge q\leqslant r\implies p\leqslant r),$
• $\forall _{p,q\in P}\;{\Big [}p\nleqslant q\implies \exists _{r\in P}\;{\big (}r\leqslant p\wedge \neg \exists _{s\in P}\;(s\leqslant r\wedge s\leqslant q){\big )}{\Big ]}.$

Pierwsze trzy warunki definiują częściowy porządek. Ostatnia formuła jest warunkiem charakterystycznym zbiorów spolaryzowanych.

Elementy zbioru spolaryzowanego czasami określa się warunkami. Jeżeli zbiór spolaryzowany nie ma elementów minimalnych, to nazywany jest bezatomowym.

Przykład

Niech $P=\{\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\}\}.$ Para $(P,\subseteq ),$ gdzie $\subseteq$ jest relacją inkluzji, jest zbiorem spolaryzowanym. Wiadomo, że relacja inkluzji jest częściowym porządkiem. Wystarczy sprawdzić warunek charakterystyczny. Widać, że singletony są elementami minimalnymi tego porządku, więc nie da się ich wspólnie ograniczyć. Dla $p=\{1,2\},$ $q=\{2,3\}$ wybierane jest $r=\{1\}.$ Jedynym elementem ograniczającym $r$ z dołu jest on sam i nie jest on ograniczeniem $q.$ Analogicznie postępuje się dla pozostałych dubletów. Natomiast, gdy $p=\{1,2,3\},$ $q=\{1,2\}$ przyjmuje się $r=\{3\}.$ Argument jest taki sam jak poprzednio. W pozostałych przypadkach postępowanie jest podobne.

Algebry Boole’a

Niech $\mathbb {B} =(B,\cup ,\cap ,\sim ,0,1)$ będzie algebrą Boole’a. Definiuje się relację $\leqslant$ w sposób następujący: $a\leqslant b\iff a=a\cap b.$ Para $(B\setminus \{0\},\leqslant )$ jest zbiorem spolaryzowanym.

Dowód

Tak określona relacja jest częściowym porządkiem. Niech $p,q\in B\setminus \{0\}$ będą dowolne i $p\nleqslant q.$ Z definicji relacji: $p\neq p\cap q.$  Niech $r=p\cap (\sim q).$ Widać, że $r=r\cap p,$ czyli $r\leqslant p.$ Wynika z tego też, że $r\neq 0,$ ponieważ $p\neq p\cap q.$ Przyjmuje się teraz dowolne $s\leqslant r,$ tj. $s=s\cap r,$ czyli $s=s\cap (p\cap (\sim q)).$ Ostatecznie sprawdza się, że $s\cap q=s\cap p\cap (\sim q)\cap q=0,$ więc jedynym wspólnym ograniczeniem dolnym $r$ i $q$ jest $0,$ które nie należy do rozważanego zbioru, co dowodzi ostatniej własności relacji.

Topologia zbiorów spolaryzowanych

Niech $(P,\leqslant )$ będzie zbiorem spolaryzowanym. Definiuje się $O(p)=\{q\in P:q\leqslant p\},$ gdzie $p$ jest dowolnym warunkiem. Rodzina ${\mathcal {B}}=\{O(p):p\in P\}$ jest bazą topologii zbioru spolaryzowanego. Każdy zbiór $O(p)$ jest dziedziną otwartą w $P$ jako przestrzeni topologicznej.

Zobacz też

• algebra Boole’a
• przestrzeń topologiczna

Bibliografia

• Wojciech Guzicki, Paweł Zbierski: Podstawy teorii mnogości. Warszawa: Państwowe Wydawnictwo Naukowe, 1978, s. 33.