Absolute difference

Properties

Absolute difference has the following properties:

• For ${\displaystyle x\ge 0}$, ${\displaystyle |x-0|=x}$ (zero is the identity element on non-negative numbers)
• For all ${\displaystyle x}$, ${\displaystyle |x-x|=0}$ (every element is its own inverse element)
• ${\displaystyle |x-y|\ge 0}$ (non-negativity)
• ${\displaystyle |x-y|=0}$ if and only if ${\displaystyle x=y}$ (nonzero for distinct arguments).
• ${\displaystyle |x-y|=|y-x|}$ (symmetry or commutativity).
• ${\displaystyle |x-z|\le |x-y|+|y-z|}$ (the triangle inequality); equality holds if and only if ${\displaystyle x\le y\le z}$ or ${\displaystyle x\ge y\ge z}$.

Because it is non-negative, nonzero for distinct arguments, symmetric, and obeys the triangle inequality, the real numbers form a metric space with the absolute difference as its distance, the familiar measure of distance along a line. It has been called "the most natural metric space", and "the most important concrete metric space". This distance generalizes in many different ways to higher dimensions, as a special case of the L^p distances for all ${\displaystyle 1\le p\le \mathrm{\infty }}$, including the ${\displaystyle p=1}$ and ${\displaystyle p=2}$ cases (taxicab geometry and Euclidean distance, respectively). It is also the one-dimensional special case of hyperbolic distance.

Instead of ${\displaystyle |x-y|}$, the absolute difference may also be expressed as $${\displaystyle max(x,y)-min(x,y).}$$ Generalizing this to more than two values, in any subset ${\displaystyle S}$ of the real numbers which has an infimum and a supremum, the absolute difference between any two numbers in ${\displaystyle S}$ is less or equal than the absolute difference of the infimum and supremum of ${\displaystyle S}$.

The absolute difference takes non-negative integers to non-negative integers. As a binary operation that is commutative but not associative, with an identity element on the non-negative numbers, the absolute difference gives the non-negative numbers (whether real or integer) the algebraic structure of a commutative magma with identity.