Domain, codomain, range: Visual walkthrough — Maths deep dive

Step 1 — What is a function, as a picture?

WHAT. A function is a rule that takes one input and gives back exactly one output. We write it $f : A \to B$ . The letter $f$ is the name of the rule. The letter $A$ (the domain) is the box of allowed inputs. The letter $B$ (the codomain) is the box we promise to land inside.

WHY. Before we can ask "which outputs actually come out?" we must be crystal clear on three separate collections: what goes in, where we aim, and where we truly land. Mixing them is the #1 mistake.

PICTURE. Two boxes with arrows between them. Left box = domain $A$ . Right box = codomain $B$ . Every dot on the left fires exactly one arrow. The arrows land on a smaller cluster inside $B$ — that shaded cluster is the range.

Notice in the figure: some dots in $B$ receive no arrow. Those are in the codomain but not in the range. That gap is the whole story.

Step 2 — Turn "range" into a yes/no question

WHAT. Pick any candidate output value $y$ sitting in the codomain. Ask one question:

Does the equation $f (x) = y$ have at least one solution $x$ inside the domain $A$ ?

If yes, then some input maps to $y$ , so $y$ is in the range. If no, then nothing maps there, and $y$ is not in the range.

WHY. "Find all the outputs" is vague and infinite. But "for this one $y$ , does a matching $x$ exist?" is a concrete, checkable question. We have converted a set-building problem into a solvability problem — one we can attack with algebra.

y \in Range (f) same thing ⟺ "there exists an input" \exists x \in A with "that outputs y " f (x) = y

Read the symbol $\exists$ as the words "there exists." It is just shorthand for "you can find at least one."

PICTURE. A horizontal line drawn across the graph at height $y$ . The question becomes purely visual: does that horizontal line touch the curve? Touch = solvable = in range. Miss = not in range.

Step 3 — Solve for $x$ : the inversion trick

WHAT. To test "does $f (x) = y$ have a solution?", we rearrange the equation to isolate $x$ on one side, getting $x = (some expression in y)$ .

WHY. Once $x$ is written in terms of $y$ , checking solvability is easy: we just ask which values of $y$ make that expression a real, allowed input. Some $y$ will produce a nonsense $x$ (like a square root of a negative, or a division by zero) — those $y$ are exactly the ones the function can never output.

Take the parent's square example $f (x) = x^{2}$ :

y = output = input squared x^{2} ⟹ x = the input that would give y \pm y

The symbol asks "what number, squared, gives this?" It is the tool that undoes squaring — which is why we reach for it here and not for, say, a logarithm: our machine squared, so we invert with a square root.

PICTURE. Reading the graph sideways: drop from a height $y$ on the vertical axis across to the curve, then down to the horizontal axis. That landing spot is $x = \pm y$ . When $y$ is negative, the horizontal line is below the whole parabola — there is nowhere to land.

Step 4 — Read off the constraint on $y$

WHAT. For $x = \pm y$ to be a real number, we need whatever sits under the root sign to be $\geq 0$ :

must not be negative y \geq 0

WHY. The square root of a negative number is not a real input — no real $x$ exists, so the horizontal line misses the parabola entirely, so that $y$ is not an output. Every $y \geq 0$ , on the other hand, does give a real $x = y$ , and plugging back gives $f (y) = y$ . So each non-negative $y$ is genuinely hit.

Range (x^{2} on R) = all y \geq 0 [0, \infty)

PICTURE. Shade the vertical axis. The green shaded stretch (from $0$ upward) is exactly the set of heights the parabola reaches; the red stretch below $0$ is heights it never touches. That green stretch is the range, and the red gap is codomain-minus-range.

Step 5 — The trap: the domain can shrink the range

WHAT. Same rule $x^{2}$ , but now restrict the domain to $g : [0, 5] \to R$ . Only inputs between $0$ and $5$ are allowed.

WHY. Step 4 said " $x$ must be real." But it must also live in the domain $A$ . On $[0, 5]$ the parabola is rising (bigger $x$ gives bigger $x^{2}$ ), so it sweeps only from its lowest point to its highest:

