In measure theory Prokhorov’s theorem relates tightness of measures to relative compactness (and hence weak convergence) in the space of probability measures. It is credited to the Soviet mathematician Yuri Vasilyevich Prokhorov, who considered probability measures on complete separable metric spaces. The term "Prokhorov’s theorem" is also applied to later generalizations to either the direct or the inverse statements.
Contents
Statement of the theorem
Let
Theorem.
- A collection
K ⊂ P ( S ) of probability measures is tight if and only if the closure ofK is sequentially compact in the spaceP ( S ) equipped with the topology of weak convergence. - The space
P ( S ) with the topology of weak convergence is metrizable. - Suppose that in addition,
( S , ρ ) is a complete metric space (so that( S , ρ ) is a Polish space). There is a complete metricd 0 P ( S ) equivalent to the topology of weak convergence; moreover,K ⊂ P ( S ) is tight if and only if the closure ofK in( P ( S ) , d 0 ) is compact.
Corollaries
For Euclidean spaces we have that:
Extension
Prokhorov's theorem can be extended to consider complex measures or finite signed measures.
Theorem: Suppose that
Comments
Since Prokhorov's theorem expresses tightness in terms of compactness, the Arzelà-Ascoli theorem is often used to substitute for compactness: in function spaces, this leads to a characterization of tightness in terms of the modulus of continuity or an appropriate analogue — see tightness in classical Wiener space and tightness in Skorokhod space.
There are several deep and non-trivial extensions to Prokhorov's theorem. However, those results do not overshadow the importance and the relevance to applications of the original result.