|
|
Applications of descriptive set theory in mathematical analysis
Doležal, Martin ; Zelený, Miroslav (vedoucí práce) ; Holický, Petr (oponent) ; Zapletal, Jindřich (oponent)
Charakterizujeme různé typy σ-pórovitosti pomocí nekonečné hry a vítězných strategií. Použijeme modifikaci této hry k důkazu některých nových i známých vepisovacích vět pro σ-ideály σ-pórovitého typu v lokálně kompaktních metrických prostorech. Ukážeme exis- tenci uzavřené množiny, která je σ-(1 − ε)-symetricky pórovitá pro každé 0 < ε < 1, ale není σ-1-symetricky pórovitá. Dále ukážeme, že množina unitárních reprezentací konečné abelovské grupy Γ na nekonečně- dimensionálním separabilním komplexním Hilbertově prostoru H, které jsou realizovatelné akcí, je residuální v Rep(Γ, H). 1
|
|
| |
|
|
Definable graphs
Grebík, Jan ; Chodounský, David (vedoucí práce) ; Kurka, Ondřej (oponent) ; Zapletal, Jindřich (oponent)
Práce se zabýva otázkami teorie grafu v kontextu deskriptivní teorie množin. Hlavní objekty studia jsou graphony, graphingy a variace na graf G0. Představíme přistup ke kompaktnosti prostoru graphonu pomocí slabě* topologie a pojem frakcionalního isomor- fismu graphonu. Použijeme variantu G0-dichotomie v kontextu klasifikačního problému. Dokážeme měritelnou verzi Vizingovi věty pro grafingy. 1
|
|
|
Definable graphs
Grebík, Jan ; Chodounský, David (vedoucí práce) ; Kurka, Ondřej (oponent) ; Zapletal, Jindřich (oponent)
Práce se zabýva otázkami teorie grafu v kontextu deskriptivní teorie množin. Hlavní objekty studia jsou graphony, graphingy a variace na graf G0. Představíme přistup ke kompaktnosti prostoru graphonu pomocí slabě* topologie a pojem frakcionalního isomor- fismu graphonu. Použijeme variantu G0-dichotomie v kontextu klasifikačního problému. Dokážeme měritelnou verzi Vizingovi věty pro grafingy. 1
|
|
|
Forcing, deskriptivní teorie množin, analýza
Doucha, Michal ; Zapletal, Jindřich (vedoucí práce) ; Zelený, Miroslav (oponent) ; Kubiš, Wieslaw (oponent)
Disertační práce je tematicky rozdělena na dva celky. První část, tj. kapitoly 2,3 a 4, obsahuje výsledky tématicky související s novou knihou školitele a spoluautorů V. Kanoveie a M. Saboka ,,Canonical Ramsey Theory on Polish Spaces". V kapitole 2 je dokázana kanonizace všech ekvivalenčních relací Borelovsky redukovatelných na ekvivalence definované z analytických P-ideálů pro Silverův ideál. Dále jsou zde vyšetřovány a klasifikovány podek- vivalence ekvivalenční relace E0. V kapitole 3 je dokázána kanonizace všech ekvivalenčních relací Borelovsky redukovatelných na ekvivalence definované z Fσ P-ideálů pro Laverův ideál a v kapitole 4 je dokázána kanonizace všech an- alytických ekvivalenčních relací pro ideál odvozený z Carlsonovy-Simpsonovy (duální Ramseyho) věty. Druhý tematický celek, tvořený kapitolou 5, se zabývá existencí uni- verzálních a ultrahomogenních Polských metrických struktur. Konstruuje se například univerzální a ultrahomogenní Polský metrický prostor vybavený navíc spočetně mnoha uzavřenými relacemi nebo vybavený Lipschitzovskou funkcí do libovolně stanoveného Polského metrického prostoru. Práci zde obsaženou je možné chápat jako rozšíření klasického výsledku P. Urysohna, který...
|
|
|
Applications of descriptive set theory in mathematical analysis
Doležal, Martin ; Zelený, Miroslav (vedoucí práce) ; Holický, Petr (oponent) ; Zapletal, Jindřich (oponent)
Charakterizujeme různé typy σ-pórovitosti pomocí nekonečné hry a vítězných strategií. Použijeme modifikaci této hry k důkazu některých nových i známých vepisovacích vět pro σ-ideály σ-pórovitého typu v lokálně kompaktních metrických prostorech. Ukážeme exis- tenci uzavřené množiny, která je σ-(1 − ε)-symetricky pórovitá pro každé 0 < ε < 1, ale není σ-1-symetricky pórovitá. Dále ukážeme, že množina unitárních reprezentací konečné abelovské grupy Γ na nekonečně- dimensionálním separabilním komplexním Hilbertově prostoru H, které jsou realizovatelné akcí, je residuální v Rep(Γ, H). 1
|
|
| |
|
|
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.