Intrinsic topology and refinement of Hutton unit interval (Q1209060)

The authors and others have noted that, although Hutton's fuzzy unit interval serves as an image space for an Urysohn-like theorem, it has various deficiencies including the failure of low-level separation properties. In this paper an enlargement of Hutton's topology is proposed as an improvement. Let \(Q(L)\) denote the underlying set of Hutton's interval, where \(L\) is a completely distributive lattice. \(Q(L)\) is also a completely distributive lattice with the ordering determined by pointwise dominance for all left and right limits. Let \(\lambda\) denote the Lawson topology on \(Q(L)\) [see \textit{G. Gierz}, \textit{K. H. Hofmann}, \textit{K. Keimel}, \textit{J. D. Lawson}, \textit{M. Mislove} and \textit{D. S. Scott}, A compendium of continuous lattices (1980; Zbl 0452.06001)], and let \(H(\lambda)\) be the supremum of Hutton's topology with th fuzzy topology of characteristic functions of sets in \(\lambda\). The authors develop separation and connectedness properties of \(H(\lambda)\), an \(H(\lambda)\)-Urysohn theorem, embedding results for \(H(\lambda)\)-complete regularity, and a theory of \(H(\lambda)\)-Stone-Čech compactification. The authors also note that Hutton's topology is contained in \(\omega(\lambda)\), which implies that the stratification of \(H(\lambda)\) is topologically generated.