Probabilistic metric space
A probabilistic metric space is a generalization of metric spaces where the distance is no longer valued in non-negative real numbers, but instead is valued in distribution functions.
Let D+ be the set of all probability distribution functions F such that F(0) = 0: F is a nondecreasing, right continuous mapping from the real numbers R into [0, 1] such that
- sup F(x) = 1
where the supremum is taken over all x in R.
The ordered pair (S,d) is said to be a probabilistic metric space if S is a nonempty set and
- d: S×S →D+
In the following, d(p, q) is denoted by dp,q for every (p, q) ∈ S × S and is a distribution function dp,q(x). The distance-distribution function satisfies the following conditions:
- du,v(x) = 1 for all x > 0 ⇔ u = v (u, v ∈ S).
- du,v(x) = dv,u(x) for all x and for every u, v ∈ S.
- du,v(x) = 1 and dv,w(y) = 1 ⇒ du,w(x + y) = 1 for u, v, w ∈ S and x, y ∈ R.
See also
References
- Chi Woo. "probabilistic metric space" (version 9). PlanetMath.org. Freely available at http://planetmath.org/probabilisticmetricspace.
This article is issued from Wikipedia - version of the 5/9/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.