A quasi-metrization theorem for hybrid topologies on the real line in \textbf{ZF}
type: Item
instance of: scholarly article
title: A quasi-metrization theorem for hybrid topologies on the real line in \textbf{ZF}
author: Thomas Richmond
author: Eliza Wajch
published in: Houston Journal of Mathematics
publication date: 2024-08-19T00:00:00Z
review text: Let us, for the sake of the reader, recall the definition of the hybrid topology on the set of real numbers. Given a 4-cover \(\mathcal{A}=\{A_1,A_2,A_3,A_4\}\) of \(\mathbb{R}\), for \(x\in \mathbb{R}\), the family \(\mathcal{B}(x)\) is defined as follows:\N\[\N\mathcal{B}(x)= \begin{cases} \{(x-\epsilon,x+\epsilon): \epsilon>0\}& \text{if}\hspace{0.2cm} x\in A_1;\\\N\{\{x\}\} & \text{if}\hspace{0.2cm} x\in A_2;\\\N\{[x,x+\epsilon): \epsilon>0\}& \text{if}\hspace{0.2cm} x\in A_3;\\\N\{(x-\epsilon,x]: \epsilon>0\}& \text{if}\hspace{0.2cm} x\in A_4. \end{cases}\N\]\NThe unique topology \(\tau_\mathcal{A}\) on the real line \(\mathbb{R}\) such that, for every \(x\in \mathbb{R}\), the family \(\mathcal{B}(x)\) is a local base at \(x\) in \( \langle \mathbb{R}, \tau_\mathcal{A}\rangle\) is called the \textit{hybrid topology determined by} \(\mathcal{A}\). The topological space \(H_4(\mathcal{A}) = \langle \mathbb{R}, \tau_\mathcal{A}\rangle\) will be called the \textit{hybrid space determined by} \(\mathcal{A}\). Note that, \(H_4(\mathcal{A})\) is a \(T_3\)-space and a generalized ordered space. Notice that if \(A_2\cup A_4 = \emptyset\), the space \(H_4(\mathcal{A})\) is the Hattori space \(H(A_1)\), that is, in \(H(A_1)\), a base of neighborhoods of \( x\in A_1\) is the family of usual Euclidean open neighborhoods of \(x\), and a base of neighborhoods of \(x\in \mathbb{R}\setminus A_1\) is the family \(\{[x, x + \epsilon) : \epsilon> 0\}\).\N\NThe set-theoretic framework for this work is the Zermelo-Fraenkel system \(\mathbf{ZF}\). The main aim of this article is to give a quasi-metrization theorem for hybrids of type \(H_4(\mathcal{A})\) in the absence of the Axiom of Choice. The authors also prove that Kofner's quasi-metrization theorem is false if there exists an infinite Dedekind-finite subset of the real line. They also give a sufficient condition for \(H_4(\mathcal{A})\) to be metrizable in \(\mathbf{ZF}\). Finally, by showing that all spaces of type \(H_4(\math…
reviewed by: A. R. Olfati
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 54E15
zbMATH DE Number: 7898656
zbMATH Keywords: real line
zbMATH Keywords: Sorgenfrey line
zbMATH Keywords: Hattori space
zbMATH Keywords: hybrid topology
zbMATH Keywords: quasimetric
zbMATH Keywords: quasi-metrizability
MaRDI profile type: Publication
cites work: Q3878391
cites work: On Hattori spaces
cites work: On reversible and bijectively related topological spaces
cites work: A poset of topologies on the set of real numbers.
cites work: Criteria for Metrisability
cites work: Metric spaces and the axiom of choice
cites work: Q3994935
cites work: Q3966761
cites work: Continuing horrors of topology without choice
cites work: On Stone’s theorem and the Axiom of Choice
cites work: Q3218783
cites work: Q3561736
cites work: Axiom of choice
cites work: Q4487249
cites work: Q4210469
cites work: On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\)
cites work: On Loeb and sequential spaces in \textbf{ZF}
cites work: \(k\)-spaces, sequential spaces and related topics in the absence of the axiom of choice
cites work: Q4746471
cites work: Results on spaces between the Sorgenfrey and usual topologies on \(\mathbb{R}\)
cites work: Q5636033
cites work: Q3925533
cites work: A Dedekind finite Borel set
cites work: Hybrid topologies on the real line
cites work: General Topology
cites work: Paracompactness and product spaces
cites work: Q5605131
cites work: On quasi-metric spaces.
description: scientific article; zbMATH DE number 7898656