Zbiór spolaryzowany – zbiór częściowo uporządkowany, w którym dla dowolnych dwóch elementów
takich, że
można znaleźć
które ogranicza
z dołu, ale
i
nie da się jednocześnie ograniczyć z dołu.
Definicja formalna
Określa się relację
na zbiorze
Zbiorem spolaryzowanym nazywa się parę
gdy spełnione są następujące warunki:
![{\displaystyle \forall _{p\in P}\;(p\leqslant p),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccc609e34bfea508f1dab060882e96343e21e480)
![{\displaystyle \forall _{p,q\in P}\;(p\leqslant q\wedge q\leqslant p\implies p=q),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96a6094b679f74ff265c43feff2331133ec84c34)
![{\displaystyle \forall _{p,q,r\in P}\;(p\leqslant q\wedge q\leqslant r\implies p\leqslant r),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff25746c3808be1e9046506b4c9bc8bde1730d39)
![{\displaystyle \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 ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/162f8273f2d54a5dfb7932c07b5625ab1c198848)
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
Para
gdzie
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
wybierane jest
Jedynym elementem ograniczającym
z dołu jest on sam i nie jest on ograniczeniem
Analogicznie postępuje się dla pozostałych dubletów. Natomiast, gdy
przyjmuje się
Argument jest taki sam jak poprzednio. W pozostałych przypadkach postępowanie jest podobne.
Algebry Boole’a
Niech
będzie algebrą Boole’a. Definiuje się relację
w sposób następujący:
Para
jest zbiorem spolaryzowanym.
Dowód
Tak określona relacja jest częściowym porządkiem. Niech
będą dowolne i
Z definicji relacji:
Niech
Widać, że
czyli
Wynika z tego też, że
ponieważ
Przyjmuje się teraz dowolne
tj.
czyli
Ostatecznie sprawdza się, że
więc jedynym wspólnym ograniczeniem dolnym
i
jest
które nie należy do rozważanego zbioru, co dowodzi ostatniej własności relacji.
Topologia zbiorów spolaryzowanych
Niech
będzie zbiorem spolaryzowanym. Definiuje się
gdzie
jest dowolnym warunkiem. Rodzina
jest bazą topologii zbioru spolaryzowanego. Każdy zbiór
jest dziedziną otwartą w
jako przestrzeni topologicznej.
Zobacz też
Bibliografia
- Wojciech Guzicki, Paweł Zbierski: Podstawy teorii mnogości. Warszawa: Państwowe Wydawnictwo Naukowe, 1978, s. 33.
Relacje matematyczne
pojęcia podstawowe | |
---|
własności i typy | według liczby argumentów | |
---|
konkretne przykłady | |
---|
własności relacji binarnych | |
---|
praporządki | |
---|
inne zestawy własności | |
---|
|
---|
działania na relacjach | |
---|
powiązane struktury | |
---|
pozostałe pojęcia | |
---|