Namespaces
Variants
Actions

Riesz representation theorem

From Encyclopedia of Mathematics
Revision as of 08:33, 22 July 2012 by Camillo.delellis (talk | contribs) (Added the characterization of the dual of C(X,B) when B is finite dimensional.)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 28A33 [MSN][ZBL]

A central theorem in classical measure theory, sometimes called Riesz-Markov theorem, which states the following. Let $X$ be a compact Hausdorff topological space, $C(X)$ the Banach space of real valued continuous functions on $X$ and $L: C(X)\to \mathbb R$ a continuous linear functional which is nonnegative, i.e. such that $L(f)\geq 0$ whenever $f\geq 0$. Then there is a Radon measure $\mu$ on the $\sigma$-algebra of Borel sets $\mathcal{B} (X)$ such that \[ L (f) = \int_X f\, d\mu \qquad \forall f\in C (X)\, . \]

An analogous statement which is commonly referred to as Riesz representation theorem is that, under the assumptions above, the dual of $C(X)$ is the space $\mathcal{M}^b (X)$ of $\mathbb R$-valued measures with finite total variation (cp. with Convergence of measures for the relevant definitions). Combined with the Radon-Nikodým theorem, this amounts to the following alternative statement: for any element $L\in (C(X))'$ there are a Radon measure $\mu$ and a Borel function $g$ such that $|g|=1$ $\mu$-a.e. and \[ L (f) = \int_X fg\, d\mu\qquad \forall f\in C(X)\, . \]

More general statements for locally compact Hausdorff spaces can be easily derived from the ones above.

The statement can be also generalized to a similar description of the dual of $C(X,B)$ when $B$ is Banach space. For instance, if $B$ is a finite-dimensional space, then for any $L\in C(X,B)'$ there is a Radon measure $\mu$ on $X$ and a Borel measurable map $g: X\to B'$ such that $\|g\|_{B'}=1$ $\mu$-a.e. and \[ L (f) = \int_X g (f)\, d\mu \qquad \forall f\in C(X)\, . \]

References

[AmFuPa] L. Ambrosio, N. Fusco, D. Pallara, "Functions of bounded variations and free discontinuity problems". Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000. MR1857292Zbl 0957.49001
[Bo] N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley (1975) pp. Chapt.6;7;8 (Translated from French) MR0583191 Zbl 1116.28002 Zbl 1106.46005 Zbl 1106.46006 Zbl 1182.28002 Zbl 1182.28001 Zbl 1095.28002 Zbl 1095.28001 Zbl 0156.06001
[DS] N. Dunford, J.T. Schwartz, "Linear operators. General theory" , 1 , Interscience (1958) MR0117523
[Bi] P. Billingsley, "Convergence of probability measures" , Wiley (1968) MR0233396 Zbl 0172.21201
[Ma] P. Mattila, "Geometry of sets and measures in euclidean spaces. Cambridge Studies in Advanced Mathematics, 44. Cambridge University Press, Cambridge, 1995. MR1333890 Zbl 0911.28005
How to Cite This Entry:
Riesz representation theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riesz_representation_theorem&oldid=27173