(ε, δ)-definition of limit

Short description: Mathematical definition of a limit

Whenever a point x is within δ units of c, f(x) is within ε units of L

In calculus, the (ε, δ)-definition of limit ("epsilon–delta definition of limit") is a formalization of the notion of limit. The concept is due to Augustin-Louis Cauchy, who never gave a formal ( $ε$ , $δ$ ) definition of limit in his Cours d'Analyse, but occasionally used $ε$ , $δ$ arguments in proofs. It was first given as a formal definition by Bernard Bolzano in 1817, and the definitive modern statement was ultimately provided by Karl Weierstrass.^[1]^[2] It provides rigor to the following informal notion: the dependent expression $f (x)$ approaches the value $L$ as the variable $x$ approaches the value $c$ if $f (x)$ can be made as close as desired to $L$ by taking $x$ sufficiently close to $c$ .

History

Although the Greeks examined limiting processes, such as the Babylonian method, they probably had no concept similar to the modern limit.^[3] The need for the concept of a limit arose in the 1600s, when Pierre de Fermat attempted to find the slope of the tangent line at a point [math]\displaystyle{ x }[/math] to the graph of a function such as [math]\displaystyle{ f(x)=x^2 }[/math]. Using a non-zero but almost zero quantity [math]\displaystyle{ E }[/math], Fermat performed the following calculation:

[math]\displaystyle{ \begin{align} \text{slope} & = \frac{f(x+E)-f(x)}{E} \\ & = \frac{(x+E)^2-x^2}{E}\\ & = \frac{x^2+2xE+E^2-x^2}{E} \\ & = \frac{2xE+E^2}{E} = 2x+E = 2x. \end{align} }[/math]

The key to the above calculation is that since [math]\displaystyle{ E }[/math] is non-zero, one can divide [math]\displaystyle{ f(x+E)-f(x) }[/math] by [math]\displaystyle{ E }[/math], but since [math]\displaystyle{ E }[/math] is close to 0, [math]\displaystyle{ 2x+E }[/math] is essentially [math]\displaystyle{ 2x }[/math].^[4] Quantities such as [math]\displaystyle{ E }[/math] are called infinitesimals. The problem with this calculation is that mathematicians of the era were unable to rigorously define a quantity with properties of [math]\displaystyle{ E }[/math],^[5] even though it was common practice to 'neglect' higher power infinitesimals and this seemed to yield correct results.

This problem reappeared later in the 1600s at the center of the development of calculus, where calculations such as Fermat's are important to the calculation of derivatives. Isaac Newton first developed calculus via an infinitesimal quantity called a fluxion. He developed them in reference to the idea of an "infinitely small moment in time..."^[6] However, Newton later rejected fluxions in favor of a theory of ratios that is close to the modern [math]\displaystyle{ \varepsilon\text{–}\delta }[/math] definition of the limit.^[6] Moreover, Newton was aware that the limit of the ratio of vanishing quantities was not itself a ratio, as 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...

Additionally, Newton occasionally explained limits in terms similar to the epsilon–delta definition.^[7] Gottfried Wilhelm Leibniz developed an infinitesimal of his own and tried to provide it with a rigorous footing, but it was still greeted with unease by some mathematicians and philosophers.^[6]

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 (Grabiner 1981). 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 – discuss]}^[1] Nakane concludes that Cauchy and Weierstrass gave the same name to different notions of limit.^[8]^{[unreliable source?]}

Eventually, Weierstrass and Bolzano are credited with providing a rigorous footing for calculus, in the form of the modern [math]\displaystyle{ \varepsilon\text{–}\delta }[/math] definition of the limit.^[1]^[2] The need for reference to an infinitesimal [math]\displaystyle{ E }[/math] was then removed,^[6] and Fermat's computation turned into the computation of the following limit:

[math]\displaystyle{ \lim_{h\to 0} \frac{f(x+h)-f(x)}{h}. }[/math]

