Hyperspaces of fuzzy sets (Q797859)

Let X be a uniform topological space. The author constructs a natural, non-generated fuzzy uniform fuzzy topology on \(I^ X\), which satisfies the following conditions: (I) \(2^ X\) endowed with the Hausdorff- Bourbaki hyperspace structure is uniformly embedded onto \(\{1_ A| A\subset X\}\subset I^ X\); (II) The set of upper semicontinuous fuzzy sets endowed with the topological modification of the fuzzy structure, is isomorphic to a subspace of the set of closed subsets of \(X\times I\) endowed with the Hausdorff-Bourbaki hyperspace structure; (III) Convergence in \(I^ X\) is determined by both the topologies of X and I, and is such that lower parts of graphs have less influence than higher parts; (IV) Uniformly continuous operations on X when extended to \(I^ X\) by the extension principle of L. A. Zadeh are uniformly continuous; and (V) Topological properties of X are carried over to \(I^ X\) in a way similar to that in uniform hyperspaces. Some results: Theorem (6.2): If (X,\({\mathfrak U})\) is a Hausdorff uniform space, the following are equivalent: (i) X is compact; (ii) \(\Phi_{gl}(X)\) is compact; (iii) \(\Phi_{gl}(X)\) is ultracompact. (Here, \(\Phi_{gl}(X)\) denotes the set of closed subsets of X, endowed with the fuzzy structure constructed in this paper). Theorem (6.5): If (X,\({\mathfrak U})\) is uniform space, and * a uniformly continuous binary operation on X, then the Zadeh extension of * is uniformly continuous on \(I^ X\) endowed with the fuzzy structure constructed in this paper.