Intuition The one core idea
A function is a reliable machine: you drop in one number, it hands you back exactly one number by a fixed rule. Every "type" in this topic — constant, linear, quadratic, polynomial, rational, radical, piecewise — is just a different shape of rule , and the shape of the rule decides the shape of the picture the machine draws.
Before you can classify functions, you must be fluent in the alphabet they are written in. Below is every symbol and idea the parent note Types of Functions leans on, ordered so each one is built from the ones before it. Nothing is assumed.
Everything starts with two pictures. The figure below shows both: a flat ruler for inputs, a tall ruler for outputs, and how a single dot records one input–output pair.
In the picture, the yellow flat ruler is the input axis, the blue tall ruler is the output axis, and the pink dashed lines trace how the point ( x , y ) is located by walking right then up.
Definition The number line and
R
A number line is a straight ruler where every point is a number: negatives to the left, zero in the middle, positives to the right. The symbol R (a stylised capital R, read "the reals") means the whole line — every number you can mark on it, including fractions and endless decimals like π .
Intuition Why we need the line
A function eats a number and returns a number. To watch it work we need somewhere to put the input and somewhere to put the output — so we use two number lines crossed at a right angle. That crossing is the plane .
Definition The coordinate plane and
( x , y )
Draw a horizontal number line (the x -axis , the inputs) and a vertical one (the y -axis , the outputs) crossing at 0 . A pair ( x , y ) is an address: go x steps right if x is positive, left if x is negative , then go y steps up if y is positive, down if y is negative . (Zero means don't move along that axis at all.) That single dot is where an input and its output meet — a point on the graph.
Definition The graph of a function
The graph of f is not one dot — it is the whole collection of every point ( x , f ( x )) as x ranges over all allowed inputs. Written as a set:
{( x , f ( x )) ∣ x is an allowed input } .
Read it as "sweep x across the input axis; for each x mark the point at height f ( x ) ; the curve those dots trace out is the graph." A single plotted point is just one member of that infinite family.
x and y
x is a placeholder for the number you feed in — it can be any value, so we call it the variable . y is the number that comes out . In the picture, x lives on the flat axis, y on the tall one.
Intuition Why letters instead of numbers
We use a letter because the rule must work for every input at once. Writing "3 × x " describes what to do to whatever arrives; writing "3 × 5 " only handles the number 5.
The next figure draws the machine idea literally: an input arrow going in, the rule f in the box, an output arrow coming out.
Notice in the figure that only one output arrow leaves the box — that single-valued behaviour is what makes f a function and not just any rule.
f and f ( x )
f is the name of the rule (like naming the machine "f "). f ( x ) — read "f of x " — means "the output the machine f gives when you feed it x ." The parentheses are not multiplication; they hold the input.
→ and ↦
f : R → R reads "f takes a real number and gives back a real number." The arrow → names the type of thing in and out. The barbed arrow ↦ (in e.g. x ↦ 3 x ) shows the specific transformation of one element: "x becomes 3 x ."
f ( x ) is not "f times x "
Wrong: reading f ( x ) as f ⋅ x .
Fix: f has no numeric value of its own — it is a rule . f ( 2 ) means "run the rule on 2," not "multiply f by 2." Only when f is written out (say f ( x ) = 3 x ) do you compute.
The parent note's whole job is to say: what does the rule inside those parentheses look like? We'll meet each shape of rule below.
Definition The equals sign "
= " — two jobs
The symbol = does two different jobs. (a) "is equal to": a fact you could check, like 2 + 3 = 5 . (b) "is defined to be": a naming act, like "let f ( x ) = m x + b " — here we are inventing the rule, not checking a fact. When in doubt, ask: am I stating a fact or choosing a rule ? Some books write := for the "defined to be" job, but most (and this note) rely on context.
c
A constant is a number that never changes, written with a fixed letter like c , b , or k so we can talk about it before choosing its value. In f ( x ) = c , the rule ignores x and hands back the same c every time — the flattest possible machine.
Intuition Why a letter for a fixed number?
So one sentence covers infinitely many cases. "f ( x ) = c is a horizontal line" is true whether c is 5 , − 2 , or 299 , 792 , 458 . Pick the value later.
We must nail down "power of x " before we speak of coefficients or degree, because everything downstream is built from powers. The figure shows how different powers climb at different speeds.
Follow the three chalk curves: the blue line (x ), the yellow gentle bend (x 2 ), and the pink steep climb (x 3 ) — the bigger the exponent, the faster it shoots up.
x n
x n means multiply x by itself n times : x 2 = x ⋅ x , x 3 = x ⋅ x ⋅ x . The little raised n is the exponent (or power ); here n is a whole number ≥ 0 .
Definition The special case
x 0
x 0 = 1 for any x = 0 — an empty product is 1 . The single leftover case 0 0 is left undefined (conventionally indeterminate): "multiply 0 by itself zero times" has no honest answer, so we simply don't allow it.
Intuition Why powers matter for shape
The highest power present bends the graph the most for big inputs, because a bigger exponent grows faster. x 2 curves gently; x 3 climbs and dips; the top power is the "personality" of the curve.
A coefficient is the number multiplying a power of x . In 3 x , the coefficient is 3 ; in a x 2 , it is a . It sets how strongly that piece of x affects the output.
a n , a n − 1 , … , a 0
A subscript is a little index tag attached below a letter: a 0 , a 1 , a 2 , … They are different constants wearing numbered name-tags , one coefficient per power. The tag matches the power it multiplies: a 2 rides on x 2 , a 0 rides on x 0 = 1 (the plain constant).
Now we can assemble the pieces into the family the parent note leans on most.
A polynomial is a finite sum of terms , each a coefficient times a whole-number power of x :
a n x n + a n − 1 x n − 1 + ⋯ + a 1 x + a 0 .
No division by x , no roots of x , no negative or fractional powers — just powers stacked and added. "3 x 2 − 4 x + 7 " is a polynomial; "x 1 " and "x " are not .
n
The degree of a polynomial is its largest exponent . Degree 0 = constant, 1 = linear, 2 = quadratic, 3 = cubic. The degree caps how many times the curve can cross the x -axis and how many bends it can have.
Definition Naming whole polynomials:
p ( x ) , q ( x )
Just as f names a rule, p and q name whole polynomials so we can talk about them without writing them out. p ( x ) means "the polynomial p evaluated at x ." We'll use two names, p and q , when we want to stack one polynomial over another (next section).
The figure shows a straight line with its rise and run marked, so "slope" becomes something you can literally measure with two steps.
In the picture, the blue segment is the sideways run , the pink segment is the upward rise , and the yellow dot on the y -axis marks the intercept b .
Definition The change symbol
Δ
Δ (Greek "delta") means "the change in." Δ x = how far you moved sideways; Δ y = how far the output moved as a result. It is just (new value) − (old value) .
m = Δ x Δ y
Slope answers "for each step right, how many steps up?" It is rise over run : m = Δ x Δ y . Positive m climbs, negative m falls, zero m is flat (that's the constant function again!).
Dividing Δ y by Δ x strips out how far you walked and leaves pure steepness per single step . That single number m is what makes a line "straight" — the steepness never changes.
A root (or zero ) is an input x that makes the output 0 — where the graph touches or crosses the x -axis . Solving f ( x ) = 0 hunts for these crossing points.
y -intercept b (or c )
The y -intercept is the output when x = 0 — where the graph crosses the y -axis . For a line f ( x ) = m x + b , plugging x = 0 gives f ( 0 ) = b , so b is exactly that crossing height.
Definition The identity symbol
≡
≡ means "is identically equal to " — equal for every input, not just at one lucky value. "q ( x ) ≡ 0 " means q is the all-zeros function : it returns 0 no matter what you feed it. Contrast with plain = : "q ( x ) = 0 " might hold only at a few roots.
= and ≡
= means "is not equal to " (fails at some value); ≡ means "not identically equal " (not zero everywhere ). In a = 0 the warning is: don't let this coefficient vanish , or the type collapses (a quadratic with a = 0 is really a line). q ( x ) ≡ 0 means "q is not the all-zeros function" — it must be a genuine denominator.
Intuition Why division breaks
Dividing by zero has no answer — there is no number you can multiply by 0 to get, say, 5 . So a rational function q ( x ) p ( x ) (one polynomial p stacked over another polynomial q ) has holes and blow-ups exactly where q ( x ) = 0 . That is the seed of asymptotes , discussed under M02.03 Domain and Range .
Definition Rational function
A rational function is one polynomial divided by another:
f ( x ) = q ( x ) p ( x ) , q ( x ) ≡ 0.
Here p ( x ) and q ( x ) are polynomials (Section 6) and the denominator q must not be the all-zeros function. Its domain is every real number except the roots of q — that is, every x where q ( x ) = 0 is thrown out , because division by zero is undefined. Those excluded inputs are exactly where the graph blows up into vertical asymptotes.
Definition The radical sign
x (read "the square root of x ") asks the reverse of squaring: "what non-negative number, squared, gives x ? " So 9 = 3 because 3 2 = 9 . The hook symbol is called a radical .
n -th root n
n x asks "what number raised to the power n gives x ?" The small n in the notch is the index : 3 8 = 2 because 2 3 = 8 . A plain has an unwritten index 2 .
Intuition Why radicals have restricted inputs
For an even index (like the square root), a negative input has no real answer — nothing real, squared, is negative. So a radical function such as f ( x ) = x only accepts x ≥ 0 ; its graph starts at the origin and leans rightward. This input restriction is why radicals get their own type.
Definition A piecewise function
A piecewise function uses one big brace to glue several rules together, each with the region of x where it applies:
f ( x ) = { rule 1 rule 2 if x is here if x is there
You read it like a checklist: find which region your x falls in, then use that row's rule. Example:
f ( x ) = { − x x if x < 0 if x ≥ 0
which is just ∣ x ∣ : flip negatives up, leave the rest alone.
Intuition Why glue rules together
Some real behaviours change law partway — a taxi fare that jumps after 2 km, a tax rate that rises past a threshold. One formula can't capture the switch, so we hand different inputs to different rules.
Definition Set braces and the builder bar
∣
Curly braces { } collect the members of a set (a collection). { c } is "the set containing only c " — a constant function's range. The set-builder bar ∣ reads "such that ": { x ∣ x > 0 } means "all x such that x is positive."
Definition Interval notation
( a , b ) and [ a , b ]
An interval is a stretch of the number line between two endpoints a and b . Square bracket = endpoint included , round bracket = endpoint excluded :
[ a , b ] : from a to b , both ends in .
( a , b ) : from a to b , both ends out .
[ a , b ) : a in, b out (mixed).
We use ∞ with a round bracket always — ( 0 , ∞ ) — because infinity is never a reachable endpoint.
Definition Domain and Range
The domain is every input the machine legally accepts ; the range is every output it can produce . Pictured: domain is the shadow of the graph on the x -axis, range is its shadow on the y -axis. Full detail lives in M02.03 Domain and Range .
∞ and x → ∞
∞ is not a number — it is shorthand for "grows without bound." The arrow → here means "approaches / heads toward ." So x → ∞ reads "as x marches off to the far right forever," and x → a reads "as x creeps closer and closer to the number a ." We use these to ask what a graph does near a spot or far out at its ends.
lim
lim (short for "limit ) is the tool that asks: "as the input approaches some target, what single value does the output settle toward?" The full notation is
lim x → a f ( x ) = L ,
read "the limit, as x approaches a , of f ( x ) equals L " — meaning "when x gets arbitrarily close to a , the output f ( x ) gets arbitrarily close to the number L ." The target can be a finite number a or infinity; for example,
lim x → ∞ f ( x ) = L
says "as x runs off to the far right forever, f ( x ) settles toward L " — this is the tool for describing end behaviour and horizontal asymptotes .
limit and not just "plug in"
At a spot where the rule breaks — like a rational function's denominator hitting zero, or the "far end" at ∞ where there is no number to plug in — you cannot simply substitute. The limit lets you talk about where the output is heading even when you can't land exactly on the point. You'll formalise all of this in M03.01 Limits and use it for continuity in M03.02 Continuity .
number line R and plane x y
constant c gives constant function
coefficients a b and subscripts
slope m gives linear function
quadratic when degree is two
polynomial over polynomial gives rational
not equal and not identically zero
end behaviour and asymptotes
Each foundation is a prerequisite brick; the topic note simply stacks them into named shapes.
Cover the right side and test yourself.
What does R mean? The set of all real numbers — every point on the number line.
What is the address ( x , y ) ? Go x right (left if negative), then y up (down if negative); that dot is a graph point.
What is the graph of a function? The whole set of points ( x , f ( x )) for every allowed input — not just one dot.
Is f ( x ) "f times x"? No — it means "the output of rule f when fed x ." The parentheses hold the input.
What does the arrow in f : R → R say? f takes a real number and returns a real number.
What are the two jobs of "= "? "Is equal to" (a checkable fact) and "is defined to be" (naming/inventing a rule).
What is a constant c ? A fixed number that never changes; f ( x ) = c ignores x .
What does x n mean? Multiply x by itself n times.
What is x 0 , and what about 0 0 ? x 0 = 1 for x = 0 ; 0 0 is left undefined (indeterminate).
In a n x n , how do subscript and exponent relate? They match — the coefficient's tag equals the power it multiplies.
What is a polynomial? A finite sum of coefficients times whole-number powers of x : a n x n + ⋯ + a 0 .
What do p ( x ) and q ( x ) name? Whole polynomials, so we can stack them as p ( x ) / q ( x ) .
What is a rational function and its domain? p ( x ) / q ( x ) with q ≡ 0 ; domain is all reals except roots of q .
What is the degree of a polynomial? Its highest exponent.
What is slope m ? Rise over run, Δ y /Δ x — steepness per single step right.
What does Δ mean? "The change in" — new value minus old value.
What does ≡ mean vs = ? ≡ = equal for every input; = can hold only at some values.
Why does q ( x ) = 0 break a rational function? Division by zero is undefined, so the function blows up there.
What does x ask, and what inputs does it accept? "What non-negative number squared gives x ?"; even roots need x ≥ 0 .
How do you read a piecewise brace? Find which region your x lands in, then use that row's rule.
What is a root/zero? An input making the output 0 ; where the graph meets the x -axis.
What is the y -intercept? The output at x = 0 ; where the graph meets the y -axis.
Difference between [ a , b ] and ( a , b ) ? Square = endpoint included; round = endpoint excluded.
What does the set-builder bar ∣ mean? "Such that," as in { x ∣ x > 0 } .
What does x → ∞ describe? The behaviour of f as x grows without bound.
What does lim x → a f ( x ) = L mean? As x approaches a , the output f ( x ) settles toward the value L .
Ready? Then head back to the Types topic and watch each rule become a shape.