- #1
Math Amateur
Gold Member
MHB
- 3,998
- 48
I am reading "Introduction to Real Analysis" (Fourth Edition) by Robert G Bartle and Donald R Sherbert ...
I am focused on Chapter 7: The Riemann Integral ...
I need help in fully understanding an aspect of the proof of Theorem 7.3.5 ...Theorem 7.3.5 and its proof ... ... read as follows:
View attachment 7325In the above proof from Bartle and Sherbert we read the following:
" ... ... Now on the interval \(\displaystyle [c, c + h]\) the function \(\displaystyle f\) satisfies inequality (4), so that we have
\(\displaystyle ( f(c) - \epsilon ) \cdot h \le F( c + h ) - F(c) = \int^{ c + h }_c f \le ( f(c) + \epsilon ) \cdot h\)
... ... "Can someone please demonstrate rigorously and in detail how Bartle and Sherbert arrived at
\(\displaystyle ( f(c) - \epsilon ) \cdot h \le F( c + h ) - F(c) = \int^{ c + h }_c f \le ( f(c) + \epsilon ) \cdot h\) ... ... ?Peter================================================================================
It may help readers of the above post to have access to B&S's definition of the indefinite integral of \(\displaystyle f\) ... ... so I am providing the same ... ... as follows:View attachment 7326
I am focused on Chapter 7: The Riemann Integral ...
I need help in fully understanding an aspect of the proof of Theorem 7.3.5 ...Theorem 7.3.5 and its proof ... ... read as follows:
View attachment 7325In the above proof from Bartle and Sherbert we read the following:
" ... ... Now on the interval \(\displaystyle [c, c + h]\) the function \(\displaystyle f\) satisfies inequality (4), so that we have
\(\displaystyle ( f(c) - \epsilon ) \cdot h \le F( c + h ) - F(c) = \int^{ c + h }_c f \le ( f(c) + \epsilon ) \cdot h\)
... ... "Can someone please demonstrate rigorously and in detail how Bartle and Sherbert arrived at
\(\displaystyle ( f(c) - \epsilon ) \cdot h \le F( c + h ) - F(c) = \int^{ c + h }_c f \le ( f(c) + \epsilon ) \cdot h\) ... ... ?Peter================================================================================
It may help readers of the above post to have access to B&S's definition of the indefinite integral of \(\displaystyle f\) ... ... so I am providing the same ... ... as follows:View attachment 7326