1.1: Review of Functions

Learning Objectives

• Use functional notation to evaluate a function.
• Determine the domain and range of a function.
• Draw the graph of a function.
• Find the zeros of a function.
• Recognize a function from a table of values.
• Make new functions from two or more given functions.
• Describe the symmetry properties of a function.

In this section, we provide a formal definition of a function and examine several ways in which functions are represented—namely, through tables, formulas, and graphs. We study formal notation and terms related to functions. We also define composition of functions and symmetry properties. Most of this material will be a review for you, but it serves as a handy reference to remind you of some of the algebraic techniques useful for working with functions.

Functions

Given two sets \(A\) and \(B\) a set with elements that are ordered pairs \((x,y)\) where \(x\) is an element of \(A\) and \(y\) is an element of \(B,\) is a relation from \(A\) to \(B\). A relation from \(A\) to \(B\) defines a relationship between those two sets. A function is a special type of relation in which each element of the first set is related to exactly one element of the second set. The element of the first set is called the input; the element of the second set is called the output. Functions are used all the time in mathematics to describe relationships between two sets. For any function, when we know the input, the output is determined, so we say that the output is a function of the input. For example, the area of a square is determined by its side length, so we say that the area (the output) is a function of its side length (the input). The velocity of a ball thrown in the air can be described as a function of the amount of time the ball is in the air. The cost of mailing a package is a function of the weight of the package. Since functions have so many uses, it is important to have precise definitions and terminology to study them.

Figure \(\PageIndex{1}\): A function can be visualized as an input/output device

Definition: Functions

A function \(f\) consists of a set of inputs, a set of outputs, and a rule for assigning each input to exactly one output. The set of inputs is called the domain of the function. The set of outputs is called the range of the function.

Figure \(\PageIndex{2}\): A function maps every element in the domain to exactly one element in the range. Although each input can be sent to only one output, two different inputs can be sent to the same output.

For example, consider the function \(f\), where the domain is the set of all real numbers and the rule is to square the input. Then, the input \(x=3\) is assigned to the output \(3^2=9\).

Since every nonnegative real number has a real-value square root, every nonnegative number is an element of the range of this function. Since there is no real number with a square that is negative, the negative real numbers are not elements of the range. We conclude that the range is the set of nonnegative real numbers.

For a general function \(f\) with domain \(D\), we often use \(x\) to denote the input and \(y\) to denote the output associated with \(x\). When doing so, we refer to \(x\) as the independent variable and \(y\) as the dependent variable, because it depends on \(x\). Using function notation, we write \(y=f(x)\), and we read this equation as “\(y\) equals \(f\) of \(x.”\) For the squaring function described earlier, we write \(f(x)=x^2\).

The concept of a function can be visualized using Figures \(\PageIndex{1}\) - \(\PageIndex{3}\).

Figure \(\PageIndex{3}\): In this case, a graph of a function \(f\) has a domain of \(\{1,2,3\}\) and a range of \(\{1,2\}\). The independent variable is \(x\) and the dependent variable is \(y\).

We can also visualize a function by plotting points \((x,y)\) in the coordinate plane where \(y=f(x)\). The graph of a function is the set of all these points. For example, consider the function \(f\), where the domain is the set \(D=\{1,2,3\}\) and the rule is \(f(x)=3−x\). In Figure \(\PageIndex{4}\), we plot a graph of this function.

Figure \(\PageIndex{4}\): Here we see a graph of the function \(f\) with domain \(\{1,2,3\}\) and rule \(f(x)=3−x\). The graph consists of the points \((x,f(x))\) for all \(x\) in the domain.

Every function has a domain. However, sometimes a function is described by an equation, as in \(f(x)=x^2\), with no specific domain given. In this case, the domain is taken to be the set of all real numbers \(x\) for which \(f(x)\) is a real number. For example, since any real number can be squared, if no other domain is specified, we consider the domain of \(f(x)=x^2\) to be the set of all real numbers. On the other hand, the square root function \(f(x)=\sqrt{x}\) only gives a real output if \(x\) is nonnegative. Therefore, the domain of the function \(f(x)=\sqrt{x}\) is the set of nonnegative real numbers, sometimes called the natural domain.

For the functions \(f(x)=x^2\) and \(f(x)=\sqrt{x}\), the domains are sets with an infinite number of elements. Clearly we cannot list all these elements. When describing a set with an infinite number of elements, it is often helpful to use set-builder or interval notation. When using set-builder notation to describe a subset of all real numbers, denoted \(R\), we write

\[\{x\,|\,\textit{x has some property}\}.\]

We read this as the set of real numbers \(x\) such that \(x\) has some property. For example, if we were interested in the set of real numbers that are greater than one but less than five, we could denote this set using set-builder notation by writing

\[\{x\,|\,1<x<5\}.\]

A set such as this, which contains all numbers greater than \(a\) and less than \(b,\) can also be denoted using the interval notation \((a,b)\). Therefore,

\[(1,5)=\{x\,|\,1<x<5\}.\]

The numbers \(1\) and \(5\) are called the endpoints of this set. If we want to consider the set that includes the endpoints, we would denote this set by writing

\[[1,5]=\{x\,|\,1<x<5\}.\]

We can use similar notation if we want to include one of the endpoints, but not the other. To denote the set of nonnegative real numbers, we would use the set-builder notation

