## Graph of measurable function is measurable (and has measure zero)

Let $f$ be a finite real valued measurable function on a measurable set $E\subseteq\mathbb{R}$. Show that the set $\{(x,f(x)):x\in E\}$ is measurable.

We define $\Gamma(f,E):=\{(x,f(x)):x\in E\}$. This is popularly known as the graph of a function. Without loss of generality, we may assume that $f$ is nonnegative. This is because we can write $f=f^+ - f^-$, where we split the function into two nonnegative parts.

The proof here can also be found in Wheedon’s Analysis book, Chapter 5.

The strategy for proving this question is to approximate the graph of the function with arbitrarily thin rectangular strips. Let $\epsilon>0$. Define $E_k=\{x\in E\mid \epsilon k\leq f(x)<\epsilon (k+1)\}$, $k=0,1,2,\dots$.

We have $|\Gamma (f,E_k)|_e\leq\epsilon |E_k|$, where $|\cdot|_e$ indicates outer measure.

Also, $\Gamma(f,E)=\cup\Gamma(f,E_k)$, where $\Gamma(f,E_k)$ are disjoint.

\begin{aligned}|\Gamma(f,E)|_e&\leq\sum_{k=1}^\infty|\Gamma(f,E_k)|_e\\ &\leq\epsilon(\sum_{k=1}^\infty|E_k|)\\ &=\epsilon|E| \end{aligned}

If $|E|<\infty$, we can conclude $|\Gamma(f,E)|_e=0$ and thus $\Gamma(f,E)$ is measurable (and has measure zero).

If $|E|=\infty$, we partition $E$ into countable union of sets $F_k$ each with finite measure. By the same analysis, each $\Gamma(f,F_k)$ is measurable (and has measure zero). Thus $\Gamma(f,E)=\bigcup_{k=1}^\infty\Gamma(f,F_k)$ is a countable union of measurable sets and thus is measurable (has measure zero).

http://mathtuition88.com
This entry was posted in Analysis and tagged , . Bookmark the permalink.

### 2 Responses to Graph of measurable function is measurable (and has measure zero)

1. BURIS says:

Sorry i don’t understand about “indicates outer measure” what does it mean?

Liked by 1 person

• I mean to say that the notation means outer measure. Other books may call it m^*.

Like