Skip to main content
Mathematics LibreTexts

2.1: Function Compilations - Piecewise, Combinations, and Composition

  • Page ID
    131618
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Piecewise-Defined Functions

    Example \(\PageIndex{1}\)

    A person drinks a cup of coffee containing 300 mg of caffeine.  The amount of caffeine in the body from the coffee decreases rapidly at first, then more slowly over time.  Draw a graph representing this relationship between the amount of caffeine, C, in mg and the time, t, in seconds since it was ingested.

    Solution

    Graph of a decreasing function, where the rate of decrease gets smaller in size over time.

    In this example, we were given a description of the relationship with words.  We were able to build an approximate graph to represent this relationship.  However, without more more information we could not build a formula or a table.

    Example \(\PageIndex{2}\

     

    A piecewise function is a function whose definition changes depending on the value of its argument. The function is defined by different formulas for different parts of its domain.

    For example, we can write the absolute value function \(f(x) = |x|\) as a piecewise function:

    \(f ( x ) = | x | = \left\{ \begin{array} { c l } { x } & { \text { if } x \geq 0 } \\ { - x } & { \text { if } x < 0 } \end{array} \right.\)

    In this case, the definition used depends on the sign of the \(x\)-value. If the \(x\)-value is positive, \(x ≥ 0\), then the function is defined by \(f(x) = x\). And if the \(x\)-value is negative, \(x < 0\), then the function is defined by \(f(x) = −x\). The graphs of these two pieces are shown below.

    814fa43859ed2dd5b6d171fe9ff3e8e1.png

    The graph of the absolute function itself is the combination of these two pieces on the same rectangular coordinate plane. The resulting graph is illustrated below.

    4b8e423d7e0acc4541b79ae42c0d6f7c.png

    how-to.png How to: Given a piecewise function sketch a graph .

    1. Indicate on the \(x\)-axis the boundaries defined by the intervals on each piece of the domain. Each equation defines a graph for a column of the Cartesian coordinate plane.
    2. For each piece of the domain, graph on that interval using the corresponding equation pertaining to that piece. Do not graph two functions in the same interval because the graph would no longer be a graph of a function because it would fail the Vertical Line Test.

    Example \(\PageIndex{1}\): Graph a 2-piece function

    Graph: \(g ( x ) = \left\{ \begin{array} { c c c } { x ^ { 2 } } & { \text { if } } & { x < 0 } \\ { \sqrt { x } } & { \text { if } } & { x \geq 0 } \end{array} \right.\).

    Solution

    In this case, we graph the squaring function over negative \(x\)-values and the square root function over positive \(x\)-values.

    7ace8923b6e4c7d562dcd1070a6bc00b.png
    Figure 2.4.1 Separate graph of each piece

    Notice the open dot used at the origin for the squaring function and the closed dot used for the square root function. This was determined by the inequality that defines the domain of each piece of the function. The entire function consists of each piece graphed on the same coordinate plane.

    Answer:

    fa67fe4d983f50e356e91aae8232e9be.png
    Figure 2.4.1 Graph of piecewise function

    Example \(\PageIndex{2}\)

    Sketch a graph of the following piecewise-defined function:

    \[f(x)=\begin{cases}x+3, &x<1\\(x−2)^2, &x≥1\end{cases} \nonumber\]

    Solution

    An image of a graph. The x axis runs from -7 to 5 and the y axis runs from -4 to 6. The graph is of a function that has two pieces. The first piece is an increasing line that ends at the open circle point (1, 4) and has the label “f(x) = x + 3, for x < 1”. The second piece is parabolic and begins at the closed circle point (1, 1). After the point (1, 1), the piece begins to decrease until the point (2, 0) then begins to increase. This piece has the label “f(x) = (x - 2) squared, for x >= 1”.The function has x intercepts at (-3, 0) and (2, 0) and a y intercept at (0, 3).Graph the linear function \(y=x+3\) on the interval \((−∞,1)\) and graph the quadratic function \(y=(x−2)^2\) on the interval \([1,∞)\). Since the value of the function at \(x=1\) is given by the formula \(f(x)=(x−2)^2\), we see that \(f(1)=1\). To indicate this on the graph, we draw a closed circle at the point \((1,1)\). The value of the function is given by \(f(x)=x+2\) for all \(x<1\), but not at \(x=1\). To indicate this on the graph, we draw an open circle at \((1,4)\).

    The figure at the right illustrates this piecewise-defined function that is linear for \(x<1\) and quadratic for \(x≥1.\)

    try-it.png Try It \(\PageIndex{3}\)

    Graph the following piecewise functions.

    a.  \(f(x)=\begin{cases}2−x, x≤2\\x+2, x>2\end{cases}.\) b.  \(f ( x ) = \left\{ \begin{array} { l l } { \frac { 2 } { 3 } x + 1 } & { \text { if } x < 0 } \\ { x ^ { 2 } } & { \text { if } x \geq 0 } \end{array} \right.\).
    Answer

    a.

    An image of a graph. The x axis runs from -6 to 5 and the y axis runs from -2 to 7. The graph is of a function that has two pieces. The first piece is a decreasing line that ends at the closed circle point (2, 0) and has the label “f(x) = 2 - x, for x <= 2. The second piece is an increasing line and begins at the open circle point (2, 4) and has the label “f(x) = x + 2, for x > 2.The function has an x intercept at (2, 0) and a y intercept at (0, 2).

    b.

    51d4b2f9b1084c77cfb09e769b9642a7.png

    Example \(\PageIndex{4}\): Graph a 3-piece function

    Sketch a graph of the function.

    \[f(x)= \begin{cases} x^2 & \text{if $x \leq 1$} \\ 3 &\text{if $1<x\leq2$} \\ x &\text{if $x>2$} \end{cases} \nonumber \]

    Solution

    Each of the component functions is from our library of toolkit functions, so we know their shapes. We can imagine graphing each function and then limiting the graph to the indicated domain. At the endpoints of the domain, we draw open circles to indicate where the endpoint is not included because of a less-than or greater-than inequality; we draw a closed circle where the endpoint is included because of a less-than-or-equal-to or greater-than-or-equal-to inequality.

    Figure \(\PageIndex{4}\) shows the three components of the piecewise function graphed on separate coordinate systems.

    [Graph of each part of the piece-wise function f(x)]
    Figure \(\PageIndex{4}\): Graph of each part of the piece-wise function f(x)

    (a)\( f(x)=x^2\) if \(x≤1\); (b) \(f(x)=3\) if \(1< x≤2\); (c) \(f(x)=x\) if \(x>2\)

     

    Now that we have sketched each piece individually, we combine them in the same coordinate plane. See Figure \(\PageIndex{4s}\).

    Analysis

    Note that the graph does pass the vertical line test even at \(x=1\) and \(x=2\) because the points \((1,3)\) and \((2,2)\) are not part of the graph of the function, though \((1,1)\) and \((2, 3)\) are.

    [Graph of the entire function.]
    Figure \(\PageIndex{4s}\): Graph of the entire function.

    Example \(\PageIndex{5}\):

    Graph: \(f ( x ) = \left\{ \begin{array} { l l } { x ^ { 3 } } & { \text { if } x < 0 } \\ { x } & { \text { if } 0 \leq x \leq 4 } \\ { 6 } & { \text { if } x > 4 } \end{array} \right.\).

    Solution

    In this case, graph the cubing function over the interval \((−∞,0)\). Graph the identity function over the interval \([0,4]\). Finally, graph the constant function \(f(x)=6\) over the interval \((4,∞)\). And because \(f(x)=6\) where \(x>4\), we use an open dot at the point \((4,6)\). Where \(x=4\), we use \(f(x)=x\) and thus \((4,4)\) is a point on the graph as indicated by a closed dot.

    Answer:

    46d45cf5e831841a0ef1959381c25a0b.png
    Figure 2.4.5s

    try-it.png Try It \(\PageIndex{6}\)

    Graph the following piecewise function.

    \[f(x)= \begin{cases} x^3 & \text{if $x < -1$} \\ -2 &\text{if $-1<x<4$} \\ \sqrt{x} &\text{if $x>4$} \end{cases} \nonumber \]

    Answer
    [Graph of f(x).]
    Figure \(\PageIndex{6s}\)

    QA.png Can more than one formula from a piecewise function be applied to a value in the domain? 

    No. Each value corresponds to one equation in a piecewise formula.

    Evaluating Piecewise Functions

    When evaluating piecewise functions, the value in the domain determines the appropriate definition to use.

    Example \(\PageIndex{7}\):

    Given the function \(h\), find \(h(−5), h(0),\) and \(h(3)\).

    \[h(t)= \begin{cases}
    7t+5 & \text{if $t<0$} \\
    -16t^2+32t &\text{if $t\geq 0$}
    \end{cases} \nonumber \]

    Solution

    Use \(h(t) = 7t + 3\) where \(t\) is negative, as indicated by \(t < 0\).

    \(\begin{aligned} h ( t ) & = 7 t + 5 \\ h ( \color{Cerulean}{- 5}\color{Black}{ )} & = 7 ( \color{Cerulean}{- 5}\color{Black}{)} + 5 \\ & = - 35 + 5 \\ & = - 30 \end{aligned}\)

    Where \(t\) is greater than or equal to zero, use \(h(t) = −16t^{2} + 32t\).

    \( \begin{array} {rlrl}
    h ( \color{Cerulean}{0}\color{Black}{ )}
    & = - 16 ( \color{Cerulean}{0}\color{Black}{ )} + 32 ( \color{Cerulean}{0}\color{Black}{ )}
    & \qquad h ( \color{Cerulean}{3}\color{Black}{ )}
    & = 16 ( \color{Cerulean}{3}\color{Black}{ )} ^ { 2 } + 32 ( \color{Cerulean}{3}\color{Black}{ )}
    \\
    &   =0 + 0
    && = -144 +96
    \\
    & =0
    && =-48
    \end{array} \)

    Answer:

    \(h(−5) = −30, h(0) = 0,\) and \(h(3) = −48\)

    Example \(\PageIndex{8}\): Working with a Piecewise Function

    A cell phone company uses the function below to determine the cost, \(C\), in dollars for \(g\) gigabytes of data transfer.

    \[C(g)= \begin{cases} 25 & \text{if $0<g<2$} \\ 25+10(g-2) &\text{if $g\geq2$} \end{cases} \nonumber \]

    Find the cost of using 1.5 gigabytes of data and the cost of using 4 gigabytes of data.

    Solution

    To find the cost of using 1.5 gigabytes of data, \(C(1.5)\), we first look to see which part of the domain our input falls in. Because 1.5 is less than 2, we use the first formula.

    \[C(1.5)=$25 \nonumber \]

    To find the cost of using 4 gigabytes of data, C(4), we see that our input of 4 is greater than 2, so we use the second formula.

    \[C(4)=25+10(4−2)=$45 \nonumber \]

    Analysis

    The function is represented in Figure \(\PageIndex{8}\). We can see where the function changes from a constant to a shifted and stretched identity at \(g=2\). We plot the graphs for the different formulas on a common set of axes, making sure each formula is applied on its proper domain.

    [Graph of C(g)]
    Figure \(\PageIndex{8}\)

    The greatest Integer Function

    The greatest integer function, denoted \(f(x) = {[{[ x  ]}]} \) assigns the greatest integer less than or equal to any real number in its domain. For example,

    \(\begin{aligned} f ( 2.7 ) & = {[{[ 2.7  ]}]} &= 2 \\ f ( \pi ) & = {[{[ \pi  ]}]} &= 3 \\ f ( 0.23 ) & =  {[{[0.23   ]}]} &= 0 \\ f ( - 3.5 ) & = {[{[  -3.5 ]}]} &= - 4 \end{aligned}\)

    This function associates any real number with the greatest integer less than or equal to it and should not be confused with rounding off.

    Example \(\PageIndex{9}\): Greatest Integer Function

    Graph: \(f(x) = {[{[ x  ]}]} \).

    Solution

    If \(x\) is any real number, then \(y = \) is the greatest integer less than or equal to \(x\).

    \(\begin{aligned} \vdots\\- 1 \leq x < 0 & \color{Cerulean}{\Rightarrow}\color{Black}{ y} = {[{[ x  ]}]}= -1 \\ 0 \leq x < 1 & \color{Cerulean}{\Rightarrow} \color{Black}{y} = {[{[ x  ]}]}= 0 \\ 1 \leq x < 2 & \color{Cerulean}{\Rightarrow}\color{Black}{ y} = {[{[ x  ]}]} = 1 \\ & \vdots \end{aligned}\)

    Using this, we obtain the following graph.

    Answer:

    b0c1521dfd8ff87b7bf820bb0a8f24c7.png
    Figure 2.4.9

    The domain of the greatest integer function consists of all real number \(\mathbb{R}\) and the range consists of the set of integers \(\mathbb{Z}\). This function is often called the floor function and has many applications in computer science.

    Writing Piecewise-Defined Functions

    how-to.png How to: Given a piecewise function, write the formula and identify the domain for each interval.

    1. Identify the intervals for which different rules apply.
    2. Determine formulas that describe how to calculate an output from an input in each interval.
    3. Use braces and if-statements to write the function.

    Example \(\PageIndex{10}\): Writing a Piecewise Function

    A museum charges $5 per person for a guided tour with a group of 1 to 9 people or a fixed $50 fee for a group of 10 or more people. Write a function relating the number of people, \(n\), to the cost, \(C\).

    Solution

    Two different formulas will be needed. For \(n\)-values under 10, \(C=5n\). For values of n that are 10 or greater, \(C=50\).

    \[C(n)= \begin{cases} 5n & \text{if $n < 10$} \\ 50 &\text{if $n\geq10$} \end{cases} \nonumber \]

    Analysis

    The function is represented in Figure \(\PageIndex{10}\). The graph is a diagonal line from \(n=0\) to \(n=10\) and a constant after that. In this example, the two formulas agree at the meeting point where \(n=10\), but not all piecewise functions have this property.

    [Graph of C(n).]
    Figure \(\PageIndex{10}\)

    Example \(\PageIndex{11}\): Writing a Greatest Integer Piecewise-Defined Function

    In a big city, drivers are charged variable rates for parking in a parking garage. They are charged $10 for the first hour or any part of the first hour and an additional $2 for each hour or part thereof up to a maximum of $30 for the day. The parking garage is open from 6 a.m. to 12 midnight.

    1. Write a piecewise-defined function that describes the cost \(C\) to park in the parking garage as a function of hours parked \(x\).
    2. Sketch a graph of this function \(C(x).\)

    Solution

    1.Since the parking garage is open 18 hours each day, the domain for this function is \( \{ x \;|\; 0 < x ≤ 18  \}  \). The cost to park a car at this parking garage can be described piecewise by the function

    \[C(x)=\begin{cases}
    10, & 0 < x ≤ 1 \\
    12, & 1<x≤2\\
    14, & 2<x≤3\\
    16, & 3<x≤4\\
     ⋮\\
    30, & 10<x≤18\end{cases}. \nonumber \] 

    2.The graph of the function consists of several horizontal line segments.

    An image of a graph. The x axis runs from 0 to 18 and is labeled “x, hours”. The y axis runs from 0 to 32 and is labeled “y, cost in dollars”. The function consists 11 pieces, all horizontal line segments that begin with an open circle and end with a closed circle. The first piece starts at x = 0 and ends at x = 1 and is at y = 10. The second piece starts at x = 1 and ends at x = 2 and is at y = 12. The third piece starts at x = 2 and ends at x = 3 and is at y = 14. The fourth piece starts at x = 3 and ends at x = 4 and is at y = 16. The fifth piece starts at x = 4 and ends at x = 5 and is at y = 18. The sixth piece starts at x = 5 and ends at x = 6 and is at y = 20. The seventh piece starts at x = 6 and ends at x = 7 and is at y = 22. The eighth piece starts at x = 7 and ends at x = 8 and is at y = 24. The ninth piece starts at x = 8 and ends at x = 9 and is at y = 26. The tenth piece starts at x = 9 and ends at x = 10 and is at y = 28. The eleventh piece starts at x = 10 and ends at x = 18 and is at y = 30.

    try-it.png Try It \(\PageIndex{12}\)

    The cost of mailing a letter is a function of the weight of the letter. Suppose the cost of mailing a letter is \(49¢\) for the first ounce and \(21¢\) for each additional ounce. Write a piecewise-defined function describing the cost \(C\) as a function of the weight \(x\) for \(0<x≤3\), where \(C\) is measured in cents and \(x\) is measured in ounces.

    Hint

    The piecewise-defined function is constant on the intervals (0,1], (1,2],….

    Answer

    \[C(x)=\begin{cases}49, &0<x≤1\\70, &1<x≤2\\91, &2<x≤3\end{cases} \nonumber \]

     

     

    2.1: Function Compilations - Piecewise, Combinations, and Composition is shared under a CC BY license and was authored, remixed, and/or curated by LibreTexts.