1.3: Introduction to Functions (2024)

Definition 1.6

A relation in which each \(x\)-coordinate is matched with only one \(y\)-coordinate is said to describe \(y\) as a function of \(x\).

Example 1.3.1

Which of the following relations describe \(y\) as a function of \(x\)?

1. \(R_{1} = \{ (-2,1), (1,3), (1,4), (3,-1) \}\)
2. \(R_{2} = \{ (-2,1), (1,3), (2,3), (3,-1) \}\)

Solution

A quick scan of the points in \(R_{1}\) reveals that the \(x\)-coordinate \(1\) is matched with two different \(y\)-coordinates: namely \(3\) and \(4\). Hence in \(R_{1}\), \(y\) is not a function of \(x\). On the other hand, every \(x\)-coordinate in \(R_{2}\) occurs only once which means each \(x\)-coordinate has only one corresponding \(y\)-coordinate. So, \(R_{2}\) does represent \(y\) as a function of \(x\).

Definition 1.1. The Vertical Line Test

A set of points in the plane represents \(y\) as a function of \(x\) if and only if no two points lie on the same vertical line.

Example 1.3.2

Use the Vertical Line Test to determine which of the following relations describes \(y\) as a function of \(x\).

Solution

Looking at the graph of \(R\), we can easily imagine a vertical line crossing the graph more than once. Hence, \(R\) does not represent \(y\) as a function of \(x\). However, in the graph of \(S\), every vertical line crosses the graph at most once, so \(S\) does represent \(y\) as a function of \(x\).

Example 1.3.3

Use the Vertical Line Test to determine which of the following relations describes \(y\) as a function of \(x\).

Solution

Both \(S_{1}\) and \(S_{2}\) are slight modifications to the relation \(S\) in the previous example whose graph we determined passed the Vertical Line Test. In both \(S_{1}\) and \(S_{2}\), it is the addition of the point \((1,2)\) which threatens to cause trouble. In \(S_{1}\), there is a point on the curve with \(x\)-coordinate 1 just below \((1,2)\), which means that both \((1,2)\) and this point on the curve lie on the vertical line \(x=1\). (See the picture below and the left.) Hence, the graph of \(S_{1}\) fails the Vertical Line Test, so \(y\) is not a function of \(x\) here. However, in \(S_{2}\) notice that the point with \(x\)-coordinate 1 on the curve has been omitted, leaving an ‘open circle’ there. Hence, the vertical line \(x=1\) crosses the graph of \(S_{2}\) only at the point \((1,2)\). Indeed, any vertical line will cross the graph at most once, so we have that the graph of \(S_{2}\) passes the Vertical Line Test. Thus it describes \(y\) as a function of \(x\).

Definition 1.7

Suppose \(F\) is a relation which describes \(y\) as a function of \(x\).

• The set of the \(x\)-coordinates of the points in \(F\) is called the domain of \(F\).
• The set of the \(y\)-coordinates of the points in \(F\) is called the range of \(F\).

Example 1.3.4

Find the domain and range of the function \(F = \{ (-3, 2), (0, 1), (4, 2), (5, 2) \}\) and of the function \(G\) whose graph is given above on the right.

Solution

The domain of \(F\) is the set of the \(x\)-coordinates of the points in \(F\), namely \(\{ -3, 0, 4, 5 \}\) and the range of \(F\) is the set of the \(y\)-coordinates, namely \(\{ 1,2 \}.\)

To determine the domain and range of \(G\), we need to determine which \(x\) and \(y\) values occur as coordinates of points on the given graph. To find the domain, it may be helpful to imagine collapsing the curve to the \(x\)-axis and determining the portion of the \(x\)-axis that gets covered. This is called projecting the curve to the \(x\)-axis. Before we start projecting, we need to pay attention to two subtle notations on the graph: the arrowhead on the lower left corner of the graph indicates that the graph continues to curve downwards to the left forever more; and the open circle at \((1,3)\) indicates that the point \((1,3)\) isn’t on the graph, but all points on the curve leading up to that point are.

We see from the figure that if we project the graph of \(G\) to the \(x\)-axis, we get all real numbers less than \(1\). Using interval notation, we write the domain of \(G\) as \((-\infty, 1)\). To determine the range of \(G\), we project the curve to the \(y\)-axis as follows:

Note that even though there is an open circle at \((1,3)\), we still include the \(y\) value of \(3\) in our range, since the point \((-1,3)\) is on the graph of \(G\). We see that the range of \(G\) is all real numbers less than or equal to \(4\), or, in interval notation, \((-\infty, 4]\).

Example 1.3.5

Determine which equations represent \(y\) as a function of \(x\).

1. \(x^3 + y^2 = 1\)
2. \(x^2 + y^3 = 1\)
3. \(x^2y = 1 - 3y\)

Solution

For each of these equations, we solve for \(y\) and determine whether each choice of \(x\) will determine only one corresponding value of \(y\).

1. \[\begin{array}{rclr} x^3 + y^2 & = & 1 & \\ y^2 & = & 1 - x^3 & \\ \sqrt{y^2} & = & \sqrt{1 - x^3} & \mbox{extract square roots} \\ y & = & \pm \sqrt{1 - x^3} & \\ \end{array}\]
2. \[\begin{array}{rclr} x^2 + y^3 & = & 1 & \\ y^3 & = & 1 - x^2 & \\ \sqrt[3]{y^3} & = & \sqrt[3]{1 - x^2} & \\ y & = & \sqrt[3]{1 - x^2} & \\ \end{array}\]
3. \[\begin{array}{rclr} x^2y & = & 1 - 3y & \\ x^2y + 3y & = & 1 & \\ y \left(x^2 + 3\right) & = & 1 & \mbox{factor} \\ y & = & \dfrac{1}{x^2 + 3} & \\ \end{array}\]

For each choice of \(x\), there is only one value for \(y\), so this equation describes \(y\) as a function of \(x\).

We could try to use our graphing calculator to verify our responses to the previous example, but we immediately run into trouble. The calculator’s “Y=” menu requires that the equation be of the form ‘\(y\) = some expression of \(x\)’. If we wanted to verify that the first equation in Example 1.3.5 does not represent \(y\) as a function of \(x\), we would need to enter two separate expressions into the calculator: one for the positive square root and one for the negative square root we found when solving the equation for \(y\). As predicted, the resulting graph shown below clearly fails the Vertical Line Test, so the equation does not represent \(y\) as a function of \(x\).

Thus in order to use the calculator to show that \(x^3 + y^2 = 1\) does not represent \(y\) as a function of \(x\) we needed to know analytically that \(y\) was not a function of \(x\) so that we could use the calculator properly. There are more advanced graphing utilities out there which can do implicit function plots, but you need to know even more Algebra to make them work properly. Do you get the point we’re trying to make here? We believe it is in your best interest to learn the analytic way of doing things so that you are always smarter than your calculator.