Absolute Value Function is Completely Multiplicative/Proof 2

From ProofWiki
Jump to navigation Jump to search


The absolute value function on the real numbers $\R$ is completely multiplicative:

$\forall x, y \in \R: \left\vert{x y}\right\vert = \left\vert{x}\right\vert \, \left\vert{y}\right\vert$

where $\left \vert{a}\right \vert$ denotes the absolute value of $a$.


Follows directly from:

Real Numbers form Ordered Integral Domain
Product of Absolute Values on Ordered Integral Domain.