A characterization of strong completeness in fuzzy metric spaces

Abstract

[eng] Here, we deal with the concept of fuzzy metric space (X,M,*) , due to George and Veeramani. Based on the fuzzy diameter for a subset of X , we introduce the notion of strong fuzzy diameter zero for a family of subsets. Then, we characterize nested sequences of subsets having strong fuzzy diameter zero using their fuzzy diameter. Examples of sequences of subsets which do or do not have strong fuzzy diameter zero are provided. Our main result is the following characterization: a fuzzy metric space is strongly complete if and only if every nested sequence of close subsets which has strong fuzzy diameter zero has a singleton intersection. Moreover, the standard fuzzy metric is studied as a particular case. Finally, this work points out a route of research in fuzzy fixed point theory.