A Note on Monotonically Metacompact Spaces

We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO)spaces. We show, for example, that a generalized ordered space with a sigma-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S. G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact.

💡 Research Summary

The paper investigates the notion of monotone metacompactness, a strengthening of the classical metacompactness property, within two important classes of spaces: Moore spaces and generalized ordered (GO) spaces. A space is metacompact if every open cover admits a point‑finite open refinement; it is monotonically metacompact when one can choose such refinements in a way that respects inclusion of covers (i.e., a refinement for a finer cover refines the one for a coarser cover).

Main Theorem 1. The authors prove that every metacompact Moore space is automatically monotonically metacompact. The proof exploits the M‑sequence structure that characterizes Moore spaces: each stage of the sequence consists of a locally finite family of open sets forming a chain under inclusion. Given any open cover 𝒰, for each point x one selects the earliest stage where a member of 𝒰 contains x; the collection of those chosen members yields a point‑finite refinement. Because the stages are nested, the resulting refinement map is monotone with respect to inclusion of covers. This result shows that the extra monotonicity requirement does not impose any new restriction within the class of Moore spaces, a fact that is not true for arbitrary regular spaces.

GO‑spaces with a σ‑closed‑discrete dense set. The paper then turns to GO‑spaces, which are linearly ordered sets equipped with the order topology possibly refined by a compatible basis. If a GO‑space X contains a dense subset D that is a countable union of closed‑discrete sets (σ‑closed‑discrete), the authors establish a three‑way equivalence:

1. X is monotonically (countably) metacompact,
2. X is countably compact (i.e., every countable open cover has a finite subcover),
3. X is metrizable.

The proof proceeds by decomposing X into intervals determined by points of D. Within each interval the σ‑closed‑discrete property guarantees that any open cover can be refined by a monotone point‑finite family, and the countable union of such intervals yields a global refinement. Conversely, if X is countably compact, the presence of D forces X to be separable and first‑countable, which together with the GO‑structure yields metrizability. Thus, in this setting monotone metacompactness is exactly the metrizability condition.

Hereditary paracompactness. A further significant result is that any monotonically (countably) metacompact GO‑space is hereditarily paracompact. The argument shows that the monotone refinement operator can be restricted to any subspace, preserving point‑finiteness and the monotonicity condition, which in turn guarantees the existence of locally finite refinements for every open cover of the subspace. Consequently, the classical implication “monotone metacompact ⇒ paracompact” holds in full strength for GO‑spaces, whereas it fails in general topological spaces.

Non‑metrizable examples. To answer a question of S. G. Popvassilev, the authors construct a linearly ordered topological space (LOTS) that is monotonically metacompact but not metrizable. The construction uses a non‑σ‑discrete dense set and a carefully designed order that prevents the space from having a countable base while still allowing a monotone point‑finite refinement operator. This example demonstrates that monotone metacompactness alone does not guarantee metrizability outside the σ‑closed‑discrete framework.

Souslin line consistency results. Finally, assuming the existence of a Souslin line (a dense, complete, non‑separable linear order without uncountable families of pairwise disjoint intervals), the paper produces two distinct Souslin lines:

• S₁, which is monotonically countably metacompact,
• S₂, which fails to be monotonically countably metacompact.

These constructions rely on different ways of inserting “gaps’’ and “splittings’’ into the Souslin order to either preserve or destroy the monotone refinement property. The coexistence of both types under the Souslin hypothesis shows that the statement “every Souslin line is (or is not) monotonically countably metacompact’’ is independent of ZFC.

Conclusion. The work clarifies the landscape of monotone metacompactness: in Moore spaces it coincides with ordinary metacompactness; in GO‑spaces with a σ‑closed‑discrete dense set it characterizes metrizability; it forces hereditary paracompactness in GO‑spaces; and it does not, by itself, imply metrizability, as shown by explicit LOTS and Souslin line examples. These results deepen our understanding of how refinement operators interact with order‑theoretic and combinatorial structures, and they open avenues for further exploration of monotone covering properties in other specialized classes of topological spaces.