Insights Blog
-- Browse All Articles --
Physics Articles
Math Articles
Education Articles
Bio/Chem/Tech Articles
Forums
General Math
Calculus
Differential Equations
Topology and Analysis
Linear and Abstract Algebra
Differential Geometry
Set Theory, Logic, Probability, Statistics
MATLAB, Maple, Mathematica, LaTeX
Trending
Log in
Register
What's new
General Math
Calculus
Differential Equations
Topology and Analysis
Linear and Abstract Algebra
Differential Geometry
Set Theory, Logic, Probability, Statistics
MATLAB, Maple, Mathematica, LaTeX
Menu
Log in
Register
Navigation
More options
Style variation
System
Light
Dark
Contact us
Close Menu
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Forums
Mathematics
Calculus
Explanation and clarifications in epsilon-delta limit proofs
Reply to thread
Message
[QUOTE="bamajon1974, post: 6596030, member: 527816"] [B]TL;DR:[/B] I have some questions about the details of epsilon-delta proofs. The questions are below the example and involve clarification and explanations of steps and details in the scratch work. Good afternoon. I have some questions about the details of epsilon-delta proofs. Below is a simple, non-linear limit proof example which will serve as an example of the questions I have. The questions are below the example and involve clarification and explanations of steps and details in the scratch work. Prove $$\lim_{x \to 2} x^2 =4$$ Want to show $$\forall \epsilon > 0, \exists \delta > 0 | \forall x \in \mathbb{R}, 0 < |x-2| < \delta \implies |x^2-4| < \epsilon$$ Scratch Work (to find ##\delta##) - Manipulate implication ##0 < |x-2| < \delta \implies |x^2-4| < \epsilon## to find ##\delta##. - Then ##|x^2-4| = |(x+2)(x-2)| = |x+2||x-2| < |x+2|\cdot\delta##. - What to do with ##|x+2|## term? ##\delta## cannot depend on ##x##, only ##\epsilon##. - Establish upper bound on ##|x+2|## term by making ##|x+2| < C## for some number ##C##, then any ##\delta \leq \frac{\epsilon}{C}## will work. - Choose ##\delta \leq 1##. Then ##|x-2|<1 \implies -1<x-2<1 \implies 1<x<3 \implies 3<x+2<5 \implies## ##-5<3<x+2<5 \implies |x-2|<5 ##. - Alternatively (using triangle inequality theorem), choose ##\delta \leq 1##. Then ##|x-2| < 1##. Now ##|x+2| = |x-2+4| \leq |x-2| + |4| = |x-2| + 4 < 1+4 = 5##. - Then ##|x+2|\cdot\delta = 5\cdot\delta##. - So ##\delta \leq 1## and ##\delta \leq \frac{\epsilon}{5}## at the same time. Take ##\delta = \min[1,\frac{\epsilon}{5}]##. Actual Proof Claim: $$\forall \epsilon > 0, \exists \delta > 0 | \forall x \in \mathbb{R}, 0 < |x-2| < \delta \implies |x^2-4| < \epsilon$$ Proof: - Let ##\epsilon > 0##. - Take ##\delta = \min[1,\frac{\epsilon}{5}]##. - Let ##x \in \mathbb{R}##. Assume ##0<|x-2|<\delta##. This implies ##|x-2|<\frac{\epsilon}{5}## and ##|x-2|<1##. - Hence ##|x-2|<1 \implies -1<x-2<1 \implies 1<x<3 \implies 3<x+2<5 \implies -5<3<x+2<5## ##\implies |x-2|<5 ##. - Then ##|x^2-4| = |(x+2)(x-2)| = |x+2||x-2| < (\frac{\epsilon}{5})\cdot5 = \epsilon##. - Thus ##|x^2-4| < \epsilon. \blacksquare## Questions 1. Is my scratch work and proof correct? 2. Last line of scratch work. When ##\delta## is found should it be [B]equal to[/B] or [B]less than or equal to[/B] some values? ##\delta = \min[1,\frac{\epsilon}{5}]## *OR* ##\delta \leq \min[1,\frac{\epsilon}{5}]##? 3. Scratch work. Is the phrase "getting control" of ##|x+2|## term the same as establishing an upper bound? I hear the "getting control" phrase frequently and want to confirm. 4. Is there any geometric interpretation to accompany the algebraic manipulations for the process of establishing an upper bound of ##|x+2|## term? 5. Similarly to Q4. In the graph of ##y=x^2##, for some ##\delta## around ##x=2##, the distance between ##2## and ##2-\delta## is not the same as the distance between ##2## and ##2+\delta##. So, from the scratch work, when ##\delta = \min[1,\frac{\epsilon}{5}]## and the smaller of the two values is chosen, can this geometrically be interpreted as picking the smaller ##\delta## band distance previously mentioned? Or are the two concepts unrelated? 6. Can I get some clarification establishing upper bounds in the scratch work? Is an upper bound established for the entire function, ##y=x^2## itself or is the upper bound found on just the ##|x+2|## term (since ##|x-2|## is bounded by ##\delta##)? I am pretty sure the latter but want to confirm. Also, I understand the algebra of turning ##|x-2|<1## into ##|x+2|<5##. But how does one justify using the ##|x-2|## term to come up with an upper bound for ##|x+2|## term? 7. Please refer to the webpage [URL='http://www.milefoot.com/math/calculus/limits/DeltaEpsilonProofs03.htm']Milefoot[/URL] which demonstrates epsilon-delta proofs for non-linear functions. The author(s) use a seemingly different way to find delta. How does the method for finding delta in the scratch work above differ from that in the webpage? Or why is the author of the website calculating delta in that way? Just a hunch, but in Q5, would a geometric interpretation of the unequal delta bands in a non-linear function apply to the way delta is calculated and chosen from the website instead? Thank you for your help. [/QUOTE]
Insert quotes…
Post reply
Forums
Mathematics
Calculus
Explanation and clarifications in epsilon-delta limit proofs
Back
Top