spezieller Konvergenzbegriff in der Maßtheorie.

Es sei Ω ein lokalkompakter Raum, ℬ(Ω) die Borel-σ-Algebra auf Ω, und es seien μ, μ₁μ₂,… Radon-Maße auf ℬ(Ω).

Dann heißt die Folge vage konvergent gegen das Maß μ, falls \begin{eqnarray}\mathop{\mathrm{lim}}\limits_{n\to \infty }\displaystyle \int fd{\mu }_{n}=\displaystyle \int fd\mu \end{eqnarray}

für alle stetigen Funktionen f auf Ω mit kompaktem Träger.

Ist eine Folge (μ_n|n ∈ ℕ) von endlichen Radon-Maßen vage konvergent gegen das endliche Radon-Maß μ, so sind folgende drei Bedingungen äquivalent:

(a) Die Folge (μ_n|n ∈ ℕ) konvergiert schwach gegen μ.

(b) lim_n→∞μ_n(Ω) = μ(Ω).

(c) Zu jedem ε > 0 existiert eine kompakte Menge K ⊆ Ω mit μ_n(Ω\K) < ε für alle n ∈ ℕ („Straffheit“).

Dieser Konvergenzbegriff ist auf Polnische Räume übertragbar.