En matemáticas , la parte positiva de una función real o extendida de valor real se define mediante la fórmula
Intuitivamente, la gráfica de se obtiene tomando la gráfica de , cortando la parte debajo del eje x y dejando que tome el valor cero allí.
De manera similar, la parte negativa de f se define como
Tenga en cuenta que tanto f + como f − son funciones no negativas. Una peculiaridad de la terminología es que la "parte negativa" no es ni negativa ni una parte (como la parte imaginaria de un número complejo no es ni imaginaria ni una parte).
La función f se puede expresar en términos de f + y f − como
También tenga en cuenta que
Usando estas dos ecuaciones se pueden expresar las partes positiva y negativa como
Otra representación, usando el corchete de Iverson es
Se pueden definir la parte positiva y negativa de cualquier función con valores en un grupo ordenado linealmente .
La función de rampa unitaria es la parte positiva de la función de identidad .
Dado un espacio medible ( X , Σ) , una función f extendida de valor real es medible si y sólo si sus partes positiva y negativa lo son. Por lo tanto, si dicha función f es medible, también lo es su valor absoluto | f | , siendo la suma de dos funciones medibles. Sin embargo, lo contrario no necesariamente se cumple: por ejemplo, tomar f como
La parte positiva y la parte negativa de una función se utilizan para definir la integral de Lebesgue para una función de valor real. De manera análoga a esta descomposición de una función, se puede descomponer una medida con signo en partes positivas y negativas; consulte el teorema de descomposición de Hahn .