v1 · padrão canônico
Lesson 41 — Formal Limit: ε-δ Definition
The ε-δ definition of limit. Cauchy 1821, Weierstrass 1872. The point where calculus becomes rigorous.
Used in: 2.º ano EM (16-17 anos) · Equiv. Math II japonês · Equiv. Klasse 11 alemã (Analysis) · A-Level Further Maths — Limits
Choose your door
Rigorous notation, full derivation, hypotheses
Rigorous definition
How to prove a limit via ε-δ
- Write in terms of .
- For arbitrary , find that makes whenever .
Model example:
. Given , choose . Then . ∎
One-sided limits
- : (right side only).
- : (left side only).
- .
Infinite limits
: .
: .
Table of the 4 quantifications
| Type | Quantification |
|---|---|
Basic properties
- Limit of a sum = sum of limits.
- Limit of a product = product of limits.
- Limit of a quotient = quotient, if denominator .
Exercise list
40 exercises · 10 with worked solution (25%)
Application 20Understanding 3Modeling 5Challenge 5Proof 7
- Ex. 41.1Application. (Ans: 7.)
- Ex. 41.2Application.
- Ex. 41.3ApplicationAnswer key. (Ans: 4.)
- Ex. 41.4Application.
- Ex. 41.5ApplicationAnswer key. (Multiply by the conjugate.)
- Ex. 41.6ApplicationAnswer key. (Ans: 3.)
- Ex. 41.7Application.
- Ex. 41.8Application.
- Ex. 41.9Application. (Ans: 2.)
- Ex. 41.10Application. (Ans: .)
- Ex. 41.11Application.
- Ex. 41.12ApplicationAnswer key.
- Ex. 41.13Application.
- Ex. 41.14ApplicationAnswer key.
- Ex. 41.15ApplicationAnswer key. (Ans: .)
- Ex. 41.16Application.
- Ex. 41.17Application. (Ans: 0.)
- Ex. 41.18Application.
- Ex. 41.19Application.
- Ex. 41.20Application. (Ans: 0.)
- Ex. 41.21ProofAnswer keyProve via ε-δ.
- Ex. 41.22ProofProve via ε-δ.
- Ex. 41.23ProofProve that does not exist.
- Ex. 41.24ProofProve that does not exist.
- Ex. 41.25ProofAnswer keyProve via ε-δ.
- Ex. 41.26ProofAnswer keyProve that the limit, if it exists, is unique.
- Ex. 41.27ProofProve the squeeze theorem.
- Ex. 41.28UnderstandingShow that if and , then .
- Ex. 41.29UnderstandingExplain why doesn't need to be defined for to exist. Give an example.
- Ex. 41.30UnderstandingConstruct a function with and . Does exist?
- Ex. 41.31ModelingIn an RC circuit, . Compute and interpret.
- Ex. 41.32ModelingInstantaneous velocity for .
- Ex. 41.33ModelingIn pharmacokinetics, . Compute .
- Ex. 41.34ModelingIn control, transfer function . Compute (DC gain).
- Ex. 41.35ModelingTaylor truncation error: . Verify for , .
- Ex. 41.36Challenge. (Ans: .)
- Ex. 41.37Challenge. (Ans: .)
- Ex. 41.38Challenge.
- Ex. 41.39Challenge.
- Ex. 41.40ChallengeAnswer keyProve via ε-δ that .
Sources
- Active Calculus — Matt Boelkins · 2024 · §1.7-1.8. Primary source.
- Calculus (Volume 1) — OpenStax · 2016 · §2.5: ε-δ.
- Basic Analysis — Jiří Lebl · 2024 · §3: rigorous limits.
- Cours d'analyse — Cauchy · 1821 · historical origin.