# Some standard theorems

## Contents

# Some standard theorems#

(Egorov’s theorem)

Let \(\mu\) be a finite measure on a set \(X\) and \(f_n\colon X \to \mathbb R\) a sequence of \(\mu\)-measurable functions such that \(f_n \to f\) pointwise \(\mu\)-a.e. Then for every \(\epsilon>0\) there exists a measurable \(G\subset X\) with \(\mu(X\setminus G)<\epsilon\) and \(f_n\to f\) uniformly on \(G\).

Proof. Fix \(\epsilon >0\), \(k\in\mathbb N\) and for each \(n\in\mathbb N\) let

By assumption, the \(B_{n,k}\) are measurable sets that monotonically decrease to a \(\mu\)-null set as \(n\to \infty\). Therefore, there exists \(n\in\mathbb N\) such that \(\mu(B_{n,k})<\epsilon 2^{-k}\). Let

Then \(\mu(X\setminus G)<\epsilon\) and, for each \(x\in G\) and each \(k\in\mathbb N\), \(G\subset G_k\), so there exists \(n\in\mathbb N\) such that

for all \(m\geq n\). That is, \(f_m\to f\) uniformly on \(G\), as required.

(Lusin’s theorem)

Let \(\mu\) be a finite Borel measure on a metric space \(X\) and let \(f\colon X\to\mathbb R\) be \(\mu\)-measurable. Then for every \(\epsilon>0\) there exists a closed \(C\subset X\) with \(\mu(X\setminus C)<\epsilon\) such that \(f|_C\) is continuous.

Proof. Fix \(\epsilon>0\) and for each \(i\in\mathbb Z\) let

a collection of disjoint Borel sets which cover \(X\). Since \(\mu(X)<\infty\), there exists \(n\in\mathbb N\) such that

Since \(\mu\) is Borel, for each \(1\leq i \leq n\) there exists a closed \(C_i\subset X_i\) with \(\mu(X_i\setminus C_i)<\epsilon/n\).

For a moment fix \(1\leq i \leq n\) and let

Since \(D\) is closed, the sets \(B(D,\delta)\) monotonically decrease to \(D\) as \(\delta \to 0\), which is disjoint from \(C_i\). Therefore there exists \(\delta_i>0\) such that

