4
$\begingroup$

The following excerpt is from my Laplace transform textbook, where the author is trying to define the Riemann integral:

Let $F(x)$ be a function which is defined and is bounded in the interval $a \le x \le b$ and suppose that $m$ and $M$ are respectively the lower and upper bounds of $F(x)$ in this interval (written $[a, b]$ see Appendix C). Take a set of points $x_0 = a, x_1, x_2, \dots, x_{r − 1}, x_r , \dots, x_n = b$ and write $\delta_r = x_r − x_{r − 1}$. Let $M_r$, $m_r$ be the bounds of $F(x)$ in the subinterval $(x_{r − 1}, x_r)$ and form the sums

$S = \sum \limits_{r = 1}^n M_r \delta_r$

$s = \sum \limits_{r = 1}^n m_r \delta_r$

These are called respectively the upper and lower Riemann sums corresponding to the mode of subdivision. It is certainly clear that $S \ge s$. There are a variety of ways that can be used to partition the interval $(a, b)$ and each way will have (in general) different $M_r$ and $m_r$ leading to different $S$ and $s$. Let $M$ be the minimum of all possible $M_r$ and $m$ be the maximum of all possible $m_r$. A lower bound or supremum for the set $S$ is therefore $M(b − a)$ and an upper bound or infimum for the set $s$ is $m(b − a)$.

The supremum is defined to be the least upper bound; the infimum is defined to be the greatest lower bound.

So not only are supremum and "lower bound" actually different concepts -- they're contradictory concepts. Something cannot be both a supremum and a lower bound. This is analogously true for infimum and "upper bound".

Am I misunderstanding something, or has the author made an error?

For reference, I post the following from Rudin's Mathematical Analysis:

enter image description here enter image description here

Thank you for any help.

UPDATE: I received a response from the author on this matter:

A more important point is the analysis of the Riemann integral. If you have access to the classic textbook "A Course of Analysis" by E G Phillips, 1962 Cambridge University Press the full story is in section 7.2 on page 166. In short, in order to have a uniquely defined integral, the supremum (I) or upper bound of all the lower sums has to be the same as the infimum (J) or lower bound of all the upper sums of all possible choices of subdivisions. These have to be the same (I=J) otherwise any integral will have many different values and would not be well defined. It is this that I have summarised on page 4, it is classical mathematical analysis.

Can people please review this further and comment on whether I (and others in the comments) misunderstood this, or whether we are correct?

$\endgroup$
  • 1
    $\begingroup$ Yes, you're right, he's got them switched. Poor proofreading. $\endgroup$ – saulspatz Jul 12 '18 at 20:28
  • $\begingroup$ @saulspatz Ok, thank you for your help. $\endgroup$ – Wyuw Jul 12 '18 at 20:30
  • 3
    $\begingroup$ Both of the last two sentences are screwed up. The second-to-last sentence should probably be "$M$ is the maximum of all possible $M_r$ and $m$ is the minimum of all possible $m_r$". The last sentence, as you have discerned, should probably be "An upper bound for the number $S$ is therefore $M(b-a)$ and a lower bound for the number $s$ is $m(b-a)$." $\endgroup$ – Lee Mosher Jul 12 '18 at 20:44
  • $\begingroup$ @LeeMosher Yes, I think you are correct. I will edit the main post with the formal definitions of supremum and infimum for ease of reference. Thank you for the help. $\endgroup$ – Wyuw Jul 12 '18 at 21:06
  • $\begingroup$ The last two sentences can be replaced with the following: "All sums of type $S$ are bounded below by $m(b-a) $ because $M_r\geq m$ and all sums of type $s$ are bounded above by $M(b-a) $ as $m_r\leq M$. $\endgroup$ – Paramanand Singh Jul 13 '18 at 1:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.