BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
263 users online, thereof 0 logged in

Proposition: Riemann Upper and Riemann Lower Integrals for Bounded Real Functions

Let \([a,b]\) be a closed real interval and let \(f:[a,b]\mapsto\mathbb R\) be an arbitrary bounded function.

Then the following integrals exist and are well-defined:

Riemann Upper Integral

The Riemann upper integral of \(f\) over the interval \([a,b]\) is the infimum of all possible Riemann Integrals for step functions \(\phi\) such that their values are bounded below by the respective values of \(f\), formally:

\[\int_{a}^{b~*}f(x)dx:=\inf\left\{\int_{a}^b\phi(x)dx:~~\phi(x)\ge f(x)\text{ for all }x\in[a,b]\text{ and }\phi\text{ is a step function over }[a,b]\right\}.\]

Riemann Lower Integral

The Riemann lower integral of \(f\) over the interval \([a,b]\) is the supremum of all possible Riemann Integrals for step functions \(\phi\) such that their values are bounded above by the respective values of \(f\), formally:

\[\int_{a~*}^bf(x)dx:=\sup\left\{\int_{a}^b\phi(x)dx:~~\phi(x)\le f(x)\text{ for all }x\in[a,b]\text{ and }\phi\text{ is a step function over }[a,b]\right\}.\]

In the following interactive figure, an example bounded function on the closed interval \([-3,3]\) is generated. You can drag the red points to change the function. The slider to the right changes the step functions of the upper (red) and lower (green) Riemann integrals of the corresponding step functions. The infimum and supremum of the upper and lower integrals of step functions are reached, if the the step length goes to zero (i.e. number of steps in the closed interval goes to infinity).

| | | | | created: 2016-03-05 17:57:19 | modified: 2020-01-08 12:14:02 | by: bookofproofs | references: [581]

1.Proof: (related to "Riemann Upper and Riemann Lower Integrals for Bounded Real Functions")

2.Lemma: Addition and Scalar Multiplication of Riemann Upper and Lower Integrals

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[581] Forster Otto: “Analysis 1, Differential- und Integralrechnung einer Veränderlichen”, Vieweg Studium, 1983