# The Daniell integral

## Contents

# The Daniell integral#

Let \(\mu\) be a measure on a set \(X\) and let \(L\) be a set of real valued \(\mu\)-measurable functions on \(X\). The formula

defines an operator on \(L\). Moreover, it has the following two properties:

\(T\) is

*monotonic*: for all \(f,g\in L\) with \(g\leq f\), \(T(g)\leq f\);\(T\) is continuous with respect to monotone convergence: if \(f_i\in C(X)\) monotonically increase to \(f\) then \(T(f_i)\to T(f)\).

In the next theorem we see that these two properties completely characterise the Lebesgue integral. That is, we could equivalently develop a theory of integration (and hence measure) by beginning with operators on sets of functions.

(Lattice of functions)

Let \(X\) be a set. A lattice of functions on \(X\) is a non-empty set \(L\) of functions \(X\to\mathbb R\) which satisfies the following conditions: for any \(c\in \mathbb R^+\) and any \(f,g\in L\), \(f+g\), \(cf\), \(\inf\{f,g\}\) and \(\inf\{f,c\}\) all belong to \(L\) and if \(g\leq f\) then \(f-g\in L\) too. Note that any vector space of functions closed under \(\inf\) is a lattice.

If \(L\) is a lattice we let

We say a \(T\colon L\to \mathbb R\) is

Linear if, for all \(f,g\in L\) and \(a,b\in\mathbb R^+\),

\[T(af+bg)=aT(f)+bT(g);\]Monotonic if, for all \(f,g\in L\) with \(g\leq f\),

\[T(g)\leq T(f);\]Continuous with respect to monotone convergence if, for all \(f_i\in L\) that monotonically increase to \(f\),

\[T(f_i)\to T(f).\]Bounded if for every \(f\in L\),

\[\sup\{T(g) : 0\leq g\leq f\}<\infty.\]

