In mathematics, probabilistic metric spaces are a generalization of metric spaces where the distance no longer takes values in the non-negative real numbers R ≥ 0, but in distribution functions. Let D+ be the set of all probability distribution functions F such that F(0) = 0 (F is a nondecreasing, left continuous mapping from R into [0, 1] such that max(F) = 1). Then given a non-empty set S and a function F: S × S → D+ where we denote F(p, q) by Fp,q for every (p, q) ∈ S × S, the ordered pair (S, F) is said to be a probabilistic metric space if:
For all u and v in S, u = v if and only if Fu,v(x) = 1 for all x > 0. For all u and v in S, Fu,v = Fv,u. For all u, v and w in S, Fu,v(x) = 1 and Fv,w(y) = 1 ⇒ Fu,w(x + y) = 1 for x, y > 0.
History Probabilistic metric spaces are initially introduced by Menger, which were termed statistical metrics. Shortly after, Wald criticized the generalized triangle inequality and proposed an alternative one. However, both authors had come to the conclusion that in some respects the Wald inequality was too stringent a requirement to impose on all probability metric spaces, which is partly included in the work of Schweizer and Sklar. Later, the probabilistic metric spaces found to be very suitable to be used with fuzzy sets and further called fuzzy metric spaces
Probability metric of random variables A probability metric D between two random variables X and Y may be defined, for example, as
D ( X , Y ) = ∫ − ∞ ∞ ∫ − ∞ ∞ | x − y | F ( x , y ) d x d y {\displaystyle D(X,Y)=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }|x-y|F(x,y)\,dx\,dy}
where F(x, y) denotes the joint probability density function of the random variables X and Y. If X and Y are independent from each other, then the equation above transforms into
D ( X , Y ) = ∫ − ∞ ∞ ∫ − ∞ ∞ | x − y | f ( x ) g ( y ) d x d y {\displaystyle D(X,Y)=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }|x-y|f(x)g(y)\,dx\,dy}
where f(x) and g(y) are probability density functions of X and Y respectively. One may easily show that such probability metrics do not satisfy the first metric axiom or satisfies it if, and only if, both of arguments X and Y are certain events described by Dirac delta density probability distribution functions. In this case:
D ( X , Y ) = ∫ − ∞ ∞ ∫ − ∞ ∞ | x − y | δ ( x − μ x ) δ ( y − μ y ) d x d y = | μ x − μ y | {\displaystyle D(X,Y)=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }|x-y|\delta (x-\mu _{x})\delta (y-\mu _{y})\,dx\,dy=|\mu _{x}-\mu _{y}|}
the probability metric simply transforms into the metric between expected values μ x {\displaystyle \mu _{x}} , μ y {\displaystyle \mu _{y}} of the variables X and Y. For all other random variables X, Y the probability metric does not satisfy the identity of indiscernibles condition required to be satisfied by the metric of the metric space, that is:
D ( X , X ) > 0. {\displaystyle D\left(X,X\right)>0.}
Example For example if both probability distribution functions of random variables X and Y are normal distributions (N) having the same standard deviation σ {\displaystyle \sigma } , integrating D ( X , Y ) {\displaystyle D\left(X,Y\right)} yields:
… excerpt ends here. Continue reading the full article.
