Completeness properties of hyperspaces of compact fuzzy sets (Q1109359)

In the study of hyperspaces of ordinary topological spaces, one often considers hyperspaces consisting only of compact subsets. In the fuzzy setting, two distinct notions have proved useful as analogues of compactness, a fact made beautifully clear in this paper. The authors consider two different fuzzy uniform hyperspaces of ``compact-like'' fuzzy sets: \(\Phi_ c(X)=\{\mu \in \Phi (X)| \overline{\mu^{- 1}(0,!]}\) is compact\} and \(\Phi_ W(X)=\{\mu \in \Phi (X)| \mu^{- 1}[\alpha,1]\) is compact \(\forall \alpha \in (0,1]\}\), where \(\Phi(X)\) is the collection of all u.s.c. fuzzy sets on a uniform space \((X,{\mathcal U})\). Two major results are obtained. First, X is complete iff \(\Phi_ c(X)\) is complete iff \(\Phi_ W(X)\) is complete iff \(\Phi_ W(X)\) is ultracomplete. Second, the completion of \(\Phi_ c(X)\) is isomorphic to \(\Phi_ W(\hat X)\), where \(\hat X\) is the completion of X. These results generalize the work of \textit{K. Morita} [Gen. Topol. Appl. 4, 217-233 (1974; Zbl 0288.54009)] on crisp uniform hyperspaces of compact subsets (since a uniform space may be viewed as a fuzzy uniform space) and also extend that work to crisp uniform hyperspaces of closed (but not necessarily compact) subsets of \(X\times [0,1]\).