\[\{x\,|\,x\ge 0\}.\]

The smallest number in this set is zero, but this set does not have a largest number. Using interval notation, we would use the symbol \(∞,\) which refers to positive infinity, and we would write the set as

\[[0,∞)=\{x\,|\,x\ge 0\}.\]

It is important to note that \(∞\) is not a real number. It is used symbolically here to indicate that this set includes all real numbers greater than or equal to zero. Similarly, if we wanted to describe the set of all nonpositive numbers, we could write

\[(−∞,0]=\{x\,|\,x≤0\}.\]

Here, the notation \(−∞\) refers to negative infinity, and it indicates that we are including all numbers less than or equal to zero, no matter how small. The set

\[(−∞,∞)=\{\textit{x} \,|\, \textit{x is any real number}\}\]

refers to the set of all real numbers.Some functions are defined using different equations for different parts of their domain. These types of functions are known as piecewise-defined functions. For example, suppose we want to define a function \(f\) with a domain that is the set of all real numbers such that \(f(x)=3x+1\) for \(x≥2\) and \(f(x)=x^2\) for\( x<2\).We denote this function by writing

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

When evaluating this function for an input \(x\),the equation to use depends on whether \(x≥2\) or \(x<2\). For example, since \(5>2\), we use the fact that \(f(x)=3x+1\) for \(x≥2\) and see that \(f(5)=3(5)+1=16\). On the other hand, for \(x=−1\), we use the fact that \(f(x)=x^2\) for \(x<2\) and see that \(f(−1)=1\).

Example \(\PageIndex{1}\): Evaluating Functions

For the function \(f(x)=3x^2+2x−1\), evaluate:

1. \(f(−2)\)
2. \(f(\sqrt{2})\)
3. \(f(a+h)\)

Solution

Substitute the given value for \(x\) in the formula for \(f(x)\).

1. \(f(−2)=3(−2^)2+2(−2)−1=12−4−1=7\)
2. \(f(\sqrt{2})=3(\sqrt{2})^2+2\sqrt{x}−1=6+2\sqrt{2}−1=5+2\sqrt{2}\)
3. \(f(a+h)=3(a+h)^2+2(a+h)−1=3(a^2+2ah+h^2)+2a+2h−1\)\(=3a^2+6ah+3h^2+2a+2h−1\)

Exercise \(\PageIndex{1}\)

For \(f(x)=x^2−3x+5\), evaluate \(f(1)\) and \(f(a+h)\).

Hint

Substitute \(1\) and \(a+h\) for \(x\) in the formula for \(f(x)\).

Answer

\(f(1)=3 \) and \(f(a+h)=a^2+2ah+h^2−3a−3h+5\)

Example \(\PageIndex{2}\): Finding Domain and Range

For each of the following functions, determine the i. domain and ii. range.

1. \(f(x)=(x−4)^2+5\)
2. \(f(x)=\sqrt{3x+2}−1\)
3. \(f(x)=3x−2\)

Solution

1. Consider \(f(x)=(x−4)^2+5.\)

1.Since \(f(x)=(x−4)^2+5\) is a real number for any real number \(x\), the domain of \(f\) is the interval \((−∞,∞)\).

2. Since \((x−4)^2≥0\), we know \(f(x)=(x−4)^2+5≥5\). Therefore, the range must be a subset of \(\{y\,|\,y≥5\}.\) To show that every element in this set is in the range, we need to show that for a given \(y\) in that set, there is a real number \(x\) such that \(f(x)=(x−4)^2+5=y\). Solving this equation for \(x,\) we see that we need \(x\) such that

\((x−4)^2=y−5.\)

This equation is satisfied as long as there exists a real number \(x\) such that

\(x−4=±\sqrt{y−5}\)

Since \(y≥5\), the square root is well-defined. We conclude that for \(x=4±\sqrt{y−5},\) \(f(x)=y,\) and therefore the range is \(\{y\,|\,y≥5 \}.\)

2. Consider \(f(x)=\sqrt{3x+2}−1\).

1.To find the domain of \(f\), we need the expression \(3x+2≥0\). Solving this inequality, we conclude that the domain is \(\{x\,|\,x≥−2/3\}.\)

2.To find the range of \(f\), we note that since \(\sqrt{3x+2}≥0,\) \(f(x)=\sqrt{3x+2}−1≥−1\). Therefore, the range of \(f\) must be a subset of the set \(\{y\,|\,y≥−1\}\). To show that every element in this set is in the range of \(f\), we need to show that for all \(y\) in this set, there exists a real number \(x\) in the domain such that \(f(x)=y.\) Let \(y≥−1.\) Then, \(f(x)=y\) if and only if

\(\sqrt{3x+2}−1=y.\)

Solving this equation for \(x,\) we see that \(x\) must solve the equation

\(\sqrt{3x+2}=y+1.\)

Since \(y≥−1\), such an \(x\) could exist. Squaring both sides of this equation, we have \(3x+2=(y+1)^2.\)

Therefore, we need

\(3x=(y+1)^2−2,\)

which implies

\(x=\frac{1}{3}(y+1)^2−\frac{2}{3}.\)

We just need to verify that \(x\) is in the domain of \(f\). Since the domain of \(f\) consists of all real numbers greater than or equal to \(\frac{−2}{3}\), and

