A Few Projective Classes of (Non-Hausdorff) Topological Spaces
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917712723181568 |
|---|---|
| author | Goubault-Larrecq, Jean |
| author_facet | Goubault-Larrecq, Jean |
| contents | A class of topological spaces is projective (resp., $ω$-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of Hausdorff spaces are known to be, or not to be, ($ω$-) projective. We examine classes of spaces that are not necessarily Hausdorff. Sober and compact sober spaces form projective classes, but most classes of locally compact spaces are not even $ω$-projective. Guided by the fact that the stably compact spaces are exactly the locally compact, strongly sober spaces, and that the strongly sober spaces are exactly the sober, coherent, compact, weakly Hausdorff (in the sense of Keimel and Lawson) spaces, we examine which classes defined by combinations of those properties are projective. Notably, we find that coherent sober spaces, compact coherent sober spaces, as well as (locally) strongly sober spaces, form projective classes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_18614 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Few Projective Classes of (Non-Hausdorff) Topological Spaces Goubault-Larrecq, Jean General Topology 54F17 primary, 54D70, 54D30, 54D45 secondary A class of topological spaces is projective (resp., $ω$-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of Hausdorff spaces are known to be, or not to be, ($ω$-) projective. We examine classes of spaces that are not necessarily Hausdorff. Sober and compact sober spaces form projective classes, but most classes of locally compact spaces are not even $ω$-projective. Guided by the fact that the stably compact spaces are exactly the locally compact, strongly sober spaces, and that the strongly sober spaces are exactly the sober, coherent, compact, weakly Hausdorff (in the sense of Keimel and Lawson) spaces, we examine which classes defined by combinations of those properties are projective. Notably, we find that coherent sober spaces, compact coherent sober spaces, as well as (locally) strongly sober spaces, form projective classes. |
| title | A Few Projective Classes of (Non-Hausdorff) Topological Spaces |
| topic | General Topology 54F17 primary, 54D70, 54D30, 54D45 secondary |
| url | https://arxiv.org/abs/2404.18614 |