Skip to content

Mathematics · Ch 15 — Functions

Absolute Value (Modulus) Function

15.2.3.2

Absolute Value (Modulus) Function

Absolute value function (modulus function). Definition: f(x)=∣x∣f(x)=|x| is the piecewise function f(x)={x,x≥0−x,x<0f(x)=\begin{cases}x, & x\ge0\\ -x, & x<0\end{cases} (Fig. 6.39). Domain: RR (or (−∞,∞)(-\infty,\infty)); Range: [0,∞)[0,\infty).

Properties: (1) The graph of f(x)=∣x∣f(x)=|x| is the union of the line y=xy=x from quadrant I with the line y=−xy=-x from quadrant II. Since the origin marks where the two lines' directions change, we call it a critical point. (2) The graph is symmetric about the YY-axis. (3) The graph of f(x)=∣x−3∣f(x)=|x-3| is the graph of ∣x∣|x| shifted 3 units to the right, with the critical point now at (3,0)(3,0). (4) f(x)=∣x∣f(x)=|x| represents the distance of xx from the origin. (5) If ∣x∣=m|x|=m, this represents every xx whose distance from the origin is mm, that is x=+mx=+m or x=−mx=-m (Fig. 6.40). (6) If ∣x∣<m|x|<m, this represents every xx whose distance from the origin is less than mm: 0≤x<m0\le x<m and 0≥x>−m0\ge x>-m, that is −m<x<m-m<x<m, i.e. x∈(−m,m)x\in(-m,m) (Fig. 6.41). (7) If ∣x∣≥m|x|\ge m, this represents every xx whose distance from the origin is greater than or equal to mm: x≥mx\ge m and x≤−mx\le-m, i.e. x∈(−∞,−m]∪[m,∞)x\in(-\infty,-m]\cup[m,\infty) (Fig. 6.42). (8) If m<∣x∣<nm<|x|<n, this represents every xx whose distance from the origin is greater than mm but less than nn, that is x∈(−n,−m)∪(m,n)x\in(-n,-m)\cup(m,n) (Fig. 6.43). (9) Triangle inequality: ∣x+y∣≤∣x∣+∣y∣|x+y|\le|x|+|y| (verify by trying different positive and negative values of x,yx,y). (10) ∣x∣|x| can also be defined as ∣x∣=x2=max⁡{x,−x}|x|=\sqrt{x^2}=\max\{x,-x\}.

Ex. 10: Solve ∣4x−5∣≤3|4x-5|\le3.

Solution: Using ∣x∣≤m  ⟺  −m≤x≤m|x|\le m \iff -m\le x\le m: −3≤4x−5≤3  ⟹  −3+5≤4x≤3+5  ⟹  2≤4x≤8  ⟹  24≤x≤84  ⟹  12≤x≤2-3\le4x-5\le3 \implies -3+5\le4x\le3+5 \implies2\le4x\le8 \implies\dfrac24\le x\le\dfrac84 \implies\dfrac12\le x\le2.

Ex. 11: Find the domain of f(x)=1∣∣x∣−1∣−3f(x)=\dfrac{1}{\sqrt{\left||x|-1\right|-3}}.

Solution: Since f(x)f(x) sits over a square root in a denominator, it is defined only where the radicand is strictly positive: ∣∣x∣−1∣−3>0\left||x|-1\right|-3>0, therefore ∣∣x∣−1∣>3\left||x|-1\right|>3, so ∣x∣−1>3|x|-1>3 or ∣x∣−1<−3|x|-1<-3, that is ∣x∣>4|x|>4 or ∣x∣<−2|x|<-2. But ∣x∣<−2|x|<-2 is impossible, since ∣x∣≥0|x|\ge0 always — so only ∣x∣>4|x|>4 survives, giving x>4x>4 or x<−4x<-4. Domain is (−∞,−4)∪(4,∞)(-\infty,-4)\cup(4,\infty).

Ex. 12: Solve ∣x−1∣+∣x+2∣=8|x-1|+|x+2|=8.

Solution: Let f(x)=∣x−1∣+∣x+2∣f(x)=|x-1|+|x+2|. The critical points are x=1x=1 and x=−2x=-2, dividing the number line into three regions (Fig. 6.44):

Region I (x<−2x<-2, test value −3-3): (x−1)<0, (x+2)<0(x-1)<0,\ (x+2)<0, so f(x)=−(x−1)−(x+2)=−2x−1f(x)=-(x-1)-(x+2)=-2x-1. …

Figure 1Fig. 6.39 — graph of the modulus function f(x)=|x|

What this figure shows. A V-shaped graph meeting at the origin (0,0): for x greater than or equal to 0 the line y=x rises to the right at 45 degrees, and for x less than 0 the line y=-x rises to the left at 45 degrees, the two rays joined smoothly (but not smoothly-differentiably — there is a sharp corner) at the origin. Illustrates domain R and range [0,infinity), and that the origin is the graph's one sharp corner or 'critical point', where the …

Figure 2Fig. 6.40 — number-line picture of |x|=m

What this figure shows. A horizontal number line with two marked points at x=-m and x=+m on either side of the origin, both shown as solid dots, with dashed brackets or arrows indicating both points are exactly a distance m away from the origin in opposite directions. Illustrates the property that |x|=m describes precisely the two numbers whose distance fr …

Figure 3Fig. 6.41 — number-line picture of |x|<m

What this figure shows. A horizontal number line with the open interval strictly between -m and +m shaded or highlighted, with open circles at both endpoints -m and +m to show they are excluded. Illustrates the property that |x|<m describes every number strictly closer to zero than m, i.e. the open interval …

Figure 4Fig. 6.42 — number-line picture of |x|>=m

What this figure shows. A horizontal number line with two outward rays shaded or highlighted, one running from m to the right (with a filled/closed dot at m, included) and one running from -m to the left (with a filled/closed dot at -m, included), leaving the middle band between them unshaded. Illustrates the property that |x|>=m describes every number at least as far from zero as m in either direction, i.e. the union (-infi …

Figure 5Fig. 6.43 — number-line picture of m<|x|<n

What this figure shows. A horizontal number line with two separate shaded bands: one strictly between m and n on the positive side, and its mirror image strictly between -n and -m on the negative side, with open circles at all four boundary points m,n,-m,-n since each is excluded. Illustrates the property that m<|x|<n describes every number whose distance from zero is strictly between m and n, giving the union of two open int …

Figure 6Fig. 6.44 — regions diagram for solving |x-1|+|x+2|=8 (Ex. 12)

What this figure shows. A horizontal number line marked with the two critical points x=1 and x=-2 (where the two absolute-value expressions individually change sign), dividing the whole line into three labelled regions: Region I to the left of -2, Region II between -2 and 1, and Region III to the right of 1 — with a sample test value picked from each region (such as -3, 0, and 2) to determine the sign of each bracket (x-1) and (x+2) within that region, feeding into the region-by-region table used to remove both absolute values …