7
$\begingroup$

This is a side question which is more motivated by teaching than research.

First, I am trying to convince myself that sequences appear before series (as numerical approximations to "interesting" quantities; on the other hand, decimal expansions -- especially infinite -- are more likely to be series).

Secondly, is it natural for sequences to be placed prior to series in a calculus course?

So, which one is more original, a sequence or a series?

After-dinner edit. We define a sequence to be... a function mapping the positive numbers to a set(?). We define a series to be... a formal infinite sum $\sum_{n=1}^\infty a_n$(?). Tell me what is your way to "define" these two guys, I do not believe they are very related.

There are no doubts that it is easier to define convergence of series via convergence of sequences, but it does not imply their "primogeniture". The notion of Cauchy sequence is an elegant way to build the apparatus of not only sequences but also of real numbers; as such it can serve as a definition of series: a series is a formal infinite sum $\sum_{n=1}^\infty a_n$, and it is called a convergent series if for any $\epsilon>0$ there exists an $N=N(\epsilon)$ such that for any $m>n>N$ the sum $|a_n+\dots+a_m|<\epsilon$. The real numbers then are nothing but representatives of equivalence classes of convergent series. (I have no desire here to expand all the details.) A sequence $b_n$ is convergent when the corresponding series $\sum_{n=1}^\infty a_n$ where $a_1=b_1$ and $a_n=b_n-b_{n-1}$ for $n\ge2$ converges. It would be honest to say that, besides the trivialities like "algebra of limits", the techniques for investigating convergence of series are quite independent from that of sequences. And it does not sound impossible to do series prior to sequences.

Historically, all these convergence/divergence issues were purely intuitive for both sequences and series, and they both were on the market for many centuries. I ask whether their exists an overwhelming historical support to the notion of sequence to lead.

$\endgroup$
3
  • 15
    $\begingroup$ We define series using sequences. How would you define sequences using series? $\endgroup$ Aug 26, 2012 at 10:19
  • 1
    $\begingroup$ "Tell me what is your way to "define" these two guys, I do not believe they are very related." In my first calculus course (still not sure whether I should refer to it as a calculus, or a real analysis course, though) we used the following definition of series: Let there be a sequence $(a_n)$ in a normed space $X$ and let $s_k=\sum_{n=1}^k a_n$ for $n\in\mathbb{N}$. Series in $X$ is an ordered pair $(a_n,s_k)$ ($a_n,s_k\in X$) which is consisted of two sequences $(a_n)$ and $(s_k)$, former being the terms, and latter being partial sums of series. $\endgroup$ Aug 26, 2012 at 12:24
  • 2
    $\begingroup$ @HarunŠiljak, re, if your sequences $(s_n)_n$ are valued in groups, then they are precisely the series $s_0 + (s_1 - s_0) + (s_2 - s_1) + \dotsb$, no? $\endgroup$
    – LSpice
    Jun 4, 2021 at 15:04

6 Answers 6

11
$\begingroup$

This is not a precise answer, mainly some thoughts.

Historically both ideas seem very old (2000+ years), and sometimes it is hard to tell what point of view is predominant.

Say if one looks at the Method of Exhaustion or things around Zeno's paradoxes, what does arise, 'sequences' or 'series'? For some of the constructions, one seems more natural, for others the other. In any case, in some form of series already arose then.

One more point in favor of the fact that series were around early on: while in today's courses differentiation comes before integration, in an intuitive sense I think integration is rather the easier or more natural idea, and historically early forms of integration are very old (cf. Method of Exhaustion, which in my opinion counts as some sort of integration). And integration and series sort of go together.

For your second question, for a course today, I would however start with sequence.
If one wants to talk about series in a somewhat rigorous form just having the notion/word sequence at ones disposal already seems like a big plus.

$\endgroup$
6
$\begingroup$

I would argue that it is natural to introduce series first. Why are sequences interesting? The sequence $1$, $3/2$, $7/4$, etc. converges to $2$. Who cares?

I think the most natural answer to ``who cares'' is series. Write $e = 1 + 1 + 1/2 + 1/6 + \cdots$ on the blackboard, and I expect that students will know what is meant, and think it's cool. We write $1/3 = .3333\dots$ in precalculus courses without first discussing convergence, and this isn't really all that different.

Having introduced series, one can continue and write things like $1 - 1 + 1 - 1 + \cdots$ or whatever on the blackboard, and perhaps scare the students a little bit and explain that it is possible to write down formulas which are complete nonsense. (Or maybe only almost-complete nonsense, Ramanujan argued in cold blood that $1 + 2 + 3 + 4 + \cdots = -1/12$.) This motivates a more cautious approach to the subject, i.e. discussing convergence of sequences.

