An infraconsonant nonconsonant completely regular space (Q554433): Difference between revisions

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}\).