On the Menger and almost Menger properties in locales
[EN] The Menger and the almost Menger properties are extended to locales. Regarding the former, the extension is conservative (meaning that a space is Menger if and only if it is Menger as a locale), and the latter is conservative for sober TD-spaces. Non-spatial Menger (and hence almost Menger) loc...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/165253 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/165253 |
| Access Level: | acceso abierto |
| Palabra clave: | Menger Almost Menger Frame Locale Sublocale Spectrum of a frame |
| Sumario: | [EN] The Menger and the almost Menger properties are extended to locales. Regarding the former, the extension is conservative (meaning that a space is Menger if and only if it is Menger as a locale), and the latter is conservative for sober TD-spaces. Non-spatial Menger (and hence almost Menger) locales do exist, so that the extensions genuinely transcend the topological notions. We also consider projectively Menger locales, and show that, as in spaces, a locale is Menger precisely when it is Lindelöf and projectively Menger. Transference of these properties along localic maps (via direct image or pullback) is considered. |
|---|