3.1 Function Notation, Domain, Range, and Composition
Key Takeaways
A function assigns each allowed input exactly one output; the same output may be used by more than one input.
Domain restrictions should be found before simplifying, especially with denominators, even roots, logarithms, and contextual limits.
The domain of f(g(x)) requires both g(x) to be defined and g(x) to land inside the domain of f.
Range questions require output reasoning, not just a list of visible y-values from a small table or graph.
Why Functions Matter on NT304
The official AEPA Mathematics profile places relations and functions inside the 24% Patterns, Algebra, and Functions domain, the heaviest content area on the test. This topic is not just vocabulary. Many algebra, graphing, modeling, and inverse-function questions begin with the same question: what inputs are allowed, what outputs are possible, and how does one rule feed another?
A relation is any set of input-output pairings. A function is a relation in which every input has exactly one output. Repeated outputs are allowed; repeated inputs with different outputs are not. On a graph, this is the vertical line test. In a table, it is a duplicate-input check. In a context, it asks whether one value of the independent variable determines a single dependent value.
Function notation compresses that idea. In f(3) = 11, the input is 3 and the output is 11. In f(a + 2), the whole expression a + 2 is the input. A common certification-level error is to treat f(x + h) as f(x) + h. Those are different operations. The first changes the input before the rule acts; the second changes the output after the rule acts.
Domain Before Algebra
The domain is the set of allowed inputs. The range is the set of possible outputs. Unless a problem states a context, assume the usual real-number domain and then remove values that break the rule.
| Feature | Domain check | Trap |
|---|---|---|
| Denominator | Denominator cannot equal 0 | Canceled factors may still mark holes |
| Even root | Radicand must be >= 0 | Solving the endpoint but forgetting interval direction |
| Logarithm | Argument must be > 0 | Allowing 0 because it is an endpoint in another inequality |
| Context | Inputs must make sense in the situation | Negative time, fractional people, or impossible dimensions |
Worked example: let f(x) = sqrt(x + 5) and g(x) = 3/(x - 2). To find the domain of (f o g)(x), first require g(x) to exist, so x cannot equal 2. Then require the input to f to be at least -5: 3/(x - 2) + 5 >= 0. Combining terms gives (5x - 7)/(x - 2) >= 0. The critical values are 7/5 and 2. A sign chart gives (-infinity, 7/5] union (2, infinity). That answer is stronger than simply substituting g into f because it explains both restrictions.
Composition as a Two-Gate Process
Composition means nesting: (f o g)(x) = f(g(x)). Read it right to left. First apply g; then use that output as the input to f. Domain has two gates:
- x must be in the domain of g.
- g(x) must be in the domain of f.
For example, if f(x) = 1/(x - 4) and g(x) = sqrt(x + 1), then f(g(x)) = 1/(sqrt(x + 1) - 4). The square root requires x >= -1. The denominator also cannot be 0, so sqrt(x + 1) cannot equal 4, which removes x = 15. The domain is x >= -1, x not equal to 15.
Range and Representation
Range is often harder because it asks what the rule can produce. For a graph, look vertically for the y-values reached, including whether endpoints are open or closed. For a quadratic in vertex form, the vertex gives a maximum or minimum. For a square-root function, the output starts at an endpoint and moves one direction. For a rational function, horizontal asymptotes may describe values approached but not reached.
Teacher-certification items often ask for the misconception behind a wrong student solution. If a student says the domain of sqrt(x - 6) is all real numbers because every real number has a square root on the calculator, the misconception is about real-valued functions: the input x - 6 must be nonnegative before the square root is taken. If a student says a relation fails to be a function because two inputs have the same output, the misconception is reversing the rule. Functions require one output per input, not one input per output.
Exam-Ready Habits
When a function problem is dense, annotate the representation. Mark inputs, outputs, restrictions, intercepts, and intervals before calculating. In multiple-choice form, this prevents two common misses: choosing an expression that is algebraically simplified but has lost a domain restriction, and choosing a graph that has the right shape but the wrong open endpoint.
The on-screen calculator can evaluate sample values, but it will not decide whether a value is excluded from the original rule. For AEPA-style reasoning, the explanation matters as much as the computed answer: name the restriction, show where it comes from, and connect it to the representation.
Communication and Error Analysis
For a future mathematics teacher, function language must be precise enough for a learner to follow. Say input instead of x when the representation is a table, time value, or ordered pair. Say output instead of y when the dependent variable is cost, height, or population. This helps separate the abstract function from a specific graphing convention.
When checking a student's response, ask whether the student identified the rule, the allowed inputs, and the meaning of any excluded values. A student may correctly compute f(2) but still misunderstand the domain if 2 was never allowed. Another student may give a range from a viewing window rather than from the full function. AEPA-style distractors often preserve arithmetic while breaking this reasoning step.
Which relation is a function?
{(1, 4), (1, 7), (2, 9)}
{(-3, 2), (0, 5), (-3, 2), (-3, 8)}
{(-2, 5), (0, 5), (3, 7)}
{(4, -1), (4, -1), (4, 0)}
What is the real-number domain of h(x) = sqrt(2x - 6)/(x + 1)?
x >= 3
x > -1
x >= -3 and x not equal to -1
all real numbers except x = -1
Let f(x) = 1/(x - 4) and g(x) = sqrt(x + 1). What is the domain of f(g(x))?
x > -1 only
all real x except x = 4
x >= -1 and x not equal to 4
x >= -1 and x not equal to 15
Sections you finish are checked off in the contents.