Original title:
Specialni bezbodove prostory
Translated title:
Specialni bezbodove prostory
Authors:
Novák, Jan ; Pultr, Aleš (advisor) ; Klazar, Martin (referee) Document type: Master’s theses
Year:
2021
Language:
eng Abstract:
[eng][cze] 1 This thesis concerns separation axioms in point-free topology. We introduce a notion of weak inclusion, which is a relation on a frame that is weaker than the relation ≤. Weak inclusions provide a uniform way to work with standard separation axioms such as subfitness, fitness, and regularity. Proofs using weak inclusions often bring new insight into the nature of the axioms. We focus on results related to the axiom of subfitness. We study a sublocale which is defined as the intersection of all the codense sublocales of a frame. We show that it need not be subfit. For spacial frames, it need not be spacial.1 Tato práce se zabývá oddělovacími axiomy v bezbodové topologii. Zavádíme pojem slabé inkluze, což je relace, která je slabší než relace ≤. Slabé inkluze poskytují formalizmus, kterým lze studovat standardní separační axiomy jako subfitness, fit- ness nebo regularitu. Důkazy provedené pomocí slabých inkluzí často přináší nový pohled na vlastnosti daného axiomu. Práce se soustředí zejména na výsledky ohledně subfitness axiomu. Studujeme zde sublokál, který vznikne jako průnik všech codense sublokálů daného lokálu. Dokazu- jeme, že tento sublokál nemusí být nutně subfit. Pro spaciální framy nemusí být spaciální.
Keywords:
frames and locales; other specific conditions; point-free topology; separation; bezbodova topologie; framy a lokaly; jine podminky vymezujici specialni pripady; oddelovani
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/127883