For a real number $x$ we set
The function $|x|$ is called absolute value. The notation used in equation (4.4) should be interpreted as follows: For given $x$ grater or equal to $0$, then $|x|$ is defined as $x$ and in the case $x$ is negative, $|x|$ is defined as $-x$. The graph of the function absolute value is plotted in picture 4.1.
Now let us summarize a few basic properties of the absolute value. Its The domain of the absolute values is the whole set of real numbers, i.e. $D_{|x|} = \mathbb{R}$. The image set of the absolute value is given by the set of all non-negative real umbers, thus $H_{|x|} = [0, +\infty)$. Indeed, from definition (4.4) we obtain the inequality $|x| \geq 0$ for every $x$ and on the other hand for any $y \geq 0$ it holds $|y| = y$. Furthermore, directly from definition (4.4) it clearly follows that for every real $x$ and $y$ it holds
and (think about it!)
An important property of absolute value is the so-called triangular inequality.
For every real $x$ and $y$ the following inequality holds
Consider any real $x$ and $y$. We have
if $x+y \geq 0$, then $|x+y| = x+y \leq |x| + |y|$,
if $x+y < 0$, then $|x+y| = -(x+y) = -x -y \leq |x| + |y|$.
Obviously, for every real $z$ it applies $z \leq |z|$.
$\square$
Prove or refute the claim: for every $x\in\mathbb{R}$ it holds $\sqrt{x^2} = x$.
The statement is not true, consider any negative number $x$. For every real number $x$ it holds $\sqrt{x^2} = |x|$.