Partes positivas y negativas

Descomposición de funciones de valores reales

Partes positivas y negativas de f ( x ) = x ² − 4

En matemáticas , la parte positiva de una función real o de valor real extendida se define mediante la fórmula $${\displaystyle f^{+}(x)=\max(f(x),0)={\begin{cases}f(x)&{\text{ if }}f(x)>0\\0&{\text{ otherwise.}}\end{cases}}}$$

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í. ${\displaystyle f^{+}}$ ${\displaystyle f}$ ${\displaystyle f^{+}}$

De manera similar, la parte negativa de f se define como $${\displaystyle f^{-}(x)=\max(-f(x),0)=-\min(f(x),0)={\begin{cases}-f(x)&{\text{ if }}f(x)<0\\0&{\text{ otherwise}}\end{cases}}}$$

Nótese que tanto f ⁺ como f− son funciones no negativas. Una particularidad 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 $${\displaystyle f=f^{+}-f^{-}.}$$

Tenga en cuenta también que $${\displaystyle |f|=f^{+}+f^{-}.}$$

Usando estas dos ecuaciones se pueden expresar las partes positivas y negativas como $${\displaystyle {\begin{aligned}f^{+}&={\frac {|f|+f}{2}}\\f^{-}&={\frac {|f|-f}{2}}.\end{aligned}}}$$

Otra representación, utilizando el corchete de Iverson es $${\displaystyle {\begin{aligned}f^{+}&=[f>0]f\\f^{-}&=-[f<0]f.\end{aligned}}}$$

Se puede 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 identidad .

Propiedades de la teoría de la medida

Dado un espacio medible ( X , Σ) , una función f de valor real extendida es medible si y solo si lo son sus partes positiva y negativa. Por lo tanto, si dicha función f es medible, también lo es su valor absoluto | f | , al ser la suma de dos funciones mesurables. Sin embargo, lo inverso no se cumple necesariamente: por ejemplo, tomando f como donde V es un conjunto de Vitali , está claro que f no es medible, pero sí lo es su valor absoluto, al ser una función constante. $${\displaystyle f=1_{V}-{\frac {1}{2}},}$$

La parte positiva y la parte negativa de una función se utilizan para definir la integral de Lebesgue de 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 (véase el teorema de descomposición de Hahn) .

Véase también

• Rectificador (redes neuronales)
• Funciones pares e impares
• Partes reales e imaginarias

Referencias

• Jones, Frank (2001). Integración de Lebesgue en el espacio euclidiano (edición revisada). Sudbury, MA: Jones y Bartlett. ISBN 0-7637-1708-8.
• Hunter, John K; Nachtergaele, Bruno (2001). Análisis aplicado . Singapur; River Edge, NJ: World Scientific. ISBN 981-02-4191-7.
• Rana, Inder K (2002). Introducción a la medición y la integración (2.ª ed.). Providence, RI: American Mathematical Society. ISBN 0-8218-2974-2.

Enlaces externos

• Parte positiva en MathWorld