Measure Theory/Approximations of Measurable Functions

Simple, Step, and Continuous Functions

Exercise 1. Simple Functions are Approximately Step

Let $\psi =\sum _{i=1}^n{c}_i{\mathrm{𝟏}}_{E_i}$ be a simple function on the bounded interval [a,b]. Also let $\epsilon \in {ℝ}^{+}$.

Prove that there exists a step function s and measurable set F such that

s and $\psi$ are equal on F, and F is nearly all of [a,b].

More formally, for all $x\in F$, we have $\psi (x)=s(x)$.

And $\lambda ([a,b]\setminus F)<\epsilon$.

Hint: Approximate each of $E_1,\dots ,E_n$.

Exercise 2. Step Functions are Approximately Continuous

Let s be any step function on a closed, bounded interval, $s:[a,b]\to ℝ$ and $s=\sum _{i=1}^n{c}_i{\mathrm{𝟏}}_{I_i}$. Also let $\epsilon \in {ℝ}^{+}$.

Prove that there is a continuous function $f:[a,b]\to ℝ$ and measurable set $E\subseteq [a,b]$, such that

$\text{ for all }x\in E:f(x)=s(x),\text{ and }\lambda ([a,b]\setminus E)<\epsilon$

Hint: There is a finite number of discontinuities of s.

Put a small enough neighborhood around each discontinuity. Outside of these neighborhoods, make f and s equal.

Inside of these neighborhoods, interpolate a linear function from one end to the other.

Approximations of Measurable Functions

Here we study two kinds of approximation results. One defines a notion in which two functions are "basically the same" (at least for the purposes of integration). This is the idea of functions being equal "almost everywhere". For functions equal almost everywhere, one may replace one function by the other and the value of the integral is unchanged.

The other kind of approximation result is that every measurable function is (1) approximately continuous, and (2) approximately step. This means that measurable functions can be replaced by continuous or step functions, and although this changes the value of the integral, it does so "not too much".

Exercise 3. Almost Equal to 0

Show that the constant function 0, and the Dirichlet function ${\mathrm{𝟏}}_{\mathbb{Q}}$ are equal almost everywhere.

A.e. Preserves Measurability

Suppose $f,g:E\to ℝ$ are two functions, and f is measurable, and suppose $f=g\text{ a.e. }$ We will prove that therefore g is measurable.

Let $a\in ℝ$ and consider the sets

$F=f^{-1}((a,\mathrm{\infty }))=\{x\in E|g(x)>a\}$

$G=g^{-1}((a,\mathrm{\infty }))=\{x\in E|f(x)>a\}$

$H=\{x\in E|f(x)\ne g(x)\}$

Exercise 4. A.e. Preserves Measurability

Justify why the following sets are measurable, in this order:

1. F

2. H

3. $F\setminus H$

4. $G\setminus H$

5. G

Simple Functions Are Approximately Step

In this section we will show that, if $\psi :[a,b]\to ℝ$ is a simple function then there is a step function $s:[a,b]\to ℝ$ and a set $E\subseteq [a,b]$ such that $\psi =s$ on E and $\lambda ([a,b]\setminus E)<\epsilon$.

So let $\psi =\sum _{i=1}^n{c}_i{\mathrm{𝟏}}_{E_i}$ be a simple function and let $\epsilon \in {ℝ}^{+}$.

As we proved in a previous lesson, each $E_i$ is approximately an open set. That is to say, there is an open set $E_i\subseteq U_i$ such that $\lambda (U_i\setminus E_i)<\epsilon /n$.

Measurable Functions Are Approximately Continuous and Step

We will now show that for any measurable function $f:[a,b]\to ℝ$ and $\epsilon \in {ℝ}^{+}$, there exists a continuous function $g:[a,b]\to ℝ$ such that

$|f-g|<\epsilon$ on a set $E\subseteq [a,b]$

and $\lambda ([a,b]\setminus E)<\epsilon$. When $\epsilon$ is "very small" then E is almost the whole interval [a,b], and g is very close to f.

We will also prove that there exists a step function $s:[a,b]\to ℝ$ such that

$|f-s|<\epsilon$ on a set $E\subseteq [a,b]$

and $\lambda ([a,b]\setminus E)<\epsilon$.

---

First we prove that there is an M such that $|f|\le M$ except on a set of measure less than $\epsilon /3$.

To do so, consider the sequence of sets

$E_n=\{x\in [a,b]:|f(x)|\le n\}$

Exercise 5. Measurable Approximately Bounded

First show that $E_n$ is measurable for each $1\le n$.

Next show that $[a,b]=\bigcup _{n=1}^{\mathrm{\infty }}{E}_n$.

Then use the continuity of measure to show that there is some M for which $\lambda \left(\bigcup _{n=1}^M{E}_n\right)>b-a-\epsilon$. Define $F=\bigcup _{n=1}^M{E}_n$.

Infer that this is the desired M.

---

Next we will show that there is a simple function $\phi$ such that $|f-\phi |<\epsilon$ except on F.

To do so, set $n\in \mathbb{N}$ such that $\frac{M}{n}<\epsilon$ and define the sets

$\begin{array}{cc}{E}_{n,i}& =\{x\in [a,b]:\frac{M(i-1)}{n}\le |f(x)|<\frac{Mi}{n}\}\\ & =(|f|{)}^{-1}([M(i-1)/n,Mi/n)),\text{ for }1\le i\le n\end{array}$

and then define the function

$\phi =\sum _{i=1}^n\left(\underset{E_{n,i}}{\inf }f\right){\mathrm{𝟏}}_{E_{n,i}}$

Exercise 6. Simple Approximation Confirmation

Show that $\phi$ is simple and, except on F, $|f-\phi |<\epsilon$.

---

Finally, use all of the above (with the help of results proved in earlier exercises) to prove the desired result.