A poset of topologies on the set of real numbers. (Q2856926)

Let \(A\) be a subset of the real numbers. Following [\textit{Y. Hattori}, Mem. Fac. Sci. Eng., Shimane Univ., Ser. B, Math. Sci. 43, 13--26 (2010; Zbl 1196.54048)] a topology \(\tau (A)\) on the reals is defined as follows: for each \(x\in A\) , \(\{(x-\varepsilon ,x+\varepsilon )\: \varepsilon >0\}\) is a neighborhood base at \(x\) , for each \(x\notin A\) , \(\{[x,x+\varepsilon )\: \varepsilon >0\}\) is a neighborhood base at \(x\) . The authors consider a poset for subsets \(A\) of the reals where \(A_1\supseteq A_2\) iff \(\tau (A_1)\subseteq \tau (A_2)\). Clearly, the minimal element is the euclidean topology, and the maximal element is the Sorgenfrey topology. They consider the question when two topologies \(\tau _1\) and \(\tau _2\) from the poset define homeomorphic spaces \((R,\tau _1)\) and \((R,\tau _2)\). In particular it is shown that for a closed subset \(A\) the space \((R,\tau (A))\) is homeomorphic to the Sorgenfrey line if and only if \(A\) is countable. In addition, general properties of the spaces \((R, \tau (A))\) are investigated.