I am comparing theorem 10.6(c) and 10.14(a) in Apostol's Mathematical Analysis.(adsbygoogle = window.adsbygoogle || []).push({});

My question is this:

Are constant functions considered upper functions? They certainly seem to fit the definition 10.4 for upper functions:

A real-valued function f defined on an interval I is called an upper function on I, and we write [itex] f \in U(I) [/itex], if there exists an increasing sequence of step functions [itex] {s_n} [/itex] such that:

[tex]

a)\ s_n \nearrow\ f\ a.e.\ on\ I,

[/tex]

and

[tex]

b)\ \lim_{x\rightarrow \infty} \int_\textrm{I} s_n \is\ finite.

[/tex]

There there's definition 10.12 for Lebesgue integrable functions:

We denote by L(I) the set of all functions f of the form f = u - v where [itex]u\in U(I) [/itex] and [itex] v\in U(I) [/itex]. Each function f in L(I) is said to be Lebesgue-integrable on I and its integral is defined by the equation [itex] \int_\textrm{I} f = \int_\textrm{I} u - \int_\textrm{I} v [/itex]

Here's thm 10.14(a):

[tex] Assume\ f \in L(I)\ and\ g \in L(I).\ Then\ we\ have\ (af + bg) \in L(I)\ for\ every\ real\ a\ and\ b\ \int_\textrm{I} (af + bg) = a \int_\textrm{I} f + b \int_\textrm{I} g.

[/tex]

Assuming that a constant function is an upper function, let v = 0. Choose some arbitrary upper function u. Let f = u - 0 and thus f is a member of L(I). Then [itex]\int_\textrm{I} f = \int_\textrm{I} u[/itex]. By thm 10.14, [itex]\int_\textrm{I} -f = - \int_\textrm{I} f[/itex]. Thus [itex]\int_\textrm{I} -f = - \int_\textrm{I} u. [/itex]

But it is not always true that

integral -u = - integral u

when u is an upper function according to Thm 10.6(b):

[tex]Assume\ f \in U(I)\ and\ g \in U(I).\ Then:\ cf \in U(I)\ for\ ever\ constant\ c \geq 0\ and \int_\textrm{I} cf = c \int_\textrm{I} f [/tex]

Notice that c must be >= 0. There's even a problem in the text that shows that thm 10.6(b) isn't always true if that assumption is violated.

My point is that if constant functions are allowed as upper functions, then thm 10.14(a) implies thm 10.6(b) should be true for all real c, not just non-negative c. Any thoughts on where my logic is wrong?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Upper function and lebesgue integrals

**Physics Forums | Science Articles, Homework Help, Discussion**