Wikipedia / Positive and negative parts
Wikipedia / Positive and negative parts
In mathematics, the positive part of a real or extended real-valued function
Intuitively, the graph, 'chopping off' the part under the take the value zero there.
Similarly, the negative part of
Note that both and are non-negative functions. A peculiarity of terminology is that the 'negative part' is not negative (like the imaginary part of a complex number is not imaginary).
The function can be expressed in terms of and
Another representation, using the Iverson bracket
One may define the positive and negative part of any function with values in a linearly ordered group.
The unit ramp function is the positive part of the identity function.
Measure-theoretic properties
Given a measurable space , an extended real-valued function is measurable if and only if its positive and negative parts are. Therefore, if such a function is measurable, so is its absolute value , being the sum of two measurable functions. The converse, though, does not necessarily hold: for example, taking where is a Vitali set, it is clear that is not measurable, but its absolute value is, being a constant function.
The positive part and negative part of a function are used to define the Lebesgue integral for a real-valued function. Analogously to this decomposition of a function, one may decompose a signed measure into positive and negative parts see the Hahn decomposition theorem.