One of the most celebrated results in the theory of hyperspaces says that if the Vietoris topology on the family of all nonempty closed subsets of a given space is normal, then the space is compact (Ivanova-Keesling-Velichko). The known proofs use cardinality arguments and are long. In this paper we present a short proof using known results concerning Hausdorff uniformities.
In this paper, we generalize the classical Hausdorff metric with t-norms and obtain its basic properties. Furthermore, for a given stationary fuzzy metric space with a t-norm without zero divisors, we propose a method for constructing a generalized Hausdorff fuzzy metric on the set of the nonempty bounded closed subsets. Finally we discuss several important properties as completeness, completion and precompactness.