This is not to say that the limiting definition was free of problems as, although it removed the need for infinitesimals, it did require the construction of the real numbers by Richard Dedekind.^[6] This is also not to say that infinitesimals have no place in modern mathematics, as later mathematicians were able to rigorously create infinitesimal quantities as part of the hyperreal number or surreal number systems. Moreover, it is possible to rigorously develop calculus with these quantities and they have other mathematical uses.^[9]

Informal statement

A viable informal (that is, intuitive or provisional) definition is that a "function $f$ approaches the limit $L$ near $a$ (symbolically, [math]\displaystyle{ \lim_{x \to a}f(x) = L }[/math]) if we can make $f (x)$ as close as we like to $L$ by requiring that $x$ be sufficiently close to, but unequal to, $a$ ."^[10]

When we say that two things are close (such as $f (x)$ and $L$ or $x$ and $a$ ), we mean that the difference (or distance) between them is small. When $f (x)$ , $L$ , $x$ , and $a$ are real numbers, the difference/distance between two numbers is the absolute value of the difference of the two. Thus, when we say $f (x)$ is close to $L$ , we mean that $| f (x) - L |$ is small. When we say that $x$ and $a$ are close, we mean that $| x - a |$ is small.^[11]

When we say that we can make $f (x)$ as close as we like to $L$ , we mean that for all non-zero distances, $ε$ , we can make the distance between $f (x)$ and $L$ smaller than $ε$ .^[11]

When we say that we can make $f (x)$ as close as we like to $L$ by requiring that $x$ be sufficiently close to, but, unequal to, $a$ , we mean that for every non-zero distance $ε$ , there is some non-zero distance $δ$ such that if the distance between $x$ and $a$ is less than $δ$ then the distance between $f (x)$ and $L$ is smaller than $ε$ .^[11]

The informal/intuitive aspect to be grasped here is that the definition requires the following internal conversation (which is typically paraphrased by such language as "your enemy/adversary attacks you with an $ε$ , and you defend/protect yourself with a $δ$ "): One is provided with any challenge $ε > 0$ for a given $f$ , $a$ , and $L$ . One must answer with a $δ > 0$ such that $0 < | x - a | < δ$ implies that $| f (x) - L | < ε$ . If one can provide an answer for any challenge, then one has proven that the limit exists.^[12]

Precise statement and related statements

Precise statement for real-valued functions

The [math]\displaystyle{ (\varepsilon, \delta) }[/math] definition of the limit of a function is as follows:^[11]

Let [math]\displaystyle{ f }[/math] be a real-valued function defined on a subset [math]\displaystyle{ D }[/math] of the real numbers. Let [math]\displaystyle{ c }[/math] be a limit point of [math]\displaystyle{ D }[/math] and let [math]\displaystyle{ L }[/math] be a real number. We say that

[math]\displaystyle{ \lim_{x\to c}f(x) = L }[/math]

if for every [math]\displaystyle{ \varepsilon \gt 0 }[/math] there exists a [math]\displaystyle{ \delta \gt 0 }[/math] such that, for all [math]\displaystyle{ x\in D }[/math], if [math]\displaystyle{ 0 \lt |x-c| \lt \delta }[/math], then [math]\displaystyle{ |f(x)-L| \lt \varepsilon }[/math].^[13]

Symbolically:

[math]\displaystyle{ \lim_{x \to c} f(x) = L \iff \left(\forall \varepsilon \gt 0,\,\exists \ \delta \gt 0,\,\forall x \in D,\,0 \lt |x - c| \lt \delta \ \Rightarrow \ |f(x) - L| \lt \varepsilon\right) }[/math]

If [math]\displaystyle{ D=[a,b] }[/math] or [math]\displaystyle{ D=\mathbb{R} }[/math], then the condition that [math]\displaystyle{ c }[/math] is a limit point can be replaced with the simpler condition that c belongs to D, since closed real intervals and the entire real line are perfect sets.

Precise statement for functions between metric spaces

The definition can be generalized to functions that map between metric spaces. These spaces come with a function, called a metric, that takes two points in the space and returns a real number that represents the distance between the two points.^[14] The generalized definition is as follows:^[15]

