Introduction
Functions are the boring foundational language of all of mathematics. Every time you write , describe a sequence, or model a physical process, you are implicitly working with a function. In competition math, functions appear everywhere: from AMC problems that ask for the range of a composite expression, to AIME problems that construct elaborate functional equations and ask you to evaluate .
The after on the left side indicates that we are putting into the function . When speaking, is read "f of x." The in the equation is a variable, which means that it is essentially a placeholder. When we put a specific number in our function, we replace with that number in the equation to determine what the machine outputs.
For example,
The of a function consists of all the values we are able to input to the function and get an output, and the of the function consists of all the values at can possibly come out of the function.
Taking f(x) = 1/(x - 9). The denominator cannot be zero, so x ≠ 9. Thus the domain of f is all real numbers except 9.
The function 1/y has range (-∞, 0) ∪ (0, ∞). Hence the range of f(x) = 1/(x - 9) is (-∞, 0) ∪ (0, ∞).
Note: We call a function that can only output real numbers a real-valued function, or, a real function.
Here are some definitions:
Function: A function from a set to a set is a rule that assigns to each element exactly one element . The key word is exactly one, a function cannot give two different outputs for the same input.
Domain: The set of all inputs for which the function is defined. If no domain is specified, assume it is the largest subset of for which makes sense.
Codomain: The set that outputs are declared to land in. Not every element of need actually be achieved.
Range (Image): The set of all values actually takes as ranges over the domain. The range is always a subset of the codomain.
The distinction between codomain and range trips people up. If is defined by , the codomain is but the range is .
Is It Even a Function? The Validity Test
Not every rule or curve defines a function. Before you can even talk about domain and range, you need to check whether it's a function at all !!!
Numerical / Algebraic Test
A rule is a function if every input produces at most one output. If you can find a single that maps to two different values, it fails.
Example: Is a function of ?
For , we get and . Two outputs for one input, so, not a function. However, (taking only the positive root) is a function of x .
Example: Is a function on all of ?
At , the expression is , which is undefined. So is not defined on all of ; its natural domain excludes .
Graphical Test: The Vertical Line Test
A curve in the -plane is the graph of a function if and only if every vertical line intersects the curve in at most one point.
Why? A vertical line hits the graph at every point where . If there are two such points, and with , then has two outputs, which violates the definition of a function.
Here are some examples to understand this concept.
- Circle : fails since the vertical line hits at and .
- Parabola : passes since each vertical line hits at exactly one point.
- The upper semicircle : passes since taking only positive removes the ambiguity of double roots.
Finding Domain and Range: General Strategy
Finding the domain (algebraic approach): Start with all real numbers and remove values of that cause problems:
- Denominator equal to zero (division undefined).
- Even root of a negative number (not real).
- Logarithm of a non-positive number.
- Any other specified restriction.
Finding the range (three approaches):
Method 1 : Solve for in terms of . Set , solve for , and identify which values of allow a real solution. This is the most reliable general method.
Method 2 : Graphical reasoning. Sketch the graph and read off the -values it achieves.
Method 3 : Calculus / monotonicity. If f is monotone on its domain, the range is the interval [f(left endpoint), f(right endpoint)] or similar.
For competition problems, Method 1 is usually the best.
Types of Functions: Domain and Range in Detail
Polynomial Functions
A polynomial function of degree has the form
Special cases you will see constantly:
- Linear: (degree 1)
- Quadratic: (degree 2)
- Cubic: (degree 3)
Domain: Always . Polynomials are defined for every real number (Since no denominators, no roots, no logs)
Range:
- Odd degree (linear, cubic, ...): Range is . An odd-degree polynomial goes to in one direction and in the other, so by the Intermediate Value Theorem it hits every real number.
- Even degree (quadratic, quartic, ...): The range depends on the leading coefficient and the global extremum.
- For a quadratic in vertex form: the vertex is the minimum if and the maximum if .
- For higher even degrees, find the global minimum or maximum by calculus or by completing the analysis of the leading term.
Example: Find the range of .
Complete the square: .
Since , the vertex is a minimum at . Range: .
Rational Functions
A rational function is a ratio of two polynomials:
Domain: All real numbers except the zeros of . Set , solve, and exclude those values.
Range: Set , cross-multiply to get a polynomial equation in with as a parameter, and determine which values of allow a real solution. The values that force an inconsistency (e.g., make a discriminant negative or a leading coefficient zero with no solution) are excluded.
Example: Find the domain and range of .
Domain: excluded. Domain: .
Range: Set . Then .
This is undefined when , which means is never achieved. Range: .
Competition tip: The excluded value from the range of a simple rational function is always the horizontal asymptote . Memorize this.
Vertical asymptotes occur at zeros of that are not cancelled by a zero of . If both and vanish at , factor out from both and cancel; what remains is a hole (removable discontinuity), not a vertical asymptote.
Radical Functions
A radical function involves an expression under a root:
Domain:
- Even root (): The radicand must be non-negative. Solve .
- Odd root (): Defined for all real numbers; odd roots of negative numbers are real and negative.
Range:
- Even root: Output is always (before any vertical shift). For , range starts at : .
- Odd root: Range is .
Example: Find the domain and range of .
Domain: . Domain: .
Range: At , (maximum). At , (minimum). Range: .
(Geometrically, this is the upper semicircle of radius 3.)
Example: Find the domain of .
We need both (denominator nonzero) and (under even root). Factoring: , giving or . Domain: .
Note that combining both constraints at once (strictly greater than zero) handles both automatically.
Exponential Functions
An exponential function has the form
The variable is in the exponent, not the base. ( gives a constant, which is boring.)
Domain: (Since you can raise a positive base to any real power.)
Range: Since for all and all positive , we have (if ) or (if ), and the vertical shift by then moves the asymptote:
The horizontal asymptote is always , never achieved.
Key behaviors: If , the function grows as . If , the function decays as .
Example: Range of . Here , . Range: .
Logarithmic Functions
The logarithmic function (with , ) is the inverse of . The natural log and common log are the most frequent.
Domain: The argument must be strictly positive. For , solve .
Range: (Since the logarithm achieves every real number.)
Example: Find the domain of .
Need or . Domain: .
Key log identities you will use constantly:
Absolute Value Functions
The absolute value function is
Its graph is V-shaped with vertex at the origin.
Domain: (Since absolute value is defined for all reals.)
Range: always, so for :
The vertex of is .
Solving absolute value equations: has solutions or (provided ; if , no solution). means or .
Solving absolute value inequalities:
- or
Example: Range of . Vertex at , . Range: .
Trigonometric Functions
The six trigonometric functions have the most intricate domain-range profiles, owing to their periodicity.
| Function | Domain | Range |
|---|---|---|
For transformed sinusoids :
- Amplitude: (half the height of the wave)
- Period:
- Phase shift: (horizontal shift)
- Vertical shift: (moves the midline)
- Range:
Example: Range of . Here , . Range: .
Part 2
Graphical Representation, Transformations, Composite, and Inverse Functions are continued in part 2.
Module Progress:
Join the Discord Community!
Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.
