This is a discussion on several additional conditions that would turn a countably compact space into a compact space. For example, a countably compact space having a diagonal is compact (proved in this post). Each of the following properties, if possessed by a countably compact space, would lead to compactness: (1) having a diagonal, (2) being metrizable, (3) being a Moore space, (4) being paracompact, and (5) being metacompact. All spaces are at least Hausdorff. We have the following theorem. Some relevant definitions and links to posts in this blog are given below. For any terms that are not defined here, see Engelking ([1]).

* Theorem*. Let be a countably compact space. If possesses any one of the following conditions, then is compact.

- Having a diagonal.
- Being a metrizable space.
- Being a Moore space.
- Being a paracompact space.
- Being a metacompact space.

The proof of 1 has already been presented in another post in this blog. Since metrizable spaces are Moore spaces, between 2 and 3 we only need to prove 3. Between 4 and 5, we only need to prove 5 (since paracompact compact spaces are metacompact).

* Proof of 3*. A Moore space is a regular space that has a development (see this post for the definition). In this post, I showed that a space has a diagonal if and only it has a diagonal sequence. It is easy to verify that the development for a Moore space is a diagonal sequence. Thus any Moore space has a diagonal and any countably compact Moore space is compact (and metrizable). Saying in another way, in the class of Moore spaces, countably compactness is equivalent to compactness.

* Proof of 5*. A space is metacompact if every open cover of has a point-finite open refinement. Let be metacompact. Let be an open cover of . By the metacompactness, has a point-finite open refinement . We are done if we can show has a finite subcover. This finite subcover is obtained through the following claims.

*Claim 1*. There is a set such that for each and such that is maximal. That is, by adding an additional point , for some .

Such a set can be obtained by using the Zorn’s Lemma.

*Claim 2*. Let . We claim that is an open cover of .

To see this, let . If , then for some . If , then by the maximality of , intersects with some with at least 2 points. This means that and at least one point of are in . Then .

Since each open set in contains at most one point of , is a closed and discrete set in . By the countably compactness of , must be finite. Since each point of is in at most finitely many open sets in , is finite. Thus is a finite subcover of .

*Reference*

- Engelking, R.,
*General Topology, Revised and Completed Edition*, 1989, Heldermann Verlag, Berlin.