lautet:

Es sei Ω topologischer Raum, \(\mathcal{K}(\Omega)\)die Menge seiner kompakten Teilmengen und \(\mu_{0}:\mathcal{K}(\Omega)\rightarrow \bar{\mathbb{R}}^{+}\)eine Funktion auf \(\mathcal{K}(\Omega)\)mit folgenden Eigenschaft: <?PageNum _172

1. \(\{{K}_{1},{K}_{2}\}\subseteq {\mathcal{K}}(\Omega ),{K}_{1}\subseteq {K}_{2}\Rightarrow {\mu }_{0}({K}_{1})\le {\mu }_{0}({K}_{2})\lt +\infty \)
2. \(\{K_{1},K_{2}\}\subseteq \mathcal{K}(\Omega)\Rightarrow \mu(K_{1} \cup K_{2})\leq \mu_{0}(K_{1})+\mu_{0}(K_{2})\)
3. \(\{K_{1},K_{2}\}\subseteq \mathcal{K}(\Omega),K_{1}\cap K_{2}=\varnothing \Rightarrow \mu_{0}(K_{1} \cup K_{2})=\mu_{0}(K_{1})+\mu_{0}(K_{2})\)
4. für alle \({K}_{1}\in {\mathcal{K}}(\Omega )\)und für alleε > 0 gibt es eine offene Umgebung O von K₁ mit der Eigenschaft: Für alle \({K}_{2}\in {\mathcal{K}}(\Omega )\) mit K₂ ⊆ O istμ₀(K₂) ≤ μ₀(K₁) + ε.

Dann existiert genau ein Radon-Maß μ auf \({\mathcal{B}}(\Omega )\) mit μ(K) = μ₀(K) für alle \({K}\in {\mathcal{K}}(\Omega )\).