Jordan Content Integrability Condition

We wanted a better necessary and sufficient condition for integrability than Riemann’s condition, and now we can give a result halfway to our goal. We let $f:[a,b]\rightarrow\mathbb{R}$ be a bounded function defined on the $n$ -dimensional interval $[a,b]$ .

The condition hinges on defining a certain collection of sets. For every $\epsilon>0$ we define the set

$\displaystyle J_\epsilon=\left\{x\in[a,b]\vert\omega_f(x)\geq\epsilon\right\}$

of points where the oscillation exceeds the threshold value $\epsilon$ . The first thing to note about $J_\epsilon$ is that it’s a closed set. That is, it should contain all its accumulation points. So let $x$ be such an accumulation point and assume that is isn’t in $J_\epsilon$ , so $\omega_f(x)<\epsilon$ . So there must exist a neighborhood $N$ of $x$ so that $\Omega_f(N)<\epsilon$ and this means that $\omega_f(y)<\epsilon$ for any point $y\in N$ , and so none of these points can be in $J_\epsilon$ . But if this is the case, then $x$ can’t be an accumulation point of $J_\epsilon$ , and so we must have $x\in J_\epsilon$ .

And now for our condition. The function $f$ is integrable if and only if the Jordan content $c(J_\epsilon)=0$ for every $\epsilon>0$ .

We start by assuming that $\overline{c}(J_\epsilon)\neq0$ for some $\epsilon>0$ , and we’ll show that Riemann’s condition can’t hold. Given a partition $P$ of $[a,b]$ we calculate the difference between the upper and lower sums

$\displaystyle\begin{aligned}U_P(f)-L_P(f)&=\sum\limits_{i_1=1}^{m_1}\dots\sum\limits_{i_n=1}^{m_n}\left(\max\limits_{t\in I_{i_1\dots i_n}}\{f(t)\}-\min\limits_{t\in I_{i_1\dots i_n}}\{f(t)\}\right)\mathrm{vol}(I_{i_1\dots i_n})\\&=A_1+A_2\geq A_1\end{aligned}$

where $A_1$ is the part of the sum involving subintervals which contain points of $J_\epsilon$ and $A_2$ is the rest. The intervals in $A_1$ have total length $\overline{J}(P,J_\epsilon)\geq\overline{c}(J_\epsilon)$ , and in these intervals we must have

$\displaystyle\max\limits_{t\in I_{i_1\dots i_n}}\{f(t)\}-\min\limits_{t\in I_{i_1\dots i_n}}\{f(t)\}\geq\epsilon$

because if the difference were less then the subinterval would be a neighborhood with oscillation less than $\epsilon$ and thus couldn’t contain any points in $J_\epsilon$ . Thus we conclude that $A_1\geq\epsilon\overline{c}(J_\epsilon)$ , and the difference between the upper and lower sums is at least as big that. This happens no matter what partition we pick, and so the upper and lower integrals must also differ by at least this much, violating Riemann’s condition. Thus if the function is integrable, we must have $\overline{c}(J_\epsilon)=0$ .

Conversely, take an arbitrary $\epsilon>0$ and assume that $\overline{c}(J_\epsilon)=0$ . For this to hold, there must exist a partition $P_0$ so that $\overline{J}(P_0,J_\epsilon)<\epsilon$ . In each of the subintervals not containing points of $J_\epsilon$ , we have $\omega_f(x)<\epsilon$ for all $x$ in the subinterval. Then we know there exists a $\delta$ so that we can subdivide the subinterval into smaller subintervals each with a diameter less than $\delta$ , and the oscillation on each of these subintervals will be less than $\epsilon$ . We will call this refined partition $P_\epsilon$ .

Now, if $P$ is finer than $P_\epsilon$ , we can again write

where again $A_1$ contains the terms from subintervals containing points in $J_\epsilon$ and $A_2$ is the remainder. In all of these latter subintervals we know the difference between the maximum and minimum values of $f$ is less than $\epsilon$ , and so

$\displaystyle A_2<\epsilon\mathrm{vol}([a,b])$

For $A_1$ , on the other hand, we let $M$ and $m$ be the supremum and infimum of $f$ on all of $[a,b]$ , and we find

$\displaystyle A_1\leq\overline{J}(P_0,J_\epsilon)(M-m)<\epsilon(M-m)$

Thus we conclude that

$U_P(f)-L_P(f)<\epsilon(M-m+\mathrm{vol}([a,b]))$

Since this inequality is valid for any $\epsilon>0$ , we see that Riemann’s condition must hold.

4 Comments »

[…] Lebesgue’s Condition At last we come to Lebesgue’s condition for Riemann-integrability in terms of Lebesgue measure. It asserts, simply enough, that a bounded function defined on an -dimensional interval is Riemann integrable on that interval if and only if the set of discontinuities of has measure zero. Our proof will go proceed by way of our condition in terms of Jordan content. […]

Pingback by Lebesgue’s Condition « The Unapologetic Mathematician | December 15, 2009 | Reply
Thanks for your blog.
It seems that you assume J_\epsilon is always Lebesgue measurable. What guarantees that?

Comment by Dan Gluck | October 23, 2015 | Reply
- Sorry, Dan, it’s been a while since I wrote this, and I was never a pro analyst. Can you point out where you think that assumption is being used?
  
  Comment by John Armstrong | October 25, 2015 | Reply
How to prove that “if the difference were less then the subinterval would be a neighborhood with oscillation less than ε and thus couldn’t contain any points in J_ε”? If x belonged to the interior of the subinterval, the subinterval would be a neighborhood of x with oscillation less than ε, but do we see that if x belongs to the frontier of the subinterval, then x cannot belong to J_ε?

Comment by Mayan Rainbow | November 20, 2015 | Reply

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.

Recent Posts
Blogroll
Art
- Sketches of Topology
Astronomy
- Bad Astronomy
- Starts With a Bang
Computer Science
Education
Mathematics
Me
- DrMathochist
- The Unapologetic Programmer
Philosophy
Physics
Politics
Science

M	T	W	T	F	S	S
« Nov				Jan »
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	31

The Unapologetic Mathematician

Mathematics for the interested outsider