\(\frac{1}{3}(y+1)^2-\frac{2}{3}≥−\frac{2}{3},\)

there does exist an \(x\) in the domain of \(f\). We conclude that the range of \(f\) is \(\{y\,|\,y≥−1\}.\)

3. Consider \(f(x)=\dfrac{3}{x−2}.\)

1.Since \(3/(x−2)\) is defined when the denominator is nonzero, the domain is \(\{x\,|\,x≠2\}.\)

2.To find the range of \(f,\) we need to find the values of \(y\) such that there exists a real number \(x\) in the domain with the property that

\(\frac{3}{x}−2=y.\)

Solving this equation for \(x,\) we find that

\(x=\frac{3}{y}+2.\)

Therefore, as long as \(y≠0\), there exists a real number \(x\) in the domain such that \(f(x)=y\). Thus, the range is \(\{y\,|\,y≠0\}.\)

Exercise \(\PageIndex{2}\)

Find the domain and range for \(f(x)=\sqrt{4−2x}+5.\)

Hint

Use \(4−2x≥0\).

Answer

Domain = \(\{x\,|\,x≤2\}\) and range = \(\{y\,|\,y≥5\}\)

Representing Functions

Typically, a function is represented using one or more of the following tools:

• A table
• A graph
• A formula

We can identify a function in each form, but we can also use them together. For instance, we can plot on a graph the values from a table or create a table from a formula.

Tables

Functions described using a table of values arise frequently in real-world applications. Consider the following simple example. We can describe temperature on a given day as a function of time of day. Suppose we record the temperature every hour for a 24-hour period starting at midnight. We let our input variable \(x\) be the time after midnight, measured in hours, and the output variable \(y\) be the temperature \(x\) hours after midnight, measured in degrees Fahrenheit. We record our data in Table \(\PageIndex{1}\).

Table \(\PageIndex{1}\): Temperature as a Function of Time of Day

Hour After Midnight	Temperature(°F)	Hour After Midnight	Temperature(°F)
0	58	12	84
1	54	13	85
2	53	14	85
3	52	15	83
4	52	16	82
5	55	17	80
6	60	18	77
7	64	19	74
8	72	20	69
9	75	21	65
10	78	22	60
11	80	23	58

We can see from the table that temperature is a function of time, and the temperature decreases, then increases, and then decreases again. However, we cannot get a clear picture of the behavior of the function without graphing it.

Graphs

Given a function \(f\) described by a table, we can provide a visual picture of the function in the form of a graph. Graphing the temperatures listed in Table \(\PageIndex{1}\) can give us a better idea of their fluctuation throughout the day. Figure \(\PageIndex{5}\) shows the plot of the temperature function.

Figure \(\PageIndex{5}\): The graph of the data from Table \(\PageIndex{1}\) shows temperature as a function of time.

From the points plotted on the graph in Figure \(\PageIndex{5}\), we can visualize the general shape of the graph. It is often useful to connect the dots in the graph, which represent the data from the table. In this example, although we cannot make any definitive conclusion regarding what the temperature was at any time for which the temperature was not recorded, given the number of data points collected and the pattern in these points, it is reasonable to suspect that the temperatures at other times followed a similar pattern, as we can see in Figure \(\PageIndex{6}\).

Figure \(\PageIndex{6}\): Connecting the dots in Figure \(\PageIndex{5}\) shows the general pattern of the data.

Algebraic Formulas

Sometimes we are not given the values of a function in table form, rather we are given the values in an explicit formula. Formulas arise in many applications. For example, the area of a circle of radius \(r\) is given by the formula \(A(r)=πr^2\). When an object is thrown upward from the ground with an initial velocity \(v_{0}\) ft/s, its height above the ground from the time it is thrown until it hits the ground is given by the formula \(s(t)=−16t^2+v_{0}t\). When \(P\) dollars are invested in an account at an annual interest rate \(r\) compounded continuously, the amount of money after \(t\) years is given by the formula \(A(t)=Pe^{rt}\). Algebraic formulas are important tools to calculate function values. Often we also represent these functions visually in graph form.

Given an algebraic formula for a function \(f\), the graph of \(f\) is the set of points \((x,f(x))\), where \(x\) is in the domain of \(f\) and \(f(x)\) is in the range. To graph a function given by a formula, it is helpful to begin by using the formula to create a table of inputs and outputs. If the domain of \(f\) consists of an infinite number of values, we cannot list all of them, but because listing some of the inputs and outputs can be very useful, it is often a good way to begin.

When creating a table of inputs and outputs, we typically check to determine whether zero is an output. Those values of \(x\) where \(f(x)=0\) are called the zeros of a function. For example, the zeros of \(f(x)=x^2−4\) are \(x=±2\). The zeros determine where the graph of \(f\) intersects the \(x\)-axis, which gives us more information about the shape of the graph of the function. The graph of a function may never intersect the \(x\)-axis, or it may intersect multiple (or even infinitely many) times.

Another point of interest is the \(y\) -intercept, if it exists. The \(y\)-intercept is given by \((0,f(0))\).

