A famous and straightforward result in general topology says that any compact space is
- maximally compact: any finer topology isn’t compact any more;
- minimally : any coarser topoology isn’t any more.
A natural pair of questions that arises from this is the following: Is every compact topology contained in a maximally compact one? (Dually: does every Hausdorff topology contain a minimal Hausdorff topology?).
This short post is only concerned with the former of the two questions. Unfortunately, a direct application of Zorn’s Lemma doesn’t lead us anywhere. Let denote the set of positive integers. We define a chain of compact topologies on by setting
for every . (By we denote the power set.)
Now every is compact, but the topology generated by the union of this chain is the discrete topology on , which is not compact. So we cannot apply Zorn’s Lemma for this question.
It turns out that even if we can’t apply ZL, the statement that every compact topology is contained in a maximally compact one is true, which answered an old question. The result can be seen in this paper by Martin Maria Kovar.