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:
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?