Limit of a Sequence

Often we are interested in value that sequence will take as number n{n} becomes very large.

Definition. Constant number a{a} is called a limit of the sequence xn{x}_{{n}} if for every ϵ>0\epsilon>{0} there exists number N{N}, such that all values xn{x}_{{n}} whose number n>N{n}>{N}, satisfy inequality xna<ϵ{\left|{x}_{{n}}-{a}\right|}<\epsilon.

The fact that a{a} is a limit of sequence is written as limxn=a\lim{x}_{{n}}={a} or limx=a\lim{x}={a} or limnxn=a\lim_{{{n}\to\infty}}{x}_{{n}}={a}.

Also we say that variable approaches a{a}: xna{x}_{{n}}\to{a} or xa{x}\to{a}.

This definition can be reformulated in simple words: a{a} is a limit of the sequence if diffrerence between its values and a{a} becomes very small (xna<ϵ)\left({\left|{x}_{{n}}\right|}-{a}<\epsilon\right), starting with some number N{N}.

Definition. Sequence is called convergent (converges to a{a}) if there exists such finite number a{a} that limnxn=a\lim_{{{n}\to\infty}}{x}_{{n}}={a}. Otherwise, sequence diverges or divergent.

In other words sequence is convergent if it approaches some finite number.

Note, that symbol \infty means infinity (very large number). So, if sequence has limit a{a} then members in this sequence starting with some number N{N} approach a{a}.

For example, sequence xn=1n{x}_{{n}}=\frac{{1}}{{n}} and corresponding list {1,12,13,14,15,}{\left\{{1},\frac{{1}}{{2}},\frac{{1}}{{3}},\frac{{1}}{{4}},\frac{{1}}{{5}},\ldots\right\}} approach 0 because x10000=110000{x}_{{{10000}}}=\frac{{1}}{{{10000}}} and x100000=1100000{x}_{{{100000}}}=\frac{{1}}{{{100000}}}; we see that the greater n{n}, the closer value to 0.

It is important to notice, that number N{N} depends on the choice of ϵ\epsilon. Therefore, we will write sometimes Nϵ{N}_{{\epsilon}} instead of N{N}. In general the lesser ϵ\epsilon, the greater N{N}: if we require more closeness, the more bigger values of sequence we need to consider. The only exception is when all values in sequence are same and equal a{a}. In this case a=limxn{a}=\lim{x}_{{n}}, and inequality will hold for any ϵ\epsilon for all xn{x}_{{n}} (same can be said if values of sequence equal a, starting from some number).

By the property of absolute values xna<ϵ{\left|{x}_{{n}}-{a}\right|}<\epsilon is equivalent to ϵ<xna<ϵ-\epsilon<{x}_{{n}}-{a}<\epsilon

limit of sequenceor aϵ<xn<a+ϵ{a}-\epsilon<{x}_{{n}}<{a}+\epsilon.

Therefore, we have geometric interpretation of limit. If we take any segment of length 2ϵ{2}\epsilon with center a, then all points xn{x}_{{n}} starting with some number should lie within this segment (only finite number of points can lie outside the interval).

Also sequences can approach same value but approach it in different manner.

Consider two sequences: xn=11n{x}_{{n}}={1}-\frac{{1}}{{n}} (corresponding list of members is {0,12,23,34,45,}{\left\{{0},\frac{{1}}{{2}},\frac{{2}}{{3}},\frac{{3}}{{4}},\frac{{4}}{{5}},\ldots\right\}} )and yn=1+2(1)nn{y}_{{n}}={1}+{2}\frac{{{{\left(-{1}\right)}}^{{n}}}}{{n}} (corresponding list of members is {1,2,13,32,}{\left\{-{1},{2},\frac{{1}}{{3}},\frac{{3}}{{2}},\ldots\right\}}).

See how, closer becomes point to line y=1{y}={1} when n becomes larger. Thus, it is natural to suggest that both sequences have limit 1. But they approach it differently: if we on x-axis set natural numbers and on y-axis values that sequence will take then we will obtain following graph (see figure below). But we are not interested how sequence behaves from the "start", we are interested how it behaves when n{n} becomes very large.

different approach to the limit

Example 1. Show that limit of xn=1n+1{x}_{{n}}=\frac{{1}}{{n}}+{1} equals 1.

To prove this by definition we need for every ϵ>0\epsilon>{0} find such natural number N{N} that for every n>N{n}>{N} xn1<ϵ{\left|{x}_{{n}}-{1}\right|}<\epsilon.

So, xn1=1n+11=1n{\left|{x}_{{n}}-{1}\right|}={\left|\frac{{1}}{{n}}+{1}-{1}\right|}={\left|\frac{{1}}{{n}}\right|}.

Thus, 1n<ϵ{\left|\frac{{1}}{{n}}\right|}<\epsilon when n>1ϵ{n}>\frac{{1}}{\epsilon}. Therefore, we can take Nϵ=[1ϵ]{N}_{\epsilon}={\left[\frac{{1}}{\epsilon}\right]}, where [x]{\left[{x}\right]} is a floor function.

If we take ϵ=0.01\epsilon={0.01} then Nϵ=[10.01]=100{N}_{\epsilon}={\left[\frac{{1}}{{0.01}}\right]}={100}. So, members starting with 101-th number will be different from 1 on less than ϵ\epsilon: Indeed, x101=1101+1=1.0099{x}_{{{101}}}=\frac{{1}}{{101}}+{1}={1.0099} and 1.00991<0.01{\left|{1.0099}-{1}\right|}<{0.01}.

If we take ϵ=0.5\epsilon={0.5} then Nϵ=[10.5]=2{N}_{\epsilon}={\left[\frac{{1}}{{0.5}}\right]}={2}. So, members starting with 3-rd number will be different from 1 on less than ϵ\epsilon: Indeed, x3=13+1=431.3333{x}_{{{3}}}=\frac{{1}}{{3}}+{1}=\frac{{4}}{{3}}\approx{1.3333} and 1.33331<0.5{\left|{1.3333}-{1}\right|}<{0.5}.

As can be seen for different ϵ\epsilon there are different values of Nϵ{N}_{\epsilon}. Limit exists when for any ϵ\epsilon we can find corresponding Nϵ{N}_{\epsilon}.

Therefore, limnxn=limn(1+1n)=1\lim_{{{n}\to\infty}}{x}_{{n}}=\lim_{{{n}\to\infty}}{\left({1}+\frac{{1}}{{n}}\right)}={1}.

Example 2. Show that sequence xn=(1)n{x}_{{n}}={{\left(-{1}\right)}}^{{n}} doesn't have limit.

This sequence is represented by list {1,1,1,1,1,1,}{\left\{-{1},{1},-{1},{1},-{1},{1},\ldots\right\}}.

If we take ϵ=0.01\epsilon={0.01} then we can't find N{N} such that for n>N{n}>{N} members will be close to some number (limit), because members oscillate: sequence takes by turn values 1 or -1. Thus, this sequence doesn't have a limit.

Following fact closes this note.

Fact. A sequence can't have more than one limit.

This means that sequence either doesn't have limit or has exactly one limit.