satisfies \(\mu(C_i \setminus C'_i)<\epsilon/n\). Note that \(C'_i\) is closed.

Let \(\delta :=\min_{1\leq i \leq n}\delta_i>0\) and \(C_\epsilon= \bigcup_{i=1}^n C'_i\), a closed set. For any \(1\leq i\neq j\leq n\) and \(x\in C'_i\) and \(y\in C'_j\), \(d(x,y)\geq \delta\). Therefore, if \(x,y\in C_\epsilon\) with \(d(x,y)<\delta\), \(|f(x)-f(y)|<\epsilon\). Repeat this for each \(k\in\mathbb N\) with \(\epsilon_k = 2^{-k}\epsilon/3\) and let \(C=\bigcap_{k\in\mathbb N}C_{\epsilon_k}\), so that \(\mu(X\setminus C)<\epsilon\). Then \(f\) is continuous on \(C\).

(Absolutely continuous and singular measures)

Let \(\mu,\nu\) be measures on a set \(X\). We say \(\nu\) is absolutely continuous with respect to \(\mu\), written \(\nu\ll \mu\), if for every \(S\subset X\), \(\mu(S)=0 \implies \nu(S)=0\). We say that \(\nu\) is singular with respect to \(\mu\), written \(\nu \perp \mu\) if there exists \(A\subset X\) with \(\mu(X\setminus A)=0=\nu(A)\).

Let \(\mu\) be a measure on a set \(X\) and let \(f\colon X\to \mathbb R^+\). The set valued function

defines a measure on \(X\). Note also that \(\nu \ll \mu\). The Radon-Nikodym theorem provides the converse to this statement.

(Radon–Nikodym theorem)

Let \(\mu,\nu\) be finite measures on a set \(X\) such that \(\nu\ll \mu\). There exists a \(\mu\) and \(\nu\)-measurable \(f\colon X \to \mathbb R^+\) such that

for all \(\mu\) and \(\nu\)-measurable \(S\subset X\). The function \(f\) is called the Radon-Nikodym derivative of \(\nu\) with respect to \(\mu\).

Proof. Let \(\mathcal F\) be the set of all \(\mu\) and \(\nu\)-measurable \(f\colon X\to \mathbb R^+\) such that

for all \(\mu\) and \(\nu\)-measurable \(S\subset X\). Note that \(0\in\mathcal F\) and

Let

so that \(0\leq M\leq \nu(X)<\infty\), and let \(f_i\in\mathcal F\) be such that

(33) implies that we may suppose the \(f_i\) monotonically increase. Let \(f\colon X\to \mathbb R^+\) be the pointwise limit of the \(f_i\). Then \(f\) is \(\mu\) and \(\nu\)-measurable and, by the monotone convergence theorem, \(f\in\mathcal F\) and \(\int f\, \mathrm{d}\mu \geq M\). Thus

We claim that \(f\) satisfies the conclusion of the proposition. Indeed, suppose that \(B\subset X\) is \(\mu\)-measurable but

and let \(\epsilon>0\) be such that

Let \(\mathcal S\) be the collection of all \(\mu\) and \(\nu\)-measurable \(S\subset B\) such that

We claim that there exists a \(\mu\) and \(\nu\)-measurable \(G\subset B\) of positive \(\mu\)-measure such that each \(\mu\) and \(\nu\)-measurable \(G'\subset G\) of positive \(\mu\)-measure is not contained in \(\mathcal S\). Indeed, if not, then each \(G\subset B\) of positive \(\mu\)-measure contains an element of \(\mathcal S\) of positive \(\mu\)-measure. Thus Lemma 15 gives a countable disjoint decomposition of \(\mu\)-almost all of \(B\) into elements of \(\mathcal S\). Since \(\nu\ll \mu\) this implies

contradicting (34).

Note that \(f+\epsilon G \in\mathcal F\). Indeed, if \(S\subset X\) is \(\mu\)-measurable,

On the other hand, since \(\mu(G)>0\),

contradicting the definition of \(M\).

(Lebesgue decomposition theorem)

Let \(\mu,\nu\) be finite measures on a set \(X\). There exists a \(\nu\)-measurable \(A\subset X\) with \(\mu(X\setminus A)=0\) such that, for all \(S\subset A\), \(\mu(S)=0 \Rightarrow \nu(S)=0\). That is, \(\nu=\nu_{ac}+\nu_{\perp}\) with \(\nu_{ac}\ll \mu\) and \(\nu_{\perp}\perp \mu\).

Proof. Let \(\mathcal S\) be the set of all \(\nu\)-measurable \(S\subset X\) with \(\mu(S)=0\). By Lemma 15, there exists \(S_i\in \mathcal S\) such that each \(S\in\mathcal S\) with

satisfies \(\nu(S)=0\). Since \(\mu(X\setminus A)=0\), this is the required decomposition.

## Exercises#

Let \(\mu\) be a Borel measure on a metric space \(X\), \(f\colon X \to \mathbb R\) \(\mu\)-integrable and \(\epsilon>0\).

Show that there exists a simple function \(s\) such that

\[\int_X |f-s|\, \mathrm{d}\mu <\epsilon.\]If \(f\) is positive show that we may require \(0\leq s \leq f\) in the previous point.

Show that if \(\mu\) is finite, there exists \(g\in C(X)\) with

\[\int_X |f-g| \, \mathrm{d}\mu <\epsilon.\]Show that the previous point may fail if \(\mu\) is only \(\sigma\)-finite.

Prove the following variant of Lusin’s theorem for the case that \(\mu\) is not finite but \(f\) is \(\mu\)-integrable: for every \(\epsilon>0\) there exists a closed \(C\subset X\) with

such that \(f|_C\) is continuous.

Let \(\mu,\nu\) be measures on a set \(X\). Show that if \(A\subset X\) is \(\mu+\nu\) measurable then it is also \(\mu\)-measurable.

Prove the Radon-Nikodym and Lebesgue decomposition theorems for \(\sigma\)-finite measures.

Let \(\mu,\nu\) be finite measures on a set \(X\) and suppose \(\nu\ll\mu\). For any \(\mu,\nu\)-measurable \(g\colon X\to \mathbb R^+\) show that

where \(f\) is the Radon-Nikodym derivative of \(\nu\) with respect to \(\mu\).

For a measure \(\mu\) on a set \(X\), we say a function \(f\colon X\to \mathbb R^n\) is \(\mu\)-measurable if each component of \(f\) is \(\mu\)-measurable and define the integral of \(f\) component by component.

An \(n\)-dimensional vector valued measure is a function

for which there exists a measure \(\mu\) on \(X\) and a \(\mu\)-measurable \(f\colon X \to \mathbb S^{n-1}\) such that

for each \(A\subset X\).

Show that if

\[\nu = \int f \, \mathrm{d}\mu = \int f'\, \mathrm{d}\mu'\]are two representations of a vector valued measure then \(\mu = \mu'\) (when restricted to the set of \(\mu\)-measurable sets), and hence \(f=f'\) \(\mu\)-a.e. We denote this unique measure by \(|\nu|\). It is called the total variation of \(\nu\).

Show that the set of all vector valued measures form a normed vector space when equipped with

\[\|\nu\| = |\nu|(X).\]Show that this space is complete.

A signed measure is a 1-dimensional vector valued measure.

Let \(\Sigma\) be a \(\sigma\)-algebra on \(X\). The standard definition of a signed measure on \(\Sigma\) is a countably additive function

The *Hahn decomposition theorem* states that there exist disjoint
\(P,N\in \Sigma\) with \(X=P\cup N\) such that:

For every \(S\in \Sigma\) with \(S\subset P\), \(\mu(P)\geq 0\) and

For every \(S\in \Sigma\) with \(S\subset N\), \(\mu(P)\leq 0\).

That is, \(\mu|_{P}\) and \(-\mu|_{N}\) are (positive) measures.

Use the Lebesgue decomposition and Radon–Nikodym theorems to show that the two definitions of a signed measure agree.