Definition of the Limit of a Function

We've already talked about the limit of a sequence, and, since a sequence is a particular case of a function, there will be a similarity between the sequence and the function. We are also going to extend some concepts.

Example 1. Let's investigate the behavior of y=x2{y}={{x}}^{{2}} near the point x=2{x}={2}.limit of function

To do this, let's take the points sufficiently close to 22 and evaluate the corresponding y-values.

x{x} 1.9 1.99 1.999 2.0001 2.001 2.01
y=x2{y}={{x}}^{{2}} 3.61 3.9601 3.996001 4.00040001 4.004001 4.0401

We see that as x{x} approaches 22, f(x){f{{\left({x}\right)}}} approaches 44, no matter whether we take the points greater than 22 or less than 22. We write this fact as limx2x2=4\lim_{{{x}\to{2}}}{{x}}^{{2}}={4}.

Definition. We write that limxaf(x)=L\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}}={L} and say, "the limit of f(x)f(x), as xx approaches aa, equals LL" if for any ϵ>0\epsilon>{0} there exists δ>0\delta>{0} such that f(x)L<ϵ{\left|{f{{\left({x}\right)}}}-{L}\right|}<\epsilon when xa<δ{\left|{x}-{a}\right|}<\delta.

To put it simply, this means that limxaf(x)=L\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}}={L} if we can make f(x){f{{\left({x}\right)}}} as close to L{L} as we like by taking an x{x} sufficiently close to a{a}.

We will also use the following notation: f(x)L{f{{\left({x}\right)}}}\to{L} as xa{x}\to{a}.

From the definition, it follows that we only care about the behavior of the function at the points near a{a}, not at a{a} itself. This means that f(x){f{{\left({x}\right)}}} can even be not defined at a{a} but still have limxaf(x)\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}}.

For example, consider the function f(x)=x2{f{{\left({x}\right)}}}={{x}}^{{2}} and g(x)={x2ifx2undefinedifx=2{g{{\left({x}\right)}}}={\left\{\begin{array}{c}{{x}}^{{2}}{\quad\text{if}\quad}{x}\ne{2}\\\text{undefined}{\quad\text{if}\quad}{x}={2}\\ \end{array}\right.}.

Note that limx2f(x)=limx2g(x)=4\lim_{{{x}\to{2}}}{f{{\left({x}\right)}}}=\lim_{{{x}\to{2}}}{g{{\left({x}\right)}}}={4} even despite the fact that g(x){g{{\left({x}\right)}}} is not defined at 22. That's because we don't care about the function at 22, we are only interested in the bevavior near 22.

Note that xa<δ{\left|{x}-{a}\right|}<\delta is equivalent to the double inequality δ<xa<δ-\delta<{x}-{a}<\delta or aδ<x<a+δ{a}-\delta<{x}<{a}+\delta.

Let's do a couple of examples trying to guess the limit. Note that this approach is not correct but it allows to understand better the limits.

Example 2. Calculate limx1(x+1)\lim_{{{x}\to{1}}}{\left({x}+{1}\right)}.

Let's see what value (x+1){\left({x}+{1}\right)} approaches as x{x} approaches 11.

xx 0.9 0.99 0.999 1.0001 1.001 1.01
y=x+1{y}={x}+{1} 1.9 1.99 1.999 2.0001 2.001 2.01

So, as x{x} approaches 11, f(x){f{{\left({x}\right)}}} approaches 22; thus, limx1(x+1)=2\lim_{{{x}\to{1}}}{\left({x}+{1}\right)}={2}.

One more quick example.

Example 3. Calculate limx1x1x21\lim_{{{x}\to{1}}}\frac{{{x}-{1}}}{{{{x}}^{{2}}-{1}}}.

Let's see what value x1x21\frac{{{x}-{1}}}{{{{x}}^{{2}}-{1}}} approaches when x{x} approaches 11.

xx 0.9 0.99 0.999 1.0001 1.001 1.01
y=x1x21{y}=\frac{{{x}-{1}}}{{{{x}}^{{2}}-{1}}} 0.910.921=0.5263\frac{{{0.9}-{1}}}{{{{0.9}}^{{2}}-{1}}}={0.5263} 0.5025 0.5003 0.499975 0.49975 0.4975

So, as xx approaches 11, f(x){f{{\left({x}\right)}}} approaches 0.50.5; thus, limx1x1x21=12\lim_{{{x}\to{1}}}\frac{{{x}-{1}}}{{{{x}}^{{2}}-{1}}}=\frac{{1}}{{2}}.

And another useful example.

Example 4. Calculate limx0cos(πx)\lim_{{{x}\to{0}}}{\cos{{\left(\frac{\pi}{{x}}\right)}}}.

Let's see where cos(πx){\cos{{\left(\frac{\pi}{{x}}\right)}}} goes when x{x} approaches 00.

x{x} f(x){f{{\left({x}\right)}}}
1 cos(π1)=1{\cos{{\left(\frac{\pi}{{1}}\right)}}}=-{1}
0.1 sin(π0.1)=1{\sin{{\left(\frac{\pi}{{0.1}}\right)}}}=-{1}
0.001 sin(π0.001)=1{\sin{{\left(\frac{\pi}{{0.001}}\right)}}}=-{1}
0.0001 sin(π0.0001)=1{\sin{{\left(\frac{\pi}{{0.0001}}\right)}}}=-{1}

It seems that limx0cos(πx)=1\lim_{{{x}\to{0}}}{\cos{{\left(\frac{\pi}{{x}}\right)}}}=-{1}, but this is the WRONG answer! The reason is that we took only the values at which cos(πx)=1{\cos{{\left(\frac{\pi}{{x}}\right)}}}=-{1}.

Note that cos(πx)=1{\cos{{\left(\frac{\pi}{{x}}\right)}}}=-{1} when x=1n{x}=\frac{{1}}{{n}} for any integer n{n}.

But also cos(πx)=0{\cos{{\left(\frac{\pi}{{x}}\right)}}}={0} for infinitely many values of x{x} that approach 00. In fact, as x{x} approaches 00, the cosine takes any value from the interval [1,1]{\left[-{1},{1}\right]}. In other words, cos(πx){\cos{{\left(\frac{\pi}{{x}}\right)}}} oscillates infinitely many times as x{x} approaches 00.

Since cos(πx){\cos{{\left(\frac{\pi}{{x}}\right)}}} doesn't approach any fixed value, limx0cos(πx)\lim_{{{x}\to{0}}}{\cos{{\left(\frac{\pi}{{x}}\right)}}} doesn't exist.

This example shows that we can guess the wrong value if we take the inappropriate values of x{x}. It is also difficult to understand when to stop calculating the values. However, we will give the correct methods for calculating the limits.

Let's finalize our work with one last example.

Example 5. Calculate limx01x2\lim_{{{x}\to{0}}}\frac{{1}}{{{x}}^{{2}}}.

As xx approaches 00, x2{{x}}^{{2}} also approaches 00; so, 1x2\frac{{1}}{{{x}}^{{2}}} becomes very large (for example, when x=0.001{x}={0.001}, we have that 1x2=1000000\frac{{1}}{{{x}}^{{2}}}={1000000}). Thus, the value of f(x){f{{\left({x}\right)}}} approaches infinity without a bound; so, limx01x2=\lim_{{{x}\to{0}}}\frac{{1}}{{{x}}^{{2}}}=\infty.