Suppose [math]\displaystyle{ f }[/math] is defined on a subset [math]\displaystyle{ D }[/math] of a metric space [math]\displaystyle{ X }[/math] with a metric [math]\displaystyle{ d_X(x,y) }[/math] and maps into a metric space [math]\displaystyle{ Y }[/math] with a metric [math]\displaystyle{ d_Y(x,y) }[/math]. Let [math]\displaystyle{ c }[/math] be a limit point of [math]\displaystyle{ D }[/math] and let [math]\displaystyle{ L }[/math] be a point of [math]\displaystyle{ Y }[/math].

We say that

[math]\displaystyle{ \lim_{x\to c}f(x) = L }[/math]

if for every [math]\displaystyle{ \varepsilon \gt 0 }[/math], there exists a [math]\displaystyle{ \delta }[/math] such that for all [math]\displaystyle{ x\in D }[/math], if [math]\displaystyle{ 0 \lt d_X(x,c) \lt \delta }[/math], then [math]\displaystyle{ d_Y(f(x),L) \lt \varepsilon }[/math].

Since [math]\displaystyle{ d(x,y) = |x-y| }[/math] is a metric on the real numbers, one can show that this definition generalizes the first definition for real functions.^[16]

Negation of the precise statement

The logical negation of the definition is as follows:^[17]

Suppose [math]\displaystyle{ f }[/math] is defined on a subset [math]\displaystyle{ D }[/math] of a metric space [math]\displaystyle{ X }[/math] with a metric [math]\displaystyle{ d_X(x,y) }[/math] and maps into a metric space [math]\displaystyle{ Y }[/math] with a metric [math]\displaystyle{ d_Y(x,y) }[/math]. Let [math]\displaystyle{ c }[/math] be a limit point of [math]\displaystyle{ D }[/math] and let [math]\displaystyle{ L }[/math] be a point of [math]\displaystyle{ Y }[/math].

We say that

[math]\displaystyle{ \lim_{x\to c}f(x) \neq L }[/math]

if there exists an [math]\displaystyle{ \varepsilon \gt 0 }[/math] such that for all [math]\displaystyle{ \delta \gt 0 }[/math] there is an [math]\displaystyle{ x\in D }[/math] such that [math]\displaystyle{ 0 \lt d_X(x,c) \lt \delta }[/math] and [math]\displaystyle{ d_Y(f(x),L) \gt \varepsilon }[/math].

We say that [math]\displaystyle{ \lim_{x\to c}f(x) }[/math] does not exist if for all [math]\displaystyle{ L\in Y }[/math], [math]\displaystyle{ \lim_{x\to c}f(x) \neq L }[/math].

For the negation of a real valued function defined on the real numbers, simply set [math]\displaystyle{ d_Y(x,y) = d_X(x,y)= |x-y| }[/math].

Precise statement for limits at infinity

The precise statement for limits at infinity is as follows:

Suppose [math]\displaystyle{ f }[/math] is real-valued that is defined on a subset [math]\displaystyle{ D }[/math] of the real numbers that contains arbitrarily large values. We say that

[math]\displaystyle{ \lim_{x\to\infty}f(x) = L }[/math]

if for every [math]\displaystyle{ \varepsilon \gt 0 }[/math], there is a real number [math]\displaystyle{ N \gt 0 }[/math] such that for all [math]\displaystyle{ x\in D }[/math], if [math]\displaystyle{ x \gt N }[/math] then [math]\displaystyle{ |f(x) - L| \lt \varepsilon }[/math].^[18]

It is also possible to give a definition in general metric spaces.^{[citation needed]}

One-sided limits

The standard [math]\displaystyle{ (\varepsilon, \delta) }[/math] definition does not allow us to define limits at points of discontinuity. For this, one-sided limits are useful. We can formally define the limit "from the right" as

[math]\displaystyle{ \lim_{x \to c^+} f(x) \iff \forall\varepsilon \gt 0,\,\exists \delta \gt 0,\,\forall x \in D,\,0 \lt x - c \lt \delta \Rightarrow |f(x) - L| \lt \varepsilon }[/math]

