An infraconsonant nonconsonant completely regular space (Q554433)

From MaRDI portal





scientific article; zbMATH DE number 5935913
Language Label Description Also known as
default for all languages
No label defined
    English
    An infraconsonant nonconsonant completely regular space
    scientific article; zbMATH DE number 5935913

      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
      consonant
      0 references
      function space
      0 references
      topological group
      0 references
      compact-open topology
      0 references
      Isbell topology
      0 references
      natural topology
      0 references

      Identifiers