PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Riesz representation theorem (of linear functionals on function spaces) (Theorem)

This entry should not be mistaken with the entry on the Riesz representation theorem of bounded linear functionals on an Hilbert space.

The Riesz representation theorem(s) provided here basically state that linear functionals on certain spaces of functions can be seen as integration against measures. In other words, for some spaces of functions all linear functionals have the form

$\displaystyle f \longmapsto \int f\; d\mu $
for some measure $ \mu$.

There are many versions of these Riesz representation theorems, and which version is used depends upon the generality one wishes to achieve, the difficulty of proof, the type of space of functions involved, the type of linear functionals involved, the type of the "base" space involved, and also the type of measures involved.

We present here some possible Riesz representation theorems of general use.

Notation - In the following we adopt the following conventions:

Theorem 1 (Riesz-Markov) - Let $ L$ be a positive linear functional on $ C_c(X)$. There exists a unique Radon measure $ \mu$ on $ X$, whose underlying $ \sigma$-algebra is the $ \sigma$-algebra generated by all compact sets, such that

$\displaystyle L(f) = \int_X f \; d\mu $
Moreover, $ \mu$ is finite if and only if $ L$ is bounded.

Notice that when $ X$ is $ \sigma$-compact the underlying $ \sigma$-algebra for these measures is precisely the Borel $ \sigma$-algebra of $ X$.

$ \,$

Theorem 2 - Let $ L$ be a positive linear functional on $ C_0(X)$. There exists a unique finite Radon measure $ \mu$ on $ X$ such that

$\displaystyle L(f) = \int_X f \; d\mu $

Theorem 3 (Dual of $ C_0(X)$) - Let $ L$ be a bounded linear functional on $ C_0(X)$. There exists a unique finite signed Borel measure on $ X$ such that

$\displaystyle L(f) = \int_X f \; d\mu $

Complex version:

Here $ C_0(X)$ denotes the space of complex valued continuous functions on $ X$ that vanish at infinity.

Theorem 4 - Let $ L$ be a bounded linear functional on $ C_0(X)$. There exists a unique finite complex regular Borel measure $ \mu$ on $ X$ such that

$\displaystyle L(f) = \int_X f \; d\mu $



Anyone with an account can edit this entry. Please help improve it!

"Riesz representation theorem (of linear functionals on function spaces)" is owned by asteroid. [ full author list (2) ]
(view preamble | get metadata)

View style:

Also defines:  Riesz-Markov theorem
Log in to rate this entry.
(view current ratings)

Cross-references: complex, Borel measure, bounded, finite, compact sets, generated by, Radon measure, sup-norm, vanish at infinity, support, compact, continuous functions, real, locally compact Hausdorff space, proof, measures, spaces of functions, Hilbert space, linear functionals, Riesz representation theorem
There is 1 reference to this entry.

This is version 10 of Riesz representation theorem (of linear functionals on function spaces), born on 2007-08-12, modified 2008-11-23.
Object id is 9857, canonical name is RieszRepresentationTheoremOfLinearFunctionalsOnFunctionSpaces.
Accessed 1549 times total.

Classification:
AMS MSC28C05 (Measure and integration :: Set functions and measures on spaces with additional structure :: Integration theory via linear functionals , representing set functions and measures)
 46A99 (Functional analysis :: Topological linear spaces and related structures :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)