Skip to article frontmatterSkip to article content

Limits

The concept of a limit in calculus addresses the behavior of a function close to a particular input.

Informally, a function f(x)f(x) has a limit LL as xx approaches a value aa if f(x)f(x) gets arbitrarily close to LL as xx gets sufficiently close to aa. The value of the function at aa, f(a)f(a), does not matter when determining the limit.

The information above is lifted from a Wikipedia article.

Formal definitions

The informal definition of a limit is made precise by the (ϵ,δ\epsilon, \delta)-definition, which is presented below.

Two-sided limit

The statement limxaf(x)=L\lim_{x \to a} f(x) = L is read as “the limit of f(x)f(x) as xx approaches aa is LL”. The statement is formally defined as:

ϵ>0,δ>0 s.t. 0<xa<δ    f(x)L<ϵ\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } 0 < |x - a| < \delta \implies |f(x) - L| < \epsilon

The definition can be understood as a challenge-response game. An opponent challenges us with a small positive number ϵ\epsilon, which represents the desired closeness to the limit LL. We must produce a small positive number δ\delta, which represents the required closeness to the point aa. If we can always produce a δ\delta for any given ϵ\epsilon, the limit exists.

One-sided limits

The statement limxa+f(x)=L\lim_{x \to a^+} f(x) = L is read as “the limit of f(x)f(x) as xx approaches aa from the right is LL”. The statement is defined as:

ϵ>0,δ>0 s.t. 0<xa<δ    f(x)L<ϵ\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } 0 < x - a < \delta \implies |f(x) - L| < \epsilon

The statement limxaf(x)=L\lim_{x \to a^-} f(x) = L is read as “the limit of f(x)f(x) as xx approaches aa from the left is LL”. The statement is defined as:

ϵ>0,δ>0 s.t. δ<xa<0    f(x)L<ϵ\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } -\delta < x - a < 0 \implies |f(x) - L| < \epsilon

One-sided limits consider the behavior of the function as xx approaches aa from only one side. The same challenge-response game applies, but the closeness condition on xx is restricted to one side of aa.

Relationship

The two-sided limit exists if and only if both one-sided limits exist and are equal.

limxaf(x)=L    limxa+f(x)=L and limxaf(x)=L\lim_{x \to a} f(x) = L \iff \lim_{x \to a^+} f(x) = L \text{ and } \lim_{x \to a^-} f(x) = L