Riesz-Kakutani Representation Theorem

Theorem

Let $X$ be a Hausdorff compact space.

Let $\map \BB X$ be the Borel $\sigma$-algebra on $X$.

Let $\map C {X, \R}$ be the space of real-valued continuous functions.

Let $\norm {\, \cdot \,}_\infty$ be the supremum norm on $X$.

Let $\struct {C', \norm {\, \cdot \,}_{C'} }$ be the normed dual space of $\struct {\map C {X, \R}, \norm {\, \cdot \,}_\infty}$.


Then $\ell \in C'$ if and only if there is a unique signed measure $\mu$ on $\struct {X, \map \BB X}$ such that:

the variation $\size \mu$ of $\mu$ is finite
$\ds \forall f \in \map C {X, \R} : \map \ell f = \int_X f \rd \mu$

In addition:

$\norm \ell_{C'} = \map {\size \mu} X$


Proof


This theorem requires a proof.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Source of Name

This entry was named for Frigyes Riesz and Shizuo Kakutani.


Sources

  • 2002: Peter D. Lax: Functional Analysis: $8.3$: Reflexive Spaces
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.