Fuzzy uniformities induced by fuzzy proximities (Q910750)

This paper is a natural continuation of previous research on the concept of a fuzzy proximity as introduced by the authors in [J. Math. Anal. Appl. 99, 320-337 (1984; Zbl 0558.54002)]. In the present paper a lot of important new results were derived: (i) Every fuzzy proximity is induced by a fuzzy uniformity as introduced by \textit{R. Lowen} [J. Math. Anal. Appl. 82, 370-385 (1981; Zbl 0494.54005)]. More explicitly: The authors have shown in their previous paper that starting with a fuzzy uniformity \({\mathfrak U}\) one can construct an associated fuzzy proximity \(\delta_{{\mathfrak U}}\) in such a way that both structures define the same fuzzy topology. Quite similar by starting with a fuzzy proximity \(\delta\) one can construct a fuzzy uniform basis for a fuzzy uniformity \({\mathfrak U}_{\delta}\). It has been shown that these two constructions are compatible i.e. starting from a fuzzy proximity \(\delta\), one constructs the corresponding fuzzy uniformity \({\mathfrak U}_{\delta}\) and next the corresponding fuzzy proximity \(\delta_{{\mathfrak U}_{\delta}}\). Then they obtain: \(\delta_{{\mathfrak U}_{\delta}}=\delta.\) (ii) Reversing the construction outlined in (i) i.e. starting from a fuzzy uniformity \({\mathfrak U}\) one considers the corresponding fuzzy proximity \(\delta_{{\mathfrak U}}\) and next the associated fuzzy uniformity \({\mathfrak U}_{\delta_{{\mathfrak U}}}\). The authors proved that the latter fuzzy uniformity is the coarsest fuzzy uniformity whose induced fuzzy proximity is equal to \(\delta_{{\mathfrak U}}.\) (iii) For a given fuzzy uniformity \({\mathfrak U}\) holds: \[ {\mathfrak U}={\mathfrak U}_{\delta_{{\mathfrak U}}}\quad \Leftrightarrow \quad {\mathfrak U}\quad is\quad precompact \] where the precompactness-notion is the one introduced by \textit{R. Lowen} and \textit{P. Wuyts} [J. Math. Anal. Appl. 90, 563-581 (1982; Zbl 0504.54005)]