$\endgroup$
6
  • 2
    $\begingroup$ really? series are just situations where elements of a sequence get added. we could be doing other stuff like multiplication, exponentiation, transformation, etc. etc., with elements of a sequence---so I don't really agree with it is "natural" to introduce series first...what if the elements of our sequence do not come from a space where addition is defined? we can still have sequences.... $\endgroup$
    – Suvrit
    Aug 26, 2012 at 14:51
  • 2
    $\begingroup$ This is a calculus class. Addition is defined. $\endgroup$ Aug 26, 2012 at 15:06
  • $\begingroup$ (I know, I was just being snide because of the "natural" in there) $\endgroup$
    – Suvrit
    Aug 26, 2012 at 15:10
  • 1
    $\begingroup$ I definitely like your point, Frank. Your example with $e$ could be acomplished with the limit of $(1+1/n)^n$ as $n\to\infty$, which is extremely useful in showing many other limits but at the same time impractical for actual computation of $e$. The series, on other hand, can be successfully used not only to compute the number but also to demonstrate its irrationality to a first year undergrad. $\endgroup$ Aug 27, 2012 at 9:36
  • 1
    $\begingroup$ I am pretty sure that we should give the credit of that "almost-complete nonsense" you have mentioned to Euler :) $\endgroup$ May 5, 2013 at 19:34
2
$\begingroup$

Most calculus students will see limits of sequences first, because definite integrals are limits of sequences of Riemann sums.

$\endgroup$
9
  • $\begingroup$ +1 for your CW comment: I really forgot about this natural option. $\endgroup$ Aug 27, 2012 at 9:28
  • 3
    $\begingroup$ I don't think it's occurred to me before now that actually the Riemann integral is more naturally viewed as a limit of a net than as a limit of a sequence. $\endgroup$
    – Todd Trimble
    Jul 17, 2017 at 11:53
  • 1
    $\begingroup$ Steven -- oh of course. But if one should be teaching topology, it's a good example to keep in mind! $\endgroup$
    – Todd Trimble
    Jul 17, 2017 at 18:43
  • 1
    $\begingroup$ Another example: the unordered sum $\sum_{x \in S} f(x)$ as a limit over the net of finite subsets $\lim_{F \subseteq S} \sum_{x \in F} f(x)$. $\endgroup$
    – LSpice
    Nov 11, 2021 at 2:21
  • 1
    $\begingroup$ Your wish (wasn't) my command. And yes, unordered infinite sums are dealt with too. @LSpice $\endgroup$ Dec 7, 2023 at 3:01
1
$\begingroup$

I have a rather radical idea. I start with Maclaurin Series! Let's see how it works. You first see graphically and "globally" that you get closer and closer to the function and when adding infinite terms you get the function. Then you have a point-wise look. For example, consider the Maclaurin series of Exp(x), you ask what happens at, say, x=1 (see the corresponding y-coordinates). Alongside "the convergent graphs", you have a numerical series. Playing with different functions, you get some interesting numerical series that without having any definition at hand it is not possible to decide whether they are convergent or not, ex. 1-1+1-1+1... It leads students to a definition of convergent numerical series and back again, convergent functional series! On the middle, we touch sequences.

It seems strange, but usually I have a big picture for each of my courses and this idea works well within the picture I have for Single Variable Calculus.

$\endgroup$
1
$\begingroup$

Why shouldn’t they come together? Here’s a possible program. The first object to appear, in an elementary course of analysis, if one starts by an axiomatic presentation of $\mathbb R$, is the supremum. It is simple to understand visually, and people can be easily convinced that it is a powerful existence principle, and serves to define a variety of useful derived objects, that will be studied and used throughout the course. One can list them as a program for the course: the sum of a family of non-negative numbers, the limit inferior and superior of sequences, the uniform norm (introducing the useful notation $\|f\|_{\infty, S}$, for a function $f:S\to \mathbb R$), the length or variation of a curve, the Riemann-Darboux integral.

The definition of limit of a sequence comes naturally generalising the property of a supremum (infimum) of an increasing (decreasing) sequence. The notion of sum of nonnegative numbers extends to a absolutely summable families, and immediately allows interesting computations like $\sum_{n\ge0} a^n$, $\sum_{n\ge0} na^n$, $\sum_{n\ge1} 1/n$,.., once one proves convenient rules of calculus, which are a toy-version of measure theory: generalized associativity, monotone convergence, dominated convergence, Fubini-Tonelli. By dominated convergence, one immediately has a double definition of $e^x=\lim_{n\to\infty}(1+x/n)^n=\sum_{k=0}^\infty x^k/k!$, expanding the binomial, a computation that can be resumed for $x\in\mathbb C$, without typographical changes.

$\endgroup$
0
$\begingroup$

Caveat: below I am only saying that it could be done, not that it should. I am in the nets/sequences first camp.

I think implicit in the sentiment behind this comment is

How can you define convergence of a series without referring to the convergence of its sequence of partial sums.

Because as we know, sequences are telescoping series are practically indistinguishable.

And I think in principle this could be done, and in some way can be a good motivation for the notion of completeness.

Essentially, one can start by motivating the idea that a series converges (settles down to a number) if its tail becomes "negligible", meaning that all the changes past a certain point is very small. This one can expand to meaning "past a certain point, the sum of any consecutive string of numbers in the series is no more than a fixed error". (Basically start by motivating, the definition for the series being Cauchy.)

Then one can start asking the question of whether there actually is a number that is being represented by this infinite sum (Cauchy completeness).


BTW, thinking of a sequence as a telescoping series is occasionally useful in analysis (most textbook proofs of Banach fixed point, for example).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.