Domain And Range Of Piecewise Functions

Understanding the domain and range of piecewise functions is a fundamental skill in algebra and precalculus that bridges the gap between abstract mathematical definitions and real-world modeling. Unlike standard functions defined by a single equation across all real numbers, piecewise functions operate like a set of distinct rules, each governing a specific interval of the input. Mastering how to analyze these segmented definitions allows students and professionals to accurately describe scenarios where behavior changes abruptly, such as tax brackets, shipping costs, or velocity changes in physics Worth keeping that in mind..

No fluff here — just what actually works.

What Makes Piecewise Functions Unique?

A piecewise function is defined by multiple sub-functions, where each sub-function applies to a specific interval of the domain. The standard notation looks like a large curly brace enclosing several lines, each pairing a formula with a condition. For example:

$f(x) = \begin{cases} x^2 & \text{if } x < 0 \ 2x + 1 & \text{if } x \geq 0 \end{cases}$

The critical distinction here is that the rule changes based on the input value. But this segmentation directly impacts how we determine the set of all possible inputs (domain) and the set of all resulting outputs (range). Because the function "switches gears" at boundary points, we cannot simply look at the leading term or the highest degree; we must analyze each piece independently and then synthesize the results.

No fluff here — just what actually works.

Determining the Domain: The Union of Intervals

The domain of a piecewise function is the set of all $x$-values for which the function is defined. Since the definition explicitly provides the conditions (intervals) for each piece, finding the domain is often a matter of reading the inequalities carefully and taking the union of these intervals Practical, not theoretical..

Step-by-Step Approach to Finding the Domain

1. Identify the condition for each piece. Look at the "if" statements (e.g., $x < 2$, $x \geq 2$, $-3 \leq x < 1$).
2. Check for gaps or overlaps. Ideally, the intervals cover a continuous stretch of the number line without gaps (unless the function is intentionally undefined in a region) and without overlapping definitions for the same $x$ (which would make it a relation, not a function).
3. Note endpoint inclusion. Pay strict attention to inequality symbols: ${content}lt;$ versus $\leq$, and ${content}gt;$ versus $\geq$. A solid dot on a graph indicates inclusion ($[$ or $]$); an open dot indicates exclusion ($($ or $)$).
4. Express in interval notation. Combine the intervals using the union symbol ($\cup$).

Example: Consider $g(x) = \begin{cases} \sqrt{x+4} & \text{if } -4 \leq x < 0 \ \frac{1}{x-2} & \text{if } x > 2 \end{cases}$

• Piece 1: $\sqrt{x+4}$ requires the radicand to be non-negative ($x+4 \geq 0 \rightarrow x \geq -4$). The condition given is $-4 \leq x < 0$. Both align. Interval: $[-4, 0)$.
• Piece 2: $\frac{1}{x-2}$ is undefined at $x=2$. The condition is $x > 2$. Interval: $(2, \infty)$.
• Domain: $[-4, 0) \cup (2, \infty)$. Note the gap $[0, 2]$ where the function does not exist.

Common Pitfall: Ignoring the implied domain restrictions of the algebraic expression (like square roots or denominators) in favor of only the stated condition. Always verify that the algebraic rule works for the stated interval. If a piece defines $f(x) = \sqrt{x}$ for $x < 0$, that piece contributes nothing to the domain because the rule contradicts the condition.

Determining the Range: Analyzing Output Behavior

Finding the range—the set of all possible $y$-values or $f(x)$ values—is generally more challenging than finding the domain. It requires analyzing the behavior of each sub-function over its specific restricted interval. You are essentially asking: "As $x$ travels through this specific interval, what $y$-values does the rule produce?

Strategies for Finding the Range

1. Graph each piece mentally (or physically). Visualizing the segment is the most reliable method.
2. Evaluate endpoints. Plug the boundary $x$-values into the corresponding rule. Remember: if the endpoint is included in the domain ($\leq$ or $\geq$), the resulting $y$-value is included in the range. If the endpoint is excluded (${content}lt;$ or ${content}gt;$), the $y$-value is a limit but not attained (open interval).
3. Analyze internal behavior. Does the piece increase, decrease, or have a vertex (turning point) inside the interval?
   • Linear pieces: The range is simply the interval between the $y$-values at the endpoints.
   • Quadratic pieces: Find the vertex. If the vertex lies within the restricted domain, the vertex $y$-value becomes a boundary (minimum or maximum) for that piece's range.
   • Rational/Radical pieces: Look for asymptotes or restricted outputs (e.g., $\sqrt{x} \geq 0$).
4. Take the union. Combine the output intervals from all pieces.

Example: Find the range of $h(x) = \begin{cases} -x^2 + 4 & \text{if } -2 \leq x \leq 1 \ 2x - 1 & \text{if } 1 < x \leq 3 \end{cases}$

