v1 · padrão canônico
Lesson 43 — Continuity of Functions
Continuity at a point, on an interval. Types of discontinuity. Weierstrass and Intermediate Value theorems.
Used in: 2.º ano EM · Equiv. Math II japonês §2 · Equiv. Klasse 11 alemã — Differentialrechnung Vorbereitung · Equiv. H2 Math singapurense §2.1
Choose your door
Rigorous notation, full derivation, hypotheses
Definitions and theorems
Direct ε-δ form
continuous at .
(Note: here we may have , that is, , since trivially.)
Types of discontinuity
| Type | Characterization |
|---|---|
| Removable | exists, but or undefined |
| Jump | One-sided limits exist but differ |
| Essential (infinite) | At least one one-sided is |
| Oscillatory | One-sided limits do not exist (oscillates) |
Intermediate Value Theorem (IVT)
If and is between and , then .
Weierstrass theorem (extrema)
If (closed and bounded interval), then attains a maximum and minimum on .
Uniform continuity
is uniformly continuous on if (the same for every ) such that .
Heine-Cantor: ⇒ uniformly continuous.
Operations preserving continuity
- Sum, product, quotient (denom. ).
- Composition: continuous if continuous at and at .
- , , .
Exercise list
40 exercises · 10 with worked solution (25%)
Application 25Understanding 4Modeling 7Challenge 2Proof 2
- Ex. 43.1ApplicationAnswer keycontinuous at ? (Ans: No — removable.)
- Ex. 43.2Applicationcontinuous at ? Type of discontinuity?
- Ex. 43.3Applicationcontinuous at ? And at ?
- Ex. 43.4ApplicationAnswer keyDefine such that becomes continuous. (Ans: .)
- Ex. 43.5Application— continuous at ? (Ans: No.)
- Ex. 43.6ApplicationFind such that is continuous. (Ans: .)
- Ex. 43.7ApplicationAnswer keyhas what type of discontinuity at 0? (Ans: oscillatory.)
- Ex. 43.8ApplicationShow that is discontinuous at .
- Ex. 43.9ApplicationAnswer key— where is it continuous? (Ans: .)
- Ex. 43.10Application— domain? Where is it continuous?
- Ex. 43.11Applicationextended with — continuous at 0? (Ans: Yes — squeeze.)
- Ex. 43.12Application— continuous at 0? (Ans: Yes.)
- Ex. 43.13ApplicationFind for continuous. (Family , so .)
- Ex. 43.14Application— define to be continuous.
- Ex. 43.15Application— domain? Can it be continuously extended at 0?
- Ex. 43.16ApplicationIVT: show that has a root in .
- Ex. 43.17ApplicationAnswer keyhas a root in ? Use IVT.
- Ex. 43.18ApplicationAnswer keyShow that has a solution in .
- Ex. 43.19ApplicationAnswer keyShow that has a solution in .
- Ex. 43.20ApplicationAnswer keyShow that an odd-degree polynomial has at least one real root.
- Ex. 43.21ApplicationIs there with ? Use IVT.
- Ex. 43.22Application. How many real roots? Use IVT + sign analysis.
- Ex. 43.23ApplicationShow that has a solution in .
- Ex. 43.24Applicationcontinuous on with . Is there with ? (Ans: Yes — IVT on .)
- Ex. 43.25Applicationcontinuous on with . Is there with in ?
- Ex. 43.26ModelingIn control, system with continuous transfer function on — interpret Bode plot as continuity.
- Ex. 43.27ModelingIn finance, option price is continuous in parameters (Black-Scholes Lesson). Verify for .
- Ex. 43.28ModelingPosition continuous, but velocity may have jumps (shocks). Give an example.
- Ex. 43.29ModelingIn RL, continuous policy → deterministic gradient works. Discontinuous policy → needs softmax.
- Ex. 43.30ModelingTransfer function . Where is it continuous? Poles?
- Ex. 43.31ModelingIn robotics, serial manipulator: gripper position is continuous in joints (forward kinematics). Show via composition.
- Ex. 43.32ModelingSquare signal: if even, 0 otherwise. Discontinuity points?
- Ex. 43.33UnderstandingShow that sum and product of continuous functions are continuous.
- Ex. 43.34UnderstandingAnswer keyShow that if is continuous and , there exists a neighborhood where (sign preservation).
- Ex. 43.35UnderstandingShow that is continuous if is continuous.
- Ex. 43.36UnderstandingShow that composition of continuous functions is continuous.
- Ex. 43.37ChallengeDirichlet function if , otherwise. Where is it continuous? (Ans: nowhere.)
- Ex. 43.38ChallengeAnswer keyThomae's function (continuous at the irrationals, discontinuous at the rationals). Sketch the proof.
- Ex. 43.39ProofProve IVT using completeness of (sup of the set where ).
- Ex. 43.40ProofProve Weierstrass: attains max and min. (Use bounded sequence + Bolzano-Weierstrass.)
Sources
- Active Calculus — Boelkins · 2024 · §1.9.
- Calculus (Volume 1) — OpenStax · 2016 · §2.4.
- Basic Analysis — Lebl · 2024 · §3.2-3.3.