Lesson 12 of 42 · Functions, exponentials and logarithms
Functions: notation, domain, composition and inverse
Read function notation precisely, find the domain of any formula from three rules, and compose and invert functions without mixing up the order.
About 22 minutes
In this lesson
- Evaluate expressions such as or by substituting the whole input.
- Find the domain of a formula from denominators, even roots and logarithms.
- Compose two functions in the right order and find an inverse by swapping and solving.
The idea
What a function is
A function takes each input from a set called its domain and returns exactly one output . The set of outputs actually produced is the range. "Exactly one" is the whole definition: a rule that sends the input 4 to both 2 and is not a function, which is why means only .
The letter inside the brackets is a placeholder. If , then means "square the input, then subtract three times the input". So
Every is replaced by the whole input, brackets included. Most notation errors come from replacing only part of it: writing as , or as .
Finding the domain: three rules
When a question gives only a formula, the domain is every real number for which the formula makes sense. For the formulas in this course that comes down to three restrictions:
| Expression | Requirement | Why |
|---|---|---|
| Division by zero is undefined. | ||
| (any even root) | No real number squares to a negative. | |
| or | A positive base raised to any power is positive. |
Odd roots such as impose nothing: . When a formula has several pieces, write every condition and take the values that satisfy all of them at once. Watch for combinations: an even root in a denominator needs its radicand strictly positive, because would put a zero underneath.
Simplifying a formula never enlarges its domain. equals wherever both are defined, but the first is undefined at , so its domain is and its graph is the line with one point missing. Find the domain from the formula as given, before you cancel anything.
Composition: inside first
The composition , also written , means "apply , then apply to the result". The function written nearer to acts first. In general , and the test likes to offer the other order as a wrong option.
To build as a formula, take the formula for and put the whole of , in brackets, wherever has its variable. To evaluate you do not need the formula at all: compute , then feed that number to . Doing it both ways is a quick check on your algebra.
A composition also has a domain: must be in the domain of , and must be in the domain of .
Inverse functions
The inverse undoes : if , then . It exists only when is one-to-one, meaning no two inputs share an output. on all reals is not one-to-one (), so it has no inverse there; restricted to it has the inverse .
To find an inverse from a formula:
- Write .
- Solve for in terms of .
- Rename: the result is ; swap letters to write .
The domain of is the range of , and the range of is the domain of . On a graph, and are mirror images in the line , because every point becomes .
The notation is a trap in itself: is the inverse function, not . When a question asks only for one value such as , skip the formula: solve .
Why this matters under time pressure
In multiple-choice function questions, wrong options tend to come from predictable slips: the other order of composition, a domain endpoint wrongly included, a reciprocal instead of an inverse. Before you choose, substitute one easy number into your answer and into the original; it takes seconds and catches most of these.
Worked examples
Example 1: Domain of a root over a quadratic
Find the domain of .
The square root needs , so and .
The denominator must not be zero. Factor it: , which is zero at and .
Take the values that satisfy both conditions: , but and . The endpoint allowed by the root is removed by the denominator.
Spot check: at the formula gives , defined; at it gives , defined; at the root is , undefined.
Answer
The domain is with , that is . The tempting wrong answer is , which forgets that also zeroes the denominator.
Example 2: Composing in both orders
Let and . Find and , and check both at .
For , put the whole of into : .
For , put the whole of into : .
Check by numbers: , then . The formula gives .
Check : , then . The formula gives .
Answer
and . They differ, so the order matters; writing as would drop the middle term .
Example 3: Inverse of a fraction of linear terms
Find the inverse of , , and state its domain.
Write and clear the fraction: , so .
Collect the terms on one side: , so and .
Rename the variable: . It is undefined at , which tells you that is the one value never takes.
Check with a number: , and .
Answer
, with domain (the range of ). The reciprocal is the tempting wrong answer: it is , not the inverse.
Common traps
Cancelling before finding the domain
simplifies to , but the original is undefined at . If you cancel first, you lose the restriction and may pick an option that includes . Read every condition off the formula exactly as it is written.
Composing in the wrong order
In the inner function acts first. The opposite order is almost always among the options and looks equally plausible. Say "first , then " before you substitute, and check one value numerically.
Reading as a reciprocal
is the inverse function; is written . The two agree only by accident. To find , solve .
Substituting only part of the input
With , is , not . Put the whole input in brackets every time it replaces .
Check yourself
Answer each question before you open its answer.
Question 1: A root in a denominator and a logarithm
Functions
What is the domain of ?
- A.
- B.
- C.
- D.
Show the answer
Answer: B.
Working
The root sits in a denominator, so , giving . The logarithm needs , giving . Both must hold: .
Why the other options are wrong
- A. Including makes the denominator . A root in a denominator needs its radicand strictly positive.
- C. At the logarithm would be , which is undefined: the argument of a logarithm must be strictly positive.
- D. This uses only the root and ignores the logarithm, which needs .
What carries over
List one condition for every denominator, even root and logarithm, then keep only the values that satisfy all of them.
Question 2: Which composition?
Functions
Let and . Which expression equals ?
- A.
- B.
- C.
- D.
Show the answer
Answer: C.
Working
acts first, so put into : . Check at : and ; the expression gives .
Why the other options are wrong
- A. This is : the functions were applied in the opposite order.
- B. This expands as and drops the middle term .
- D. This is the product , not the composition.
What carries over
The function nearer to acts first; check the formula with one number.
Question 3: One value of an inverse
Functions
Let for . What is ?
- A.
- B.
- C.
- D.
Show the answer
Answer: D.
Working
is the input that sends to 1. Solve : , so . Check: .
Why the other options are wrong
- A. A sign slip when collecting terms gives instead of , and that formula gives at .
- B. This is , the function itself at 1, not its inverse.
- C. This is : it reads as a reciprocal.
What carries over
For a single value of an inverse, solve instead of building the whole inverse formula.
Key points
The domain comes from three rules: denominators , even roots of something , logarithms of something .
Find the domain before simplifying; cancelling never removes a restriction.
In , acts first; the reverse order is a different function.
undoes : swap the roles of input and output and solve; it is not .
All questions here are original and written for UniExamer; none comes from the test maker.
Written by the UniExamer team with AI assistance. Every worked example and check question was re-solved by an independent checker before publication. No subject expert has reviewed this lesson yet. If you find a mistake, write to support@uniexamer.com.