• Piece 1 (Quadratic): $y = -x^2 + 4$ on $[-2, 1]$.

  • This is a downward parabola with vertex at $(0, 4)$. The vertex $x=0$ is inside the domain $[-2, 1]$.
  • Max value: $y = 4$ (at $x=0$).
  • Endpoints: $x=-2 \rightarrow y=0$; $x=1 \rightarrow y=3$.
  • Since the parabola opens down, values go from the max (4) down to the lowest endpoint (0).
  • Range Piece 1: $[0, 4]$.

• Piece 2 (Linear): $y = 2x - 1$ on $(1, 3]$.

  • Increasing function.
  • Left endpoint $x=1$ (open): $y = 2(1)-1 = 1$. Since $x=1$ is excluded, $y=1$ is not included $\rightarrow (1, \dots$
  • Right endpoint $x=3$ (closed): $y = 2(3)-1 = 5$. Included $\rightarrow \dots, 5]$.
  • Range Piece 2: $(1, 5]$.

• Total Range: Union of $[0, 4]$ and $(1, 5]$ Small thing, real impact..

  • Visualizing on a number line: $[0, 4]$ covers 0 to 4. $(1, 5]$ covers just above 1 to 5.
  • Combined: $[0, 5]$.

The Critical Role of Boundary Points

Boundary points (where the function switches rules) are the most frequent source of errors. In practice, a piecewise function may or may not be continuous at these boundaries. Continuity occurs only if the limit from the left equals the limit from the right equals the function value That's the part that actually makes a difference..

When determining domain and range, you must evaluate the specific rule assigned to that boundary.

• Scenario A: $f(x) = \begin{cases} x+1 & x \leq 2 \ 5

Scenario A (continued):
(f(x) = \begin{cases} x+1 & x \le 2 \ 5 & x > 2 \end{cases})
At the boundary (x=2) the left‑hand rule gives (f(2)=2+1=3). The right‑hand rule is not defined for (x=2) because the inequality is strict ((x>2)), so we only consider the limit from the right: (\displaystyle \lim_{x\to2^{+}} f(x)=5). Since the left‑hand value (3) differs from the right‑hand limit (5), the function has a jump discontinuity at (x=2). For the range we must include the actual value taken by the left‑hand piece (3) because the endpoint is included ((\le)), while the value 5 is not attained at (x=2) (it is only approached from the right). Thus the contribution of the boundary to the range is the single point ({3}) from the left side and an open interval ((5,\dots)) from the right side, depending on the rest of the piece Small thing, real impact..

Scenario B – Continuous at the boundary:
Consider
(g(x) = \begin{cases} 2x-1 & x < 3 \ x^{2}-4 & x \ge 3 \end{cases}).
Here the left‑hand limit as (x\to3^{-}) is (2(3)-1=5). The right‑hand rule gives (g(3)=3^{2}-4=5). Because the left limit, right limit, and the function value all equal 5, (g) is continuous at (x=3). When assembling the range, the shared value 5 appears only once; we do not double‑count it. If the left piece were defined on ((-\infty,3]) and the right on ([3,\infty)), the endpoint would be included in both pieces, but the union still yields a single closed point at 5.

Scenario C – Boundary excluded from both sides:
(h(x) = \begin{cases} \sqrt{x} & 0 \le x < 4 \ \dfrac{1}{x-4} & x > 4 \end{cases}).
At (x=4) neither rule applies, so the function is undefined there. The left‑hand limit is (\sqrt{4}=2) (approached but not attained because (x<4)), and the right‑hand limit is (\displaystyle \lim_{x\to4^{+}}\frac{1}{x-4}=+\infty). This means the value 2 is not part of the range (it is an open endpoint), while the right‑hand piece contributes all values greater than any large number, i.e., ((M,\infty)) for any chosen (M). The range therefore starts just above 2 and extends upward without bound: ((2,\infty)).

Putting it all together – a quick checklist for boundary points

1. Identify each transition (x = c) where the definition changes.
2. Evaluate the left‑hand rule at (c) if the left interval includes (c) ((\le) or (\ge)). Record the resulting (y)-value as a closed endpoint; otherwise treat it as a limit (open endpoint).
3. Evaluate the right‑hand rule at (c) if the right interval includes (c). Record similarly.
4. If both sides give the same finite value and both intervals include (c), the function is continuous there and that value appears once in the range.
5. If the values differ, you have a jump: include each applicable endpoint according to its inclusivity, and note any gap between them.
6. If neither side includes (c), the point is omitted from the domain; consider only the one‑sided limits for the range.

Example – applying the checklist
Find the range of
[ p(x)=\begin{cases} -x^{2}+6 & x\le 0\ 3x+2 & 0< x\le 2\ \dfrac{5}{x-2} & x>2 \end{cases}. ]

• Left piece ((-x^{2}+6) on ((-\infty,0])): downward parabola, vertex at ((0,6