I am comparing theorem 10.6(c) and 10.14(a) in Apostol's Mathematical Analysis.
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 , if there exists an increasing sequence of step functions such that:
and
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 and . Each function f in L(I) is said to be Lebesgue-integrable on I and its integral is defined by the equation
Here's thm 10.14(a):
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 . By thm 10.14, . Thus
But it is not always true that
integral -u = - integral u
when u is an upper function according to Thm 10.6(b):
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?