This is an old revision of the document!
Negative part of a function
Definition
$f:X\to Y$ | $(Y\subseteq \overline{\mathbb R})\land (0\in Y) $ |
$ f^- $ |
$ f^-:X\to Y$ |
$ f^-(x) := \mathrm{max}(-f(x),0)$ |
Ramifications
Discussion
Notice that $f^-(x)\ge 0$.