17.19. Definíció

Az egész számok abszolútértéke

Definiáljunk egy f:ZNf:\Z \to \N függvényt a következőképpen:

f(a)={aha a0aha a<0f(a) = \begin{cases} a &\text{ha } a\geq 0 \\ -a &\text{ha } a\lt 0 \end{cases}

Ekkor az f(a)f(a) természetes számot az aa egész szám abszolút értékének, az ff függvényt pedig abszolútérték-függvénynek nevezzük. Az aa egész szám abszolút értékének jelölése: a|a|.