Fuzzy uniformities induced by fuzzy proximities (Q910750)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fuzzy uniformities induced by fuzzy proximities
scientific article

    Statements

    Fuzzy uniformities induced by fuzzy proximities (English)
    0 references
    1989
    0 references
    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)]
    0 references
    fuzzy proximity
    0 references
    fuzzy uniformity
    0 references
    0 references
    0 references

    Identifiers