and the limit "from the left" as

[math]\displaystyle{ \lim_{x \to c^-} f(x) \iff \forall\varepsilon \gt 0,\,\exists \delta \gt 0,\,\forall x \in D,\,-\delta \lt x - c \lt 0 \Rightarrow |f(x) - L| \lt \varepsilon }[/math]

Worked examples

Example 1

We will show that

[math]\displaystyle{ \lim_{x\to 0} x\sin{\left(\frac{1}{x}\right)} = 0 }[/math].

We let [math]\displaystyle{ \varepsilon \gt 0 }[/math] be given. We need to find a [math]\displaystyle{ \delta \gt 0 }[/math] such that [math]\displaystyle{ |x-0| \lt \delta }[/math] implies [math]\displaystyle{ \left|x\sin\left(\frac{1}{x}\right) - 0\right| \lt \varepsilon }[/math].

Since sine is bounded above by 1 and below by −1,

[math]\displaystyle{ \begin{align} \left|x\sin{\left(\frac{1}{x}\right)} - 0\right| &= \left|x\sin{\left(\frac{1}{x}\right)}\right|\\ &= |x|\left|\sin{\left(\frac{1}{x}\right)}\right| \\ &\leq |x|. \end{align} }[/math]

Thus, if we take [math]\displaystyle{ \delta = \varepsilon }[/math], then [math]\displaystyle{ |x| =|x-0| \lt \delta }[/math] implies [math]\displaystyle{ \left|x\sin{\left(\frac{1}{x}\right)} - 0\right| \leq |x| \lt \varepsilon }[/math], which completes the proof.

Example 2

Let us prove the statement that

[math]\displaystyle{ \lim_{x\to a} x^2 = a^2 }[/math]

for any real number [math]\displaystyle{ a }[/math].

Let [math]\displaystyle{ \varepsilon\gt 0 }[/math] be given. We will find a [math]\displaystyle{ \delta \gt 0 }[/math] such that [math]\displaystyle{ |x-a|\lt \delta }[/math] implies [math]\displaystyle{ |x^2-a^2|\lt \varepsilon }[/math].

We start by factoring:

[math]\displaystyle{ |x^2-a^2| = |(x-a)(x+a)|=|x-a||x+a|. }[/math]

We recognize that [math]\displaystyle{ |x-a| }[/math] is the term bounded by [math]\displaystyle{ \delta }[/math] so we can presuppose a bound of 1 and later pick something smaller than that for [math]\displaystyle{ \delta }[/math].^[19]

So we suppose [math]\displaystyle{ |x-a| \lt 1 }[/math]. Since [math]\displaystyle{ |x| - |y| \leq |x-y| }[/math] holds in general for real numbers [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], we have

[math]\displaystyle{ |x| - |a| \leq |x-a| \lt 1. }[/math]

Thus,

[math]\displaystyle{ |x| \lt 1 + |a|. }[/math]

Thus via the triangle inequality,

[math]\displaystyle{ |x+a| \leq |x| + |a| \lt 2|a| + 1. }[/math]

Thus, if we further suppose that

[math]\displaystyle{ |x-a| \lt \frac{\varepsilon}{2|a| +1} }[/math]

then

[math]\displaystyle{ |x^2-a^2| \lt \varepsilon. }[/math]

In summary, we set

[math]\displaystyle{ \delta = \min{\left\{ 1,\frac{\varepsilon}{2|a| +1}\right\} }. }[/math]

So, if [math]\displaystyle{ |x-a|\lt \delta }[/math], then

[math]\displaystyle{ \begin{align} |x^2-a^2| &= |x-a||x+a| \\ &\lt \frac{\varepsilon}{2|a| +1}(|x+a|)\\ &\lt \frac{\varepsilon}{2|a| +1}(2|a|+1)\\ &=\varepsilon. \end{align} }[/math]

