ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11977 on D109: Signum function
F11977
Formulation 2
The signum function is the D4948: Integer function \begin{equation} \mathbb{R} \to \{ -1, 0, 1 \}, \quad x \mapsto \begin{cases} 1, \quad & x \in (0, \infty) \\ -1, \quad & x \in (-\infty, 0) \\ 0, \quad & x = 0 \end{cases} \end{equation}