Continuity

Functions without jumps, and the theorems that guarantee roots, maxima and minima — the existence results behind bisection, optimization and interpolation.

7 topics

Topics

Continuity

ff is continuous at aa if lim⁡x→af(x)=f(a)\lim_{x\to a} f(x) = f(a): small changes in the input produce small changes in the output. Continuous on an interval means you can draw the graph without lifting the pen.

Fundamental

Discontinuities

Points where continuity fails: removable (the limit exists but disagrees with the value), jump (different one-sided limits) and essential (a one-sided limit does not exist).

Fundamental

Uniform continuity

Continuity where one δ\delta works for every point at once. On a closed bounded interval every continuous function is uniformly continuous (Heine–Cantor), which makes approximation results such as Weierstrass's theorem possible.

University

Lipschitz continuity

∣f(x)−f(y)∣≤L ∣x−y∣|f(x) - f(y)| \le L\,|x - y|: the function never changes faster than rate LL. When the gradient is LL-Lipschitz, gradient descent with step η<2/L\eta < 2/L is guaranteed to decrease the loss.

Advanced

Bolzano's theorem

If ff is continuous on [a,b][a, b] and f(a)f(a), f(b)f(b) have opposite signs, then ff has a root in (a,b)(a, b). It is the guarantee behind the bisection method.

FundamentalTheorem

Intermediate value theorem

A continuous function on [a,b][a, b] takes every value between f(a)f(a) and f(b)f(b). Apply Bolzano to f(x)−yf(x) - y.

FundamentalTheorem

Weierstrass extreme value theorem

A continuous function on a closed bounded interval attains a maximum and a minimum. Without it, "find the best solution" might have no answer.

UniversityTheorem

Where this area leads in computing

↑ ↓ to navigate · ↵ · Esc