Thus, we have found a [math]\displaystyle{ \delta }[/math] such that [math]\displaystyle{ |x-a| \lt \delta }[/math] implies [math]\displaystyle{ |x^2-a^2| \lt \varepsilon }[/math]. Thus, we have shown that

[math]\displaystyle{ \lim_{x\to a} x^2 = a^2 }[/math]

for any real number [math]\displaystyle{ a }[/math].

Example 3

Let us prove the statement that

[math]\displaystyle{ \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]\displaystyle{ x }[/math] to [math]\displaystyle{ \delta }[/math] units of [math]\displaystyle{ c }[/math] will inevitably confine [math]\displaystyle{ f(x) }[/math] to [math]\displaystyle{ \varepsilon }[/math] units of [math]\displaystyle{ L }[/math]. In this specific case, this means that the statement is true if and only if confining [math]\displaystyle{ x }[/math] to [math]\displaystyle{ \delta }[/math] units of 5 will inevitably confine

[math]\displaystyle{ 3x - 3 }[/math]

to [math]\displaystyle{ \varepsilon }[/math] units of 12. The overall key to showing this implication is to demonstrate how [math]\displaystyle{ \delta }[/math] and [math]\displaystyle{ \varepsilon }[/math] must be related to each other such that the implication holds. Mathematically, we want to show that

[math]\displaystyle{ 0 \lt | x - 5 | \lt \delta \ \Rightarrow \ | (3x - 3) - 12 | \lt \varepsilon . }[/math]

Simplifying, factoring, and dividing 3 on the right hand side of the implication yields

[math]\displaystyle{ | x - 5 | \lt \varepsilon / 3 , }[/math]

which immediately gives the required result if we choose

[math]\displaystyle{ \delta = \varepsilon / 3 . }[/math]

Thus the proof is completed. The key to the proof lies in the ability of one to choose boundaries in [math]\displaystyle{ x }[/math], and then conclude corresponding boundaries in [math]\displaystyle{ f(x) }[/math], which in this case were related by a factor of 3, which is entirely due to the slope of 3 in the line

[math]\displaystyle{ y = 3x - 3 . }[/math]

Continuity

A function f is said to be 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]\displaystyle{ \lim_{x\to c} f(x) = f(c). }[/math]

The [math]\displaystyle{ (\varepsilon, \delta) }[/math] definition for a continuous function can be obtained from the definition of a limit by replacing [math]\displaystyle{ 0\lt |x-c|\lt \delta }[/math] with [math]\displaystyle{ |x-c|\lt \delta }[/math], to ensure that f is defined at c and equals the limit.

A function f is said to be continuous on an interval I if it is continuous at every point c of I.

Comparison with infinitesimal definition

Keisler proved that a hyperreal definition of limit reduces the logical quantifier complexity by two quantifiers.^[20] Namely, [math]\displaystyle{ f(x) }[/math] converges to a limit L as [math]\displaystyle{ x }[/math] tends to a if and only if the value [math]\displaystyle{ f(x+e) }[/math] is infinitely close to L for every infinitesimal e. (See Microcontinuity for a related definition of continuity, essentially due to Cauchy.)

Infinitesimal calculus textbooks based on 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. Karel Hrbáček 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.^[21] Błaszczyk et al. argue that microcontinuity is useful in developing a transparent definition of uniform continuity, and characterize the criticism by Hrbáček as a "dubious lament".^[22] Hrbáček proposes an alternative non-standard 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.^[23]

Family of formal limit definitions

There is not a single definition of limit - there is a whole family of definitions. This is due to the presence of infinity, and the concept of limits "from the right" and "from the left". The limit itself can be a finite value, [math]\displaystyle{ \infty }[/math], or [math]\displaystyle{ -\infty }[/math]. The value approached by [math]\displaystyle{ x }[/math] can also be a finite value, [math]\displaystyle{ \infty }[/math], or [math]\displaystyle{ -\infty }[/math], and if it is a finite value, it can be approached from the left or the right. Typically, each combination is given its own definition, like this:

Notation

