Negative part of a function - Axioms of Choice

Processing math: 100%

Negative part of a function

Set

context

$f:X\to \overline{\mathbb R}$

definiendum	$f^-:X\to \overline{\mathbb R}$
definiendum	$f^-(x) := \mathrm{max}(-f(x),0)$

Discussion

Notice that $f^-(x)\ge 0$ .

Parents

Context

Maximum function, Extended real number line

Log In

Improvements of the human condition