Fuzzy proximities and totally bounded fuzzy uniformities (Q762784)

As pointed out by the authors, the structures of fuzzy proximity introduced by \textit{A. K. Katsaras} (ibid. 68, 100-110 (1979; Zbl 0412.54006) and 75, 571-583 (1980; Zbl 0443.54006)] are inadequate. Instead of the intersection by complementation (precisely, by quasi- coincidence (\textit{Pu Paoming} and the reviewer, ibid. 76, 571-599 (1980; Zbl 0447.54006)], the authors succeed to establish a reasonable structure of fuzzy proximity. Some well-known classical theorems are nicely extended to fuzzy set theory. Among others, the authors show that every fuzzy uniformity [in the sense of \textit{B. Hutton}, ibid. 58, 559-571 (1977; Zbl 0358.54008)] induces a fuzzy proximity and vice versa. Moreover, they prove that there exists a 1-1 correspondence between fuzzy proximity spaces and a subclass of fuzzy uniform spaces and that the correspondence is functorial. The subclass of fuzzy uniform spaces is called totally bounded. Some interesting results about the subclass are also given.