- Absolute value measures a number’s distance from zero and is always non‑negative, whether the original number is positive or negative.
- The symbol |x| follows a simple piecewise rule and satisfies core properties such as non‑negativity, multiplicativity and the triangle inequality.
- Absolute value extends naturally to complex numbers, metrics and norms, connecting it with distance and length in higher dimensions.
- These ideas allow us to solve equations and inequalities with |x| and to generalize absolute value to fields, vector spaces and composition algebras.
When students first meet absolute value, it usually shows up as two vertical bars around a number and a teacher saying something like “just make it positive”. That quick rule of thumb works for simple exercises, but behind those bars there is a precise mathematical idea: distance. Understanding that idea is what makes absolute value feel natural instead of like a random trick.
In this guide we are going to walk through what absolute value really means, how to read and use its notation, and why it shows up everywhere from basic algebra problems to complex analysis and vector spaces. We will also look at the main properties, work through concrete examples (including inequalities that often cause confusion), and briefly see how the same concept appears in more advanced settings such as metrics and norms.
What is absolute value? Intuition and basic definition
The most intuitive way to think about absolute value is as “how far a number is from zero on the number line”, ignoring direction. On a horizontal number line, 6 is six units to the right of 0, while −6 is six units to the left of 0. They both lie at the same distance from 0, so their absolute values coincide.
Formally, the absolute value of a real number x is written |x| and is always a non‑negative number: it can be positive or zero, but never negative. In plain language, absolute value throws away the sign and keeps only the size (magnitude) of the number.
Using this distance idea we immediately get simple examples: |3| = 3 because 3 is three units from 0, |-3| = 3 for the same reason, and |0| = 0 since zero has distance zero from itself. No absolute value ever returns a negative output.
Because we care only about distance, absolute value is also called the modulus or magnitude of a number. In everyday terms, if a thermometer shows −5 degrees as a deviation from a baseline, the absolute deviation is 5 degrees: you care how large the change is, not whether it was above or below.

Notation and formal definition of |x| for real numbers
The standard notation for absolute value is a pair of vertical bars around the quantity: |x|. These are not parentheses, brackets, or braces; they are a special symbol with its own meaning. When typing plain text, you usually use the “pipe” character on the keyboard and write something like |−5|, which is read “absolute value of negative five”.
There is a piecewise definition that captures exactly what |x| does to any real number x:
|x| = { x if x ≥ 0; −x if x < 0 }
This means: if x is already non‑negative (positive or zero), absolute value leaves it alone; if x is negative, absolute value multiplies it by −1, turning it into its opposite, which is positive. For instance, |7| = 7, and |−7| = −(−7) = 7.
A useful alternative formula is |x| = √(x²), valid for all real x. Squaring x removes the sign (since both 3² and (−3)² give 9), and the square root symbol denotes the non‑negative square root, so the final result agrees with the definition above.
This is also why, for real numbers, |x| can be seen as the norm (length) of the 1‑dimensional vector x. In R¹, taking the square root of the sum of squares reduces to exactly √(x²), which is |x|.
Core properties of absolute value on real numbers
Absolute value is not just a sign‑removal operation; it satisfies a list of structural properties that make it behave like a genuine measure of size or distance. For real numbers a and b, these properties are:
- Non‑negativity: |a| ≥ 0 for every real a.
- Positive‑definiteness: |a| = 0 if and only if a = 0.
- Multiplicativity: |ab| = |a| · |b|.
- Subadditivity (triangle inequality): |a + b| ≤ |a| + |b|.
The first two say that absolute value behaves exactly like a length: lengths are never negative, and the only vector with length 0 is the zero vector. The multiplicative rule says that the size of a product is the product of the sizes, which is consistent with our intuition about scaling.
The triangle inequality, |a + b| ≤ |a| + |b|, is the algebraic version of the geometric fact that one side of a triangle is never longer than the sum of the other two sides. On the number line this means the direct jump from 0 to a + b is never “longer” than going from 0 to a and then from a to a + b.
From these four basic rules we can quickly derive several other handy identities:
- Idempotence: ||a|| = |a|. Taking the absolute value twice does nothing new.
- Symmetry (evenness): |−a| = |a|. Opposite numbers have the same absolute value.
- Reverse triangle inequality: ||a| − |b|| ≤ |a − b|.
- Division preservation: if b ≠ 0, then |a / b| = |a| / |b|.
There are also two very useful equivalences involving inequalities and absolute values:
- |a| ≤ b ⇔ −b ≤ a ≤ b
- |a| ≥ b ⇔ a ≤ −b or a ≥ b
These tell you exactly how to “remove” absolute value bars when working with inequalities, by turning one statement with |a| into a pair of simpler linear inequalities. This is essential when solving absolute value inequalities in algebra.

