|
| |
|
|
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Starý, Jan ; Simon, Petr (vedoucí práce) ; Bukovský, Lev (oponent) ; Thümmel, Egbert (oponent)
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných Booleových algebrách s jistými kombinatorickými vlastnostmi. Zavádíme pojem koherentního ultrafiltru (koherentního P-bodu, koherentně selektivního ultrafiltru). Ukazujeme, že generická existence těchto ultrafiltr; na úplných Booleových ccc algebrách s váhou nepřesahující kontinuum je konzistentní s teorií množin, a že tyto utrafiltry slouží jako svědci nehomogenity duálních Stoneových prostor. Studujeme vlastnosti sekvenciální topologie na σ-úplných Booleových algebrách a její vztah k otázkám spojeným s měřitelností a subměřitelností těchto algeber. Ptáme se, zda sekvenciální topologie Booleovy algebry mže být kompaktní a tuto otázku částečně zodpovídáme pro speciální případ Suslinovy algebry.
|
|
| |
|
|
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
Starý, Jan ; Simon, Petr (vedoucí práce) ; Bukovský, Lev (oponent) ; Thümmel, Egbert (oponent)
Zkoumáme existenci specielních bod v nekonečných extremálně nesouvislých kompaktních topologických prostorech, které dosvědčují jejich nehomogenitu. S použitím Stoneovy duality ekvivalentně hledáme ultrafil- try na úplných Booleových algebrách s jistými kombinatorickými vlastnostmi. Zavádíme pojem koherentního ultrafiltru (koherentního P-bodu, koherentně selektivního ultrafiltru). Ukazujeme, že generická existence těchto ultrafiltr; na úplných Booleových ccc algebrách s váhou nepřesahující kontinuum je konzistentní s teorií množin, a že tyto utrafiltry slouží jako svědci nehomogenity duálních Stoneových prostor. Studujeme vlastnosti sekvenciální topologie na σ-úplných Booleových algebrách a její vztah k otázkám spojeným s měřitelností a subměřitelností těchto algeber. Ptáme se, zda sekvenciální topologie Booleovy algebry mže být kompaktní a tuto otázku částečně zodpovídáme pro speciální případ Suslinovy algebry.
|
|
| |
|
|
Ultrafilters and independent systems
Verner, Jonathan ; Simon, Petr (vedoucí práce) ; Zapletal, Jindřich (oponent) ; Thümmel, Egbert (oponent)
Práce podává přehled různých konstrukcí ultrafiltrů. V první části uvádí konstrukce, které nepotřebují dodatečné axiomy teorie množin. Je předvedena metoda nezávislých systémů pocházející od K. Kunena. Dále je předvedeno její použití v topologickém zkoumání prostoru ω∗ (důkaz existence šestnácti topologických typů J. van Milla). Tato část je zakončena předvedením nové konstrukce a důkazem autorovy věty o existenci ultrafiltrů, které mají speciální topologické vlastnosti (důkaz existence 17 typu): V ω∗ existuje bod, který není hromadným bodem spočetné diskrétní množiny, je hromadným bodem spočetné množiny a spočetné množiny, v jejichž je hromadným bodem tvoří filtr. Druhá část se zabývá konstrukcemi ultrafiltrů vyžadujícími dodatečné množinové axiomy, resp. teorii forcingu. Je předvedena klasická konstrukce P-bodů, pocházející od J. Ketonena, a konstrukce Q-bodu, pocházející od A. R. D. Mathiase. Další dvě kapitoly se zabývají silnými P-body, které zavedl C. Laflamme. V první z těchto kapitol je dokázána nová charakter- izační věta (výsledek autora společně s A. Blassem a M. Hrušákem): Ultra- filtr je Canjarův právě když je silný P-bod. Je též uveden nový důkaz věty M. Canjara o existenci...
|
|
| |
host ::
RSS.