Tightness relative to some (co)reflections in topology

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10330658" target="_blank" >RIV/00216208:11320/16:10330658 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.2989/16073606.2015.1073191" target="_blank" >http://dx.doi.org/10.2989/16073606.2015.1073191</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2989/16073606.2015.1073191" target="_blank" >10.2989/16073606.2015.1073191</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Tightness relative to some (co)reflections in topology

Popis výsledku v původním jazyce

We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B is an element of B the reflection of a proper subobject? We start with a well known specific instance of this problem, namely thefact that a compact metric space is never the Cech-Stone compactification of a proper subspace. We show that this holds also in the pointfree setting, i.e., tint a compact met rizable locale is never the (cell-Stone compactification of a proper sublocale. This is a stronger result than the classical one, but not because of an increase in scope; after all, assuming weak choice principles, every compact regular locale is the topology of a compact Ilausdorff space. The increased strength derives from the conclusion, for in general a space has many more sublocales than subspaces. We then extend the analysis from metric locales to the broader class of perfectly normal locales, i.e., those whose frame of open sets consists entirely of cozero elements. We include a second proof of these results which is purely algebraic in character. At the opposite extreme from these results, we show that an extremally disconnected locale is a compacHlication of each of its dense sublocales. Finally, we analyse the same phenomena, also in the pointiree setting, for the O-dimensional compact reflection arid for the Lindelof reflection.

Název v anglickém jazyce

Tightness relative to some (co)reflections in topology

Popis výsledku anglicky

We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B is an element of B the reflection of a proper subobject? We start with a well known specific instance of this problem, namely thefact that a compact metric space is never the Cech-Stone compactification of a proper subspace. We show that this holds also in the pointfree setting, i.e., tint a compact met rizable locale is never the (cell-Stone compactification of a proper sublocale. This is a stronger result than the classical one, but not because of an increase in scope; after all, assuming weak choice principles, every compact regular locale is the topology of a compact Ilausdorff space. The increased strength derives from the conclusion, for in general a space has many more sublocales than subspaces. We then extend the analysis from metric locales to the broader class of perfectly normal locales, i.e., those whose frame of open sets consists entirely of cozero elements. We include a second proof of these results which is purely algebraic in character. At the opposite extreme from these results, we show that an extremally disconnected locale is a compacHlication of each of its dense sublocales. Finally, we analyse the same phenomena, also in the pointiree setting, for the O-dimensional compact reflection arid for the Lindelof reflection.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Quaestiones Mathematicae

ISSN

1607-3606

e-ISSN

—

Svazek periodika

39

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

ZA - Jihoafrická republika

Počet stran výsledku

16

Strana od-do

421-436

Kód UT WoS článku

000377899400010

EID výsledku v databázi Scopus

2-s2.0-84949814580