Processing math: 100%

Definition: Absolute Value of Real Numbers (Modulus)

Let x,y\in \mathbb R. Based on the ordering relation for real numbers, we define a function |~|:\mathbb R\times \mathbb R\mapsto \mathbb R by

|x-y| := \begin{cases} x-y & \text{ if } x\ge y \\ y-x & \text{ if } x < y \end{cases}

and call it the distance of x and y.

The distance of any real number x from 0

|x| := |x-0|= \begin{cases} x & \text{ if } x\ge 0 \\ -x & \text{ if } x < 0 \end{cases}

is called the absolute value of x.

Corollaries: 1

Corollaries: 1
Definitions: 2 3 4 5 6 7 8
Examples: 9
Lemmas: 10
Parts: 11
Proofs: 12 13 14 15 16 17 18 19 20 21 22 23 24 25
Propositions: 26 27 28 29 30 31 32 33
Theorems: 34


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs