# Duality of finite signed measures and bounded continuous functions

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.$$

MathOverflow Asked on February 2, 2021

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

## Related Questions

### What are some good resources for mathematical translation?

7  Asked on January 5, 2022 by matt-noonan

### Inequality for hook numbers in Young diagrams

2  Asked on January 5, 2022 by igor-pak

### Most tensor subspaces of low dimension have rank-1 defining equations

0  Asked on January 5, 2022

### Prime ideals of formal power series ring that are above the same prime ideal

1  Asked on January 5, 2022 by a-c-biller

### Pull back of a Bounded form

0  Asked on January 5, 2022 by kamel

### Set-theoretic generation by circuit polynomials

0  Asked on January 5, 2022

### How to prove that $sum_{m=0}^{infty} { Gamma{(1+2m)/alpha}over Gamma(1/2+m)} { (-t^2/4)^{m}over m !} ge (alpha/2)^{3}exp(-t^{2}/4)$

0  Asked on January 3, 2022

### Clarification regarding the definition of absolute height of an algebraic number

0  Asked on January 3, 2022

### Appearance of proof relevance in “ordinary mathematics?”

2  Asked on January 3, 2022 by mcncm

### Reference to a Classical Regularity Theorem

1  Asked on January 3, 2022 by artful_dodger

### About Countable Dense Homogeneous spaces (CDH) and strongly locally homogeneous spaces

0  Asked on January 3, 2022 by gabriel-medina

### Is there an abstract logic that defines the mantle?

1  Asked on January 3, 2022

### Lorentzian vs Gaussian Fitting Functions

5  Asked on January 1, 2022 by jimmidyjoo

### Applications of mathematics in clinical setting

7  Asked on January 1, 2022

### Bounds on number of “non-metric” entries in matrices

1  Asked on January 1, 2022

### Eigenvalues of convolution matrices

0  Asked on January 1, 2022 by sina-baghal

### Given a large random matrix, how to prove that every large submatrix whose range contains a large ball?

0  Asked on January 1, 2022

### Does the $K^1$-group of a complete flag variety vanish?

0  Asked on January 1, 2022 by quin-appleby

### Does every special $C^*$-Frobenius algebra have a unit?

0  Asked on January 1, 2022 by quantumorange

### Motives under de-singularization

0  Asked on January 1, 2022 by user161697