Nie jesteś zalogowany |
Uzupełnienia Dedekinda-MacNeilla
- Prelegent(ci)
- Michał R. Przybyłek
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 16 maja 2011 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Dla dowolnego zbioru częściowo uporządkowanego P istnieje jego kowolne
uzupełnienie \hat{P} do częściowego porządku posiadającego wszystkie
kresy. \hat{P} można zdefiniować jako zbiór domkniętych w dół podzbiorów
$P$ z naturalnie indukowanym porządkiem.
Takie uzupełnienie zachowuje wszystkie istniejące kresy górne w P i
żadnego nietrywialnego kresu dolnego. Analogicznie, dualna konstrukcja
\hat{P}^* stanowi wolne uzupełnienie P (zachowuje wszystkie istniejące
kresy dolne i żadnego nietrywialnego kresu górnego).
Inteligentnie łącząc obydwie konstrukcje, możemy otrzymać uzupełnienie P
(tzw. uzupełnienie Dedekinda-MacNeilla) do zbioru częściowo
uporządkowanego DM(P) posiadającego wszystkie kresy i zachowującego
dowolne kresy istniejące z P.
Na seminarium opowiem o tym skąd te trzy konstrukcje naprawdę się biorą
i w jaki sposób łączą (wielowymiarową) geometrię z (wielowymiarowymi)
algebrami.
uzupełnienie \hat{P} do częściowego porządku posiadającego wszystkie
kresy. \hat{P} można zdefiniować jako zbiór domkniętych w dół podzbiorów
$P$ z naturalnie indukowanym porządkiem.
Takie uzupełnienie zachowuje wszystkie istniejące kresy górne w P i
żadnego nietrywialnego kresu dolnego. Analogicznie, dualna konstrukcja
\hat{P}^* stanowi wolne uzupełnienie P (zachowuje wszystkie istniejące
kresy dolne i żadnego nietrywialnego kresu górnego).
Inteligentnie łącząc obydwie konstrukcje, możemy otrzymać uzupełnienie P
(tzw. uzupełnienie Dedekinda-MacNeilla) do zbioru częściowo
uporządkowanego DM(P) posiadającego wszystkie kresy i zachowującego
dowolne kresy istniejące z P.
Na seminarium opowiem o tym skąd te trzy konstrukcje naprawdę się biorą
i w jaki sposób łączą (wielowymiarową) geometrię z (wielowymiarowymi)
algebrami.
