1.2: Relations
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{\!\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
From one point of view, all of Precalculus can be thought of as studying sets of points in the plane. With the Cartesian Plane now fresh in our memory we can discuss those sets in more detail and as usual, we begin with a definition.
Definition 1.4: RelaTION
A relation is a set of points in the plane.
Since relations are sets, we can describe them using the techniques presented in Section 1.1. That is, we can describe a relation verbally, using the roster method, or using setbuilder notation. Since the elements in a relation are points in the plane, we often try to describe the relation graphically or algebraically as well. Depending on the situation, one method may be easier or more convenient to use than another. As an example, consider the relation \(R = \{ (2,1),(4,3), (0,3) \}\). As written, \(R\) is described using the roster method. Since \(R\) consists of points in the plane, we follow our instinct and plot the points. Doing so produces the \( \textbf{graph} \) of \(R\).
In the following example, we graph a variety of relations.
Example \(\PageIndex{1}\):
Graph the following relations. \label{relationgraphingexample}
 \( A = \{ (0,0), (3,1), (4,2), (3,2)\}\)
 \( HLS_1 = \{ (x,3) \,  \, 2 \leq x \leq 4\}\)
 \( HLS_2 = \{ (x,3) \,  \, 2 \leq x < 4\} \label{opencircleintroduction} \)
 \( V = \{ (3,y) \,  \, \mbox{\(y\) is a real number} \}\)
 \( H = \{ (x,y) \,  \, y = 2 \} \)
 \( R = \{ (x,y) \,  \, 1 < y \leq 3 \} \)
Solution
 To graph \(A\), we simply plot all of the points which belong to\(A\), as shown below on the left.
 Don't let the notation in this part fool you. The name of this relation is \(HLS_1\), just like the name of the relation in number 1 was\(A\). The letters and numbers are just part of its name, just like the numbers and letters of the phrase `King George III' were part of George's name. In words, \(\{ (x,3)\,  \, 2 \leq x \leq 4 \}\) reads `the set of points \((x,3)\) such that \(2 \leq x \leq 4\).' All of these points have the same \(y\)coordinate, \(3\), but the \(x\)coordinate is allowed to vary between \(2\) and \(4\), inclusive. Some of the points which belong to \(HLS_1\) include some friendly points like: \((2,3)\) \((1,3)\) \((0,3)\) \((1,3)\) \((2,3)\) \((3,3)\) and \((4,3)\) However, \(HLS_1\) also contains the points \((0.829, 3)\) \(\left(\frac{5}{6}, 3\right)\) \(( \sqrt{\pi}, 3)\) and so on. It is impossible\footnote{Really impossible. The interested reader is encouraged to research \href{http://en.wikipedia.org/wiki/Countab...f{countable}}} versus \href{http://en.wikipedia.org/wiki/Uncount...uncountable}}} sets.} to list all of these points, which is why the variable \(x\) is used. Plotting several friendly representative points should convince you that \(HLS_1\) describes the horizontal line segment from the point \((2,3)\) up to and including the point \((4,3)\).
3. \( HLS_2 \) is hauntingly similar to \(HLS_1\) In fact, the only difference between the two is that instead of \(2 \leq x \leq 4\)we have \(2 \leq x < 4\) This means that we still get a horizontal line segment which includes \((2,3)\) and extends to \((4,3)\) but we do not include \((4,3)\) because of the strict inequality \(x < 4\) How do we denote this on our graph? It is a common mistake to make the graph start at \((2,3)\) end at \((3,3)\) as pictured below on the left. The problem with this graph is that we are forgetting about the points like \((3.1, 3)\) \((3.5, 3)\) \((3.9, 3)\) \((3.99, 3)\) and so forth. There is no real number that comes `immediately before' \(4\) so to describe the set of points we want, we draw the horizontal line segment starting at \((2,3)\) and draw an open circle at \((4,3)\) as depicted below on the right.
4. Next, we come to the relation \(V\) described as the set of points \((3,y)\) such that \(y\) is a real number. All of these points have an \(x\)coordinate of \(3\) but the \(y\)coordinate is free to be whatever it wants to be, without restriction.\footnote{We'll revisit the concept of a `free variable' in Section 8.1 .} Plotting a few `friendly' points of \(V\) should convince you that all the points of \(V\) lie on the vertical line\footnote{Don't worry, we'll be refreshing your memory about vertical and horizontal lines in just a moment!} \(x = 3\) Since there is no restriction on the \(y\)coordinate, we put arrows on the end of the portion of the line we draw to indicate it extends indefinitely in both directions. The graph of \(V\) is below on the left.
5. Though written slightly differently, the relation \(H = \{ (x,y) \,  \, y = 2 \}\) is similar to the relation \(V\) above in that only one of the coordinates, in this case the \(y\)coordinate, is specified, leaving \(x\) to be `free'. Plotting some representative points gives us the horizontal line \(y=2\)
6. For our last example, we turn to \(R = \{ (x,y) \,  \, 1 < y \leq 3 \}\) As in the previous example, \(x\) is free to be whatever it likes. The value of \(y\), on the other hand, while not completely free, is permitted to roam between \(1\) and \(3\) excluding \(1\) but including \(3\) After plotting some \footnote{The word `some' is a relative term. It may take \(5\) \(10\) or \(50\) points until you see the pattern.} friendly elements of \(R\), it should become clear that \(R\) consists of the region between the horizontal lines \(y = 1\) and \(y = 3\) Since \(R\) requires that the \(y\)coordinates be greater than \(1\) but not equal to \(1\) we dash the line \(y = 1\) to indicate that those points do not belong to \(R\).
The relations \(V\) and \(H\) in the previous example lead us to our final way to describe relations: \index{relation ! algebraic description} \( \textbf{algebraically}\). We can more succinctly describe the points in \(V\) as those points which satisfy the equation \(x = 3\) Most likely, you have seen equations like this before. Depending on the context, \(x = 3\)could mean we have solved an equation for \(x\) and arrived at the solution \(x=3\) In this case, however, \(x = 3\)describes a set of points in the plane whose \(x\)coordinate is \(3\) Similarly, the relation \(H\) above can be described by the equation \(y = 2\) At some point in your mathematical upbringing, you probably learned the following.
Equations of Vertical and Horizontal Lines
 The graph of the equation \(x=a\) is a \( \textbf{vertical line}\) through \((a,0)\)
 The graph of the equation \(y=b\) is a \( \textbf{horizontal line}\) through \((0,b)\)
Given that the very simple equations \(x = a\) and \(y = b\) produced lines, it's natural to wonder what shapes other equations might yield. Thus our next objective is to study the graphs of equations in a more general setting as we continue to unite Algebra and Geometry.
Graphs of Equations
In this section, we delve more deeply into the connection between Algebra and Geometry by focusing on graphing relations described by equations. The main idea of this section is the following.
The Fundamental Graphing Principle
The graph of an equation is the set of points which satisfy the equation. That is, a point \( x,y\) is on the graph of an equation if and only if \(x\) and \(y\) satisfy the equation.
Here, `\(x\) and \(y\) satisfy the equation' means `\(x\) and \(y\) make the equation true'. It is at this point that we gain some insight into the word `relation'. If the equation to be graphed contains both \(x\) and \(y\), then the equation itself is what is relating the two variables. More specifically, in the next two examples, we consider the graph of the equation \(x^2+y^3=1\) Even though it is not specifically spelled out, what we are doing is graphing the relation \(R = \{ (x,y) \,  \, x^2+y^3 = 1\}\) The points \( x,y\) we graph belong to the \(\textit{relation}\) \(R\) and are necessarily \(\textit{related} \) by the equation \(x^2+y^3 = 1\) since it is those pairs of \(x\) and \(y\) which make the equation true.
Example \(\PageIndex{2}\):
Determine whether or not \((2,1)\) is on the graph of \(x^2 + y^3 = 1\)
\( {\bf Solution.} \) We substitute \(x=2\) and \(y=1\) into the equation to see if the equation is satisfied.
\[ \begin{array}{rclr} (2)^2+(1)^3 & \stackrel{?}{=} & 1 & \\3 & \neq & 1 & \\ \end{array} \]
Hence, \((2,1)\) is \( \textbf{not}\) on the graph of \(x^2 + y^3 = 1\) \( \Box \)
We could spend hours randomly guessing and checking to see if points are on the graph of the equation. A more systematic approach is outlined in the following example.
Example \(\PageIndex{3}\):
Graph \(x^2 + y^3 = 1\)
\( {\bf Solution.} \) To efficiently generate points on the graph of this equation, we first solve for \(y\)
\[ \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} \]
We now substitute a value in for \(x\), determine the corresponding value \(y\), and plot the resulting point \((x,y)\) For example, substituting \(x=3\) into the equation yields
\[y = \sqrt[3]{1  x^2} = \sqrt[3]{1  (3)^2} = \sqrt[3]{8} =  2,\]
so the point \((3, 2)\) is on the graph. Continuing in this manner, we generate a table of points which are on the graph of the equation. These points are then plotted in the plane as shown below.
Remember, these points constitute only a small sampling of the points on the graph of this equation. To get a better idea of the shape of the graph, we could plot more points until we feel comfortable `connecting the dots'. Doing so would result in a curve similar to the one pictured below on the far left.
Don't worry if you don't get all of the little bends and curves just right \(\) Calculus is where the art of precise graphing takes center stage. For now, we will settle with our naive `plug and plot' approach to graphing. If you feel like all of this tedious computation and plotting is beneath you, then you can reach for a graphing calculator, input the formula as shown above, and graph. \( \Box \)
Of all of the points on the graph of an equation, the places where the graph crosses or touches the axes hold special significance. These are called the \( \textbf{intercepts} \) of the graph. Intercepts come in two distinct varieties: \(x\)intercepts and \(y\)intercepts. They are defined below.
Definition 1.5
Suppose the graph of an equation is given.
 A point on a graph which is also on the \(x\)axis is called an \(x \bf{intercept}\) of the graph.
 A point on a graph which is also on the \(y\)axis is called an \( y \bf{intercept}\) of the graph.
In our previous example the graph had two \(x\)intercepts, \((1,0)\) and \((1,0)\) and one \(y\)intercept, \((0,1)\) The graph of an equation can have any number of intercepts, including none at all! Since \(x\)intercepts lie on the \(x\)axis, we can find them by setting \(y = 0\) in the equation. Similarly, since \(y\)intercepts lie on the \(y\)axis, we can find them by setting \(x = 0\) in the equation. Keep in mind, intercepts are points and therefore must be written as ordered pairs. To summarize,
Finding the Intercepts of the Graph of an Equation
Given an equation involving \(x\) and \(y\), we find the intercepts of the graph as follows:

\( x\)intercepts have the form \((x,0)\); set \(y = 0\) in the equation and solve for \(x\).

\( y\)intercepts have the form \((0,y)\); set \(x = 0\) in the equation and solve for \(y\).
Another fact which you may have noticed about the graph in the previous example is that it seems to be symmetric about the \(y\)axis. To actually prove this analytically, we assume \( x,y\) is a generic point on the graph of the equation. That is, we assume \(x^2 + y^3 = 1\) is true. As we learned in Section 1.1, the point symmetric to \( x,y\) about the \(y\)axis is \((x,y)\) To show that the graph is symmetric about the \(y\)axis, we need to show that \((x,y)\) satisfies the equation \(x^2 + y^3 = 1\) too. Substituting \((x,y)\) into the equation gives
\[ \begin{array}{rclr} (x)^2+(y)^3 & \stackrel{?}{=} & 1 & \\ x^2 + y^3 & \stackrel{\checkmark}{=} & 1 & \\ \end{array} \]
Since we are assuming the original equation \(x^2 + y^3 = 1\) is true, we have shown that \(x, y)\) satisfies the equation (since it leads to a true result) and hence is on the graph. In this way, we can check whether the graph of a given equation possesses any of the symmetries discussed in Section 1.1. We summarize the procedure in the following result.
Testing the Graph of an Equation for Symmetry
To test the graph of an equation for symmetry
 about the \(y\)axis  substitute \((x,y)\) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the \(y\)axis.

about the \(x\)axis  substitute \((x,y)\) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the \(x\)axis.

about the origin  substitute \((x,y)\) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the origin.
Intercepts and symmetry are two tools which can help us sketch the graph of an equation analytically, as demonstrated in the next example.
Example \(\PageIndex{4}\):
Find the \(x\) and \(y\)intercepts (if any) of the graph of \((x2)^2 + y^2 = 1\) Test for symmetry. Plot additional points as needed to complete the graph.
\( {\bf Solution.} \) To look for \(x\)intercepts, we set \(y=0\) and solve
\[ \begin{array}{rclr} (x2)^2 + y^2 & = & 1 & \\ (x2)^2 + 0^2 & = & 1 & \\ (x2)^2 & = & 1 & \\ \sqrt{(x2)^2} & = & \sqrt{1} & \mbox{extract square roots}\\ x  2 & = & \pm 1 & \\ x & = & 2 \pm 1 & \\ x & = & 3, 1 & \\ \end{array} \]
We get two answers for \(x\) which correspond to two \(x\)intercepts: \((1,0)\) and \((3,0)\) Turning our attention to \(y\)intercepts, we set \(x=0\) and solve
\[ \begin{array}{rclr} (x2)^2 + y^2 & = & 1 & \\ (02)^2 + y^2 & = & 1 & \\ 4 + y^2 & = & 1 & \\ y^2 & = & 3 & \\ \end{array} \]
Since there is no real number which squares to a negative number (Do you remember why?), we are forced to conclude that the graph has no \(y\)intercepts.
Plotting the data we have so far, we get
Moving along to symmetry, we can immediately dismiss the possibility that the graph is symmetric about the \(y\)axis or the origin. If the graph possessed either of these symmetries, then the fact that \((1,0)\) is on the graph would mean \((1,0)\) would have to be on the graph. (Why?) Since \((1,0)\) would be another \(x\)intercept (and we've found all of these), the graph can't have \(y\)axis or origin symmetry. The only symmetry left to test is symmetry about the \(x\)axis. To that end, we substitute \((x,y)\) into the equation and simplify
\[ \begin{array}{rclr} (x2)^2 + y^2 & = & 1 & \\ (x2)^2 + (y)^2 & \stackrel{?}{=} & 1 & \\ (x2)^2 + y^2 & \stackrel{\checkmark}{=} & 1 & \\ \end{array} \]
Since we have obtained our original equation, we know the graph is symmetric about the \(x\)axis. This means we can cut our `plug and plot' time in half: whatever happens below the \(x\)axis is reflected above the \(x\)axis, and viceversa. Proceeding as we did in the previous example, we obtain
\( \Box \)
A couple of remarks are in order. First, it is entirely possible to choose a value for \(x\) which does not correspond to a point on the graph. For example, in the previous example, if we solve for \(y\) as is our custom, we get
\[y = \pm \sqrt{1(x2)^2}.\]
Upon substituting \(x=0\) into the equation, we would obtain
\[y = \pm \sqrt{1  (02)^2} = \pm \sqrt{1  4} = \pm \sqrt{3},\]
which is not a real number. This means there are no points on the graph with an \(x\)coordinate of \(0\) When this happens, we move on and try another point. This is another drawback of the `plugandplot' approach to graphing equations. Luckily, we will devote much of the remainder of this book to developing techniques which allow us to graph entire families of equations quickly.\footnote{Without the use of a calculator, if you can believe it!} Second, it is instructive to show what would have happened had we tested the equation in the last example for symmetry about the \(y\)axis. Substituting \((x,y)\) into the equation yields
\[ \begin{array}{rclr} (x2)^2 + y^2 & = & 1 & \\ (x2)^2 + y^2 & \stackrel{?}{=} & 1 & \\ ((1)(x+2))^2 + y^2 & \stackrel{?}{=} & 1 & \\ (x+2)^2 + y^2 & \stackrel{?}{=} & 1. & \\ \end{array} \]
This last equation does not appear to be equivalent to our original equation. However, to actually prove that the graph is not symmetric about the \(y\)axis, we need to find a point \( (x,y)\) on the graph whose reflection \((x,y)\) is not. Our \(x\)intercept \((1,0)\) fits this bill nicely, since if we substitute \((1,0)\) into the equation we get
\[ \begin{array}{rclr} (x2)^2+y^2 & \stackrel{?}{=} & 1 & \\ (12)^2 + 0^2 & \neq & 1 & \\ 9 & \neq & 1. & \end{array} \]
This proves that \((1,0)\) is not on the graph.
Contributors
 Carl Stitz, Ph.D. (Lakeland Community College) and Jeff Zeager, Ph.D. (Lorain County Community College)