# Algebra/Functions

## Function as Box[edit | edit source]

Functions are another way of describing certain things mathematically. They are often described as a machine in a box open on two ends; you put something in one end, something happens to it in the middle, and something pops out the other end. The function is the machine inside, and it's defined by what it does to whatever you give it.

Let's say the machine has a blade that slices whatever you put into it in two and sends one half out the other end. If you put in a banana, you'd get back half a banana. If you put in an apple, you'd get back half an apple.

A good question to ask about this machine might be what happened to the other half of the piece of fruit? But, since this is algebra the things that go in and come out of functions will be numbers, so we're pretty sure the box won't fill up with numbers and break. Let's define the function to take what you give it and cut it in half, that is, divide it by two. If you put in 2, you'd get back 1. If you put in 57, you'd get back 28.5. The function machine allows us to alter expressions. Functions are typically named with a single letter. We'll call this one *h* for *half*. (There's nothing special about the letter we choose—we could just as well called this function *f*. The letter doesn't have to stand for anything.)

Now we need the notation. To put 2 into the function, we write (read *h of 2*). We know that

We can also calculate

Using algebraic notation we can describe what this machine does as:

Instead of listing all the things we can put in our machine we represent them with a variable . When we write we are saying that we sent through the machine and it was cut in half. Using this form we don't have to count the halves that come out of our machine when we put 57 apples or oranges in our machine. We know that we put 57 or anything into our machine we will only have 28.5 of those things come out the other end. When using algebraic notation to specify a relationship; we have created something called an algebraic function definition. (This example illustrates the difference between mathematics and science and engineering. Since this is an imaginary machine we only need to specify what comes out the other end of the box. In real machines we also need to think about what to do with the halves that don't come out the other end).

## Practice Problems[edit | edit source]

Use `^`

on exponents

## Function as Relation[edit | edit source]

Functions can also be thought of as a subset of **relations**. A relation is a connection between numbers in one set and numbers in another.

In other words, each number you put in is associated with each number you get out. The difference is that *in a function, every 'input' number is associated with exactly one 'output' number* whereas in a relation an 'input' number may be associated with multiple or no 'output' numbers. This is an important fact about functions.
Notice that the relation depicted by the diagram above is **not** a function because it does **not** meet this requirement, unlike the relation depicted by the second diagram below, which is a function.

All functions are relations. Not all relations are functions.

## Practice Problems[edit | edit source]

## Domain and Range[edit | edit source]

### Domain[edit | edit source]

The *domain* of a function is the set of 'input' numbers for which the function is defined. The domain is part of the definition of a function. In the function in the illustration above, the domain is {-1,1,7,1/2}.

The *natural domain* of an algebraically-defined function is the set of numbers for which the function is defined.

In most algebra formulas, *x* is usually the variable associated with Domain.

*Example*

The function has a domain of because the square root function is only defined for positive numbers (assuming that we are dealing with only real numbers).

### Range[edit | edit source]

The *range* of a function is the set of results or solutions to the equation for a given input. A true function only has one result for every Domain.

In most algebra formulas, *y* is usually the variable associated with Range. As such, it can also be expressed *f*(*x*), which says that its value is a function of *x*.

*Example*

The function has a range of because the square of a number is always positive.

### Functions in terms of Domain and Range[edit | edit source]

In taking both domain and range into account, a function is any mathematical formula that produces one and only one result for each input. Hence, it can be said that in a valid function, Domain (x) and Range (y) have a many to one correspondence so that every given Domain value has one and only one Range value as a result, but not necessarily vice versa. This makes sense since results can repeat, but inputs cannot.

As a result, if x is horizontal and y is vertical, a function in terms of y (e.g. y = mx + b) will produce a set of results such that if intersected by a vertical line at any point on the graph it will only pass through the graph once. An asymptotic function (one with at least one undefined result) would also count as valid since it did not pass through more than one point of the graph. This is called the "vertical line" test.

*The terms domain and range can be applied to all relations and not just functions. A relation is a definition where one item in the definition's domain maps to more than one item in the definition's range. We use the terms domain and range to define the difference between a function and a relation.*

## A Bit of Function Terminology[edit | edit source]

When speaking or writing about functions, different terminologies are used to describe how the functions work or what they do.

### f of x Terminology[edit | edit source]

When we write , we say *f of x*. Thus, if we have a function defined with the equation
then we say that

*g of x equals the sum of x and 2 altogether divided by 7.*

or

*g of x is x plus 2 all over 7.*

When we plug a value (say 5) into the function for x we write but we say that

*g of 5 equals 1*.

Algebraic notation is the easiest way mathematicians have to express relationships defined by arithmetic operators like exponents, and roots. Once some of these functions have been defined it is easier to refer to the function name, and to refer to the values of the function as above.

### Function "value of" Terminology[edit | edit source]

If we have a function defined with the equation
then we say that *The value of g at x is the sum of x and 2 altogether divided by 7.*
This way,

## Piecewise-defined function[edit | edit source]

A function whose definition depends on the input.

### Absolute value function[edit | edit source]

f(x)=|x|

*or*

One can interpret as the undirected distance between x and 0, (which is always non-negative). Going on, can be interpreted as the distance between the numbers x and y on the number line.

## Even and odd functions[edit | edit source]

### Even functions[edit | edit source]

An even function is defined as a function such that .

Geometrically an even function can be defined as a function that exhibits a mirror image symmetry across the y-axis (the vertical line that passes through the origin).

An example of an even function is because and because
for *all* real numbers *x*.

### Odd functions[edit | edit source]

An odd function is defined as a function such that .

Geometrically an odd function can be defined as a function that exhibits a 180 degree rotational symmetry about the origin.

An example of an *odd* function is because for all real numbers *x*,
for example

## Composite function[edit | edit source]

A composite function can be defined as the composite of the two functions and and denoted as (read h of x *is equal to* f of g of x) or .

Example:

Let ∴

Example:

Let Domain: Range:

## Inverse function[edit | edit source]

The function is the inverse of the one-to-one function if and only if the following are true:

The inverse of function is denoted as .

Geometrically is the reflection of across the line .
Conceptually, using the *box* analogy, a function's inverse box *undoes* what the function's
regular box does.

To find the inverse of a function, remember that when we use as an input to the result is . So start by writing and solve for

Example:

Suppose: Then

The Domain of an inverse function is exactly the same as the Range of the original function. If the Range of the original function is limited in some way, the inverse of a function will require a restricted domain.

Example:

The Range of is . So the Domain of is .

### One-to-one function[edit | edit source]

A function that for every input there exists an output unique to that input.

Equivalently, we may say that a function is called *one-to-one* if for all
implies that where *A* is the domain set of *f* and
both *x* and *x'* are members of that set.

**Horizontal Line Test**

If no horizontal line intersects the graph of a function in more than one place then the function is a one-to-one function.

## Creating Functions[edit | edit source]

In the previous chapter we reviewed what you've already learned about mathematics: Numbers, Variables, and Relationships. We reviewed the types of numbers, the operations you can perform on numbers, the properties of these operations, and how these properties can allow you to write expressions, or if we know about enough the constraints on the expressions you can write equations and inequalities that define things that are true.

In the section above we've looked at the concept of a function. First we showed how to created equations with a function on one side of the equals operator and an expression on the other. Then we looked at more complicated ways to use function notation.

Once you get used to them functions give you a different way to look at math. When you think about math with numbers you are thinking about just one answer. When you think about math with functions you are looking for relationships and you are building mathematical models.

Give an example of a 3 X 3 square with a diagonal. What is the area of one of the triangles from the diagonal. Apply the Area function: l X w, and then the half function.