Monotone covering properties defined by closure-preserving operators

DOI10.1016/J.TOPOL.2020.107346MaRDI QIDQ2215684zbMATH OpenOpenAlexFDO

Authors Strashimir G. Popvassilev, John E. Porter

Publication date 14 December 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.10374

\(GO\)-space \(LOTS\)closure-preserving operator metrization of \(LOTS\)monotone covering properties protometrizable space

Mathematics Subject Classification ID

Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Metric spaces, metrizability (54E35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Abstract: We continue Gartside, Moody, and Stares' study of versions of monotone paracompactness. We show that the class of spaces with a monotone closure-preserving open operator is strictly larger than those with a monotone open locally-finite operator. We prove that monotonically metacompact GO-spaces have a monotone open locally-finite operator, and so do GO-spaces with a monotone (open or not) closure-preserving operator, whose underlying LOTS has a

s i g m a

-closed-discrete dense subset. A GO-space with a

s i g m a

-closed-discrete dense subset and a monotone closure-preserving operator is metrizable. A compact LOTS with a monotone open closure-preserving operator is metrizable.

Review text

A space \(X\) is said to have a \textit{monotone (respectively, monotone open) closure-preserving operator} \(r\) if whenever \(\mathcal U\) is an open cover of \(X\), then \(r(\mathcal U)\) is a closure-preserving cover of arbitrary (respectively, open) sets that refines \(\mathcal U\) and such that if \(\mathcal U\) and \(\mathcal V\) are open covers of \(X\) such that \(\mathcal U\) refines \(\mathcal V\), then \(r(\mathcal U)\) refines \(r(\mathcal V)\). After a short introduction, Section 2 of this paper deals with monotone operators in \(GO\)-spaces. For a \(GO\)-space \(X\), \(E_r\) denotes the set \(\{x\in X:\) neither \([x,\rightarrow)\) nor \((\leftarrow, x]\) is open\(\}\), and then one of the main results of this section, Theorem 2.7, states that if \(X\) is a \(GO\)-space with a monotone closure-preserving operator, and if \(E_r\) is closed and discrete, then \(X\) has a monotone open closure-preserving operator. Another result of this section, Theorem 2.10, includes among many other statements, that if \((X,\tau,<)\) is a \(GO\)-space such that the order topology of \((X,<)\) has a strongly \(\sigma\)-discrete dense subspace, then \(X\) has a monotone closure-preserving operator if and only if it has a monotone open closure-preserving operator. Section 3 deals with the metrization of \(LOTS\) and \(GO\)-spaces. Among the principal results of this section, it is shown that if \(X\) is a compact \(LOTS\) with a monotone closure-preserving operator, then \(X\) is first countable and if \(X\) has a monotone open closure-preserving operator then \(X\) is metrizable. An interesting unsolved problem is whether or not the word ``open can be omitted in the last result.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Monotone covering properties defined by closure-preserving operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2215684)