General Topology – Topological Spaces Where Every Proper Closed Subset is Compact

compactnessexamples-counterexamplesgeneral-topology

Let $X$ be a topological space. It is a well-known result that, if $X$ is compact, then every proper closed subset $Y \subset X$ is compact. Out of curiosity, I would like to explore the converse of this statement:

Let $X$ be a topological space with the property that every proper closed subset is compact. Is $X$ itself compact?

Of course, this question is only interesting when $X$ is infinite. We can further restrict ourselves to spaces that have infinitely many open sets since every closed set, and indeed the space itself, would be compact otherwise. If this result is false in general, what hypotheses can be added to make it so?

Should this not hold, I'm interested in finding concrete examples of when it does. For instance, we can take any infinite set endowed with the cofinite topology, which works because every closed set is finite and thus compact, and the space itself would be compact. Another example is an interval $[a, b] \subset \mathbb{R}$, wherein closed subsets of this are closed and bounded in $\mathbb{R}$; as such, they are compact per Heine-Borel.


Update: Zardo's answer reveals that such a topological space is indeed compact. For further discussion on the finite intersection property and its relevance to compactness, see Munkres' Topology: Chapter $3$, theorem $26.9$.

Best Answer

Assume that $X$ is not compact. Then there is a family $\{A_i\}_i$ of closed subsets with the finite intersection property such that $\bigcap_i A_i = \emptyset$. Thus, there exists an $j$ with $A_j \neq X$. Then $A_j$ is a proper closed subset of $X$ but it is not compact, since the family $\{A_i \cap A_j \}_i$ has the finite intersection property and $\bigcap (A_j \cap A_i) = \emptyset$.