Hlavní stránka > Výsledky hledání: Hartman, Juraj
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Svazové konstrukce a dualita Priestleyové
 Hartman, Juraj ; Růžička, Pavel (vedoucí práce) ; Tůma, Jiří (oponent)
V této práci po připomenutí základních pojmů z teorie kategorií, teorie svazů a topologie nejdříve popíšeme tzv. Stoneovu dualitu kate- gorie booleovských svazů a kategorie booleovských topologických pro- storů. Poté popíšeme její zobecnění, tzv. dualitu Priestleyové katego- rie omezených distributivních svazů a kategorie totálně ≤-nesouvislých uspořádaných topologických prostorů. Následně zavedeme svazovou kon- strukci M3[.] a dokážeme, že pro každý distributivní svaz L je svaz M3[L] izomorfní svazu všech spojitých monotónních zobrazení z pro- storu, který je svazu L přiřazen v dualitě Priestleyové, do svazu M3 s diskrétní topologií. Nakonec popíšeme pojem tzv. booleovské mocniny, který zobecníme na pojem tzv. priestleyovské mocniny a dokážeme, že pro každé přirozené číslo n ≥ 3 a pro každý distributivní svaz L je svaz Mn[L] izomorfní priestleyovské mocnině svazu Mn podle svazu L. 1
Úplný záznam
Počítání složitosti množin
 Hartman, Juraj ; Zelený, Miroslav (vedoucí práce) ; Spurný, Jiří (oponent)
V této práci nejdříve popíšeme tzv. borelovskou hierarchii množin v metrickém prostoru a dokážeme několik jejích vlastností. Dále pro konkrétní borelovské podmnožiny konkrétních metrických prostorů (euklidovského prostoru reálných čísel a prostoru kompaktních podmnožin polského prostoru s Vietorisovou topologií) určíme, kde se v této hierarchii nacházejí, tj. určíme takovou třídu borelovské hierarchie, že se v ní daná množina nachází a nenachází se ve všech menších třídách vzhledem k inkluzi, což lze považovat vyjádření její složitosti. Nakonec uvedeme příklad neborelovské koanalytické podmnožiny prostoru kompaktních podmnožin polského prostoru s důkazem její koanalytičnosti. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Viz též: podobná jména autorů
2 Hartman, J.
2 Hartman, Jakub
6 Hartman, Jan
3 Hartman, Jaroslav
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English