Absolute value

The absolute value (also called the modulus, numerical value, or magnitude) of a real number x, denoted |x|, is the non-negative number equal to x if x is non-negative and to −x if x is negative. In geometric terms, |x| is the distance of the point x from the origin on the real number line, independent of direction or sign. For example, |3| = 3 and |−3| = 3, while |0| = 0. The absolute value is one of the most fundamental constructions in elementary algebra and real analysis: it provides the standard way to express distance, size, error, and closeness, and it serves as the prototype for more general notions such as the norm of a vector and the modulus of a complex number. The vertical-bar notation |x| was introduced by the German mathematician Karl Weierstrass in the nineteenth century, and the same notation is today used in a variety of related senses throughout mathematics.

Definition and Elementary Properties

The absolute value of a real number x is defined piecewise by the rule

• |x| = x, if x ≥ 0;
• |x| = −x, if x < 0.

This definition is equivalent to several closed-form expressions: |x| = √(x²), and |x| = max{x, −x}. From these definitions the elementary properties of the absolute value follow directly:

• Non-negativity: |x| ≥ 0 for all real x, with equality if and only if x = 0 (positive definiteness).
• Evenness (symmetry): |−x| = |x|, so the function is invariant under sign change; consequently it is idempotent, ||x|| = |x|.
• Multiplicativity: |xy| = |x|·|y|, and hence |xⁿ| = |x|ⁿ for positive integers n; in particular |x/y| = |x|/|y| for y ≠ 0.
• Subadditivity (triangle inequality): |x + y| ≤ |x| + |y|, with related forms such as |x − y| ≤ |x| + |y| and the reverse triangle inequality ‖|x| − |y|‖ ≤ |x − y|.
• Monotonicity: for non-negative arguments, a ≤ b implies |x| ≤ a ⟹ |x| ≤ b relationships that underlie the solution of absolute-value inequalities.

Taken together, these properties say that the absolute value is a multiplicative norm on the field of real numbers, and they form precisely the axioms later abstracted in the general theory of absolute values on fields and of norms on vector spaces.

Geometric Interpretation and Distance

On the real number line, |x| measures the (undirected) distance between the point x and the origin 0. More generally, the expression |x − y| measures the distance between any two points x and y. This observation makes the absolute value the source of the standard metric on the real line: the function d(x, y) = |x − y| satisfies the axioms of a metric (non-negativity, symmetry, and the triangle inequality), and much of real analysis—limits, continuity, convergence—is phrased in terms of it.

Geometrically, the sets described by absolute-value conditions are intervals: the inequality |x − c| < r describes the open interval (c − r, c + r), the set of points lying within distance r of the center c. In analysis this set is called a neighborhood of c, and the epsilon–delta definitions of limits and continuity are built directly upon it. The graph of the function f(x) = |x| is a V-shaped curve consisting of the ray y = x on the right half-plane and y = −x on the left, with its vertex at the origin.

Equations and Inequalities

Absolute-value equations and inequalities are standard components of elementary algebra. Because |x| is non-negative, the equation |x| = a has no solution when a < 0, the unique solution x = 0 when a = 0, and the two solutions x = ±a when a > 0. More generally, |f(x)| = g(x) splits into the two cases f(x) = g(x) and f(x) = −g(x) (with g(x) ≥ 0).

Inequalities admit equally simple descriptions: for a > 0,

• |x| < a ⟺ −a < x < a;
• |x| ≤ a ⟺ −a ≤ x ≤ a;
• |x| > a ⟺ x < −a or x > a.

The triangle inequality and its reverse form are the most consequential inequalities involving the absolute value. They are used constantly in analysis, for example to bound the error of a sum from the errors of its terms, to prove that sums and products of convergent sequences converge, and to establish the continuity of algebraic operations.

Analytic Properties

As a real function, f(x) = |x| is continuous everywhere and, more strongly, Lipschitz continuous with constant 1, since ||x| − |y|‖ ≤ |x − y|. It is an even, convex function: its graph lies below every chord joining two of its points, and it satisfies |tx + (1 − t)y| ≤ t|x| + (1 − t)|y| for 0 ≤ t ≤ 1. Convexity makes the absolute value central in optimization, where problems involving it are convex and therefore computationally tractable.

The function is differentiable for all x ≠ 0, with derivative f′(x) = 1 for x > 0 and f′(x) = −1 for x < 0; this derivative is the sign function, sgn(x). At x = 0 the absolute value is continuous but not differentiable: the left and right derivatives differ (−1 and +1), producing the corner at the origin. An antiderivative of |x| is x|x|/2, since the derivative of x|x|/2 equals |x|; thus ∫₀ˣ |t| dt = x|x|/2. The absolute value is also idempotent under composition (||x|| = |x|), and it relates to the sign function through the identity |x| = x·sgn(x).

History

The handling of quantities irrespective of sign has ancient roots. In the Chinese treatise The Nine Chapters on the Mathematical Art (compiled roughly by the first–second century CE), mathematicians worked systematically with positive and negative quantities—associated, for example, with gains and losses—and gave rules for their addition and subtraction. In the seventh century, the Indian mathematician Brahmagupta formulated rules for arithmetic with positive and negative numbers, interpreting them as fortunes and debts. These traditions treated magnitude and sign together rather than isolating magnitude as a separate mathematical object.

