Difference between revisions of "Limit (sequence)"

Revision as of 21:18, 22 November 2015

Note: see Limit page for other kinds of limits

Definition

Given a sequence $(x_n)_{n=1}^\infty\subseteq X$, a metric space $(X,d)$ (that is complete) and a point $x\in X$, the sequence $(x_n)$ is said to^{[1][Note 1]}:

• have limit $x$ or converge to $x$

When:

• $$\forall\epsilon>0\exists N\in\mathbb{N}\forall n\in\mathbb{N}[n>N\implies d(x,x_n)<\epsilon]$$ ^{[Note 2]}

  (note that $\epsilon\in\mathbb{R}$, obviously - as the co-domain of $d$ is $\mathbb{R}$)

• Read this as:

  for all $\epsilon$ greater than zero, there exists an $N$ in the natural numbers such that for all $n$ that are also natural we have that:

  whenever $n$ is beyond $N$ that $x_n$ is within $\epsilon$ of $x$

Equivalent definitions

Note: where it is not obvious changes have a $\{$ underneath them

Discussion

Requiring $x\in X$

If $x\notin X$ then $d(x_n,x)$ is undefined, as $d:X\times X\rightarrow\mathbb{R}_{\ge_0}$, that is the distance metric is only defined for things in $X$

Process

The idea is that defining "tends towards $x$" is rather difficult, to sidestep this we just say "we can get as close as we like to" instead. This is the purpose of $\epsilon$.

We say that "if you give me an $\epsilon>0$ - as small as you like - I can find you a point of the sequence ($N$) where all points after are within $\epsilon$ of $x$ (where $d(\cdot,\cdot)$ is our notion of distance)

• That is after $N$ in the sequence, so that's $x_{n+1},x_{n+1},\ldots$ the distance between $x_{N+i}$ and $x$ is $<\epsilon$

  This is exactly what $n>N\implies d(x_n,x)<\epsilon$ says, it says that:

  • whenever $n>N$ we must have $d(x_n,x)<\epsilon$

As per the nature of implies we may have $d(x_n,x)<\epsilon$ without $n>N$, it is only important that WHENEVER we are beyond $N$ in the sequence that $d(x_n,x)<\epsilon$

Example

Here: $x$-axis scale is from $0$ to $12.6$, marks are shown every unit. $y$-axis scale starts from $0$ and is marked every $0.25$ units. The sequence is any sequence of points on the wavy function shown. The limit of this is clearly $1$ The two horizontal lines show $1-\epsilon$ and $1+\epsilon$ The vertical line shows one possible value where every point after it is within $\epsilon$ of $1$ due to technical limitations the function $f(x)=1+\frac{\sin(\pi x)}{\frac{1}{4}x^2}$ is shown The curves are bounds on the function.

Notice that at $x=1$ that , in fact the curve is within $\pm\epsilon$ several times before we reach the vertical line, this is the significance of the implies sign, when we write $A\implies B$ we require that whenever $A$ is true, $B$ must be true, but $B$ may be true regardless of what $A$ is.

Note that after the vertical line the function is always within the bounds.

Because of this any $N'>N$ may be used too, as if $n>N'$ and $N'>N$ then $n>N'>N$ so $n>N$ - this proves that if $N$ works then any larger $N'$ will too. There is no requirement to find the smallest $N$ that'll work, just an $N$ such that $n>N\implies d(x_n,x)<\epsilon$

See also

• Cauchy sequence
• Limit

Notes

1. Jump up ↑ Actually Maurin gives:
   • $$\forall\epsilon>0\exists N\in\mathbb{N}\forall n[n\ge N\implies d(x_n,x)<\epsilon]$$ (the change is the $\ge$ sign between the $n$ and $N$) but as we shall see this doesn't matter
2. Jump up ↑ In Krzysztof Maurin's notation this can be written as:
   • $$\bigwedge_{\epsilon>0}\bigvee_{N\in\mathbb{N} }\bigwedge_{n>N}d(x_n,x)<\epsilon$$

References

1. Jump up ↑ Krzysztof Maurin - Analysis - Part 1: Elements