Maximal (sequentially) compact topologies
Abstract
We revisit the known problem whether each compact topology is contained in a maximal compact topology and collect some partial answers to this question. For instance we show that each compact topology is contained in a compact topology in which convergent sequences have unique limits. We also answer a question of D.E. Cameron by showing that each sequentially compact topology is contained in a maximal sequentially compact topology. We finally observe that each sober compact T1-topology is contained in a maximal compact topology and that each sober compact T1-topology which is locally compact or sequential is the infimum of a family of maximal compact topologies.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.