2.2.11 · D5Functions

Question bank — Increasing and decreasing functions — intuitive definition

1,376 words6 min readBack to topic

True or false — justify

A function that is increasing on and increasing on must be increasing on all of .
False — the two pieces can jump. for but for rises on each side yet drops across , so a left point can sit above a right point.
If is strictly increasing then whenever .
True — strict increase forces distinct outputs for distinct inputs, since one of or holds and each gives a strict inequality on the outputs. This is why strictly monotone functions are one-to-one (see Inverse functions).
A constant function is both increasing and decreasing.
False — it is neither strictly increasing nor strictly decreasing, because equal outputs violate both the strict "" and strict "". It qualifies only as non-increasing and non-decreasing.
If is increasing then is decreasing.
True — negating flips every output inequality: becomes , which is exactly the decreasing condition.
is increasing on all of even though its slope is at .
True — a flat instant does not create a dip. For any we still get , so order is preserved everywhere; being "increasing" is about order, not about the slope being positive at every single point.
If and are both increasing, then is increasing.
False — products need not preserve order. On take (both increasing); their product is decreasing there.
If and are both increasing, then is increasing.
True — adding two order-preserving quantities keeps order: gives and , and summing the inequalities gives .
A strictly increasing function can still be negative-valued.
True — "increasing" describes the direction of change, not the sign of the output. is strictly increasing yet negative for all .
If is decreasing on , its inverse (where it exists) is also decreasing.
True — since a strictly decreasing is one-to-one, its inverse exists, and reflecting a downhill graph across leaves it downhill; the inverse is decreasing too.

Spot the error

"I plugged in and got , so is increasing."
The error is testing one pair. The definition requires the inequality for all pairs in the interval; a single successful pair can coexist with failures elsewhere, as shows with .
" is more increasing than ."
There is no "more increasing." Both preserve order everywhere, so both are simply increasing; the difference is steepness, which is a rate-of-change question, not a monotonicity one.
" is decreasing on ."
The claim ignores the gap at . Take : then , an increase across the gap. It is decreasing on and on separately, never as one interval — domain matters.
"Since has and , it's neither one-to-one nor monotone anywhere."
The "nowhere monotone" part is wrong. Equal outputs at and only block monotonicity on an interval containing both; on it is strictly increasing and perfectly one-to-one.
"To prove increasing I showed for the specific numbers ."
A proof needs the difference to be positive for general , not chosen numbers. Keep as symbols and show follows from .
"The graph goes up as I read it right-to-left, so the function is increasing."
Direction convention is broken. "Increasing" always means as grows (reading left to right) the height grows; reading right-to-left reverses the sense and would call a decreasing function increasing.
" is increasing because its graph never touches a horizontal line twice."
Passing the horizontal-line test only shows is one-to-one, which permits either pure rise or pure fall (or worse, a mix with a jump). One-to-one is necessary for strict monotonicity but not sufficient by itself.

Why questions

Why do we insist "for all pairs " instead of just neighbouring points?
Because monotonicity is a global-order property on the interval; a function could rise between close points yet still let a far-left point exceed a far-right one if we didn't demand every pair, so "all pairs" seals every loophole at once.
Why is a strictly increasing function automatically one-to-one?
Distinct inputs are ordered one way or the other, and each ordering forces a strict output inequality, so two different inputs can never share an output — exactly the one-to-one condition.
Why can't steepness decide whether a function is increasing?
Steepness measures how fast the output changes, but increasing only asks in which direction it changes; a barely-rising curve and a steep one are equally "increasing," so steepness is the wrong measuring stick.
Why do we always attach an interval when stating monotonicity?
Most functions change behaviour across their domain (rise here, fall there), so a bare "increasing" is ambiguous; naming the interval pins down exactly where the order-preserving claim is being made.
Why does subtracting help in proofs?
The sign of that single difference answers the whole question — positive means the right point is higher (increasing), negative means lower (decreasing) — converting a comparison into a clean sign analysis.
Why is "non-decreasing" a genuinely different idea from "increasing"?
Non-decreasing allows flat stretches where , so a staircase or constant piece qualifies; strictly increasing forbids equality, demanding a real climb between every distinct pair.

Edge cases

Is a function defined at a single point (say only ) increasing?
Vacuously — there are no two distinct points to compare, so "for all pairs " is trivially satisfied; such a function is increasing, decreasing, and constant all at once by emptiness of the condition.
On the single point where inside a rising cubic, is the function still increasing there?
Yes — an isolated zero-slope point (like at ) causes no reversal, so strict order across the interval survives; monotonicity is judged by outputs, not by the derivative at one instant.
Can a function be increasing on but undefined at and still be called increasing on that open interval?
Yes — the definition only quantifies over points in the interval, so a missing endpoint is irrelevant; -style domains work fine on open intervals as long as no gap sits inside them.
Is increasing on ?
No — it oscillates, rising on some intervals and falling on others, so it fails the all-pairs test globally; monotonicity for it must always be stated on a chosen sub-interval like .
For an increasing function on a closed interval , must the endpoints obey ?
Yes — and are themselves a valid pair with , so the definition directly forces ; the minimum sits at the left end and the maximum at the right.
Recall One-line summary to hold in memory

Monotonicity is about order of outputs, judged over every pair in a named interval — never about steepness, never from a single test, and never without specifying where.