Learn Mathematics

Integrals of Upper Functions on General Intervals Review

We will now review some of the recent material regarding upper functions and integrals of upper functions.

Recall from the Upper Functions and Integrals of Upper Functions page that a function $f$ is said to be an Upper Function on the interval $I$ if there exists an increasing sequence of step functions $(f_n(x))_{n=1}^{\infty}$ that converges to $f$ almost everywhere on $I$ and such that $\displaystyle{\lim_{n \to \infty} \int_I f_n(x) \: dx}$ is finite.

If $f$ is an upper function on $I$ and $(f_n(x))_{n=1}^{\infty}$ is such a sequence, then we say that $(f_n(x))_{n=1}^{\infty}$ is a Generating Sequence for $f$ on $I$.

Afterwards, on the The Maximum and Minimum Functions of Two Functions we said that if $f$ and $g$ are functions defined on an interval $I$ then the maximum and minimum functions of $f$ and $g$ denoted $\max (f, g)$ and $\min (f, g)$ are defined for all $x \in I$ by:

On the Basic Theorems Regarding the Maximum and Minimum Functions of Two Functions page we looked at two more results regarding the maximum and minimum functions defined above. We saw that if $(f_n(x))_{n=1}^{\infty}$ and $(g_n(x))_{n=1}^{\infty}$ were increasing sequences of functions then $(\max (f_n, g_n))_{n=1}^{\infty}$ and $(\min (f_n, g_n))_{n=1}^{\infty}$ were also increasing sequences of functions.

Furthermore, if $(f_n(x))_{n=1}^{\infty}$ and $(g_n(x))_{n=1}^{\infty}$ are both increasing sequences of function that converge to $f$ and $g$ almost everywhere on $I$ then $(\max (f_n, g_n))_{n=1}^{\infty}$ and $(\min (f_n, g_n))_{n=1}^{\infty}$ converge (increasingly) to $\max (f, g)$ and $\min (f, g)$ almost everywhere on $I$.