Generalizing the L-fuzzy unit interval (Q799967)

The L-fuzzy unit interval, which was introduced by \textit{B. Hutton} [J. Math. Anal. Appl. 50, 74-79 (1975; Zbl 0297.54003)], and the L-fuzzy real line play a role in fuzzy topology analogous to the role of the unit interval and the reals in topology. In addition, they are among the most difficult examples of fuzzy spaces commonly encountered at present. [For a survey of the L-fuzzy real line and its subspaces, see \textit{S. E. Rodabaugh}, Recent developments in fuzzy set and possibility theory, R. R. Yager (ed.) (Pergamon Press 1982).] The construction of these important spaces at first appears to be unavoidably dependent on the order properties of the reals. This paper presents a generalization of this construction which applies to any connected topological space. If L is linearly ordered, the space associated with an interval of real numbers is fuzzy homeomorphic in a simple way to the fuzzy space constructed by the standard method. For many spaces, including \(R^ n\) for all n, there is a simple embedding of the original space in the associated L-fuzzy space. Finally, when X is compact and L is linearly ordered, the space of monotone maps is a subspace of the constructed space X(L) and so can be endowed with the subspace fuzzy topology.