Since a function has exactly one output for each input, the graph of a function can have, at most, one \(y\)-intercept. If \(x=0\) is in the domain of a function \(f,\) then \(f\) has exactly one \(y\)-intercept. If \(x=0\) is not in the domain of \(f,\) then \(f\) has no \(y\)-intercept. Similarly, for any real number \(c,\) if \(c\) is in the domain of \(f\), there is exactly one output \(f(c),\) and the line \(x=c\) intersects the graph of \(f\) exactly once. On the other hand, if \(c\) is not in the domain of \(f,\) \(f(c)\) is not defined and the line \(x=c\) does not intersect the graph of \(f\). This property is summarized in the vertical line test.

Vertical Line Test

Given a function \(f\), every vertical line that may be drawn intersects the graph of \(f\) no more than once. If any vertical line intersects a set of points more than once, the set of points does not represent a function.

We can use this test to determine whether a set of plotted points represents the graph of a function (Figure \(\PageIndex{7}\)).

Figure \(\PageIndex{7}\): (a) The set of plotted points represents the graph of a function because every vertical line intersects the set of points, at most, once. (b) The set of plotted points does not represent the graph of a function because some vertical lines intersect the set of points more than once.

Example \(\PageIndex{3}\): Finding Zeros and \(y\)-Intercepts of a Function

Consider the function \(f(x)=−4x+2.\)

1. Find all zeros of \(f\).
2. Find the \(y\)-intercept (if any).
3. Sketch a graph of \(f\).

Solution

1.To find the zeros, solve \(f(x)=−4x+2=0\). We discover that \(f\) has one zero at \(x=1/2\).

2. The \(y\)-intercept is given by \((0,f(0))=(0,2).\)

3. Given that \(f\) is a linear function of the form \(f(x)=mx+b\) that passes through the points \((1/2,0)\) and \((0,2)\), we can sketch the graph of \(f\) (Figure \(\PageIndex{8}\)).

Figure \(\PageIndex{8}\): The function \(f(x)=−4x+2\) is a line with \(x\)-intercept \((1/2,0)\) and \(y\)-intercept \((0,2)\).

Example \(\PageIndex{4}\): Using Zeros and \(y\)-Intercepts to Sketch a Graph

Consider the function \(f(x)=\sqrt{x+3}+1\).

1. Find all zeros of \(f\).
2. Find the \(y\)-intercept (if any).
3. Sketch a graph of \(f\).

Solution

1.To find the zeros, solve \(\sqrt{x+3}+1=0\). This equation implies \(\sqrt{x+3}=−1\). Since \(\sqrt{x+3}≥0\) for all \(x\), this equation has no solutions, and therefore \(f\) has no zeros.

2.The \(y\)-intercept is given by \((0,f(0))=(0,\sqrt{3}+1)\).

3.To graph this function, we make a table of values. Since we need \(x+3≥0\), we need to choose values of \(x≥−3\). We choose values that make the square-root function easy to evaluate.

\(x\)	-3	-2	1
\(f(x)\)	1	2	3

Making use of the table and knowing that, since the function is a square root, the graph of \(f\) should be similar to the graph of \(y=\sqrt{x}\), we sketch the graph (Figure \(\PageIndex{9}\)).

Figure \(\PageIndex{9}\): The graph of \(f(x)=\sqrt{x+3}+1\) has a \(y\)-intercept but no \(x\)-intercepts.

Exercise \(\PageIndex{4}\)

Find the zeros of \(f(x)=x^3−5x^2+6x.\)

Hint

Factor the polynomial.

Answer

\(x=0,2,3\)

Example \(\PageIndex{5}\): Finding the Height of a Free-Falling Object

If a ball is dropped from a height of 100 ft, its height s at time \(t\) is given by the function \(s(t)=−16t^2+100\), where s is measured in feet and \(t\) is measured in seconds. The domain is restricted to the interval \([0,c],\) where \(t=0\) is the time when the ball is dropped and \(t=c\) is the time when the ball hits the ground.

1. Create a table showing the height s(t) when \(t=0,\, 0.5,\, 1,\, 1.5,\, 2,\) and \(2.5\). Using the data from the table, determine the domain for this function. That is, find the time \(c\) when the ball hits the ground.
2. Sketch a graph of \(s\).

Solution

\(t\)	0	0.5	1	1.5	2	2.5
\(s(t)\)	100	96	84	64	36	0

Since the ball hits the ground when \(t=2.5\), the domain of this function is the interval \([0,2.5]\).

2.

Figure \(\PageIndex{8}\), the values of \(f(x)\) are getting smaller as \(x\) is getting larger. A function with this property is said to be decreasing. On the other hand, for the function \(f(x)=\sqrt{x+3}+1\) graphed in Figure \(\PageIndex{9}\), the values of \(f(x)\) are getting larger as the values of \(x\) are getting larger. A function with this property is said to be increasing. It is important to note, however, that a function can be increasing on some interval or intervals and decreasing over a different interval or intervals. For example, using our temperature function plotted above, we can see that the function is decreasing on the interval \((0,4)\), increasing on the interval \((4,14)\), and then decreasing on the interval \((14,23)\). We make the idea of a function increasing or decreasing over a particular interval more precise in the next definition.

Definition: Increasing and Decreasing on an Interval

We say that a function \(f\) is increasing on the interval \(I\) if for all \(x_{1},\, x_{2}∈I,\)

\(f(x_{1})≤f(x_{2})\) when \(x_{1}<x_{2}.\)