Working examples with real numbers and inequalities
To really get comfortable with absolute value, it helps to run through basic evaluations and then move on to equations and inequalities. Here are some quick computations using the rule “keep positives, flip negatives”:
- |−8| = 8
- |0 − 6| = |−6| = 6
- |5 − 2| = |3| = 3
- |2 − 5| = |−3| = 3
- |0(−4)| = |0| = 0
- |2 + 3(−4)| = |2 − 12| = |−10| = 10
These examples highlight an important point: the absolute value of zero is 0 because zero sits exactly at the origin, so its distance to itself is zero units. There is no sign to remove there.
Absolute value also interacts interestingly with exponents and outside negatives. Consider the three expressions below and how the negative sign and squaring “move” around:
- −|(−2)²| = −|4| = −4
- −|−2|² = −(2²) = −4
- (−|−2|)² = (−2)² = 4
Although they all involve the same numbers, the placement of the absolute value, exponent and minus sign changes the result, so reading the expression carefully is crucial. A leading minus sign in front of the bars, −|x|, simply negates whatever non‑negative number comes out of the bars, so −|−4| = −4.
Absolute value is especially powerful when dealing with inequalities. As a worked example, solve |x − 3| ≤ 9. Using the equivalence |a| ≤ b ⇔ −b ≤ a ≤ b, we get:
−9 ≤ x − 3 ≤ 9
Adding 3 to all three parts gives −6 ≤ x ≤ 12. So the solution set is all real x between −6 and 12, inclusive. Geometrically, this is just the set of points whose distance from 3 is at most 9 units.
Understanding common confusions with ordering and absolute value
A frequent source of confusion is the difference between ordering ordinary numbers and ordering them by their absolute values. For example, a learner might be asked to arrange numbers by their absolute value, from smallest to largest, and see an answer like 7, −8, 9, 6, −7, which looks wrong at first glance because 9 is not less than 6 in the usual sense.
What is really happening in such an exercise is that you should order the numbers according to |x|, not according to x itself. For each number in the list, you first compute its absolute value, then sort by that non‑negative size. The written sequence of original numbers may then look out of order if you forget you are sorting by |x| and not by x.
A quick check often clears the confusion: just list the underlying absolute values and compare those. If the absolute values are in increasing order, the exercise has been answered correctly, even if the corresponding raw numbers jump left and right on the ordinary number line.
This is another reminder that absolute value changes the “comparison rule” you are using: you are no longer asking which number is further to the right, but which number lies further from zero. Seen that way, it is natural that a negative number with a big magnitude can come after a smaller positive number in an absolute‑value ordering.
Variables, sign uncertainty and the role of −x
When you plug in a concrete number, it is obvious whether it is positive or negative; with a variable like x, you do not know its sign in advance. This is why expressions like |x| need case‑by‑case reasoning if you want to rewrite them without bars.
If x ≥ 0, then |x| = x, because the number is already non‑negative and absolute value leaves it unchanged. For example, if x = 2, then |x| = |2| = 2. The same is true if x = 0; the value remains 0.
If x < 0, then |x| = −x, because you must flip the sign to get a positive result. For instance, if x = −4, then |x| = |−4| = 4 = −(−4) = −x. So in this region, −x is actually positive, even though it has a minus sign written in front.
This explains why the piecewise definition uses −x for the negative case: when x is negative, −x is indeed positive and perfectly suitable as the output of an absolute value. The minus symbol there means “change the sign of x”, not “this result is negative”.
A common conceptual question is “must −x itself be negative?” The answer is no: −x is negative only when x is positive. If x is negative, then −x is positive. The symbol “−” in front of a variable simply means “opposite of whatever x is”, not “less than zero no matter what”.
Absolute value as a distance and the metric viewpoint
Everything so far can be summarized by one powerful statement: on the real line, the distance between two numbers a and b is |a − b|. If you think back to travelling along the number line, a − b represents the signed displacement from b to a, and the absolute value turns that into a non‑negative distance.
This idea extends directly to more general distances in higher dimensions. In Euclidean n‑dimensional space Rⁿ, the standard distance between points a = (a₁,…,aₙ) and b = (b₁,…,bₙ) is:
d(a, b) = √[(a₁ − b₁)² + (a₂ − b₂)² + … + (aₙ − bₙ)²]
For n = 1, this collapses to d(a₁, b₁) = √[(a₁ − b₁)²] = |a₁ − b₁|, the absolute value of their difference. For complex numbers (two real coordinates), the same pattern appears with two squared differences under the square root.
Abstracting these ideas leads to the notion of a metric: a function d(x, y) that takes two points and returns their distance, satisfying:
- Non‑negativity: d(a, b) ≥ 0.
- Identity of indiscernibles: d(a, b) = 0 if and only if a = b.
- Symmetry: d(a, b) = d(b, a).
- Triangle inequality: d(a, b) ≤ d(a, c) + d(c, b).
On the real numbers, the function d(a, b) = |a − b| is exactly the standard metric, and all of those axioms drop out of the basic properties of absolute value we listed earlier. So what at first looks like a simple “remove the minus” rule is actually a foundational piece of distance in mathematics.
Absolute value for complex numbers
Real numbers live on a line; complex numbers live in a plane, so we need a two‑dimensional notion of distance for them. A complex number z can be written as z = x + iy, where x and y are real numbers (the real and imaginary parts). In the complex plane, this is the point (x, y).
The absolute value (or modulus) of a complex number z is denoted |z| and defined by
|z| = √(x² + y²) = √[Re(z)² + Im(z)²]
This is just the Euclidean distance from the point (x, y) to the origin (0, 0), derived via the Pythagorean theorem. When y = 0, so z = x is a real number, this reduces to the real definition |x| = √(x²).
There is another neat expression using complex conjugation. If z = x + iy, its conjugate is z̄ = x − iy. Their product is z·z̄ = x² + y², a non‑negative real number. Then |z| can be written as:
|z| = √(z · z̄)
In this sense, the complex absolute value generalizes the real formula |x| = √(x·x). It also satisfies the same four fundamental properties (non‑negativity, positive‑definiteness, multiplicativity and triangle inequality), which is why it behaves like a proper magnitude in the complex plane.
Calculus perspective: continuity, derivative and integrals
From the viewpoint of real analysis, the absolute value function f(x) = |x| has a very characteristic shape: a V graph with its point at the origin. The function is continuous everywhere on R, but it is not differentiable at x = 0, where the graph “bends” sharply.
The derivative of |x| exists for every x ≠ 0 and is equal to the sign function sgn(x):
d|x|/dx = x/|x| = −1 for x < 0, and +1 for x > 0.
At x = 0 the derivative does not exist in the usual sense because the left‑hand derivative (−1) and right‑hand derivative (+1) do not match. However, in convex analysis you can speak of the subdifferential at 0, which for |x| is the entire interval [−1, 1].
The function |x| is piecewise linear and convex, which makes it a standard example in optimization and control theory. Its antiderivative on the real line is
∫|x| dx = (x|x|)/2 + C
In contrast, the complex modulus |z|, viewed as a function of a complex variable z, is continuous everywhere but complex‑differentiable nowhere. It violates the Cauchy-Riemann equations, so it cannot have a complex antiderivative in any open region.
From absolute value to norms and algebraic generalizations
The key properties of absolute value on real numbers can be abstracted and used to define similar “size” functions on more general algebraic structures. There are three important levels: ordered rings, fields with absolute values, and vector spaces with norms.
On an ordered ring R, you can define |a| for an element a by the same piecewise rule: |a| = a if a ≥ 0, and |a| = −a if a < 0, where −a is the additive inverse and the symbols <, ≥ refer to the ring’s order. This generalizes the real definition to settings where addition, subtraction and comparison still make sense.
On a field F, an absolute value (also called a valuation, modulus, or magnitude) is a function v: F → R satisfying:
- v(a) ≥ 0 (non‑negativity)
- v(a) = 0 ⇔ a = 0 (positive‑definiteness)
- v(ab) = v(a)v(b) (multiplicativity)
- v(a + b) ≤ v(a) + v(b) (triangle inequality)
The usual absolute values on R and C are examples of such functions v. If you define a metric by d(a, b) = v(a − b), all the metric axioms follow from these properties exactly as they do in the real case.
Some absolute values on fields satisfy a stronger condition called the ultrametric inequality: d(x, y) ≤ max(d(x, z), d(y, z)) for all x, y, z. When v has this property (equivalently, when the induced metric is ultrametric), we say v is non‑Archimedean. Otherwise, it is Archimedean, like the standard absolute value on R.
On vector spaces, the usual generalization is called a norm, written ‖v‖ for a vector v. A norm on a vector space V over a field F must satisfy:
- ‖v‖ ≥ 0 and ‖v‖ = 0 ⇔ v = 0
- ‖a v‖ = |a|‖v‖ for any scalar a
- ‖u + v‖ ≤ ‖u‖ + ‖v‖
In Euclidean space Rⁿ, the usual Euclidean norm is ‖(x₁,…,xₙ)‖ = √(x₁² + … + xₙ²). When you restrict this construction to n = 1, you are back to ‖x‖ = |x| on the real line. In this sense, absolute value is the unique norm on R up to scaling.
Composition algebras and norms via conjugation
In more advanced algebra, absolute value shows up again in composition algebras such as the reals R, complexes C and quaternions H. These algebras come equipped with a conjugation operation x ↦ x* and a quadratic norm N(x) = x x*.
In these cases, the absolute value of an element x is defined as the square root of its norm: |x| = √(N(x)). For R, C and H the norm is definite (N(x) > 0 whenever x ≠ 0), and a non‑zero element has a multiplicative inverse given by x*/N(x).
This framework generalizes the complex formula |z| = √(z z̄). It illustrates yet another way in which absolute value, norm and distance are deeply interconnected themes across many branches of mathematics.
What begins as a simple classroom instruction to “drop the minus sign” is actually a robust, far‑reaching idea: absolute value measures distance from zero, satisfies powerful algebraic properties, extends naturally to complex numbers, metrics and norms, and underpins much of how mathematicians talk about size, length and magnitude in diverse settings.