Def.

Example

[math]\displaystyle{ \lim_{x \to {\color{Green}c}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}L} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall\varepsilon \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}L-\varepsilon} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}L+\varepsilon} }[/math]

[math]\displaystyle{ \lim_{x \to 0} sin(x) = 0 }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^+}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}L} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall\varepsilon \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}L-\varepsilon} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}L+\varepsilon} }[/math]

[math]\displaystyle{ \lim_{x \to 0^+} x^2 + sgn(x) = 1 }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^-}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}L} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall\varepsilon \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}L-\varepsilon} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}L+\varepsilon} }[/math]

[math]\displaystyle{ \lim_{x \to 0^-} x^2 + sgn(x) = -1 }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}L} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall\varepsilon \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \gt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}M } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}L-\varepsilon} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}L+\varepsilon} }[/math]

[math]\displaystyle{ \lim_{x \to \infty} 1/x = 0 }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}-\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}L} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall\varepsilon \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \lt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}M } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}L-\varepsilon} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}L+\varepsilon} }[/math]

[math]\displaystyle{ \lim_{x \to -\infty} e^x = 0 }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}N} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lim_{x \to 0} |1/x| = \infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^+}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}N} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lim_{x \to 0^+} 1/x = \infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^-}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}N} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lim_{x \to 0^-} -1/x = \infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \gt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}M } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}N} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lim_{x \to \infty} e^x = \infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}-\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \gt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \lt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}M } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ {\color{Red}N} \lt }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lim_{x \to -\infty} x^2 = \infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}-\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \lt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}N} }[/math]

[math]\displaystyle{ \lim_{x \to 0} -|1/x| = -\infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^+}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}-\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \lt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c+\delta} }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}N} }[/math]

[math]\displaystyle{ \lim_{x \to 0^+} log(x) = -\infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}c^-}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}-\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \lt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists \delta \gt 0,} }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}c-\delta} \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}c } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}N} }[/math]

[math]\displaystyle{ \lim_{x \to 0^-} 1/x = -\infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}-\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \lt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \gt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ {\color{Green}M } \lt }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}N} }[/math]

[math]\displaystyle{ \lim_{x \to \infty} -x = -\infty }[/math]

[math]\displaystyle{ \lim_{x \to {\color{Green}-\infty}} }[/math]

[math]\displaystyle{ f(x) = }[/math]

[math]\displaystyle{ {\color{Red}-\infty} }[/math]

[math]\displaystyle{ \iff }[/math]

[math]\displaystyle{ {\color{Red}\forall N \lt 0,} }[/math]

[math]\displaystyle{ {\color{Green}\exists M \lt 0, } }[/math]

[math]\displaystyle{ \forall x \in D, }[/math]

[math]\displaystyle{ x }[/math]

[math]\displaystyle{ \lt {\color{Green}M } }[/math]

[math]\displaystyle{ \Rightarrow }[/math]

[math]\displaystyle{ f(x) }[/math]

[math]\displaystyle{ \lt {\color{Red}N} }[/math]

[math]\displaystyle{ \lim_{x \to -\infty} x^3 = -\infty }[/math]

References

