Prokhorov's theorem
From Wikipedia, the free encyclopedia
In mathematics, Prokhorov's theorem is a theorem of measure theory that relates tightness of measures to weak compactness (and hence weak convergence) in the space of probability measures. It is credited to the Soviet mathematician Yuri Vasilevich Prokhorov.
[edit] Statement of the theorem
Let (M,d) be a separable metric space, and let denote the collection of all probability measures defined on M (with its Borel sigma algebra).
- If is a tight collection of probability measures, then is relatively compact in with its topology of weak convergence.
- Conversely, if there exists an equivalent complete metric d' for M (so (M,d') is a Polish space), then every relatively compact is also tight.
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.
[edit] Corollaries
If is a tight sequence of probability measures, then there exists a subsequence and probability measure such that converges weakly to μ as .
If is tight, and every subsequence that converges weakly at all converges weakly to the same probability measure , then the full sequence (μn) converges weakly to μ.
[edit] References
- Billingsley, Patrick (1999). Convergence of Probability Measures. John Wiley & Sons, Inc., New York. ISBN 0-471-19745-9.
- Billingsley, Patrick (1995). Probability and measure. John Wiley & Sons, Inc., New York. ISBN 0-471-00710-2.
- Yu.V. Prokhorov. Convergence of random processes and limit theorems in probability theory. Theory of Prob. and Appl. I, no. 2 (1956), 157-214 (English translation).