smallest output g (0) = 0 \leq g (x) \leq largest output g (5) = 25

Because the curve is unbroken (continuous) on a closed interval, it hits every height in between. So:

Range (g) = [0, 25]

PICTURE. Chop the parabola so only $x \in [0, 5]$ remains. The reachable heights collapse from " $0$ to $\infty$ " down to " $0$ to $25$ ." A smaller input window ⇒ a smaller output window.

Step 6 — The degenerate case: a value the machine can never reach

WHAT. Take the parent's rational rule $h (x) = \frac{x + 1}{x - 2}$ on $R ∖ {2}$ . Invert it:

y = \frac{x + 1}{x - 2} ⟹ collected all x on one side x (y - 1) = 2 y + 1 ⟹ x = \frac{2 y + 1}{y - 1}

WHY. Watch the factor $(y - 1)$ multiplying $x$ . To divide it away and solve for $x$ , we need $y - 1 \neq = 0$ . If $y = 1$ , that factor is zero, and the equation becomes $0 = 2 (1) + 1 = 3$ — a flat contradiction. No input can ever produce $y = 1$ .

Range (h) = R ∖ {1}

PICTURE. The graph is a hyperbola. It races up toward the horizontal dashed line $y = 1$ but never lands on it — that line is a boundary it approaches forever without touching. The single missing height is a hole punched in the codomain.

Step 7 — All the cases on one canvas

WHAT. Three shapes, three range-behaviours, one lesson:

Rule	Domain	Range	What the picture shows
$x^{2}$	$R$	$[0, \infty)$	half the codomain missed below $0$
$x^{2}$	$[0, 5]$	$[0, 25]$	shrunk window ⇒ shrunk range
$\frac{x + 1}{x - 2}$	$R ∖ {2}$	$R ∖ {1}$	exactly one height forever missed

WHY. The single unifying move: a height $y$ is in the range exactly when a horizontal line at $y$ crosses the graph over the allowed $x$ -window. Everything — the parabola's floor, the restricted interval's cap, the hyperbola's missing line — is just where the horizontal sweep does or doesn't hit.

PICTURE (summary). All three graphs side by side, each with its horizontal-sweep test and its range shaded on the vertical axis.

The one-picture summary

Recall Feynman retelling — say it back in plain words

A function is a machine: a box of allowed things go in (domain), and I promise the results live in some target box (codomain). But which results truly pop out (range)? To check any single result $y$ , I slide a flat horizontal ruler across the graph at height $y$ and ask: does it touch the curve, using only allowed inputs? If it touches, $y$ comes out — it's in the range. If it floats above or below the whole picture, $y$ never comes out. Algebraically, "does it touch?" becomes "can I solve $f (x) = y$ for a real, allowed $x$ ?" — so I flip the equation to get $x$ in terms of $y$ , then throw out every $y$ that would force a negative under a root, a divide-by-zero, or an $x$ outside my domain. What survives is the range. The parabola misses everything below zero; squeezing its inputs squeezes its outputs; the hyperbola misses exactly the one height it can only approach, never reach.

Quick checks

Range of

x^{2}

on all of

R

[0, \infty)

— nothing negative, everything non-negative reachable.

Range of

x^{2}

[0, 5]

[0, 25]

— the rising curve runs from

0

up to

25

Which height does

\frac{x + 1}{x - 2}

never output, and why

y = 1

, because solving forces the factor

(y - 1) = 0

, giving the contradiction

0 = 3

What visual test decides if

y

is in the range

draw a horizontal line at

y

; if it crosses the graph over the allowed domain,

y

is in the range.

Connections

Parent: Domain, codomain, range — this page derives its range algorithm visually.
Function Basics — the "one output per input" rule underlies Step 1.
Surjective Functions — onto means the range fills the whole codomain (no red gap in Step 4).
Injective Functions — one horizontal line hitting the curve once vs. twice.
Inverse Functions — Step 3's "solve for $x$ " is literally building the inverse.
Composite Functions — the range from these pictures must fit inside the next function's domain.
Graphing Functions — the whole page is the graph-reading skill in action.