# Summation of a term to infinity

I read through many tutorials but no one mentioned this explicitly.

Is the following conversion valid?

$$\sum_{k=0}^\infty \frac{k-1}{2^k} = \lim_{n\to \infty} \sum_{k=0}^n \frac{k-1}{2^k}$$

Please excuse if it seems stupid or too simple to ask in the forum.

• That is the generally accepted definition of an infinite summation. I do note, however, that sometimes we will not use that definition, as you can see... (I'd recommend using your definition, it is more common, also, the methods we use if the summation doesn't converge may be... less accepted as correct.) en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B%AF Feb 12, 2016 at 0:03

It's not only valid, it's how it's defined.

Note that the operation "addition" is defined only if we apply it a finite amount of times. Thus, adding an infinite amount of terms doesn't make sense. We'll have to define it as a limit, as that only includes nice, finite sums.

• Well, technically you must first define $\mathrm{lim}_{n \rightarrow \infty}$, which is most certainly not the traditional epsilon-delta definition. And then you have to make sure your definition is meaningful when we restrict $n$ to the natural numbers. But yeah, that's basically how infinite sums are defined. The rest can mostly be taken care of with Cauchy sequences. Feb 12, 2016 at 4:29
• @Kevin: What do you mean, "not the traditional epsilon-delta definition"? Why not? Feb 12, 2016 at 10:45
• @TonyK Probably because $|n - \infty| < \delta$ is meaningless. Feb 12, 2016 at 16:13
• But $n\to\infty$ use a different traditional definition (most often $N$ and $\epsilon$). Saying it doesn't use $\delta$ is beside the point. Feb 12, 2016 at 17:08

This is the definition of infinite series. It is the limit of the partial sums $S_n$:

$$S_n = \sum_{k = 0}^n a_k$$

$$\sum_{k = 0}^{\infty} a_k := \lim_{n \to \infty} S_n = \lim_{n \to \infty} \sum_{k = 0}^n a_k$$