We say \(f\) is strictly increasing on the interval \(I\) if for all \(x_{1},x_{2}∈I,\)

\(f(x_{1})<f(x_{2})\) when \(x_{1}<x_{2}.\)

We say that a function \(f\) is decreasing on the interval \(I\) if for all \(x_{1},x_{2}∈I,\)

\(f(x_{1})≥f(x_{2})\) if \(x_{1}<x_{2}.\)

We say that a function \(f\) is strictly decreasing on the interval \(I\) if for all \(x_{1},x_{2}∈I\),

\(f(x_{1})>f(x_{2})\) if \(x_{1}<x_{2}.\)

For example, the function \(f(x)=3x\) is increasing on the interval \((−∞,∞)\) because \(3x_{1}<3x_{2}\) whenever \(x_{1}<x_{2}\). On the other hand, the function \(f(x)=−x^3\) is decreasing on the interval \((−∞,∞)\) because \(−x^3_{1}>−x^3_{2}\) whenever \(x_{1}<x_{2}\) (Figure \(\PageIndex{10}\)).

Figure \(\PageIndex{10}\): (a) The function \(f(x)=3x\) is increasing on the interval \((−∞,∞)\). (b) The function \(f(x)=−x^3\) is decreasing on the interval \((−∞,∞)\).

Combining Functions

Now that we have reviewed the basic characteristics of functions, we can see what happens to these properties when we combine functions in different ways, using basic mathematical operations to create new functions. For example, if the cost for a company to manufacture \(x\) items is described by the function \(C(x)\) and the revenue created by the sale of \(x\) items is described by the function \(R(x)\), then the profit on the manufacture and sale of \(x\) items is defined as \(P(x)=R(x)−C(x)\). Using the difference between two functions, we created a new function.

Alternatively, we can create a new function by composing two functions. For example, given the functions \(f(x)=x^2\) and \(g(x)=3x+1\), the composite function \(f∘g\) is defined such that

\[(f∘g)(x)=f(g(x))=(g(x))^2=(3x+1)^2.\]

The composite function \(g∘f\) is defined such that

\[(g∘f)(x)=g(f(x))=3f(x)+1=3x^2+1.\]

Note that these two new functions are different from each other.

Combining Functions with Mathematical Operators

To combine functions using mathematical operators, we simply write the functions with the operator and simplify. Given two functions \(f\) and \(g\), we can define four new functions:

\((f+g)(x)=f(x)+g(x)\)	Sum
\((f−g)(x)=f(x)−g(x)\)	Difference
\((f·g)(x)=f(x)g(x)\)	Product
\((\frac{f}{g})(x)=\frac{f(x)}{g(x)}\) for \(g(x)≠0\)	Quotient

How do we determine the domain of these new functions? If \(f\) or \(g\) were to be undefined at a point, then any of the combinations listed in the table above would also be undefined at that point. Thus, the domain of these new functions is the intersection of the domains of \(f\) and \(g\).

Example \(\PageIndex{6}\): Combining Functions Using Mathematical Operations

Given the functions \(f(x)=2x−3\) and \(g(x)=x^2−1\), find each of the following functions and state its domain.

1. \((f+g)(x)\)
2. \((f−g)(x)\)
3. \((f·g)(x)\)
4. \(\left(\dfrac{f}{g}\right)(x)\)

Solution

1. \((f+g)(x)=(2x−3)+(x^2−1)=x^2+2x−4.\)

The domain of this function is the interval \((−∞,∞)\).

2.\((f−g)(x)=(2x−3)−(x^2−1)=−x^2+2x−2.\)

The domain of this function is the interval \((−∞,∞)\).

3. \((f·g)(x)=(2x−3)(x^2−1)=2x^3−3x^2−2x+3.\)

The domain of this function is the interval \((−∞,∞)\).

4. \(\left(\dfrac{f}{g}\right)(x)=\dfrac{2x−3}{x^2−1}\).

The domain of this function is \(\{x\,|\,x≠±1\}.\)

Exercise \(\PageIndex{6}\)

For \(f(x)=x^2+3\) and \(g(x)=2x−5\), find \((f/g)(x)\) and state its domain.

Hint

The new function \((f/g)(x)\) is a quotient of two functions. For what values of \(x\) is the denominator zero?

 

Answer

\(\left(\dfrac{f}{g}\right)(x)=\frac{x^2+3}{2x−5}.\) The domain is \(\{x\,|\,x≠\frac{5}{2}\}.\)

Function Composition

When we compose functions, we take a function of a function. For example, suppose the temperature \(T\) on a given day is described as a function of time \(t\) (measured in hours after midnight) as in Table. Suppose the cost \(C\), to heat or cool a building for 1 hour, can be described as a function of the temperature \(T\). Combining these two functions, we can describe the cost of heating or cooling a building as a function of time by evaluating \(C(T(t))\). We have defined a new function, denoted \(C∘T\), which is defined such that \((C∘T)(t)=C(T(t))\) for all \(t\) in the domain of \(T\). This new function is called a composite function. We note that since cost is a function of temperature and temperature is a function of time, it makes sense to define this new function \((C∘T)(t)\). It does not make sense to consider \((T∘C)(t)\), because temperature is not a function of cost.

Definition: Composite Functions