↑ ^1.0 ^1.1 ^1.2 Grabiner, Judith V. (March 1983), "Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus", The American Mathematical Monthly 90 (3): 185–194, doi:10.2307/2975545, http://www.mr-ideahamster.com/classes/assets/a_evepsilon.pdf, retrieved 2009-05-01
↑ ^2.0 ^2.1 Cauchy, A.-L. (1823), "Septième Leçon – Valeurs de quelques expressions qui se présentent sous les formes indéterminées [math]\displaystyle{ \frac{\infty}{\infty}, \infty^0, \ldots }[/math] Relation qui existe entre le rapport aux différences finies et la fonction dérivée", Résumé des leçons données à l'école royale polytechnique sur le calcul infinitésimal, Paris, http://gallica.bnf.fr/ark:/12148/bpt6k90196z/f45n5.capture, retrieved 2009-05-01, p. 44. . Accessed 2009-05-01.
↑ Stillwell, John (1989). Mathematics and its history. New York: Springer-Verlag. pp. 38–39. ISBN 978-1-4899-0007-4. https://archive.org/details/mathematicsitshi0000stil.
↑ Stillwell, John (1989). Mathematics and its history. New York: Springer-Verlag. pp. 104. ISBN 978-1-4899-0007-4. https://archive.org/details/mathematicsitshi0000stil.
↑ Stillwell, John (1989). Mathematics and its history. New York: Springer-Verlag. pp. 106. ISBN 978-1-4899-0007-4. https://archive.org/details/mathematicsitshi0000stil.
↑ ^6.0 ^6.1 ^6.2 ^6.3 ^6.4 Buckley, Benjamin Lee (2012). The continuity debate : Dedekind, Cantor, du Bois-Reymond and Peirce on continuity and infinitesimals. p. 31-35. ISBN 9780983700487.
↑ Pourciau, B. (2001), "Newton and the Notion of Limit", Historia Mathematica 28 (1): 18–30, doi:10.1006/hmat.2000.2301
↑ Nakane, Michiyo. Did Weierstrass's differential calculus have a limit-avoiding character? His definition of a limit in ε−δ style. BSHM Bull. 29 (2014), no. 1, 51–59.
↑ Tao, Terence (2008). Structure and randomness : pages from year one of a mathematical blog. Providence, R.I.: American Mathematical Society. pp. 95–110. ISBN 978-0-8218-4695-7.
↑ Spivak, Michael (2008). Calculus (4th ed.). Houston, Tex.: Publish or Perish. p. 90. ISBN 978-0914098911. https://archive.org/details/calculus4thediti00mich.
↑ ^11.0 ^11.1 ^11.2 ^11.3 Spivak, Michael (2008). Calculus (4th ed.). Houston, Tex.: Publish or Perish. p. 96. ISBN 978-0914098911. https://archive.org/details/calculus4thediti00mich.
↑ "Epsilon-Delta Definition of a Limit | Brilliant Math & Science Wiki" (in en-us). https://brilliant.org/wiki/epsilon-delta-definition-of-a-limit/.
↑ "1.2: Epsilon-Delta Definition of a Limit" (in en). 2017-04-21. https://math.libretexts.org/Bookshelves/Calculus/Book%3A_Calculus_(Apex)/01%3A_Limits/1.02%3A_Epsilon-Delta_Definition_of_a_Limit.
↑ Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill Science/Engineering/Math. p. 30. ISBN 978-0070542358. https://archive.org/details/principlesofmath00rudi.
↑ Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill Science/Engineering/Math. p. 83. ISBN 978-0070542358. https://archive.org/details/principlesofmath00rudi.
↑ Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill Science/Engineering/Math. p. 84. ISBN 978-0070542358. https://archive.org/details/principlesofmath00rudi.
↑ Spivak, Michael (2008). Calculus (4th ed.). Houston, Tex.: Publish or Perish. p. 97. ISBN 978-0914098911. https://archive.org/details/calculus4thediti00mich.
↑ Stewart, James (2016), Calculus (8 ed.), Cengage
↑ Spivak, Michael (2008). Calculus (4th ed.). Houston, Tex.: Publish or Perish. p. 95. ISBN 978-0914098911. https://archive.org/details/calculus4thediti00mich.
↑ Keisler, H. Jerome (2008), "Quantifiers in limits", Andrzej Mostowski and foundational studies, IOS, Amsterdam, pp. 151–170, http://www.math.wisc.edu/~keisler/limquant7.pdf
↑ Hrbacek, K. (2007), "Stratified Analysis?", in Van Den Berg, I.; Neves, V., The Strength of Nonstandard Analysis, Springer
↑ Błaszczyk, Piotr; Katz, Mikhail; Sherry, David (2012), "Ten misconceptions from the history of analysis and their debunking", Foundations of Science 18: 43–74, doi:10.1007/s10699-012-9285-8, Bibcode: 2012arXiv1202.4153B
↑ Hrbacek, K. (2009). "Relative set theory: Internal view". Journal of Logic and Analysis 1. http://logicandanalysis.org/index.php/jla/article/view/25/17.

