Specialni bezbodove prostory

Abstract

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í.

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.