Consider the function \(f\) with domain \(A\) and range \(B\), and the function \(g\) with domain \(D\) and range \(E\). If \(B\) is a subset of \(D\), then the composite function \((g∘f)(x)\) is the function with domain \(A\) such that

\[(g∘f)(x)=g(f(x))\]

A composite function \(g∘f\) can be viewed in two steps. First, the function \(f\) maps each input \(x\) in the domain of \(f\) to its output \(f(x)\) in the range of \(f\). Second, since the range of \(f\) is a subset of the domain of \(g\), the output \(f(x)\) is an element in the domain of \(g\), and therefore it is mapped to an output \(g(f(x))\) in the range of \(g\). In Figure \(\PageIndex{11}\), we see a visual image of a composite function.

Figure \(\PageIndex{11}\): For the composite function \(g∘f\), we have \((g∘f)(1)=4,\) \((g∘f)(2)=5,\) and \((g∘f)(3)=4\).

Example \(\PageIndex{7}\): Compositions of Functions Defined by Formulas

Consider the functions \(f(x)=x^2+1\) and \(g(x)=1/x\).

1. Find \((g∘f)(x)\) and state its domain and range.
2. Evaluate \((g∘f)(4),\) \((g∘f)(−1/2)\).
3. Find \((f∘g)(x)\) and state its domain and range.
4. Evaluate \((f∘g)(4),\) \((f∘g)(−1/2)\).

Solution

1. We can find the formula for \((g∘f)(x)\) in two different ways. We could write

\((g∘f)(x)=g(f(x))=g(x^2+1)=\dfrac{1}{x^2+1}\).

Alternatively, we could write

\((g∘f)(x)=g(f(x))=\dfrac{1}{f(x)}=\dfrac{1}{x^2+1}.\)

Since \(x^2+1≠0\) for all real numbers \(x,\) the domain of \((g∘f)(x)\) is the set of all real numbers. Since \(0<1/(x^2+1)≤1\), the range is, at most, the interval \((0,1]\). To show that the range is this entire interval, we let \(y=1/(x^2+1)\) and solve this equation for \(x\) to show that for all \(y\) in the interval \((0,1]\), there exists a real number \(x\) such that \(y=1/(x^2+1)\). Solving this equation for \(x,\) we see that \(x^2+1=1/y\), which implies that

\(x=±\sqrt{\frac{1}{y}−1}\)

If \(y\) is in the interval \((0,1]\), the expression under the radical is nonnegative, and therefore there exists a real number \(x\) such that \(1/(x^2+1)=y\). We conclude that the range of \(g∘f\) is the interval \((0,1].\)

2. \((g∘f)(4)=g(f(4))=g(4^2+1)=g(17)=\frac{1}{17}\)

\((g∘f)(−\frac{1}{2})=g(f(−\frac{1}{2}))=g((−\frac{1}{2})^2+1)=g(\frac{5}{4})=\frac{4}{5}\)

3. We can find a formula for \((f∘g)(x)\) in two ways. First, we could write

\((f∘g)(x)=f(g(x))=f(\frac{1}{x})=(\frac{1}{x})^2+1.\)

Alternatively, we could write

\((f∘g)(x)=f(g(x))=(g(x))^2+1=(\frac{1}{x})^2+1.\)

The domain of \(f∘g\) is the set of all real numbers \(x\) such that \(x≠0\). To find the range of \(f,\) we need to find all values \(y\) for which there exists a real number \(x≠0\) such that

\(\left(\dfrac{1}{x}\right)^2+1=y.\)

Solving this equation for \(x,\) we see that we need \(x\) to satisfy

\(\left(\dfrac{1}{x}\right)^2=y−1,\)

which simplifies to

\(\dfrac{1}{x}=±\sqrt{y−1}\)

Finally, we obtain

\(x=±\dfrac{1}{\sqrt{y−1}}.\)

Since \(1/\sqrt{y−1}\) is a real number if and only if \(y>1,\) the range of \(f\) is the set \(\{y\,|\,y≥1\}.\)

4.\((f∘g)(4)=f(g(4))=f(\frac{1}{4})=(\frac{1}{4})^2+1=\frac{17}{16}\)

\((f∘g)(−\frac{1}{2})=f(g(−\frac{1}{2}))=f(−2)=(−2)^2+1=5\)

In Example, we can see that \((f∘g)(x)≠(g∘f)(x)\). This tells us, in general terms, that the order in which we compose functions matters.

Exercise \(\PageIndex{7}\)

Let \(f(x)=2−5x\). Let \(g(x)=\sqrt{x}.\) Find \((f∘g)(x)\).

Solution

\((f∘g)(x)=2−5\sqrt{x}.\)

Example \(\PageIndex{8}\): Composition of Functions Defined by Tables

Consider the functions \(f\) and \(g\) described by

\(x\)	-3	-2	-1	0	1	2	3	4
\(f(x)\)	0	4	2	4	-2	0	-2	4

\(x\)	-4	-2	0	2	4
\(g(x)\)	1	0	3	0	5

1. Evaluate \((g∘f)(3)\),\((g∘f)(0)\).
2. State the domain and range of \((g∘f)(x)\).
3. Evaluate \((f∘f)(3)\),\((f∘f)(1)\).
4. State the domain and range of \((f∘f)(x)\).

Solution:

1. \((g∘f)(3)=g(f(3))=g(−2)=0\)

\((g∘f)(0)=g(4)=5\)

