# Prokhorov's theorem

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.

## Statement of the theorem

Let ${\displaystyle (S,\rho )}$ be a separable metric space. Let ${\displaystyle {\mathcal {P}}(S)}$ denote the collection of all probability measures defined on ${\displaystyle S}$ (with its Borel σ-algebra).

Theorem.

1. A collection ${\displaystyle K\subset {\mathcal {P}}(S)}$ of probability measures is tight if and only if the closure of ${\displaystyle K}$ is sequentially compact in the space ${\displaystyle {\mathcal {P}}(S)}$ equipped with the topology of weak convergence.
2. The space ${\displaystyle {\mathcal {P}}(S)}$ with the topology of weak convergence is metrizable.
3. Suppose that in addition, ${\displaystyle (S,\rho )}$ is a complete metric space (so that ${\displaystyle (S,\rho )}$ is a Polish space). There is a complete metric ${\displaystyle d_{0}}$ on ${\displaystyle {\mathcal {P}}(S)}$ equivalent to the topology of weak convergence; moreover, ${\displaystyle K\subset {\mathcal {P}}(S)}$ is tight if and only if the closure of ${\displaystyle K}$ in ${\displaystyle ({\mathcal {P}}(S),d_{0})}$ is compact.

## Corollaries

For Euclidean spaces we have that:

• If ${\displaystyle (\mu _{n})}$ is a tight sequence in ${\displaystyle {\mathcal {P}}(\mathbb {R} ^{m})}$ (the collection of probability measures on ${\displaystyle m}$-dimensional Euclidean space), then there exist a subsequence ${\displaystyle (\mu _{n_{k}})}$ and a probability measure ${\displaystyle \mu \in {\mathcal {P}}(\mathbb {R} ^{m})}$ such that ${\displaystyle \mu _{n_{k}}}$ converges weakly to ${\displaystyle \mu }$.
• If ${\displaystyle (\mu _{n})}$ is a tight sequence in ${\displaystyle {\mathcal {P}}(\mathbb {R} ^{k})}$ such that every weakly convergent subsequence ${\displaystyle (\mu _{n_{k}})}$ has the same limit ${\displaystyle \mu \in {\mathcal {P}}(\mathbb {R} ^{k})}$, then the sequence ${\displaystyle (\mu _{n})}$ converges weakly to ${\displaystyle \mu }$.

## Extension

Prokhorov's theorem can be extended to consider complex measures or finite signed measures.

Theorem: Suppose that ${\displaystyle (S,\rho )}$ is a complete separable metric space and ${\displaystyle \Pi }$ is a family of Borel complex measures on ${\displaystyle S}$.The following statements are equivalent:

• ${\displaystyle \Pi }$ is sequentially compact; that is, every sequence ${\displaystyle \{\mu _{n}\}\subset \Pi }$ has a weakly convergent subsequence.
• ${\displaystyle \Pi }$ is tight and uniformly bounded in total variation norm.