Is this proof correct, $\lvert x \rvert=0$ iff $x=0$?

Question

I looking for comments and corrections on my proof. I'm also unsure if the second case is correct.

For $x\in \mathbb{R}$ we have:

$\lvert x\rvert \geq 0$, and $\lvert x \rvert=0$ if and only if $x=0$.

I have three cases:

For $x>0$, the absolute value $\lvert x\rvert=x$ is greater than zero, so $x \neq 0$. This case not true according to the theorem.
For $x<0$, we have $\lvert x\rvert =-x>0$, which is less than zero, so $x<0$. This case not true according to the theorem.
For $x=0$, we have $\lvert x\rvert=0$, according to the theorem. Therefore the theorem is true only for $x=0$.

Thanks!

In the case of $n > 1$, I assume $0$ stands for the zero vector? Also, why is the condition $a \in \mathbb{R}$ in the statement? $a$ is not used anywhere for anything - what is $a$ supposed to be? — Zubin Mukerjee, Jun 06 '17 at 20:26
either $x\in \mathbb{R}^n$ is a typo, or your proofs make no sense. If $x\in \mathbb{R}^n$ then you cannot say $x>0$, because $\mathbb{R}^n$ is not ordered like $\mathbb{R}$ is — user160738, Jun 06 '17 at 20:27
For $x \in \mathbb{R}$ all you need is $-|x| \le x \le |x|,$. — dxiv, Jun 06 '17 at 20:29
For a proof to make sense, you must give a definition of the absolute value. — , Jun 06 '17 at 20:52
Does this answer your question? Intuition about : $a = b \iff | a − b| < \epsilon$, for every $\epsilon > 0$ — , Oct 01 '23 at 18:09

score 1 · Answer 1 · answered Jun 06 '17 at 20:41

1

The theorem should be interpreted as

For $x\in \mathbb{R}$ we have: $(\lvert x\rvert \geq 0$) and ($\lvert x \rvert=0$ if and only if $x=0$).

With this in mind, the theorem should be straightforward to prove using your casework.

answered Jun 06 '17 at 20:41

Akababa

3,169

score 1 · Accepted Answer · 2017-06-06T21:16:03.230

If the absolute value is defined as

$$|x|:=\begin{cases}x>0\to x\\x=0\to0\\x<0\to-x\end{cases},$$

you can say $$|x|\ge0\iff (x>0\land x\ge0)\lor(x=0\land 0\ge0)\lor(x<0\land-x\ge0)\\\iff x>0\lor x=0\lor x<0\iff\text{true}.$$ $$|x|=0\iff (x>0\land x=0)\lor(x=0\land 0=0)\lor(x<0\land-x=0)\\\iff x=0\lor x=0\lor x=0\iff x=0.$$

If it is defined as

$$|x|:=\begin{cases}x\ge0\to x\\x\le0\to-x\end{cases},$$

you can say

$$|x|\ge0\iff (x\ge0\land x\ge0)\lor(x\le0\land-x\ge0)\iff x\ge0\lor x\le 0\iff\text{true}.$$ $$|x|=0\iff (x\ge0\land x=0)\lor(x\le0\land-x=0)\\\iff x=0\lor x=0\iff x=0.$$

If it is defined as

$$|x|:=\sqrt{x^2},$$ then

$$\sqrt{x^2}\ge0$$ by definition of the square root, and by squaring, then solving the quadratic equation

$$\sqrt{x^2}=0\iff x^2=0^2=0\iff x=0.$$

Thanks! Suppose I instead have $|x|\ge x$, is the proof similar? I.e. with your first definition: $(x>0\land x\ge x)\lor(x=0\land 0\ge x)\lor(x<0\land-x\ge x)\ \iff x>0\lor x=0\lor x<0\iff\text{true}.$ — JDoeDoe, Jun 09 '17 at 19:05

Is this proof correct, $\lvert x \rvert=0$ iff $x=0$?

2 Answers2