Absolute difference

The absolute difference of two real numbers ${\displaystyle x}$ and ${\displaystyle y}$ is given by ${\displaystyle |x-y|}$, the absolute value of their difference. It describes the distance on the real line between the points corresponding to ${\displaystyle x}$ and ${\displaystyle y}$, and is a special case of the L^p distance for all ${\displaystyle 1\leq p\leq \infty }$. Its applications in statistics include the absolute deviation from a central tendency.

Absolute difference has the following properties:

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\leq p\leq \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.

The absolute difference is used to define the relative difference, the absolute difference between a given value and a reference value divided by the reference value itself.

In the theory of graceful labelings in graph theory, vertices are labeled by natural numbers and edges are labeled by the absolute difference of the numbers at their two vertices. A labeling of this type is graceful when the edge labels are distinct and consecutive from 1 to the number of edges.

As well as being a special case of the L^p distances, absolute difference can be used to define Chebyshev distance (L^∞), in which the distance between points is the maximum or supremum of the absolute differences of their coordinates.