Absolute Value of Cut is Zero iff Cut is Zero

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\alpha$ be a cut.

Let $\size \alpha$ denote the absolute value of $\alpha$.


Then:

$\size \alpha = 0^*$ if and only if $\alpha = 0^*$

where $0^*$ denotes the rational cut associated with the (rational) number $0$.


Proof

Let $\alpha 0^*$.

Then by definition $\size \alpha = \alpha = 0^*$.


Let $\alpha \ne 0^*$.

Then either:

$\alpha > 0^*$ in which case $\size \alpha = \alpha > 0^*$

or:

$\alpha < 0^*$ in which case $\size \alpha = -\alpha > 0^*$

In either case $\size \alpha \ne 0^*$.


The result follows.

$\blacksquare$


Sources