4.1.7 · D5Calculus I — Limits & Derivatives

Question bank — Continuity — definition, types of discontinuity (removable, jump, infinite)

1,800 words8 min readBack to topic

See the four trap-shapes side by side before you start:

Figure — Continuity — definition, types of discontinuity (removable, jump, infinite)

True or false — justify

TF1. "If exists, then is continuous at ."
False. The limit existing only settles (Condition 2); continuity also needs that shared limit to equal the actual dot (Condition 3). A misplaced dot (limit but ) has a limit yet is discontinuous.
TF2. "If is undefined, the discontinuity must be removable."
False. is undefined at but blows up to — an infinite discontinuity (a pole). Undefined only tells you Condition 1 failed; you must still check whether the limit is finite (Condition 2).
TF3. "A jump discontinuity can be fixed by redefining one point."
False. A jump means : the left and right pieces land at different heights, so no single value can equal both. Only removable discontinuities (holes) are one-point fixable.
TF4. "If is continuous at , then equals the limit from the left."
True. Continuity forces , so in particular the left limit equals the value. Both one-sided limits equal the dot.
TF5. "A function continuous on is automatically continuous on ."
False. Continuity on the open interval says nothing about the endpoints and ; the graph could rocket to infinity or jump right at an edge. Endpoints need their own one-sided check.
TF6. "Every polynomial is continuous everywhere."
True. Polynomials are built from adding and multiplying and constants, all continuous operations, and never divide by a variable, so no holes or poles ever appear.
TF7. "If both one-sided limits are , that is a jump discontinuity because both sides agree."
False. "Both finite but unequal" is the definition of a jump; here the limits are infinite, so it is an infinite discontinuity (pole) regardless of whether the two sides match.
TF8. "A function can be continuous at exactly one point."
True. For example if is rational, if irrational, is continuous only at . Continuity is a point-by-point property, not an all-or-nothing one.
TF9. "If and are both discontinuous at , then is discontinuous at ."
False. Two jumps can cancel: if jumps up by and jumps down by at , their sum is continuous. Discontinuities can annihilate each other.

Spot the error

SE1. " has a pole at because the denominator is zero."
The numerator is also zero there: cancels. A zero denominator only gives a pole (infinite discontinuity) when the numerator does not vanish; here it's a removable hole with limit .
SE2. "For , we have ."
Wrong piece. The condition owns the boundary point, so . The formula only governs strictly, never itself.
SE3. " is discontinuous at , so it has a jump there."
The limit is from both sides, so it's not a jump (). It is undefined at only because of ; the two-sided limit exists, making it removable (a hole).
SE4. " is continuous everywhere except where the value is huge."
There is no value at at all — is undefined, not "huge". The function grows without bound near ; the point itself simply doesn't exist on the graph.
SE5. "Since equals in size, the jump size is ."
Jump size is only defined for finite one-sided limits (see the vocabulary). When a side is infinite it's an infinite discontinuity (pole), and "jump size" simply doesn't apply.
SE6. "To patch at , redefine since the original gave ."
You patch with the limit, not the indeterminate form. The limit is , so makes it continuous; would leave a hole (misplaced dot).

Why questions

WHY1. "Why does continuity need three conditions instead of just 'limit equals value'?"
Because you can't compare a limit to a value if either is missing. Conditions 1 and 2 guarantee both sides of the equation actually exist before Condition 3 checks they agree.
WHY2. "Why is a removable discontinuity called 'removable'?"
Because the graph has a two-sided limit , so the only thing wrong is one dot — redefining removes the flaw entirely and restores an unbroken curve.
WHY3. "Why can't we approach an interval endpoint from both sides?"
The function isn't defined outside the interval, so one side of the approach lands in empty space. We only demand the one-sided limit that stays inside the domain to equal .
WHY4. "Why does give from the left but from the right?"
Just below , is a tiny negative number, so its reciprocal is a huge negative; just above it's a tiny positive, giving a huge positive. The sign of the shrinking denominator flips across .
WHY5. "Why is factoring the first move for a form at a removable point?"
A limit ignores the single point itself, so we may cancel the common factor that caused . The cancelled expression reveals the height the graph approaches.
WHY6. "Why does differentiability require continuity first?"
A derivative is a limit of slopes; if the graph jumps or has a hole, the slope-limit can't settle to a single number. See Differentiability implies continuity — continuity is the price of admission.
WHY7. "Why do piecewise functions so often produce jumps?"
Different formulas govern each side of the boundary, and there's no rule forcing them to meet at the same height. Unless the pieces are deliberately matched, . See Piecewise functions.
WHY8. "Why isn't at removable, a jump, or infinite?"
As the input races through infinitely many cycles, so the graph wiggles between and forever without settling — neither nor exists, yet nothing blows up to . This is a fourth kind: an oscillatory discontinuity, non-removable and non-fixable.

Edge cases

EC1. "Is discontinuous at ?"
No. is only broken where the denominator is zero — at . At it's a perfectly ordinary continuous point with .
EC2. "If but as well, what type of discontinuity is it?"
None — all three conditions hold, so is continuous at . Matching limits plus a matching value is exactly the definition of continuity, not a defect.
EC3. "Can a function be continuous at even if is an isolated point of its domain (no other domain points nearby)?"
Yes — vacuously. The definition ranges only over domain points within of ; if the only such point is itself, the condition holds trivially. So continuity at an isolated point is automatic, not undefined.
EC4. "The graph of shoots to infinity at . Continuous or not there?"
Infinite discontinuity (pole). As , and from the right — a vertical asymptote, exactly like Vertical asymptotes and rational functions.
EC5. "A step function equals for and for . Is it continuous at ?"
Yes — near the function is constantly , so . The only discontinuity is the jump at ; away from the step it's flat and continuous.
EC6. "For redefined as , is now continuous at ?"
Yes. The limit is (see Standard limit sin(x)/x = 1) and now too, so all three conditions hold — the hole is patched.
EC7. "The Intermediate Value Theorem needs continuous on . Does one jump inside ruin it?"
Yes — a jump lets skip over intermediate values, so the guaranteed crossing can fail. IVT truly requires unbroken continuity across the whole closed interval; see Intermediate Value Theorem.
EC8. "Is (with ) removable at ?"
No. A hole is removable only if the two-sided limit exists; here the graph oscillates forever, so no limit exists — it's an oscillatory discontinuity, unfixable by any choice of .

Connections