Student Matyáš Frolík vypracoval vysoce kvalitní bakalářskou práci, která se svojí úrovní blíží spíše práci diplomové. Zadané cíle totiž nejen splnil, ale výrazně překročil podrobným popsáním chování uzávěrových prostorů, zejména prostorů algebraických. Kromě předepsané literatury čerpal i z dalších literárních zdrojů a prokázal, že s odbornou literaturou umí velmi dobře pracovat. Cenným rysem práce je originální a zasvěcený způsob zpracování zadaného tématu. Matyáš Frolík přistoupil k vypracování své balalářské práce velice svědomitě a aktivně, jako vedoucí jsem spíše musel tlumit některé jeho záměry, aby se práce příliš nerozrostla.  Na základě výše uvedených skutečností hodnotím práci stupněm A-výborně. 

Uzávěrové prostory jsou zobecněním standardních topologických prostorů, které nachází uplatnění v univerzální algebře, informatice, abstraktní logice či diskrétní geometrii.

Cíl práce:

Cílem práce bylo shrnout základy teorie uzávěrových operátorů a uzávěrových prostorů a představit jejich vztah k výše uvedeným oblastem matematiky a informatiky.

Obsah práce:

První kapitola zavádí pojem uzávěrového prostoru a představuje několik ekvivalentních přístupů k jeho definici. Dále dává návod, jak z libovolného operátoru na podmnožinách nějaké množiny vyrobit uzávěrový prostor.

Druhá kapitola rozvíjí navazující pojmy, jako jsou derivace množiny, vnitřek, hranice či konzistence, a směřuje ke studiu algebraičnosti uzávěrového prostoru.

Třetí kapitola se věnuje zobrazením mezi uzávěrovými prostory, tj. (invertibilním) spojitým zobrazením a jejich vlastnostem.

Čtvrtá kapitola popisuje konkrétní příklady uzávěrových prostorů vycházející ze známých struktur a konstrukcí v oblastech metrických prostorů, univerzální a lineární algebry, geometrie, formálních jazyků a logiky.

Stručné hodnocení práce:

Práce je dobře strukturovaná, čtivá a po odborné stránce precizně zpracovaná; oceňuji zejména ucelené zpracování abstraktního a poměrně pokročilého tématu uzávěrových prostorů a vhodně zvolené příklady ilustrující teorii. Přestože práce vykazuje dílčí nedostatky v typografii, preciznosti některých částí a jasnějším vymezení vlastního přínosu autora vůči použitým zdrojům, jednoznačně splňuje, místy i převyšuje požadavky kladené na bakalářskou práci.

Podrobnější hodnocení práce:

Formulace i důkazy v práci jsou precizní. Téma práce je značně abstraktní a na úrovni bakalářské práce relativně pokročilé. Orientace v množství zavedených pojmů a jejich vlastností rozhodně není triviální. Text dává velmi přístupný a systematický úvod do teorie uzávěrových prostorů.

K obsahu textu mám následující připomínky -Třetí kapitola působí poněkud odděleně od ostatních, zejména tím, že nenašla žádné uplatnění v kapitole čtyři. Bylo by zajímavé zmínit, čemu odpovídají spojitá zobrazení ve výše zmíněných příkladech. V porovnání s prvními třemi kapitolami navíc čtvrté kapitole místy schází podobná míra preciznosti. Na druhou stranu příklady nejsou zatíženy zbytečnými technickými detaily a slouží jako vhodná ilustrace prezentované teorie.

Formální a stylistické připomínky:
Typografická stránka práce vykazuje drobné rezervy. Objevují se například nevhodně rozdělené matematické formule, osamocená písmena na koncích řádků, ne zcela vhodně umístěné symboly konce důkazu či nadbytečné mezery v textu. Poněkud nešťastně působí také označení „OBSAH“ v záhlaví následované bezprostředně nadpisem „Úvod“.

Některá tvrzení v úvodu působí příliš ambiciózně a místy se v textu objevují subjektivně laděné či stylisticky nadbytečné formulace, které nejsou pro matematický text ideální. Osobně mě rušila autorova snaha v každé větě použít jinou částici při formulaci předpokladu věty, jinou spojku či jinou formulaci logické ekvivalence. Pokud se toto objevuje v rámci podobných vět nebo definice, přináší to zbytečné zmatení (Věty 1.26 a 1.28, dále Definice 1.44 a Věta 2.17). Nakonec jsem si ale zvykl.

Faktické připomínky:

* Připomínka 2.27 by podle mého názoru mohla být formulována lépe.

* Termín *univerzální algebra* se standardně používá pro struktury splňující navíc rovnosti termů složených z n-árních operací. V práci se však pojem používá spíše ve smyslu odpovídajícím pojetí v literatuře Closure Spaces and Logic, tedy s prázdnou množinou rovností. Sekci 4.2 by proto prospěla explicitní reference.

* Chyběla mi jasná specifikace toho, které části textu jsou (téměř doslovně) převzaté ze zdrojů, zejména z publikace Closure Spaces and Logic, a v čem konkrétně spočívá (nepochybně existující) vlastní přínos autora.

Osobní doporučení:
Do budoucna bych autorovi doporučil zvážit psaní odborných textů v anglickém jazyce. Dále, jako možné přirozené pokračování práce se nabízí interpretace uzávěrového prostoru jako tzv. monády na kategorii P(X), kde morfismy odpovídají uspořádání. Bylo by zajímavé promyslet, jak tomuto pohledu odpovídají další pojmy zavedené v první kapitole.

Závěr:

Předložená práce jednoznačně splňuje a v některých ohledech i převyšuje požadavky kladené na bakalářskou práci. Navrhuji ji hodnotit klasifikačním stupněm A.

V Brně dne 3. 6. 2026

Dominik Trnka Topics for thesis defence:

1. 1. V jakém smyslu je lineární obal ve vektorovém prostoru speciálním příkladem univerzální algebry a generování? Bylo nutné algebraičnost v sekci 4.3 dokazovat znovu? 2. Připomeňte prosím definici úplného svazu a vysvětlete, proč množina zobrazení {f : P(X) → P(X)} s daným uspořádáním tvoří úplný svaz. 3. Je zřejmé, že ⟨A⟩F v sekci 4.2 skutečně tvoří podalgebru?