Positive and Negative Parts of Functions
Now that we have sums and products to work with, we find that the maximum of and — sometimes written or — and their minimum — sometimes written — are measurable. Indeed, we can write
and we know that absolute values of functions are measurable.
As special cases of this construction we define the “positive part” and “negative part” of an extended real-valued function as
The positive part is obviously just what we get if we lop off any part of that extends below . The negative part is a little more subtle. First we lop off everything above , but then we take the negative of this function. As a result, and are both nonnegative functions. And if is measurable, then so are and . We can thus write any measurable function as the difference of two nonnegative measurable functions
Conversely, any function with measurable positive and negative parts is itself measurable.
This is sort of like how we found that functions of bounded variation can be written as the difference between two strictly increasing functions. In fact, if we’re loose about what we mean by “function”, and “derivative”, we could even see this fact as a decomposition of the derivative of a function of bounded variation into its positive and negative parts.
It will thus be useful to restrict attention to nonnegative measurable functions instead of general measurable functions. Many statements can be more easily proven for nonnegative measurable functions, and the results will be preserved when we take the difference of two functions. Since we can write any measurable function as the difference between two nonnegative ones, this will suffice.
It will also be sometimes useful to realize that we may write the absolute value of a function as