- truth values,
- sets,
- relations,
- ternary relations,
- etc;

- constants,
- functions,
- binary functions,
- ternary functions,
- etc.

A **truth value** is either true or false;
any statement with no variables in it should evaluate to true or false.

A **constant** is, in this class, usually just a real number.
Any expression with no variables should evaluate to a constant,
but we use one dimension to graph a constant on a number line.

A **set** is, in this class, a set of real numbers.
A statement with one variable defines a set,
such as {*x* | *x* < 2},
the set of real numbers that are less than 2.
We again use one dimension to graph a set.

A **function** is a rule
for taking one number
(the **input**, or **argument**)
and using it to calculate a number
(the **output**, or **value**).
An example is (*x* → *x* − 2),
the rule which subtracts 2 from any number.
To graph a function, we need two dimensions,
one for the input and one for the output.

A **relation**
is a set of ordered pairs instead of a set of individual numbers.
An example
is
{*x*,*y* | *x* + *y* < 2}.

We can continue with binary functions, ternary functions, etc, which take two or more numbers as inputs; and we can continue with ternary relations, quaternary relations, etc, which relate three or more numbers. But we will not actually study these in this class.

*x*∈*A*, usually pronounced ‘*x*in*A*’;*x*< 2.

*f*(*x*), usually pronounced ‘*f*of*x*’;*x*− 2.

One of the basic principles of the theory of functions is that the only information necessary to specify a function is to show how to calculate its value at any argument. Therefore, if I write

and state that this holds forf(x) =x− 2

Or we can say thatf(5) = (5) − 2 = 3.

Notice that I always put parentheses around an expression when I substitute it for a variable; in this case, it wasn't really necessary, but it's best to play it safe.f(2x+ 3) = (2x+ 3) − 2 = 2x+ 1.

- {
*x*,*y*|*y*=*f*(*x*)}.

- A graph of a relation is the graph of a function if and only if every vertical line goes through the graph at most once.

Sometimes a vertical line doesn't go through the graph at all!
This happens when *f*(*x*) is undefined.
The **domain** of *f*
is the set of all inputs where *f* is defined:

- dom
*f*= {*x*|*f*(*x*) exists}.

Go back to the course homepage.

This web page was written between 2010 and 2012 by Toby Bartels, last edited on 2012 April 5. Toby reserves no legal rights to it. The diagram was drawn with the aid of Jacques Distler's SVG editor.

The permanent URI of this web page
is
`http://tobybartels.name/MATH-1150/2012SP/functions/`

.