Monotone covering properties defined by closure-preserving operators (Q2215684)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Monotone covering properties defined by closure-preserving operators
scientific article

    Statements

    Monotone covering properties defined by closure-preserving operators (English)
    0 references
    0 references
    14 December 2020
    0 references
    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.
    0 references
    monotone covering properties
    0 references
    protometrizable space
    0 references
    closure-preserving operator
    0 references
    \(GO\)-space
    0 references
    \(LOTS\)
    0 references
    metrization of \(LOTS\)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references