|
|
| Line 1: |
Line 1: |
| [[File:Límite 01.svg|thumb|right|Whenever a point ''x'' is within δ units of ''c'', ''f''(''x'') is within ε units of ''L'']]
| | My name: Kristine Trigg<br>Age: 20 years old<br>Country: Canada<br>Home town: Alvinston <br>Postal code: N0n 1a0<br>Street: 2551 River Street<br><br>Also visit my webpage; [http://www.christensenrealty.com/uggusa.html cheap ugg boots] |
| | |
| In [[calculus]], the '''(ε, δ)-definition of limit''' ("[[epsilon]]-[[delta (letter)|delta]] definition of limit") is a formalization of the notion of [[Limit of a function|limit]]. It was first given by [[Bernard Bolzano]] in 1817, followed by a less precise form by [[Augustin-Louis Cauchy]]. The definitive modern statement was ultimately provided by [[Karl Weierstrass]].<ref name="grabiner">
| |
| {{citation
| |
| |title=Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus
| |
| |first=Judith V.
| |
| |last=Grabiner
| |
| |journal=The American Mathematical Monthly
| |
| |date=March 1983
| |
| |volume=90
| |
| |pages=185–194
| |
| |url=http://www.maa.org/pubs/Calc_articles/ma002.pdf
| |
| |archiveurl=http://www.webcitation.org/5gVUmZmxc|archivedate=2009-05-03|deadurl=no|accessdate=2009-05-01
| |
| |doi=10.2307/2975545
| |
| |issue=3
| |
| |publisher=Mathematical Association of America
| |
| |jstor=2975545}}</ref><ref>
| |
| | |
| {{citation
| |
| |first=A.-L.
| |
| |last=Cauchy
| |
| |author-link=Augustin Louis Cauchy
| |
| |title=Résumé des leçons données à l’école royale polytechnique sur le calcul infinitésimal
| |
| |place=Paris
| |
| |year=1823
| |
| |url=http://math-doc.ujf-grenoble.fr/cgi-bin/oeitem?id=OE_CAUCHY_2_4_9_0
| |
| |chapter=Septième Leçon - Valeurs de quelques expressions qui se présentent sous les formes indéterminées <math>\frac{\infty}{\infty}, \infty^0, \ldots</math> Relation qui existe entre le rapport aux différences finies et la fonction dérivée
| |
| |chapter-url=http://gallica.bnf.fr/ark:/12148/bpt6k90196z/f45n5.capture
| |
| |postscript=, [http://gallica.bnf.fr/ark:/12148/bpt6k90196z.image.f47 p. 44].
| |
| |archiveurl=http://www.webcitation.org/5gVUmywgY|archivedate=2009-05-03|deadurl=no|accessdate=2009-05-01}}. Accessed 2009-05-01.</ref>
| |
| | |
| ==History==
| |
| [[Isaac Newton]] was aware, in the context of the [[derivative]] concept, that the limit of the ratio of evanescent quantities was ''not'' itself a ratio, as when he wrote:
| |
| :Those ultimate ratios ... are not actually ratios of ultimate quantities, but limits ... which they can approach so closely that their difference is less than any given quantity...
| |
| Occasionally Newton explained limits in terms similar to the epsilon-delta definition.<ref>{{citation|title=Newton and the Notion of Limit| first1=B.|last1=Pourciau|journal=Historia Mathematica|volume=28|issue=1|year=2001}}</ref> [[Augustin-Louis Cauchy]] gave a definition of limit in terms of a more primitive notion he called a ''variable quantity''. He never gave an epsilon-delta definition of limit{{citation needed|date=November 2012}}. Some of Cauchy's proofs contain indications of the epsilon, delta method. Whether or not his foundational approach can be considered a harbinger of Weierstrass's is a subject of scholarly dispute. Grabiner feels that it is, while Schubring (2005) disagrees{{dubious|date=December 2011}}.<ref name="grabiner" />
| |
| | |
| ==Informal statement==
| |
| Let ''f'' be a [[Function (mathematics)|function]]. To say that
| |
| | |
| : <math> \lim_{x \to c}f(x) = L \, </math>
| |
| | |
| means that ''f''(''x'') can be made as close as desired to ''L'' by making the [[Dependent and independent variables#Calculus|independent variable]] ''x'' close enough, but not equal, to the value ''c''.
| |
| | |
| How close is "close enough to ''c''" depends on how close one wants to make ''f''(''x'') to ''L''. It also of course depends on which function ''f'' is and on which number ''c'' is. Therefore let the positive number ''ε'' (epsilon) be how close one wishes to make ''f''(''x'') to ''L''; strictly one wants the distance to be less than ''ε''. Further, if the positive number ''δ'' is how close one will make ''x'' to ''c'', and if the distance from ''x'' to ''c'' is less than ''δ'' (but not zero), then the distance from ''f''(''x'') to ''L'' will be less than ''ε''. Therefore ''δ'' depends on ''ε''. The limit statement means that no matter how small ''ε'' is made, ''δ'' can be made small enough.
| |
| | |
| The letters ''ε'' and ''δ'' can be understood as "error" and "distance", and in fact Cauchy used ''ε'' as an abbreviation for "error" in some of his work.<ref name="grabiner" /> In these terms, the error (''ε'') in the measurement of the value at the limit can be made as small as desired by reducing the distance (''δ'') to the limit point.
| |
| | |
| This definition also works for functions with more than one input value. In those cases, ''δ'' can be understood as the radius of a circle or sphere or higher-dimensional analogy, in the domain of the function and centered at the point where the existence of a limit is being proven, for which every point inside produces a function value less than ''ε'' away from the value of the function at the limit point.
| |
| | |
| ==Precise statement==
| |
| The <math>(\varepsilon, \delta)</math> definition of the [[limit of a function]] is as follows:<ref>{{cite book|author=Exner, George|title=Inside calculus|publisher=Springer|year=2000|isbn=978-0-387-98932-7|page=2|url=http://books.google.com/books?id=yC5PE1AqO0IC&pg=PA2}}</ref>
| |
| | |
| Let <math>f(x)</math> be a function defined on an [[open interval]] containing <math>c</math> (except possibly at <math>c</math>) and let <math>L</math> be a [[real number]]. Then we may make the statement
| |
| | |
| : <math> \lim_{x \to c} f(x) = L \, </math>
| |
| | |
| if and only if:
| |
| | |
| :If the value of <math>x</math> is within a specified <math>\delta</math> units from <math>c</math>, this implies that <math>f(x)</math> is within a specified <math>\varepsilon</math> units from <math>L</math>.
| |
| | |
| or, symbolically,
| |
| | |
| : <math> \forall \varepsilon > 0\ \exists \ \delta > 0 : \forall x\ (0 < |x - c | < \delta \ \Rightarrow \ |f(x) - L| < \varepsilon).</math>
| |
| | |
| All that the statement
| |
| | |
| : <math> 0 < | x - c | < \delta </math>
| |
| | |
| means is that <math>x</math> is within <math>\delta</math> units of <math>c</math>, since all it really states is that the magnitude of the difference between <math>x</math> and <math>c</math> is greater than <math>0</math> and no more than <math>\delta</math>. In this sense the condition term of the requirements for a limit to exist first asserts that an arbitrary <math>\delta</math> should be picked, and then the range of surrounding <math>x</math> values calculated. In exactly the same manner, the conclusion, that
| |
| | |
| :<math> |f(x) - L| < \varepsilon,</math> | |
| | |
| in plain English reduces to that <math>f(x)</math> must remain within <math>\varepsilon</math> units of <math>L</math>. In other words, in order for the limit to exist, one must be able to pick a small <math>x</math> window around <math>c</math>, and deduce that the value of the function <math>f(x)</math> must remain bounded within a certain calculable range.
| |
| | |
| ==Worked Example==
| |
| | |
| Let us prove the statement that
| |
| | |
| : <math>\lim_{x \to 5} (3x - 3) = 12.</math> | |
| | |
| This is easily shown through graphical understandings of the limit, and as such serves as a strong basis for introduction to proof. According to the formal definition above, a limit statement is correct if and only if confining <math>x</math> to <math>\delta</math> units of <math>c</math> will inevitably confine <math>f(x)</math> to <math>\varepsilon</math> units of <math>L</math>. In this specific case, this means that the statement is true if and only if confining <math>x</math> to <math>\delta</math> units of 5 will inevitably confine
| |
| | |
| :<math>3x - 3</math> | |
| | |
| to <math>\varepsilon</math> units of 12. The overall key to showing this implication is to demonstrate how <math>\delta</math> and <math>\varepsilon</math> must be related to each other such that the implication holds. Mathematically, we want to show that
| |
| | |
| :<math> 0 < | x - 5 | < \delta \ \Rightarrow \ | (3x - 3) - 12 | < \varepsilon . </math> | |
| | |
| Simplifying, factoring, and dividing 3 on the right hand side of the implication yields
| |
| | |
| :<math> | x - 5 | < \varepsilon / 3 ,</math> | |
| | |
| which looks strikingly similar in form to the left hand side now. To complete the proof, we are granted the mathematical freedom to ''choose'' a delta <math>\delta</math> such that the implication holds. A quick look at the expression
| |
| | |
| :<math> 0 < | x - 5 | < \delta \ \Rightarrow \ | x - 5 | < \varepsilon / 3 </math> | |
| | |
| encourages that one choose that
| |
| | |
| :<math> \delta = \varepsilon / 3 .</math>
| |
| | |
| Substituting back in to the above yields
| |
| | |
| :<math> 0 < | x - 5 | < \varepsilon / 3 \ \Rightarrow \ | x - 5 | < \varepsilon / 3 ,</math>
| |
| | |
| which is clearly true since the two sides are equivalent. And thus the proof is completed. Though it may seem unnecessary, the key to the proof lies in the ability of one to choose boundaries in <math>x</math>, and then conclude corresponding boundaries in <math>f(x)</math>, which in this case were related by a factor of 3, which in retrospect is entirely due to the slope of 3 in the line
| |
| | |
| :<math> y = 3x - 3 .</math>
| |
| | |
| ==Continuity==
| |
| A function ''f'' is said to be [[continuous function|continuous]] at ''c'' if it is both defined at ''c'' and its value at ''c'' equals the limit of ''f'' as ''x'' approaches ''c'':
| |
| | |
| : <math>\lim_{x\to c} f(x) = f(c).</math>
| |
| If the condition 0 < |''x'' − ''c''| is left out of the definition of limit, then requiring ''f''(''x'') to have a limit at ''c'' would be the same as requiring ''f''(''x'') to be continuous at ''c''.
| |
| | |
| ''f'' is said to be continuous on an interval ''I'' if it is continuous at every point ''c'' of ''I''.
| |
| | |
| ==Comparison with infinitesimal definition==
| |
| [[Howard Jerome Keisler|Keisler]] proved that a [[hyperreal numbers|hyperreal]] [[Non-standard calculus#Limit|definition of limit]] reduces the quantifier complexity by two quantifiers.<ref>{{citation|last1=Keisler|first1=H. Jerome|chapter=Quantifiers in limits|title=Andrzej Mostowski and foundational studies|pages=151–170|publisher=IOS, Amsterdam|year=2008|contribution-url=http://www.math.wisc.edu/~keisler/limquant7.pdf}}</ref> Namely, <math>f(x)</math> converges to a limit ''L'' as <math>x</math> tends to ''a'' if and only if for every infinitesimal ''e'', the value <math>f(x+e)</math> is infinitely close to ''L''; see [[microcontinuity]] for a related definition of continuity, essentially due to [[Augustin-Louis Cauchy|Cauchy]]. Infinitesimal calculus textbooks based on [[Abraham Robinson|Robinson]]'s approach provide definitions of continuity, derivative, and integral at standard points in terms of infinitesimals. Once notions such as continuity have been thoroughly explained via the approach using microcontinuity, the epsilon, delta approach is presented, as well. Hrbacek argues that the definitions of continuity, derivative, and integration in Robinson-style non-standard analysis must be grounded in the ε-δ method in order to cover also non-standard values of the input<ref>{{citation|last1=Hrbacek|first1=K.|editor-last=Van Den Berg|editor-first=I.|editor2-last=Neves|editor2-first=V.| chapter=Stratified Analysis?|title=The Strength of Nonstandard Analysis|publisher=Springer|year=2007}}</ref> Błaszczyk et al. argue that [[microcontinuity]] is useful in developing a transparent definition of uniform continuity, and characterize the criticism by Hrbacek as a "dubious lament".<ref>{{citation | |
| | last1 = Błaszczyk | first1 = Piotr
| |
| | author1-link =
| |
| | last2 = Katz | first2 = Mikhail
| |
| | author2-link = Mikhail Katz
| |
| | last3 = Sherry | first3 = David
| |
| | author3-link =
| |
| | arxiv = 1202.4153
| |
| | doi = 10.1007/s10699-012-9285-8
| |
| | issue =
| |
| | journal = [[Foundations of Science]]
| |
| | pages =
| |
| | title = Ten misconceptions from the history of analysis and their debunking
| |
| | volume =
| |
| | year = 2012}}</ref> Hrbacek proposes an alternative nonstandard analysis, which unlike Robinson's has many "levels" of infinitesimals, so that limits at one level can be defined in terms of infinitesimals at the next level.<ref>{{cite journal|last1=Hrbacek|first1=K.|title=Relative set theory: Internal view|journal=Journal of Logic and Analysis|year=2009|volume=1|url=http://logicandanalysis.org/index.php/jla/article/view/25/17}}</ref>
| |
| | |
| ==See also==
| |
| * [[Continuous function]]
| |
| * [[Limit of a sequence]]
| |
| * [[List of calculus topics]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==Bibliography==
| |
| *{{citation|title=Conflicts Between Generalization, Rigor, and Intuition: Number Concepts Underlying the Development of Analysis in 17th–19th Century France and Germany|first= Gert |last=Schubring|publisher=Springer|year=2005|isbn=0-387-22836-5|page=}}
| |
| | |
| {{DEFAULTSORT:E, Delta}}
| |
| [[Category:Limits (mathematics)]]
| |
| [[Category:Predicate logic]]
| |
| [[Category:Quantification]]
| |