2.2.2 · D5Functions
Question bank — Domain, codomain, range


True or false — justify
Every function has exactly one codomain.
False — the codomain is declared by us, so the same rule can be given codomain , or , or . The rule alone does not fix it; the notation does.
Every function has exactly one range once the domain and rule are fixed.
True — the range is , forced entirely by the domain and the rule. Unlike the codomain, we have no freedom to choose it.
If , then is always equal to the range.
False — (codomain) is only what we aim into; the range is what we hit. They coincide exactly when is onto.
Range Codomain is always true.
True — every actual output is by definition one of the "declared possible" outputs, so the set of actual outputs sits inside the target set. It can never spill outside.
Changing the codomain of a function changes its range.
False — the range depends only on the domain and rule. Widening the codomain of from to leaves the outputs untouched; it only changes whether the equation holds, i.e. whether the function is still onto.
Restricting the domain can never enlarge the range.
True — fewer allowed inputs means fewer possible outputs, so the range can only shrink or stay the same, never grow. Removing can never add an output.
The domain of is .
False as stated — that is a condition, not a set. The domain is the set ; the condition merely describes it.
Two functions with the same rule are automatically the same function.
False — , and , share a rule but differ in domain, so they are different functions with different ranges.
If the range equals the codomain, the function is surjective.
True — "range = codomain" is the definition of onto; there are no output slots left empty in .
Spot the error
"For I inverted to , so any is in the range."
The inversion is correct — from square both sides to get , so and — but the check is missing. The original rule only accepts (needed so ), and is itself never negative, so is squeezed to : the true range is , not . Skipping the domain check is forced because a value counts only if its preimage is actually an allowed input.
", is onto because for every we solved ."
The solution only exists (as a real number) when ; negative have no preimage, so the function misses all negatives and is not onto .
"Domain of is all reals, since and are defined everywhere."
Being defined everywhere isn't enough — the quotient is undefined where the denominator is zero. Set , giving domain .
"The range of , is because squaring gives non-negatives."
Non-negativity is only half the story; the largest input caps the output at . On this closed interval the range is .
" hits every real, so its range is ."
Inverting gives , which fails only when (division by zero, forcing a contradiction). So is unreachable and the range is .
"To find the range I just square/plug in a few values and list the outputs I got."
Sampling shows outputs that are in the range but never proves you found all of them or that gaps are truly missed. You need the existence argument: which make solvable in the domain.
"Since outputs a value, one input gives two outputs, so it's fine."
The symbol denotes the non-negative root only — a function must give exactly one output per input. Allowing would violate the definition of a function itself.
Why questions
Why do we bother distinguishing codomain from range at all?
Because "onto" (surjectivity) is precisely the statement range = codomain — without both concepts we couldn't even ask whether a function covers its target. In the mapping picture (Figure 1), onto means no output dot is left un-hit.
Why must we always check that the inverted lands back in the original domain?
Solving can produce an that is excluded from the domain (e.g. a forbidden value like ). Such a is not actually achieved, so skipping this check overstates the range.
Why can a continuous function on a closed interval have range with no gaps?
A continuous curve cannot jump — to get from a low output to a high one it must pass through every height in between (the Intermediate Value idea sketched in Figure 3: the horizontal line at any in-between height must cut the graph). So it sweeps through all values from its lowest to its highest with no value skipped.
Why does restricting the domain matter for building an inverse?
An inverse needs each output used exactly once (injectivity); restricting the domain (e.g. to ) removes the repeated outputs so the function becomes invertible. In a mapping diagram, injective means no two input arrows land on the same output dot.
Why is "domain determines the x-axis extent, range the y-axis extent" a useful graphing rule?
The graph only lives above domain values and only reaches heights in the range, so knowing both boxes the curve into a rectangle before you plot a single point.
Why isn't the codomain determined by the graph you draw?
The graph shows only the actual outputs (the range); the codomain is a separate declaration about the target set, and you can't read a chosen target off the picture.
Edge cases
What is the range of a constant function , ?
A single-element set — every input maps to , so exactly one output is ever produced, no matter how large the domain.
Can a function have an empty domain?
Yes — the "empty function" with domain trivially satisfies "each input has one output" (there are no inputs to violate it), and its range is also empty.
Can the range be empty while the codomain is non-empty?
Only if the domain is empty; otherwise at least one input produces at least one output. A non-empty domain forces a non-empty range.
For , is in the range?
No — has no solution for any real , so is the one value the codomain contains but the function never reaches.
What is the range of , (single-point domain)?
— a one-element domain gives at most a one-element range, here exactly the single output .
Is injective on the domain ?
No — , so two distinct inputs share an output; it only becomes one-to-one once you restrict to (or ).
At a domain endpoint like for , , is the output included in the range?
Yes — the interval is closed, so is a legal input and genuinely belongs to the range .
If the domain were the open interval instead, is or in the range of ?
Neither — the endpoints and are excluded as inputs, so the range becomes the open interval ; the extreme outputs are approached but never attained.