Continuity (Layered)

2437 words
12 min read
2026-09-12
Python Week 1: the first filter for runtime behavior
Visual companion
Python
Type and operator map

Python Week 1: the first filter for runtime behavior

View
Revision summary

What this note is really saying

Short form

Layered chapter on continuity: the three-condition test, discontinuity taxonomy, IVT, question-pattern anatomy, and attempt-first checks. # Continuity > [!SUMMARY] One sitting > This chapter is designed for one focused session (roughly 45–60 minutes with the checks).

Continuity

One sitting
This chapter is designed for one focused session (roughly 45–60 minutes with the checks). By the end you will test continuity with a three-step ladder, classify every discontinuity papers ask about, apply the Intermediate Value Theorem to locate roots, and know exactly what to do next.

Where this chapter sits

Continuity is the payoff of limits: a function is continuous at a point when its limit equals its value there. Almost every evaluation technique from the Limits chapter returns here as "the function is continuous, so substitute directly". Derivatives (next chapter) are defined only where this property holds.
You need first:
  • Limits of Functions — two-sided limits, limit laws, factoring and rationalizing 00\tfrac{0}{0} forms
  • Functions and their types — reading domain, pieces, and behavior near a point
This unlocks:
  • Derivatives — Definition and Rules — differentiability implies continuity (the converse fails; that failure is examinable)
  • Definite integrals — integrability rests on continuity over closed intervals

How to read the symbols

SymbolRead it aloud asWhat it meansWorth remembering
ff is continuous at aa"f is continuous at a"the three conditions below all hold at x=ax = aa property of a point; "continuous function" means continuous at every point of its domain
Removable discontinuity"removable"limit exists but the value is missing or wrongfixable by redefining one point — hence the name
Jump discontinuity"jump"left and right limits exist but disagreethe graph leaps; no redefinition of one point can fix it
Infinite discontinuity"infinite" (verbally: "blow-up")outputs grow without bound near aawe sometimes write →∞\to \infty, but no finite limit exists
C[a,b]C[a, b]"C on a-b"the set of functions continuous at every point of [a,b][a, b]papers use this shorthand in IVT statements

Layer 1 — Intuition: the pen test, then the numbers

The folk version: a function is continuous if you can draw its graph without lifting the pen. Holes, jumps, and breaks each force a lift. The folk version becomes mathematics the moment you ask where the pen lifts and why — that is the whole chapter.
Compare what happens near x=1x = 1 for f(x)=x2−1x−1f(x) = \dfrac{x^2 - 1}{x - 1} versus near x=0x = 0 for g(x)=∣x∣xg(x) = \dfrac{\lvert x \rvert}{x}:
xx near 11f(x)f(x)xx near 00g(x)g(x)
0.90.91.91.9−0.1-0.1−1-1
0.990.991.991.99−0.01-0.01−1-1
1.011.012.012.010.010.01+1+1
1.11.12.12.10.10.1+1+1
ff trends to 22 from both sides (one hole at x=1x = 1, since f(1)f(1) is undefined) while gg sits at −1-1 on the left and +1+1 on the right (a jump at x=0x = 0). Two different failures, two different names — Section "Non-examples" below makes the taxonomy exact.
A hole is invisible on most graphs and most calculators. Continuity is decided by
values and limits, never by how smooth the picture looks.

Layer 2 — The three-condition test

ff is continuous at x=ax = a exactly when all three hold:
  1. f(a)f(a) is defined (the point is in the domain).
  2. lim⁡x→af(x)\lim_{x \to a} f(x) exists (left and right limits exist and agree).
  3. They are equal: lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a).
In one line:
f continuous at a  ⟺  lim⁡x→af(x)=f(a)f \text{ continuous at } a \iff \lim_{x \to a} f(x) = f(a)
with the understanding that writing the right-hand side already asserts the left side exists and f(a)f(a) is defined.
One-sided continuity: ff is continuous from the right at aa if lim⁡x→a+f(x)=f(a)\lim_{x \to a^+} f(x) = f(a), from the left if lim⁡x→a−f(x)=f(a)\lim_{x \to a^-} f(x) = f(a). Endpoints of closed intervals only need the inward side.
Continuity on an interval: ff is continuous on (a,b)(a, b) if it is continuous at every interior point; continuous on [a,b][a, b] if additionally continuous from the right at aa and from the left at bb.

Layer 3 — The continuity toolkit

Decision ladder (run top to bottom at every checkpoint question):
  1. Is f(a)f(a) defined? No → discontinuous (classify: hole, jump, or blow-up).
  2. Does lim⁡x→af(x)\lim_{x \to a} f(x) exist? No → jump or oscillation; discontinuous.
  3. Are they equal? No → removable discontinuity. Yes → continuous.
