Borelovsky složité množiny a jejich aplikace
| Thesis title in Czech: | Borelovsky složité množiny a jejich aplikace |
|---|---|
| Thesis title in English: | Sets of high Borel complexity and their applications |
| Academic year of topic announcement: | 2025/2026 |
| Thesis type: | diploma thesis |
| Thesis language: | |
| Department: | Department of Mathematical Analysis (32-KMA) |
| Supervisor: | doc. Mgr. Marek Cúth, Ph.D. |
| Author: |
| Guidelines |
| Student/ka nastuduje a zpracuje důkazy týkající se množin, jejiž borelovská složitost je odhadnuta zespoda. Dále pak uvede důsledky týkající se složitosti klasifikačních problémů. |
| References |
| [1] M. Cúth, M. Doležal, M. Doucha, O. Kurka: Polish spaces of Banach spaces, Forum Math. Sigma, 10 (2022), Paper No. e26, 28 pp.
[2] M. Cúth, M. Doležal, M. Doucha, O. Kurka: Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes, preprint available at arxiv.org. [3] D. Cenzer, R. D. Mauldin: On the Borel class of the derived set operator. II, Bull. Soc. Math. France, 111 (1983), pp. 367–372. |
| Preliminary scope of work |
| Nechť X je separabilní nekonečně-dimenzionální Banachův prostor.
V nedávné sérii článků [1, 2] byla zavedena metoda, která umožňuje formalizovat neformální tvrzení, že <X>:={Banachovy prostory izometrické X} je uzavřená/G_delta/F_sigma/Borelovská atd. Je známo, že <X> je vždy Borelovská a je tedy otázkou, jaká je její Borelovská složitost pro různé Banachovy prostory. V článku [2] bylo například dokázáno: - <X> je uzavřená, právě když X = ell_2 (jinými slovy, ell_2 je prostor s nejjenodušší třídou izometrií a žádný jiný Banachův prostor X není možné popsat podobně jednoduchým způsobem) - <L_p> je G_delta a není F_sigma pro každé p\in [1,\infty) - <ell_p> pro p\in[1,\infty) a <c_0> jsou F_{sigma,delta} a nejsou G_{delta,sigma} Cílem práce bude nastudovat metody důkazů jak ukázat, že nějaká množina není jisté Borelovské třídy a v optimistickém připadě pak tyto metody aplikovat pro důkaz toho, že pro jistý Banachův prostor X je Borelovská třída <X> velmi vysoká. Příkladem otevřeného problému je složitost <C(K)> pro K spočetný kompakt (ví se, že existují spočetné kompakty jejichž složitost se zvyšuje, přesné odhady ale známy nejsou). V tomto ohledu je relevantní článek [3], ze kterého se dají odovodit například jisté doposud nepublikované výsledky týkající se složitosti <C([0,\omega^k])> pro k přirozené. |