The absolute value function, defined as $f(x) = |x|$, is continuous for all real numbers. This fundamental property stems from the fact that the limit of the function as $x$ approaches any point $c$ equals the function's value at that point, satisfying the formal epsilon-delta definition of continuity across the entire domain $(-\infty, \infty)$.
Understanding why the absolute value function is continuous requires a look at its piecewise definition, its graphical behavior, and the rigorous mathematical proofs that underpin calculus. Consider this: while the function has a sharp corner at the origin—a point where it is not differentiable—this geometric feature does not disrupt its continuity. This distinction between continuity and differentiability is a cornerstone concept in mathematical analysis.
The Definition and Piecewise Nature
To analyze continuity, we first express the absolute value function in its piecewise form. By definition, the absolute value of a real number $x$ is its distance from zero on the number line, regardless of direction. Algebraically, this is written as:
$ f(x) = |x| = \begin{cases} x & \text{if } x \geq 0 \ -x & \text{if } x < 0 \end{cases} $
This representation reveals that the function is composed of two linear polynomials: $y = x$ for the right half of the domain and $y = -x$ for the left half. Now, polynomial functions are continuous everywhere on their domains. That's why, $f(x)$ is automatically continuous on the open intervals $(-\infty, 0)$ and $(0, \infty)$. The only point requiring specific scrutiny is the boundary where the definition changes: $x = 0$.
Some disagree here. Fair enough.
Verifying Continuity at the Origin
For a function to be continuous at a specific point $x = c$, three conditions must be satisfied:
- But $\lim_{x \to c} f(x)$ exists. 2. Consider this: $f(c)$ is defined. In real terms, 3. $\lim_{x \to c} f(x) = f(c)$.
Let us test these conditions at $c = 0$.
Condition 1: Function Value $f(0) = |0| = 0$. The function is defined at the origin And that's really what it comes down to. Simple as that..
Condition 2: Limit Existence We must evaluate the left-hand limit and the right-hand limit.
- Right-hand limit ($x \to 0^+$): For values slightly greater than 0, the function follows $f(x) = x$. $ \lim_{x \to 0^+} |x| = \lim_{x \to 0^+} x = 0 $
- Left-hand limit ($x \to 0^-$): For values slightly less than 0, the function follows $f(x) = -x$. $ \lim_{x \to 0^-} |x| = \lim_{x \to 0^-} -x = 0 $
Since both one-sided limits exist and are equal to 0, the general limit $\lim_{x \to 0} |x| = 0$ exists Simple as that..
Condition 3: Equality of Limit and Value $ \lim_{x \to 0} |x| = 0 = f(0) $
All three conditions hold true. So, the absolute value function is continuous at $x = 0$. Combined with the continuity on the open intervals, we conclude that $f(x) = |x|$ is continuous on the entire real line $\mathbb{R}$.
The Epsilon-Delta Proof
For a more rigorous treatment suitable for advanced calculus or real analysis, we can prove continuity using the $\epsilon-\delta$ definition. We want to show that for every $\epsilon > 0$, there exists a $\delta > 0$ such that if $|x - c| < \delta$, then $||x| - |c|| < \epsilon$ Less friction, more output..
A key inequality in real analysis, the reverse triangle inequality, states that for any real numbers $a$ and $b$: $ ||a| - |b|| \leq |a - b| $
Applying this with $a = x$ and $b = c$: $ ||x| - |c|| \leq |x - c| $
Now, given an arbitrary $\epsilon > 0$, we simply choose $\delta = \epsilon$. If $|x - c| < \delta$, then: $ ||x| - |c|| \leq |x - c| < \delta = \epsilon $
Thus, $||x| - |c|| < \epsilon$. This proves that $f(x) = |x|$ is continuous at any arbitrary point $c \in \mathbb{R}$. In fact, this proof demonstrates that the absolute value function is Lipschitz continuous (with Lipschitz constant 1), which is a stronger form of continuity than standard pointwise continuity That's the part that actually makes a difference..
Continuity vs. Differentiability: The Critical Distinction
A common point of confusion for students is the relationship between continuity and differentiability at the origin. The absolute value function provides the classic counterexample showing that continuity does not imply differentiability Surprisingly effective..
While $f(x) = |x|$ is continuous at $x = 0$, it is not differentiable there. Also, the derivative from the left is $-1$, and the derivative from the right is $+1$. Because these one-sided derivatives do not match, the tangent line is not well-defined at the corner (cusp).
This distinction is vital:
- Continuity asks: "Does the graph have breaks, jumps, or holes?" (Answer: No).
- Differentiability asks: "Does the graph have a unique, non-vertical tangent line?" (Answer: No at $x=0$).
The function is smooth everywhere else. For $x > 0$, $f'(x) = 1$. For $x < 0$, $f'(x) = -1$. The derivative function $f'(x)$ has a jump discontinuity at $x=0$, but the original function $f(x)$ remains perfectly continuous That alone is useful..
Compositions and Transformations
The continuity of the absolute value function extends to more complex expressions through the algebra of continuous functions. If $g(x)$ is a continuous function, then the composition $f(g(x)) = |g(x)|$ is also continuous everywhere $g(x)$ is defined. This follows from the theorem that the composition of continuous functions is continuous.
Not the most exciting part, but easily the most useful.
Consider the following examples:
- $h(x) = |x^2 - 4|$: Since $x^2 - 4$ is a polynomial (continuous everywhere), the absolute value of that polynomial is continuous everywhere.
- $m(x) = \frac{|x|}{x}$: This function is not continuous at $x=0$ because the denominator is zero, making the function undefined at that point. Which means * $k(x) = |\sin(x)|$: Since $\sin(x)$ is continuous on $\mathbb{R}$, $|\sin(x)|$ is continuous on $\mathbb{R}$. Even so, it is continuous on its domain $(-\infty, 0) \cup (0, \infty)$.
Transformations such as vertical shifts ($|x| + c$), horizontal shifts ($|x - h|$), reflections ($-|x|$), and stretches ($a|x|$) preserve continuity because they are built from arithmetic operations on continuous functions.
Uniform Continuity on the Real Line
Beyond standard pointwise continuity, the absolute value function possesses a stronger property: uniform continuity on $\mathbb{R}$.
A function $f$ is uniformly continuous on a set $S$ if for every $\epsilon > 0$, there exists a $\delta > 0$ such that for all $x, y \in S$, if $|x - y| < \delta$, then $|f(x) - f(y)|
$|f(x) - f(y)| < \epsilon$. For $f(x) = |x|$, we can use the reverse triangle inequality:
$ \big| |x| - |y| \big| \le |x - y|. $
This inequality shows that the change in the function's output is never larger than the change in the input. Because of this, given any $\epsilon > 0$, we can simply choose $\delta = \epsilon$. Then, for all $x, y \in \mathbb{R}$, if $|x - y| < \delta$, we have:
$ \big| |x| - |y| \big| \le |x - y| < \delta = \epsilon. $
This single $\delta$ works universally across the entire real line, independent of the location of $x$ and $y$. On top of that, this confirms that $f(x) = |x|$ is not only continuous but Lipschitz continuous (with Lipschitz constant 1), a subclass of uniform continuity. This property is crucial in analysis, particularly when dealing with convergence of sequences of functions or solving differential equations where the absolute value appears in the dynamics Worth knowing..
The Absolute Value in Metric Spaces
The concept of continuity for the absolute value function generalizes elegantly beyond the real line. In any metric space $(X, d)$, the distance function $d(x, y)$ acts as a direct analogue of $|x - y|$. The function $f(x) = d(x, a)$ (the distance from a fixed point $a$) is uniformly continuous on $X$ for the exact same reason:
$ |d(x, a) - d(y, a)| \le d(x, y). $
Thus, the absolute value function serves as the foundational prototype for "distance" in analysis. Its continuity is not merely a property of real numbers; it is the defining characteristic of a metric topology.
Conclusion
The absolute value function $f(x) = |x|$ stands as a pedagogical cornerstone in mathematical analysis. It is the simplest function that is continuous everywhere yet fails to be differentiable at a single point, forcing a precise distinction between the "connectedness" of a graph (continuity) and its "local smoothness" (differentiability) Easy to understand, harder to ignore..
Through the $\epsilon-\delta$ definition, the sequential criterion, and the topological preimage definition, we see that continuity is reliable: it survives algebraic combinations, compositions, and transformations. Adding to this, the function satisfies the stronger condition of uniform continuity (and Lipschitz continuity) on $\mathbb{R}$, governed by the fundamental inequality $\big| |x| - |y| \big| \le |x - y|$.
At the end of the day, the absolute value function is far more than a tool for removing negative signs. On the flip side, it is the canonical metric on $\mathbb{R}$, the bridge between algebraic order and geometric distance, and the standard against which the continuity of all other real-valued functions is measured. Understanding its continuity deeply is the first step toward mastering the topology of the real line and the structure of metric spaces Most people skip this — try not to..