2.The domain of \(g∘f\) is the set \(\{−3,−2,−1,0,1,2,3,4\}.\) Since the range of \(f\) is the set \(\{−2,0,2,4\},\) the range of \(g∘f\) is the set \(\{0,3,5\}.\)

3. \((f∘f)(3)=f(f(3))=f(−2)=4\)

\((f∘f)(1)=f(f(1))=f(−2)=4\)

4.The domain of \(f∘f\) is the set \(\{−3,−2,−1,0,1,2,3,4\}.\) Since the range of \(f\) is the set \(\{−2,0,2,4\},\) the range of \(f∘f\) is the set \(\{0,4\}.\)

Example \(\PageIndex{9}\): Application Involving a Composite Function

A store is advertising a sale of 20% off all merchandise. Caroline has a coupon that entitles her to an additional 15% off any item, including sale merchandise. If Caroline decides to purchase an item with an original price of \(x\) dollars, how much will she end up paying if she applies her coupon to the sale price? Solve this problem by using a composite function.

Solution

Since the sale price is 20% off the original price, if an item is \(x\) dollars, its sale price is given by \(f(x)=0.80x\). Since the coupon entitles an individual to 15% off the price of any item, if an item is \(y\) dollars, the price, after applying the coupon, is given by g(y)=0.85y. Therefore, if the price is originally \(x\) dollars, its sale price will be \(f(x)=0.80x\) and then its final price after the coupon will be \(g(f(x))=0.85(0.80x)=0.68x\).

Exercise \(\PageIndex{9}\)

If items are on sale for 10% off their original price, and a customer has a coupon for an additional 30% off, what will be the final price for an item that is originally \(x\) dollars, after applying the coupon to the sale price?

Hint

The sale price of an item with an original price of \(x\) dollars is \(f(x)=0.90x\). The coupon price for an item that is \(y\) dollars is \(g(y)=0.70y\).

Solution

\((g∘f)(x)=0.63x\)

Symmetry of Functions

The graphs of certain functions have symmetry properties that help us understand the function and the shape of its graph. For example, consider the function \(f(x)=x^4−2x^2−3\) shown in Figure \(\PageIndex{12a}\). If we take the part of the curve that lies to the right of the \(y\)-axis and flip it over the \(y\)-axis, it lays exactly on top of the curve to the left of the \(y\)-axis. In this case, we say the function has symmetry about the \(y\)-axis. On the other hand, consider the function \(f(x)=x^3−4x\) shown in Figure \(\PageIndex{12b}\). If we take the graph and rotate it \(180°\) about the origin, the new graph will look exactly the same. In this case, we say the function has symmetry about the origin.

Figure \(\PageIndex{12}\): (a) A graph that is symmetric about the \(y\)-axis. (b) A graph that is symmetric about the origin.

If we are given the graph of a function, it is easy to see whether the graph has one of these symmetry properties. But without a graph, how can we determine algebraically whether a function \(f\) has symmetry? Looking at Figure again, we see that since \(f\) is symmetric about the \(y\)-axis, if the point \((x,y)\) is on the graph, the point \((−x,y)\) is on the graph. In other words, \(f(−x)=f(x)\). If a function \(f\) has this property, we say \(f\) is an even function, which has symmetry about the \(y\)-axis. For example, \(f(x)=x^2\) is even because

\(f(−x)=(−x)^2=x^2=f(x).\)

In contrast, looking at Figure again, if a function \(f\) is symmetric about the origin, then whenever the point \((x,y)\) is on the graph, the point \((−x,−y)\) is also on the graph. In other words, \(f(−x)=−f(x)\). If \(f\) has this property, we say \(f\) is an odd function, which has symmetry about the origin. For example, \(f(x)=x^3\) is odd because

\(f(−x)=(−x)^3=−x^3=−f(x).\)

Definition: Even and Odd Functions

• If \(f(x)=f(−x)\) for all \(x\) in the domain of \(f\), then \(f\) is an even function. An even function is symmetric about the \(y\)-axis.
• If \(f(−x)=−f(x)\) for all \(x\) in the domain of \(f\), then \(f\) is an odd function. An odd function is symmetric about the origin.

Example \(\PageIndex{10}\): Even and Odd Functions

Determine whether each of the following functions is even, odd, or neither.

1. \(f(x)=−5x^4+7x^2−2\)
2. \(f(x)=2x^5−4x+5\)
3. \(f(x)=\frac{3x}{x^2+1}\)

Solution

To determine whether a function is even or odd, we evaluate \(f(−x)\) and compare it to \(f(x)\) and \(−f(x)\).

1. \(f(−x)=−5(−x)^4+7(−x)^2−2=−5x^4+7x^2−2=f(x).\) Therefore, \(f\) is even.

2.\(f(−x)=2(−x)^5−4(−x)+5=−2x^5+4x+5.\) Now, \(f(−x)≠f(x).\) Furthermore, noting that \(−f(x)=−2x^5+4x−5\), we see that \(f(−x)≠−f(x)\). Therefore, \(f\) is neither even nor odd.

3.\(f(−x)=3(−x)/((−x)2+1)\)\(=−3x/(x^2+1)=\)\(−[3x/(x^2+1)]=−f(x).\) Therefore, \(f\) is odd.

Exercise \(\PageIndex{10}\)

