Metrization of probabilistic metric spaces. Applications to fixed point theory and Arzela-Ascoli type theorem (Q2219293)

A binary operation on \(\triangle^{+}\) is called a triangle function if and only if it is commutative, associative, non-decreasing in each place, and has \(H_{0}\) as neutral element. Let \((G,D,\star)\) be a probabilistic metric space. The metric \(\sigma_{D}\) on \(G\) is defined canonically using the probabilistic metric \(D\) as follows: for all \(x,y\in G\) \[ \sigma_{D}(x,y):=\sup_{z\in G} d_{L}(D(x,z),D(z,y)):=\sup_{z\in G} d_{L}(\delta_{x}(x,z),\delta_{y}(z,y)):=d_{\infty}(\delta_{x},\delta_{y}). \] Thus, \(\sigma_{D}\) is a metric on \(G\) and for all \(x,y\in G\) \[ d_{L}(D(x,y),H_{0})\leq \sigma_{D}(x,y). \] Using the above concept, the authors give a metrization theorem for probabilistic spaces, some topological and metric properties and some fixed point results well-known in the literature.