An infraconsonant nonconsonant completely regular space (Q554433)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An infraconsonant nonconsonant completely regular space
scientific article

    Statements

    An infraconsonant nonconsonant completely regular space (English)
    0 references
    0 references
    4 August 2011
    0 references
    In answer to a question raised by \textit{S. Dolecki} and \textit{F. Mynard} [Topology Appl. 157, No. 8, 1370--1378 (2010; Zbl 1195.54036)], the author gives an example of a completely regular topological space \(X\) that is infraconsonant but not consonant (see below for definitions). The space \(X\) also has the property that in the space of all continuous functions from \(X\) to \(\mathbb{R}\), the Isbell and natural topologies coincide and are strictly finer than the compact-open topology. The space \(X\) given in this paper is a countable topological space in which all but one points are isolated. We give a few definitions for the reader's convenience: {Definition.} Let \(X\) be a topological space. (1) A \textit{compact} family is a family \(\mathcal{B}\) of open subsets of \(X\) such that (i) \(\mathcal{B}\) is closed under taking open supersets and (ii) whenever \(B\in\mathcal{B}\) and \(\mathcal{U}\) is an open cover of \(B\), we may find a finite subfamily \(\mathcal{V}\) of \(\mathcal{U}\) such that \(\bigcup\mathcal{V}\in\mathcal{B}\). (2) We say that \(X\) is \textit{consonant} if for every compact family \(\mathcal{B}\) and for every \(B\in\mathcal{B}\), there exists a compact set \(K\) contained in \(B\) such that every open superset of \(K\) belongs to \(\mathcal{B}\). (3) We say that \(X\) is \textit{infraconsonant} if for every compact family \(\mathcal{B}\), there exists a compact family \(\mathcal{C}\) such that \(C_1\cap C_2\in\mathcal{B}\) whenever \(C_1,C_2\in\mathcal{C}\).
    0 references
    0 references
    0 references
    consonant
    0 references
    function space
    0 references
    topological group
    0 references
    compact-open topology
    0 references
    Isbell topology
    0 references
    natural topology
    0 references
    0 references