Determine whether \(f(x)=4x^3−5x\) is even, odd, or neither.

Hint

Compare \(f(−x)\) with \(f(x)\) and \(−f(x)\).

Answer

\(f(x)\) is odd.

One symmetric function that arises frequently is the absolute value function, written as \(|x|\). The absolute value function is defined as

\[f(x)=\begin{cases} -x, & \text{if }x<0 \\ x, & \text{if } x≥0 \end{cases}\]

Some students describe this function by stating that it “makes everything positive.” By the definition of the absolute value function, we see that if \(x<0\), then \(|x|=−x>0,\) and if \(x>0\), then \(|x|=x>0.\) However, for \(x=0,\) \(|x|=0.\) Therefore, it is more accurate to say that for all nonzero inputs, the output is positive, but if \(x=0\), the output \(|x|=0\). We conclude that the range of the absolute value function is \(\{y\,|\,y≥0\}.\) In Figure \(\PageIndex{13}\), we see that the absolute value function is symmetric about the \(y\)-axis and is therefore an even function.

Figure \(\PageIndex{13}\): The graph of \(f(x)=|x|\) is symmetric about the \(y\)-axis.

Example \(\PageIndex{11}\): Working with the Absolute Value Function

Find the domain and range of the function \(f(x)=2|x−3|+4\).

Solution

Since the absolute value function is defined for all real numbers, the domain of this function is \((−∞,∞)\). Since \(|x−3|≥0\) for all \(x\), the function \(f(x)=2|x−3|+4≥4\). Therefore, the range is, at most, the set \(\{y\,|\,y≥4\}.\) To see that the range is, in fact, this whole set, we need to show that for \(y≥4\) there exists a real number \(x\) such that

\(2|x−3|+4=y\)

A real number \(x\) satisfies this equation as long as

\(|x−3|=\frac{1}{2}(y−4)\)

Since \(y≥4\), we know \(y−4≥0\), and thus the right-hand side of the equation is nonnegative, so it is possible that there is a solution. Furthermore,

\(|x−3|=\begin{cases} −(x−3), & \text{if } x<3\\x−3, & \text{if } x≥3\end{cases}\)

Therefore, we see there are two solutions:

\(x=±\frac{1}{2}(y−4)+3\).

The range of this function is \(\{y\,|\,y≥4\}.\)

Exercise \(\PageIndex{11}\): Domain and Range

For the function \(f(x)=|x+2|−4\), find the domain and range.

Hint

\(|x+2|≥0\) for all real numbers \(x\).

Answer

Domain = \((−∞,∞)\), range = \(\{y\,|\,y≥−4\}.\)

Key Concepts

• A function is a mapping from a set of inputs to a set of outputs with exactly one output for each input.
• If no domain is stated for a function \(y=f(x),\) the domain is considered to be the set of all real numbers \(x\) for which the function is defined.
• When sketching the graph of a function \(f,\) each vertical line may intersect the graph, at most, once.
• A function may have any number of zeros, but it has, at most, one \(y\)-intercept.
• To define the composition \(g∘f\), the range of \(f\) must be contained in the domain of \(g\).
• Even functions are symmetric about the \(y\)-axis whereas odd functions are symmetric about the origin.

Key Equations

• Composition of two functions

\((g∘f)(x)=g\big(f(x)\big)\)

• Absolute value function

\(f(x)=\begin{cases}−x, & \text{if } x<0\\x, & \text{if } x≥0\end{cases}\)

Glossary

absolute value function

\(f(x)=\begin{cases}−x, & \text{if } x<0\\x, & \text{if } x≥0\end{cases}\)

composite function

given two functions \(f\) and \(g\), a new function, denoted \(g∘f\), such that \((g∘f)(x)=g(f(x))\)

decreasing on the interval \(I\)

a function decreasing on the interval \(I\) if, for all \(x_1,\,x_2∈I,\;f(x_1)≥f(x_2)\) if \(x_1<x_2\)

dependent variable

the output variable for a function

domain

the set of inputs for a function

even function

a function is even if \(f(−x)=f(x)\) for all \(x\) in the domain of \(f\)

function

a set of inputs, a set of outputs, and a rule for mapping each input to exactly one output

graph of a function

the set of points \((x,y)\) such that \(x\) is in the domain of \(f\) and \(y=f(x)\)

increasing on the interval \(I\)

a function increasing on the interval \(I\) if for all \(x_1,\,x_2∈I,\;f(x_1)≤f(x_2)\) if \(x_1<x_2\)

independent variable

the input variable for a function

odd function

a function is odd if \(f(−x)=−f(x)\) for all \(x\) in the domain of \(f\)

range

the set of outputs for a function

symmetry about the origin

the graph of a function \(f\) is symmetric about the origin if \((−x,−y)\) is on the graph of \(f\) whenever \((x,y)\) is on the graph

symmetry about the \(y\)-axis

the graph of a function \(f\) is symmetric about the \(y\)-axis if \((−x,y)\) is on the graph of \(f\) whenever \((x,y)\) is on the graph

table of values

a table containing a list of inputs and their corresponding outputs

vertical line test

given the graph of a function, every vertical line intersects the graph, at most, once

zeros of a function

when a real number \(x\) is a zero of a function \(f,\;f(x)=0\)

Contributors and Attributions

• Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.