The modern concept crystallized in the nineteenth century in connection with complex numbers. Jean-Robert Argand's geometric representation of complex numbers (1806) attached to each complex number a length—the "modulus"—and Carl Friedrich Gauss employed the term modulus for the magnitude of a complex number in his work of 1831. For real numbers, the notion of a signed quantity's "numerical value" appeared in earlier algebra, but the distinctive notation came from Weierstrass, who introduced the vertical-bar notation |x| in 1841. Historical accounts credit Weierstrass with introducing the term absolute value (German absoluter Betrag or absoluter Wert) in the 1870s, initially in the setting of complex numbers; the English term "absolute value" subsequently entered usage as a borrowing from German. In programming languages and mathematical software, the operation is customarily written abs(x).

Generalizations

The absolute value of a real number is the seed from which several important general theories grow.

Complex numbers

For a complex number z = a + bi, the absolute value or modulus is defined by

|z| = √(a² + b²),

equivalently |z| = √(z·z̄), where z̄ is the complex conjugate. Geometrically, |z| is the Euclidean distance from the point z in the complex plane to the origin, and |z − w| is the distance between z and w. The complex absolute value is multiplicative (|zw| = |z||w|) and satisfies the triangle inequality (|z + w| ≤ |z| + |w|), making it the standard norm and metric structure on the complex numbers and the foundation of complex analysis.

Ordered rings and fields

In any ordered ring or ordered field, the absolute value can be defined exactly as for the reals: |x| = max{x, −x}, or by the same two-case rule. The properties listed for the reals—positive definiteness, multiplicativity, and the triangle inequality—continue to hold, so the construction applies, for instance, to the rational numbers and to rings of real-valued functions.

Absolute values on fields and p-adic valuations

Abstract algebra isolates the essential properties of the absolute value in the definition of an absolute value (or multiplicative valuation) on a field K: a function |·| : K → ℝ₊ such that |x| = 0 iff x = 0, |xy| = |x||y|, and |x + y| ≤ |x| + |y|. Two absolute values are equivalent if they induce the same topology. Besides the usual absolute value on ℚ, there are the p-adic absolute values: for a prime p and a nonzero rational x with p-adic valuation vₚ(x), one sets |x|ₚ = p^(−vₚ(x)). These satisfy the stronger ultrametric inequality |x + y|ₚ ≤ max(|x|ₚ, |y|ₚ) and are the basis of p-adic analysis. Ostrowski's theorem classifies all nontrivial absolute values on ℚ: every one is equivalent either to the usual real absolute value or to a p-adic absolute value for some prime p.

Normed and metric spaces

In vector spaces, the absolute value generalizes to the norm. On ℝⁿ and ℂⁿ, the Euclidean norm ‖v‖ = √(v₁² + ⋯ + vₙ²) extends the notion of length; other norms such as the ℓ₁ (sum of absolute values) and ℓ∞ (maximum absolute value) norms show that "size" can be measured in multiple inequivalent ways. A norm in turn induces a metric, so the chain of abstraction runs from absolute value to norm to metric to topology, each level retaining the core idea of measuring distance between objects.

Applications

The absolute value appears throughout mathematics, science, and technology wherever magnitude, error, or distance matters.

• Error analysis: in numerical mathematics, the absolute error of an approximation is |approximation − true value|, and the relative error divides this quantity by the true magnitude. Bounds on rounding and truncation error are typically stated with absolute values.
• Statistics and data analysis: the mean absolute deviation, the mean absolute error, and the Laplace distribution all rest on absolute values. In regression, the method of least absolute deviations (L₁ regression) minimizes the sum of absolute residuals; a classical result states that the median minimizes the expected absolute deviation, just as the mean minimizes squared deviation. Absolute-value loss functions are less sensitive to outliers than squared losses.
• Optimization: absolute values enter linear programming through piecewise-linear formulations, and minimax (Chebyshev) approximation minimizes the supremum max|f(x) − p(x)| of absolute errors.
• Physics and engineering: magnitudes of forces, displacements, currents, and fields are expressed as absolute values; the modulus of a complex amplitude or transfer function determines signal gain and filter response, making the complex absolute value fundamental in signal processing and control theory.
• Computer science: nearly every programming language and numerical library provides an absolute-value routine (abs), implemented in hardware for floating-point types by simply clearing the sign bit. In integer arithmetic, caution is required because in two's-complement representation the absolute value of the most negative representable integer cannot be represented in the same width—an example of how a purely mathematical concept meets the constraints of finite machine arithmetic.

Significance

The absolute value occupies a pivotal position in mathematics as the simplest and most familiar example of a norm, a metric, and an absolute value in the abstract sense. It supplies the language in which limits, continuity, and convergence are defined, and thus underlies the modern rigorous edifice of analysis. Its generalizations—complex modulus, vector norms, p-adic valuations—organize vast areas of geometry, functional analysis, and number theory, while its everyday uses in measuring error and distance make it one of the most widely applied ideas in all of quantitative science. The history of the concept also illustrates a characteristic pattern in the development of mathematics: an intuitive practice of comparing magnitudes, refined through nineteenth-century rigor into a notation and definition, and subsequently abstracted into axioms that define whole fields of modern research.