Combinations preserve continuity: if ff and gg are continuous at aa, so are f+gf + g, f−gf - g, f⋅gf \cdot g, f/gf / g (where g(a)≠0g(a) \neq 0), and f∘gf \circ g (where the composition is defined). This single fact is why step 3 of the ladder usually collapses to direct substitution.
Functions continuous everywhere on their domains:
FamilyWhy it never breaks
Polynomialsbuilt from xx by addition and multiplication
Rational functionsquotient rule above, except where the denominator is 00
sin⁡x\sin x, cos⁡x\cos xoscillation stays bounded and unbroken
exe^x, ln⁡x\ln x (x>0x > 0)no jumps on their domains
∣x∣\lvert x \rvert, xn\sqrt[n]{x}corners and endpoints are still continuous points
A corner (like
∣x∣\lvert x \rvert at x=0x = 0) is continuous but not differentiable there. Continuity does not imply differentiability — but differentiability always implies continuity. Papers test exactly this one-way street.

Worked anatomy

Example A — the piecewise junction (find the parameter)

Let f(x)={2x+1x<3kx−2x≥3f(x) = \begin{cases} 2x + 1 & x < 3 \\ kx - 2 & x \geq 3 \end{cases}. Find kk so ff is continuous at x=3x = 3.
StepMoveWhy it is legal
1Left limit: lim⁡x→3−(2x+1)=7\lim_{x \to 3^-} (2x + 1) = 7polynomials are continuous; substitute directly
2Value: f(3)=3k−2f(3) = 3k - 2at x=3x = 3 the second piece applies (note ≥\geq)
3Right limit: lim⁡x→3+(kx−2)=3k−2\lim_{x \to 3^+} (kx - 2) = 3k - 2linear in xx for fixed kk; substitute
4Demand 3k−2=73k - 2 = 7continuity = limit equals value (condition 3)
5k=3k = 3algebra
Check the boundary convention before step 2: had the second piece read x>3x > 3, then f(3)f(3) would be undefined and no kk could make ff continuous at 33. Papers plant exactly this variant.

Example B — classify and repair

Classify the discontinuity of f(x)=x2−4x−2f(x) = \dfrac{x^2 - 4}{x - 2} at x=2x = 2, and repair it if possible.
StepMoveWhy it is legal
1f(2)f(2) undefined (0/00/0 form)condition 1 fails → discontinuous
2lim⁡x→2(x−2)(x+2)x−2=lim⁡x→2(x+2)=4\lim_{x \to 2} \dfrac{(x-2)(x+2)}{x-2} = \lim_{x \to 2} (x + 2) = 4factor and cancel: valid for x≠2x \neq 2, and limits ignore the point itself
3Limit exists (44), value missing → removablethe taxonomy: exists-but-unequal/missing means removable
4Repair: redefine f(2)=4f(2) = 4one-point redefinition; now all three conditions hold

Non-examples: the three ways continuity fails

Failure modeSignatureExample at the pointRepairable?
Removable — limit exists, value missing or wrongholex2−4x−2\dfrac{x^2-4}{x-2} at x=2x = 2yes, redefine one point
Jump — sides exist but disagreeleap∣x∣x\dfrac{\lvert x \rvert}{x} at x=0x = 0no
Infinite — unbounded nearbyblow-up1x2\dfrac{1}{x^2} at x=0x = 0no
"The limit exists, so it is continuous." Wrong — conditions 1 and 3 still have to hold. The piecewise function with
f(2)=5f(2) = 5 but limit 33 has a perfectly good limit and is still discontinuous.
"
f(a)f(a) is defined, so it is continuous." Wrong — Example: f(x)=1x2f(x) = \dfrac{1}{x^2} is undefined at 00; but even where defined, a jump between pieces breaks conditions 2–3. Defined is necessary, not sufficient.

The Intermediate Value Theorem

If ff is continuous on the closed interval [a,b][a, b] and NN lies strictly between f(a)f(a) and f(b)f(b), then some cc in (a,b)(a, b) has f(c)=Nf(c) = N. Intuition: an unbroken curve from one height to another must cross every height in between — no teleporting.
Root-location use. Show x3−x−1=0x^3 - x - 1 = 0 has a root between 11 and 22: let f(x)=x3−x−1f(x) = x^3 - x - 1 (polynomial, hence continuous everywhere); f(1)=−1<0<1=f(2)f(1) = -1 < 0 < 1 = f(2); IVT gives c∈(1,2)c \in (1, 2) with f(c)=0f(c) = 0.
IVT needs
both hypotheses: a closed interval and continuity on it. A jump discontinuity can skip NN entirely. And the converse is false — a discontinuous function can still hit every intermediate value (continuity is sufficient, not necessary). Papers bait the converse.

Question-pattern anatomy

#PatternRecognition cueStandard attackPlanted trap
1Junction parameterpiecewise + "find kk for continuity"equate one-sided limits with the value; mind ≥\geq vs >>boundary belongs to the other piece, so f(a)f(a) is undefined and no kk works
2Removable classify + repairrational 0/00/0 at a pointfactor, cancel, limit; redefine the pointoption claiming "continuous" before repair
3Domain-gap rationaldenominator zero at aacheck limit existence first; infinite vs removablecalling a blow-up "removable"
4Direct evaluation via continuitytrig/exp/polynomial at a pointsubstitute (continuity justifies it)piecewise variant where the rule changes at aa
5IVT root existence"show a root lies in (a,b)(a, b)"evaluate signs at endpoints, cite both hypothesesopen interval, or a discontinuity inside
6Corner vs break∣⋅∣\lvert \cdot \rvert, piecewise with equal limitslimits agree →\to continuous; differentiability is the next question"not differentiable, hence discontinuous"
7Composite continuityf(g(x))f(g(x)) at a pointcontinuity of outer at g(a)g(a) plus inner at aainner limit exists but outer breaks there
8True/false on the one-way street"differentiable ⇒\Rightarrow continuous"true; converse false (∣x∣\lvert x \rvert at 00)any option asserting the converse

Attempt-first checks

1

Question 1

Type: MCQ | Marks: 1 | Topic: Junction parameter
Let f(x)={x+1x<25x=2x2−1x>2f(x) = \begin{cases} x + 1 & x < 2 \\ 5 & x = 2 \\ x^2 - 1 & x > 2 \end{cases}. Which statement is true at x=2x = 2?
MCQ
Junction parameter
3 Unit Assessment
A
ff is continuous at x=2x = 2 because f(2)f(2) is defined
B
ff is continuous at x=2x = 2 because the limit exists
C
ff is discontinuous at x=2x = 2 because the limit differs from the value
D
ff is discontinuous at x=2x = 2 because the limit does not exist
2

Question 2

Type: MCQ | Marks: 1 | Topic: Discontinuity classification
f(x)=∣x∣xf(x) = \dfrac{\lvert x \rvert}{x} at x=0x = 0 has which discontinuity?
MCQ
Discontinuity classification
3 Unit Assessment
A
Removable
B
Jump
C
Infinite
D
None — it is continuous
3

Question 3

Type: NAT | Marks: 1 | Topic: Junction parameter
Let f(x)={3x−1x<1kx=1x2+1x>1f(x) = \begin{cases} 3x - 1 & x < 1 \\ k & x = 1 \\ x^2 + 1 & x > 1 \end{cases}. Find kk making ff continuous at x=1x = 1. Enter the integer.
NAT
3 Unit Assessment
4

Question 4

Type: MCQ | Marks: 1 | Topic: IVT hypotheses
Which claim correctly uses the Intermediate Value Theorem?
MCQ
IVT hypotheses
3 Unit Assessment
A
f(x)=1xf(x) = \dfrac{1}{x} on [−1,1][-1, 1] takes every value between f(−1)f(-1) and f(1)f(1)
B
If gg is continuous on [1,2][1, 2] with g(1)<0<g(2)g(1) < 0 < g(2), some c∈(1,2)c \in (1, 2) has g(c)=0g(c) = 0
C
A function hitting every intermediate value must be continuous
D
IVT applies on the open interval (a,b)(a, b) without endpoint conditions

Recall deck (inline flashcards)

  • Three-condition test :: f(a)f(a) defined, limit exists, limit equals f(a)f(a)
  • Removable discontinuity :: limit exists but value missing or wrong; fixed by redefining one point
  • Jump discontinuity :: left and right limits exist but disagree; not repairable
  • One-sided continuity from the right :: lim⁡x→a+f(x)=f(a)\lim_{x \to a^+} f(x) = f(a)
  • Continuity on [a,b][a, b] :: continuous inside, right-continuous at aa, left-continuous at bb
  • Corner point like ∣x∣|x| at 00 :: continuous but not differentiable
  • Differentiability implies :: continuity, but the converse fails
  • IVT needs :: continuity on a closed interval plus a strictly-between value
  • IVT converse :: false; hitting intermediate values does not imply continuity
  • Repairing x2−4x−2\frac{x^2-4}{x-2} at x=2x=2 :: redefine f(2)=4f(2) = 4

Blank-page recall

Close the chapter. On a blank page, write: the three conditions, the three failure modes with one example each, the IVT statement with both hypotheses, and the junction-parameter attack order. Anything you cannot reproduce is tomorrow's first fifteen minutes.

Next action

Read Derivatives — Definition and Rules next — it reuses the limit-of-difference-quotient machinery this chapter justified. Drill the patterns above on the Quiz 3 desk (drill decks, then a timed mock). Spacing: blank-page recall tomorrow; missed checks again in three days.

Chapter provenance: authored 2026-09-12 to the layered-chapter standard (docs/roadmaps/2026-09-12-claude-content-ecosystem.md, syntax per docs/authoring/AUTHORING_COOKBOOK.md), scoped against the BSMA1001 syllabus vault and the imported 697 - Continuity.md (untouched; this file is its new sibling). Known gaps: no rendered graphs yet — numeric tables stand in until a visual earns its pixels.

Active Recall Session

Document outline

Keep your place and jump directly to a heading.

Table of contents

No note selected

Open a chapter to see its outline, backlinks, and sources here.