Completeness in Probabilistic Metric Spaces

Abstract

The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining probabilistic metric spaces. Then the Dirac function is presented as an important example of distributions functions. We also, introduced Sibley's metric or Levy metric on the set of distance distribution functions and so this space becomes a metric space. In the following, probabilistic metric spaces are defined from the Serstnev's view, and some examples such as Menger probabilistic metric spaces, are introduced. In this paper, the strong topology induced by distance distribution functions is introduced, and then probabilistic diameter, probabilistic bounded, probabilistic semi-bounded, probabilistic unbounded and probabilistic totally bounded sets are introduced. Also, we prove that in every probabilistic metric, every probabilistic totally bounded set is probabilistic bounded set. We also present the cantor intersection theorem and a formulation of Bair's Theorem in complete probabilistic metric spaces. In addition, we prove that the Heine-Borel property and the Bolzano-Wierestrass property are equivalent.