Lexikon der Mathematik: Riesz, Darstellungssatz von
lautet:
Es sei Ω ein topologischer Raum und \( {\mathcal B} (\Omega )\)die Borel-σ-Algebra in Ω. Dann gilt:
- Ist Ω lokalkompakt, und
\begin{eqnarray}\begin{array}{c}I:\{f:\Omega \to {\mathbb{R}}\,|\,f\,stetig\,mit\,kompaktem\\ Tr{\ddot a}ger\}\to {\mathbb{R}}\end{array}\end{eqnarray} linear und positiv, so gibt es genau ein Radon Maß μ auf \( {\mathcal B} (\Omega )\)mit der Eigenschaft, daß f μ-integrierbar ist, und\begin{eqnarray}\displaystyle \int f{d}_{\mu }=I(f)\end{eqnarray} stetig für alle f mit kompaktem Träger. - Ist Ω vollständig regulär und
\begin{eqnarray}\begin{array}{c}I:\{f:\Omega \to {\mathbb{R}}\,|\,f\,stetig\,beschr{\ddot a}nkt\,{\mathbb{R}}\end{array}\end{eqnarray} linear und positiv, wobei zu jedem ε > 0 ein kompaktes K ⊆ Ω so existiert, daß I(f) < ε für alle f mit 0 ≤ f ≤ 1 und f|K = 0, so gibt es genau ein Radon-Maß μ auf \( {\mathcal B} (\Omega )\)mit der Eigenschaft, daß f μ-integrierbar ist, und\begin{eqnarray}\displaystyle \int f{d}_{\mu }=I(f)\end{eqnarray} stetig für alle beschränkten f. - Die Aussage in (b) gilt auch, wenn man anstelle der Menge der stetigen beschränkten Funktionen die der stetigen Funktionen betrachtet.
In mehr funktionalanalytischer Formulierung macht der Darstellungssatz von Riesz eine Aussage über die Darstellung des Dualraums des Banachraums C(K) stetiger Funktionen auf einem Kompaktum K:
Jedes stetige lineare Funktional ℓ ∈ C(K)′ kann durch ein eindeutig bestimmtes reguläres BorelMaß gemäß
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.