6
$\begingroup$

In my Real Analysis class we've been spending some time talking about the $\epsilon$-$N$ definition of convergence. The book we are using, Elementary Analysis by Ross, defines convergence as:

A sequence of real numbers $(s_n)$ is said to converge to $s$ if

For all $\epsilon>0$, there exists $N\in\mathbb{N}$ such that for all $n\geq N$, $|s_n-s|<\epsilon$.

So he defines $N$ to be a natural number, yet in all the examples of convergence, for example proving that $\lim_{n\to\infty}1/n^2=0$, he says let $N=1/\sqrt{\epsilon}$.

My professor told us that it does not technically matter, so why do we limit ourselves in the definition to the naturals? Wouldn't it just be easier to say there exists an $N$ in the reals? And if we define $N$ to be in the naturals, yet say let $N=1/\sqrt{\epsilon}$, which is clearly not a natural number, why even mention $N$ being a natural number at all?

$\endgroup$

2 Answers 2

5
$\begingroup$

Here's the real reason why $N$ has to be a natural number: a real-valued sequence $(s_n)$ is a function $\mathbb{N}\to\mathbb{R}$, where for notational convenience we write $s_n$ to represent $s(n)$. In the $\varepsilon$-$N$ definition of the limit of a sequence everything with $\varepsilon$ has to do with the outputs of this function, which are real numbers; but everything with $N$ and $n$ describes inputs of this function, which are natural numbers. So from the point of view of the domain of this function, non-natural real numbers don't even exist: there's no such thing as "$s(0.5)=s_{0.5}$" in this sequence. So letting $N$ to be real would be easier… but it wouldn't be meaningful.

Your professor is correct in saying that ultimately it doesn't really matter: saying that $n\ge123.456$ is as good as saying $n\ge124$. But I believe that this is a bad style, because the spirit of the definition — and even its letter, as stated in your book! — require $N$ to be natural.

Moreover, once the definition has been stated, it's better to stay consistent with it. So you're also right in your observation that it's very confusing and very sloppy to state one definition and then do something different. Especially, since there's such an easy fix: say, in the example in your post simply let $N=\left\lceil1/\sqrt{\varepsilon}\right\rceil$.

$\endgroup$
3
$\begingroup$

$N$ is often required to be a natural number in the definition since it is used to say something about all integers $n\geq N$. Since we have a sequence indexed by the naturals, it is "nicer" to think about all integers $n$ greater than or equal to, say $4$, rather than all integers $n$ greater than or equal to $\pi$. Both sets, though, are the same, which is why your professor said the definitions are equivalent.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .