Let be bounded on . Show that if the set of discontinuous points of has content zero, then is integrable.
I am trying do a second semester analysis self study and I am pretty stuck on a few major concepts of integration. I would appriciate some help with this one. If any thing, I just need a place to get started.
Here is what I have set up so far. I am given:
has content zero and is bounded on . Thus, and (where, represents open sets). Moreover, there exists an satistying for all .
My goal is to show there exists a partition such that for any choice of
Since the goal begins with a universal quantifier I let be arbitrary. Now, I need to show the existance of such a partition.
As you can see I do not have much. I am not sure how to get started.
Q1: Does the set of open intervals whos union contain the set D have to be nested?
Q2: Can I assume is compact to create a finite subcover and use that somehow?
If I am reading this correctly the set D has only a finite number of elements in it. So try a easier problem first. What if f is bounded and is only discontinuous at one point c in [a,b]. How could you create a partition that that would show f is integrable. If you can solve this problem it will generalize to any finite set of points of discontinuity.
Hint: squeeze the one point of discontinuity into a set of length then the function is continuous on and
The concept of content is a bit dated.
If you are using the text material by T.H. Hildebrand then a subset has content if and only if its characteristic function is Riemann integrable on .
That seems to be consistent with your notation. If so how can you use that?
If that is not the definition of content you have, what textbook are you following?
Well, I would want to construct a partition that minimizes the effect of the discontinuity at by embedding in a very small subinterval.
Originally Posted by TheEmptySet
I am using the book "Understanding Analysis" by Stephen Abbott. The book is current; the problem I posted is in a section called "integration functions with discontinuities".
Originally Posted by Plato
I have found very little on the subject in my google searchers. In the next section, "measure zero" is brought up and the only difference I can tell is that "measure zero" handles the infinitely countable case.
I do not know Abbots' text book.
Originally Posted by Danneedshelp
I your have reasonable university library access you may want to find Hildebrandt's book or a book by S K Breberian.
A set has content zero iff for every there exist intervals with and .
So in your problem, given just use an argument completely analogous to that where you have a finite number of discontinuities.