The concept of a function

When a quantity (y) is uniquely determined by some other quantity (x) as a result of some rule or formula, then we say that (y) is a function of (x). (In other words, for each value of (x), there is at most one corresponding value of (y).)

We begin with six examples in which both (x) and (y) are real numbers:

• (y=x+2) • (y=3x^2-7) • (y=sin x) • (y=2^x) • (y=dfrac1x) • (y=log_2x).

You are watching: Is a circle on a graph a function

We draw their graphs in the usual way, with the (x)-axis horizontal and the (y)-axis vertical.

Detailed description

The first four functions are similar in that their formulas "work" for all real numbers (x). For (y=dfrac1x), we clearly need (x eq 0), and for (y=log_2x), we need (x>0). We will discuss this further in the section Domains and ranges.

What is a relation?

There are many naturally occurring formulas whose graphs are not the graphs of functions. For example:


The first graph is a circle, the second is an ellipse, the third is two straight lines, and the fourth is a hyperbola. In each example, there are values of (x) for which there are two values of (y). So these are not graphs of functions.

It turns out that the most useful concept to help describe and understand this issue is very general.


A relation on the real numbers is any subset of (mathbbR imesmathbbR). That is, a relation on the reals is a set of ordered pairs of real numbers.

Thus the four graphs above and the graphs of the six example functions are all relations on the real numbers. Indeed, the graph of any function is a relation. Formally speaking, a function is a relation such that, for each (x), there is at most one ordered pair ((x,y)).


The line (y=x) divides the number plane into three relations.

The relation (R_1 = \, (x,y) mid x=y ,\) is the line itself. Note that, for each (x), there is only one value of (y).

The relation (R_2 = {, (x,y) mid x The relation (R_3 = \, (x,y) mid x>y ,\) consists of all points strictly below the line (y=x).

Example The equation of a line (l) in the plane is given by (ax+by+c=0). This line determines, in a natural way, three relations on the reals: eginalign* R_1 &= \, (x,y) mid ax+by+c=0 , \ R_2 &= \, (x,y) mid ax+by+c0 ,. endalign*

Graphs and the vertical-line test

We have seen the graphs of several naturally described functions. A sensible question to ask, for a given graph in (mathbbR^2), is whether it is the graph of a function.

The vertical-line test gives a simple geometric test for answering this question:

If we can draw a vertical line (x=c) that cuts the graph more than once, then the graph is not the graph of a function.

Returning to the graph of (x^2+y^2=25), we see that the vertical line (x=3) meets the graph at both ((3,4)) and ((3,-4)).

Detailed description

Hence, the graph of (x^2+y^2=25) is not the graph of a function. The line (x=6) does not meet the graph at all, but this does not matter. In general: for (-5 for (c=-5) and for (c=5), the line (x=c) meets the graph when for (c5), the line (x=c) does not meet the graph.Relations which determine functionsThere is a natural way in which we can use the relation (x^2+y^2=25) to construct two functions. Solving (x^2+y^2=25) for (y) gives

The graph of the first of these functions is the "top half" of the circle, and the graph of the second is the "bottom half" of the circle.

Detailed description

Example Consider the ellipse < dfracx^216 + dfracy^29 = 1. >

Find two functions whose graphs together include all points on the ellipse.

Solution Solve for (y): eginalign* dfracx^216+dfracy^29 &= 1 \ dfracy^29 &= 1-dfracx^216 \ y^2 &= dfrac916igl(16-x^2igr) \ y &= pmdfrac34sqrt16-x^2. endalign* Hence, < y_1 = dfrac34sqrt16-x^2 quad extandquad y_2 = -dfrac34sqrt16-x^2 >

are two such functions.

See more: 150 Principle Of Design ( Balance Movement Pattern Emphasis Variety And Unity ?

Detailed description

Note that the two graphs overlap in the points ((4,0)) and ((-4,0)). This is not an issue.