v t e Calculus
Precalculus	Binomial theorem Concave function Continuous function Factorial Finite difference Free variables and bound variables Fundamental theorem Graph of a function Linear function Mean value theorem Radian Rolle's theorem Secant Slope Tangent
Limits	Indeterminate form Limit of a function One-sided limit Limit of a sequence Orders of approximation (ε, δ)-definition of limit
Differential calculus	Chain rule Derivative Differential Differential equation Differential operator Implicit differentiation Inverse functions and differentiation L'Hôpital's rule Leibniz's rule Logarithmic derivative Mean value theorem Newton's method Notation Leibniz's notation Newton's notation Product rule Quotient rule Regiomontanus' angle maximization problem Related rates Simplest rules Constant factor rule in differentiation Linearity of differentiation Power rule Sum rule in differentiation Stationary point First derivative test Second derivative test Extreme value theorem Maxima and minima Taylor's theorem
Integral calculus	Antiderivative Arc length Constant of integration Differentiation under the integral sign Fundamental theorem of calculus Integral of secant cubed Integral of the secant function Integration by parts Integration by substitution Tangent half-angle substitution Partial fractions in integration Quadratic integral Proof that 22/7 exceeds π Simplest rules Constant factor rule in integration Linearity of integration Sum rule in integration Trapezoidal rule Trigonometric substitution
Vector calculus	Curl Directional derivative Divergence Divergence theorem Gradient Gradient theorem Green's theorem Laplacian Stokes' theorem
Multivariable calculus	Curvature Disc integration Divergence theorem Exterior Gabriel's Horn Geometric Hessian matrix Jacobian matrix and determinant Line integral Matrix Multiple integral Partial derivative Shell integration Surface integral Tensor Volume integral
Series	Abel's test Alternating Alternating series test Arithmetico-geometric sequence Binomial Cauchy condensation test Direct comparison test Dirichlet's test Euler–Maclaurin formula Fourier Geometric Harmonic Infinite Integral test for convergence Limit comparison test Maclaurin Power Ratio test Root test Taylor Term test
Special functions and numbers	Bernoulli numbers e (mathematical constant) Exponential function Natural logarithm Stirling's approximation
History of calculus	Adequality Brook Taylor Colin Maclaurin Generality of algebra Gottfried Wilhelm Leibniz Infinitesimal Infinitesimal calculus Isaac Newton Fluxion Law of Continuity Leonhard Euler Method of Fluxions The Method of Mechanical Theorems
Lists	Differentiation rules List of integrals of exponential functions List of integrals of hyperbolic functions List of integrals of inverse hyperbolic functions List of integrals of inverse trigonometric functions List of integrals of irrational functions List of integrals of logarithmic functions List of integrals of rational functions List of integrals of trigonometric functions List of limits List of mathematical symbols Lists of integrals

Anonymous

Search

(ε, δ)-definition of limit

Namespaces

More

Page actions

Contents

History

Informal statement

Precise statement and related statements

Precise statement for real-valued functions

Precise statement for functions between metric spaces

Negation of the precise statement

Precise statement for limits at infinity

One-sided limits

Worked examples

Example 1

Example 2

Example 3

Continuity

Comparison with infinitesimal definition

Family of formal limit definitions

See also

References

Further reading

Navigation

Navigation

Help

Translate

Wiki tools

Wiki tools

Anonymous

Search

(ε, δ)-definition of limit

History

Informal statement

Precise statement and related statements

Precise statement for real-valued functions

Precise statement for functions between metric spaces

Negation of the precise statement

Precise statement for limits at infinity

One-sided limits

Worked examples

Example 1

Example 2

Example 3

Continuity

Comparison with infinitesimal definition

Family of formal limit definitions

See also

References

Further reading

Navigation

Wiki tools

Page tools

Other projects

Categories