A \(T\) satisfying the first three items is called a monotone Daniell integral (it necessarily satisfies the fourth item. A \(T\) satisfying items 1, 3 and 4 is called a Daniell integral.

Let \(L\) be a lattice on \(X\) and let \(T\colon L\to\mathbb R\) be a monotone Daniell integral. Then there exists a measure \(\mu\) on \(X\) for which each \(f\in L^+\) is \(\mu\)-measurable such that

for all \(f\in L\).

Proof. First note that, for any \(f\in L^+\),

For \(A\subset X\) we say that a sequence \(f_i\in L^+\) suits \(A\) if the \(f_i\) monotonically increase and

Define

Then \(\mu\) is a measure on \(X\). Indeed, \(\mu(\emptyset)=0\) and \(\mu\) is monotonic. If \(A_j\subset X\) for each \(j\in\mathbb N\) and \(f_i^j\in L^+\) suit \(A_j\) then

suits \(\cup_j A_j\) and

Next we show that each \(f\in L^+\) is \(\mu\)-measurable. By Exercise 15, it suffices to show, for every \(E\subset X\) and \(0\leq a<b\in \mathbb R\) that, for

we have

Suppose \(g_i\) suit \(E\) and let

Then \(0\leq k_{i+1}-k_i \leq g_{i+1}- g_i\) for all \(i\) and

Then \(k_i\) suit \(B\) and \(g_i-k_i\) suit \(A\). Therefore

Finally we show that

First suppose that \(A\subset X\), \(f_i\) suit \(A\) and \(g\in L^+\) satisfies \(g\leq \chi_A\). Then \(h_i = \inf\{f_i,g\}\) monotonically increase to \(g\) and so

Consequently,

Now fix \(f\in L^+\) and for each \(t\in \mathbb R^+\) let \(f_t=\inf\{f,t\}\). For a moment fix \(\epsilon>0\). Then, for each \(k\in\mathbb N\),

and

Note that, for any \(k\in\mathbb N\), \((f_{k\epsilon}-f_{(k-1)\epsilon})/\epsilon\) suits

and so

Finally by (5),

Combining (9), (11) and (10) gives

Summing from 1 to \(i\) gives

Since \(f_{i\epsilon}\) monotonically increases to \(f\),

Therefore, since \(f_\epsilon\) monotonically decreases to 0, \(f-f_\epsilon\) increases to \(f\) and so this gives (4).

Note that, if \(f\in L\), then \(f^+,f^-\in L^+\) and so

For any measure \(\mu\) satisfying the conclusion of Theorem 6, the value of \(\mu(\{f>t\})\), for \(f\in L^+\) and \(t>0\), is uniquely determined by the values of \(T\) on \(L^+\).

Proof. For any \(t>0\) and \(0<h<t\), observe that the functions

converge pointwise to the characteristic function of \(f^{-1}((t,\infty))\) and are bounded above by \(2f\). Therefore, by [mu_rep_T] and the dominated convergence theorem,

The Banach–Alaoglu theorem (see Example 26) motivates us to consider representations of Borel measures by elements of the dual of a Banach space, namely of \(C(X)\). To use Theorem 6, we must upgrade the pointwise convergence in the hypotheses to uniform convergence in \(C(X)\). Recall that \(C_c(X)\) is the set of all continuous functions on \(X\) with compact support, and that pointwise monotonic convergence in \(C_c(X)\) implies uniform convergence (see Example 22). Therefore, for any monotonic \(T\in C_c(X)'\), Theorem 6 produces a measure \(\mu\) that represents \(T\). If \(X\) is a metric space, then all compact sets are measurable with respect to \(\mu\). We next show, on locally compact spaces, how to obtain a Borel measure.

Let \(X\) be a locally compact metric space and suppose that \(\tau\) is a finite measure on \(X\). There exists a unique Radon measure \(\mu\) on \(X\) that agrees with \(\tau\) on \(\mathcal K(X)\).

Proof. Let \(\mathcal U\) be the set of open subsets of \(X\). For each \(U \in \mathcal U\) define

Since \(\tau\) is monotone, for any \(K\in\mathcal K(X)\), \(\nu(K^o) \leq \tau(K)\), for \(K^o\) the interior of \(K\).

Since \(X\) is locally compact, for any \(U\in \mathcal U\) and \(K\in\mathcal K(X)\) with \(K\subset U\), there exists \(V\in\mathcal U\) with \(\overline V\in\mathcal K(X)\) and

Consequently,

Also, since \(\tau\) is a measure and \(X\) is a metric space,

For each \(A\subset X\) define

Note that both \(\nu\) and \(\mu\) are monotone and give value 0 to the empty set. To see that \(\mu\) is a measure, let \(A_i\subset X\) and let \(U_i\supset A_i\) be open. We must show that

It suffices to show that

By (12), for any \(\epsilon>0\), there exists \(V\subset \cup_i U_i\) with compact closure such that

Since \(V\) has compact closure, it is contained in the union of finitely many \(U_i\). Therefore, it suffices to show that \(\nu\) is finitely sub-additive.

Let \(U,V\in \mathcal U\) and \(K\subset U\cup V\) be compact. Let \(W=U\cap V\) and

and

Then \(K_U,K_V\) are closed subsets of \(K\) with \(K=K_U\cup K_V\) and \(K_U\subset U\) and \(K_V\subset V\). Since \(\tau\) is finitely sub-additive,

and so

Therefore, \(\nu\) is finitely sub-additive by induction. As shown above, this implies that \(\mu\) is a measure.

To see that \(\mu\) is a Borel measure, if \(A,B\subset X\) are separated, then there exist separated open sets \(U\supset A\), \(V\supset B\). Since \(\tau\) is finitely additive, \(\nu(U\cap V) = \nu(U) + \nu(V)\) and so \(\mu\) is additive on separated sets. By construction, \(\mu\) is Borel regular. Also, (12) shows that open sets are inner regular by compact sets. Combining this with outer regularity by open sets shows that \(\mu\) is a Radon measure.

To see that \(\mu\) agrees with \(\tau\) on \(\mathcal K(X)\), note that for any \(K\in\mathcal K(X)\) and \(U\in\mathcal U\) with \(K\subset U\),

and so \(\tau(K) \leq \mu(K)\). For the other inequality,

by (13).

Finally, if \(\mu_1,\mu_2\) are two Radon measures that agree with \(\tau\) on \(\mathcal K(X)\), then for any open \(U\subset X\),

Since \(\mu_1,\mu_2\) are both Borel regular, they must agree.

(Riesz representation theorem)

Let \(X\) be a locally compact metric space and let \(T\in C_c(X)'\) be monotone. Then there exists a unique Radon measure \(\mu\) such that

Proof. Observe that \(T\) is a monotone Daniell integral on \(L=C_c(X)\). By Theorem 6, there exists a measure \(\tau\) on \(X\) for which (14) holds with \(\mu\) replaced by \(\tau\). By Lemma 3, there exists a Radon measure \(\mu\) that agrees with \(\tau\) on \(\mathcal K(X)\). For any \(f\in C_c(X)\), the value of

is determined by the value of \(\tau\) on compact sets, and so

so that (14) holds. Observation 1 implies that, on a locally compact space, the measure of any compact set is uniquely determined by (14). Thus any Radon measure satisfying (14) is uniquely determined.

The Riesz representation theorem allows us to identify the set of finite Radon measures on a locally compact space \(X\) with the set of monotonic elements of \(C_0(X)'\). For \(B\) a Banach space, a sequence \(T_n\in B'\) weak* converges to \(T\in B'\) if \(T_n(x)\to T(x)\) for every \(x\in B\). In \(C_0(X)'\), this translates to the following.

(Weak* convergence)

Let \(X\) be a locally compact metric space. A sequence \(\mu_n\) of finite Radon measures on \(X\) weak* converges to a finite Radon measure \(\mu\) if, for every \(f\in C_c(X)\),

By the Banach-Alaoglu theorem (see Example 26), the unit ball of \(B'\) is weak* compact. Since the weak* limit of a sequence of monotonic operators on \(C_0(X)\) is monotonic, we have the following.

Let \(X\) be a locally compact metric space and \(\mu_n\) a sequence of Radon measures with uniformly bounded total measures. There exists a finite Radon measure \(\mu\) on \(X\) and subsequence \(\mu_{n_k}\) that weak* converges to \(\mu\).

## Exercises#

Let \(L\) be a lattice of functions on \(X\). For any \(f\in L\) show that \(f^+,f^-\in L^+\)

Let \(L\) be a lattice on \(X\) and \(T\) a monotone Daniell integral on \(L\). Give an example to show that there may be more than one measure satisfying (14) (recall Example 9). Compare to Observation 1.

Let \(L\) be a lattice on \(X\) and \(T\) a Daniell integral on \(L\). Define \(T^+,T^-\) on \(L^+\) by

and

There show that \(T^+,T^-\) are monotone Daniell integrals on \(L\).

If \(f,g\in L^+\) with \(g\leq f\) then \(f\geq f-g\in L^+\) and so

\[T(g)-T^-(f) \leq T(g) +T(f-g) \leq T(g) + T^+(f).\]Deduce that \(T=T^+-T^-.\)

Let \(K\) be a compact metric space and suppose that \(f_i \in C(K)\) monotonically increase to \(f\in C(K)\). Show that \(f_i\to f\) uniformly.

Let \(c\) be the set of all \(f\colon \mathbb N\to \mathbb R\) such that \(\lim_{j} f(x_j)\) exists and define \(T\colon c\to \mathbb R\) by \(T(f)= \lim_{j} f(x_j)\). Let \(\mathcal C\) be the set of all bounded \(f\colon \mathbb N\to \mathbb R\). Equip \(c\) and \(\mathcal C\) with the supremum norm.

Observe that \(T\) is linear and continuous on \(c\) and hence can be extended by the Hahn-Banach theorem to a linear and continuous element of \(\mathcal C\). (Such an extension is called a

*Banach limit*.)Show that any finite Borel measure on \(\mathbb N\) is a convergent sum of Dirac masses.

Hence show that there is no Borel measure \(\mu\) on \(\mathbb R\) such that \(T_\mu=T\).

Adapt the previous exercise to show that the Riesz representation theorem is false in non locally compact metric spaces.

Let \(X\) be a metric space. Show that any \(T\in C_c(X)'\) is a Daniell integral.

Let let \(T^+,T^-\in C_c(X)'^+\) be obtained from Example 21.

Show that \(\|T\|=\|T^+\|+\|T^-\|\).

By Theorem 7, any \(T\in C_0(X)\) can be identified with two measures \(\mu^+\) and \(\mu^-\) and hence with a signed measure (recall Example 60). Show that this identification is an isometric isomorphism.

(Banach–Alaoglu theorem)

Let \(B\) be a separable Banach space and \(\mathcal D\) a countable dense subset of \(B\). Suppose that \(T_n\in B'\) satisfy \(\|T_n\|\leq M\) for some \(M>0\).

Show that there exists a subsequence \(T_{n_j}\) and a \(T\in B'\) such that \(T_{n_j}(d) \to T(d)\) for each \(d\in\mathcal D\).

Deduce that, for any \(x\in B\), \(T_{n_j}(x) \to T(x)\).

That is, closed and bounded subsets of \(B'\) are weak* compact.