2 Tight families of measures
A set \(S\) of measures on \(\Omega \) is tight if for all \(\varepsilon {\gt} 0\) there exists a compact set \(K\) such that for all \(\mu \in S\), \(\mu (K^c) \le \varepsilon \).
Let \(S\) be a set of measures on a finite-dimensional normed space \(E\). Then \(S\) is tight iff \(\lim _{r \to +\infty }\sup _{\mu \in S} \mu \{ \Vert x \Vert {\gt} r\} = 0\).
Let \(S\) be a set of measures on a finite-dimensional inner product space \(E\). Then \(S\) is tight iff for all \(y \in E\), \(\lim _{r \to +\infty }\sup _{\mu \in S} \mu \{ \vert \langle y, x\rangle \vert {\gt} r\} = 0\).
Let \((\mu _n)_{n \in \mathbb {N}}\) be a sequence of measures on a finite-dimensional inner product space \(E\). Then the set \(\{ \mu _n \mid n \in \mathbb {N}\} \) is tight iff for all \(y \in E\), \(\lim _{r \to +\infty }\limsup _{n \to \infty } \mu _n\{ \vert \langle y, x\rangle \vert {\gt} r\} = 0\).
2.1 Prokhorov’s theorem
Let \(E\) be a complete separable metric space and let \(S \subseteq \mathcal P(E)\). Then the following are equivalent:
\(S\) is tight.
the closure of \(S\) is compact.
Let \(E\) be a metric space and let \(S \subseteq \mathcal P(E)\) be tight. Then the closure of \(S\) is compact.