Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.

Notation used throughout:-


$\mathcal{P}(X)$- Space of Borel probability measures on X

$C_b(X)$- Space of continuous and bounded functions on X


Narrow Convergence: A sequence $(\mu_n)\subset\mathcal{P}(X)$ is narrowly convergent to $\mu\in\mathcal{P}(X)$ if $\int_Xfd\mu_n\xrightarrow{n\rightarrow \infty}\int_Xfd\mu$ for every $f\in C_b(X)$.

Tightness: A set $\mathcal{K}\subset\mathcal{P}(X)$ is tight if $\forall \epsilon>0 \ \ , \exists K_\epsilon \text{ compact in $X$ such that } \mu(X\backslash K_\epsilon)\leq \epsilon \ \ \forall \mu\in\mathcal{K}$.

Prokhorov's theorem: If a set $\mathcal{K}\subset \mathcal{P}(X)$ is tight then $\mathcal{K}$ is relatively compact in $\mathcal{P}(X)$.

Question: Does there exists a generalization of Prokhorov's theorem to $\mathcal{M}(X)$, the space of finitely additive signed measures on X? Any references would be welcome.

share|cite|improve this question
Quick Motivating Idea: Bounded Lipschitz (dual) metric metrizes the narrow topology on the space of finitely additive signed measures. So can we have a similar characterization (like Prokhorov’s theorem) of compact sets in this space? – UPS Aug 29 '13 at 19:59

There is a nice generalization of the Prokhorov's theorem to the space of Borel measures. For proof see Bogachev's Measure Theroy Vol 2 (Thm 8.6.2).

Let $X$ be a complete seperable metric space and $\mathcal{M}$ a family of Borel measures on $X$. Then the following statements are equivalent:

(1) Every sequence $\mu_n\subset\mathcal{M}$ contains a weakly convergent susequence.

(2) The family $\mathcal{M}$ is tight and uniformly bounded in the total variation norm.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.