TransWikia.com

Duality of finite signed measures and bounded continuous functions

MathOverflow Asked on February 2, 2021

Let $E$ be a metric space, $C_b(E)$ denote the space of bounded continuous functions $Etomathbb R$ (equipped with the supremum norm), $mathcal M(E)$ denote the space of finite signed measures on the Borel $sigma$-algebra $mathcal B(E)$ (equipped with the total variation norm) and $$langle f,murangle:=int f:{rm d}mu;;;text{for }(f,mu)in C_b(E)timesmathcal M(E).$$

I’m searching for a reference of a functional analytic proof showing that a linear functional $varphi$ on $C_b(E)$ is continuous if and only if $$existsmuinmathcal M(E):varphi=langle;cdot;,murangletag1.$$


EDIT (YC): the assertion made above is false, as has been pointed out in comments by various people, but seems to have gone unacknowledged.


All similar results (e.g. in Bogachev’s Measure Theory) I’ve found are either treating way more general settings or establish the result in a way where I got the feeling that the arguments can be significantly simplified once one is aware of certain basic results on locally convex topologies arising from duality pairings.

In general, if $X,Y$ are $mathbb R$-vector spaces, $langle;cdot;,;cdot;rangle$ is a duality pairing between $X$ and $Y$ and $sigma(X,Y)$ denotes the topology on $X$ generated by $$p_y(x):=|langle x,yrangle|;;;text{for }xin X$$ for $yin Y$, we know that for $varphiin X^ast$

  1. $varphi$ is $sigma(X,Y)$-continuous;
  2. $exists kinmathbb N:exists y_1,ldots,y_kin Y:exists cge0:|varphi|le cdisplaystylemax_{1le ile k}p_{y_i}$;
  3. $exists yin Y:varphi=langle;cdot;,yrangle$

are equivalent.

Maybe we need to impose further assumptions (e.g. restrict ourselves to the subspace $mathcal R(E)$ of Radon measures in $mathcal M(E)$), but I think we should be able to find a proof for the desired claim using the aforementioned equivalence.

Maybe a result similar to Bogachev, but in the present simpler setting, can be established: It holds $(1)$ for a Radon measure $mu$ if and only if $varphi$ satisfies $$forallvarepsilon>0:exists Ksubseteq Etext{ compact }:forall fin C_b(E):left.fright|_K=0Rightarrow|varphi(f)|levarepsilonleft|fright|_inftytag2.$$

3 Answers

As noted, the dual of $C_b(X)$ is not what you thought.
A nice text on this sort of duality is:

V. S. Varadarajan, "Measures on topological spaces". (Russian) Mat. Sb. (N.S.) 55 (97) 1961 35–100.
English translation: Amer. Math. Soc. Transl. 48 (1965) pp. 161-228

He considers not only metric spaces, but the material is still interesting when restricted to metric spaces.

This is the classic discussion of funcitonals that are "$sigma$-smooth" or "$tau$-smooth" or "tight".

Answered by Gerald Edgar on February 2, 2021

As I already pointed out in this answer to another recent question of yours, the dual of the Banach space $C_b(E)$ is not $mathcal M(E)$ but the larger space $rba(E)$ of signed set functions that are regular, bounded, and additive, defined on the algebra $A_E$ generated by the open (or closed) sets of $E$. In other words, $rba(E)$ consists of all functions $mu : mathcal A_E to mathbb{R}$ satisfying the following conditions:

  • $mu(varnothing) = 0$;
  • $mu$ is finitely additive (not necessarily $sigma$-additive);
  • $mu$ is bounded;
  • for all $A in mathcal A_E$ one has begin{align*} mu(A) &= sup{mu(F) , : , F subseteq A text{closed}} \[1ex] &= inf,{mu(V) : : : V supseteq A text{open}}. end{align*} (Note: depending on the context, some authors use a different notion of regularity, where the closed sets $F$ in the supremum are replaced by compact sets. The results stated in this answer are no longer correct with this other notion of regularity.)

When equipped with the total variation norm, $rba(E)$ is isometrically isomorphic with $C_b(E)'$; see [DS58, Theorem IV.6.2 (p.262)] or [AB06, Theorem 14.10 (p.495)]. Your space $mathcal M(E)$ embeds (isometrically) in $rba(E)$, since every finite signed Borel measure on a metric space is automatically regular; see [DS58, Exercise III.9.22 (p.170)] or [AB06, Theorem 12.5 (p.436)]. However, in general, $rba(E)$ is larger than $mathcal M(E)$; see this answer.

The references mentioned here are the only functional analysis textbooks that I am aware of that prove this specific result, but maybe others know additional references. Note: although a proof written in the language of functional analysis might be more pleasant to read for some, I don't see how that would lead to a significant simplification. Basic results on dual pairs are not going to help you determine the dual of any particular Banach space; you still have to get your hands dirty. (The Riesz representation theorem doesn't prove itself, so to speak.)

For an overview of the norm duals of various Banach spaces related to measure theory, see [AB06, Table 14.1 (p.499)].

References.

[DS58] Nelson Dunford, Jacob T. Schwartz, Linear Operators, Part I: General Theory, Interscience, 1958.

[AB06] Charalambos D. Aliprantis, Kim C. Border, Infinite Dimensional Analysis, A Hitchhiker's Guide, Third Edition, Springer, 2006.

Answered by J. van Dobben de Bruyn on February 2, 2021

This is a well-studied area and the two results relevant to your question (which hold for the space $X=C^b(E)$ of bounded, continuous functions on any completely regular space $E$) are:

  1. the space of bounded, finitely additive meaures on the Baire $sigma$-algebra ($=$ the Borel algebra in the metric case) is the dual of the Banach space $X$;

  2. the space of bounded, Radon measures is the dual of $X$ with the finest locally convex topology which agrees with that of compact convergence on the unit ball.

Answered by user131781 on February 2, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP