France Dacar: Supremumi družin operatorjev zaprtja

 Pozor, tokrat začnemo ob 10h v Plemljevem seminarju na Jadranski 19.

Povzetek: Na dcpo-ju je množica vseh operatorjev zaprtja, delno urejena po točkah, polna mreža, presek poljubne množice sistemov zaprtja pa je vedno sistem zaprtja. Podal bom dokaz tega dejstva brez uporabe aksioma izbire, ter opisal induktivno načelo za ugotavljanje lastnosti supremumov družin operatorjev zaprtja. Ena od preprostih uporab je konstruktiven dokaz izreka Tarskega o fiksni točki za dcpo-je. Pokazal bom še dve uporabi: dokaz, da je množica vseh operatorjev zaprtja na predokviru okvir, ter poenostavljen dokaz Hofmann-Mislove-Johnstonovega izreka.

Vabljeni!