# The Unapologetic Mathematician

## The Measures of Ordinate Sets

If $(X,\mathcal{S})$ is a $\sigma$-algebra and $f:X\to\mathbb{R}$ is a Borel-measurable function we defined the upper and lower ordinate sets $V^*(f)$ and $V_*(f)$ to be measurable subsets of $X\times\mathbb{R}$. Now if we have a measure $\mu$ on $X$ and Lebesgue measure on the Borel sets, we can define the product measure $\lambda$ on $X\times\mathbb{R}$. Since we know $V^*(f)$ and $V_*(f)$ are both measurable, we can investigate their measures. I assert that

$\displaystyle\lambda(V^*(f))=\int f\,d\mu=\lambda(V_*(f))$

It will be sufficient to establish this for simple functions, since for either the upper or the lower ordinate set we can approximate any measurable $f$ by a monotone sequence of simple $\{f_n\}$ so that $\lim\limits_{n\to\infty}V^*(f_n)=V^*(f)$ or $\lim\limits_{n\to\infty}V_*(f_n)=V_*(f)$. Then the limit will commute with $\lambda$ (since measures are continuous), and it will commute with the integral as well.

So, we can assume that $f$ is simple, and write

$\displaystyle f=\sum\limits_{i=1}^n\alpha_i\chi_{E_i}$

with the $\{E_i\}$ a pairwise-disjoint collection of measurable sets. But now if the equality holds for each of the summands then it holds for the whole function. That is, we can assume — without loss of generality — that $f=\alpha\chi_E$ for some real number $\alpha$ and some measurable subset $E\subseteq X$.

And now the result should be obvious! Indeed, $V^*(f)$ is the measurable rectangle $E\times[0,\alpha]$, while $V_*(f)$ is the measurable rectangle $E\times[0,\alpha)$. Since the product measure on a measurable rectangle is the product of the measures of the two sides, these both have measure $\alpha\mu(E)$. On the other hand, we calculate the integral as

$\displaystyle\int f\,d\mu=\int\alpha\chi_E\,d\mu=\alpha\mu(E)$

and so the equality holds for such rectangles, and thus for simple functions, and thus for all measurable functions.

Of course, it should now be clear that the graph of $f$ has measure zero. Indeed, we find that

$\displaystyle\lambda(V^*(f)\setminus V_*(f))=\lambda(V^*(f))-\lambda(V_*(f))=\int f\,d\mu-\int f\,d\mu=0$

These results put a precise definition to the concept of the integral as the “area under the graph”, which was the motivation behind our definition of the Riemann integral, way back when we introduced it.

### Like this:

Posted by John Armstrong | Analysis, Measure Theory

No comments yet.

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 32, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9306843876838684, "perplexity_flag": "head"}