7

Cauchy proved a sum theorem for series of continuous functions in 1821, and published another article on the subject in 1853.

Michael Segre, writing in Archive for History of Exact Sciences, claimed concerning Cauchy's sum theorem:

What is amazing here is Cauchy's attitude. He totally disregarded Fourier's counterexample and did not admit having made a mistake: not only did he "prove" his theorem, but he repeated it in a paper read to the Academie des Sciences as late as 1853. (page 233 in Segre, Michael. Peano's axioms in their historical context. Arch. Hist. Exact Sci. 48 (1994), no. 3-4, 201-342)

For his part, Umberto Bottazzini wrote:

The language of infinites and infinitesimals that Cauchy used here seemed ever more inadequate to treat the sophisticated and complex questions then being posed by analysis... The problems posed by the study of nature, such as those Fourier had faced, now reappeared everywhere in the most delicate questions of "pure" analysis and necessarily led to the elaboration of techniques of inquiry considerably more refined than those that had served French mathematicians at the beginning of the century. Infinitesimals were to disappear from mathematical practice in the face of Weierstrass' epsilon and delta notation (p. 208 in Bottazzini, Umberto. The higher calculus: a history of real and complex analysis from Euler to Weierstrass. Translated from the Italian by Warren Van Egmond. Springer-Verlag, New York, 1986)

These authors make Cauchy appear rather obstinate with regard to what is described by some historians as his famous "mistake". To a number of mathematicians who have studied Cauchy's work, such claims by historians seem surprising. Are we to accept them at face value? Is there more to the story than meets the eye?

An analysis of this question by my coauthors and myself is presented in this 2017 publication in Foundations of Science. Additional relevant material is referenced at this regularly updated site. What I am seeking are other possible responses to this question from people who have examined Cauchy's writings.

Note 1. I included in the article (on page 6) an extensive quotation from Cauchy that includes in particular his improbable substitution of $x=\frac{1}{n}$ in the remainder term $r_n$; see (new version of) article linked above. To a mathematician trained in the Weierstrassian framework this looks like a freshman calculus error. However, Robinson's framework enables an interpretation of this as evaluation at an infinitesimal point. Recall that the salient mathematical point here is that uniform convergence is expressible by a pointwise condition in the extended continuum. This is analogous to uniform continuity being expressible by a pointwise condition, namely S-continuity or microcontinuity (this last point is not strictly speaking related to the sum theorem but may help sort this out for those not closely familiar with the framework).

Note 2. For a related discussion of Cauchy see this MSE post.

Note 3. A detailed response to objections by Jesper Luetzen, Craig Fraser, and others appears in this 2017 publication in Mat. Stud.

Mikhail Katz
  • 15,081
  • 1
  • 50
  • 119
  • 8
    Just to be clear, you're talking about the fiasco surrounding "uniform convergence vs. pointwise convergence"? If so, I will make a note, can't remember where I read it, but I read Cauchy actually proves uniform convergence, but simply called it convergence. (The distinction was muddy at the time, as everyone just thought there was convergence, not types of convergence.) I could be wrong though. So him being pigheaded, could just be a semantic problem more than anything. –  Apr 25 '17 at 16:06
  • 2
    @james.nixon, you mean Cauchy assumes uniform convergence? – Mikhail Katz Apr 25 '17 at 16:09
  • 21
    Seems strange to me that this is getting "close" votes... I'm not a historian, but I do recall and still see the hard-line belief system that everyone was benighted before Weierstrass' delta-epsilon stuff, ... despite A. Robinson et al. My superficial revisiting of Cauchy's "famous error" also makes it less clear that he didn't understand what was going on. E.g., conceivably he meant uniform pointwise convergence, but did not have an established language to say this clearly. So this seems to me a reasonable question. – paul garrett Apr 25 '17 at 16:11
  • ... and, yes, as @james.nixon suggests. – paul garrett Apr 25 '17 at 16:11
  • @MikhailKatz Yes, that's what I meant. Can't remember where I read it, or if I got in a discussion with a professor over this. Different mathematicians used different definitions, and they all just called it 'convergence.' –  Apr 25 '17 at 16:14
  • 8
    According to https://ncatlab.org/nlab/show/Cauchy+sum+theorem, the last section on Lakatos's view, Cauchy was aware of problems. I'm a layman, but I think there is "more than meets the eye" here. Link to Lakatos's paper: http://dx.doi.org/10.1007/BF03023263 – Frieder Ladisch Apr 25 '17 at 16:26
  • 21
    For suggestions on how to "rethink the formulation", it is quite like any mathematical question: your question is too broad and it lacks context, which are commonly accepted reasons to close questions on this site. Also, questions whose main purpose is to advertise one’s own work are commonly closed on this site. If, on the other hand, you have specific doubts left over from your own work, say, particular historical gaps you are interested in plugging, explaining what you know and highlighting the things you wish to know would improve your question... – Lee Mosher Apr 30 '17 at 15:00
  • 17
    ...You do seem to already know a lot, and without knowing the content of your papers one would be wary of expressing thoughts regarding material which you already understand, particularly because of the high risk of inviting casual expressions of your contempt. – Lee Mosher Apr 30 '17 at 15:01
  • 4
    @LeeMosher, I don't mean to invite "discussion" per se, but I can't believe that I already know all there is to be known about these situations, and am asking for more information. Such inquiries are necessary if one is to avoid living in a too-self-referential world possibly accidentally disconnected from a larger world. "Mere" conscientiousness is sometimes not enough, because one may fail to imagine what one doesn't know. – Mikhail Katz Apr 30 '17 at 16:01
  • 11
    I have deleted a fair number of comments that refer to earlier formulations of the question but are now obsolete. Some of those asked for the OP to disclose the existence of a recent preprint he co-authored which is relevant to this question, which he has done. I have left Lee Mosher's comments which aver that the question could still be improved, and MK's response. – Todd Trimble Apr 30 '17 at 17:20
  • 3
    @ToddTrimble It seems unfair to have deleted the comments that added a bit of context and useful suggestions (especially because one can click on what has been edited, and look back at the question as it evolved; seeing what types of comments, and reactions make a question evolve in a particular way is an interesting, possibly instructive component of MO). – Suvrit Apr 30 '17 at 23:58
  • 7
    @Suvrit Please see https://meta.stackexchange.com/questions/19756/how-do-comments-work "Comments are temporary "Post-It" notes left on a question or answer. You should not expect them to be around forever: Once a clarification has been made, an edit added to the post to include new information, or the issue in the comment is otherwise resolved, it is subject to deletion." This certainly applies to the present case, and besides the comments were getting heated. I thought it well to start again afresh. If you have further constructive suggestions, please enter them. – Todd Trimble May 01 '17 at 00:10
  • 9
    Gentlemen: let's please refrain from further ad hominem. The question of bounties shall be strictly between the author and the site moderators. I will now delete the preceding two comments: now that their authors have gotten feelings off their chests, they seem no longer worthwhile to keep around. Let us now focus solely on the question's content; meta concerns should go to MO meta. – Todd Trimble May 08 '17 at 13:39
  • @MikhailKatz I believe it is possible and would be better to provide answers relating to substantive mathematical issues on the question I linked. As a matter of fact, you posted an answer there. Why is there a need for a new question? – Michael Greinecker May 10 '17 at 11:31
  • 10
    @MikhailKatz I voted as "off-topic", because the actual question "Are we to accept them at face value? Is there more to the story than meets the eye?" is not what MO is made for. Indeed, I don't think your question does count as a question. I believe it is a thinly veiled attempt to advertise your own position on the issue. I have no problem with your position, but MO is not a blog; it is a question and answer site. – Michael Greinecker May 10 '17 at 12:35
  • 4
    (Some of the recent comments have been edited by me, including this one, because after some others were voluntarily removed, they lost some of their prior context.) I may move this discussion to chat because of all the heat it's generated. Everyone: if you must comment, please do your damnedest to make it as constructive as possible. I'm not sure the question can be made to work, but I do want to give it a fair shot, so please enter constructive suggestions on how it can be improved. I'm listening. – Todd Trimble May 10 '17 at 13:35
  • 4
    @ToddTrimble: Here's a suggestion: I think this question should be community wiki. Based on OPs comments to the answers, and also since the question raises a point of history rather than plain math, it is unclear to me that there will be a definitive answer to the question. – Lucia May 10 '17 at 18:26
  • @Lucia Thanks. I've also considered that possibility (and still am). – Todd Trimble May 10 '17 at 18:27
  • 6
    @ToddTrimble: I'd just like to thank you for your fair and thoughtful treatment of all parties, here and elsewhere. – Nik Weaver Jun 11 '17 at 21:43
  • @NikWeaver Thanks -- I really appreciate your telling me that. – Todd Trimble Jun 12 '17 at 01:57
  • Thirty edits. A record? – Gerry Myerson Sep 11 '17 at 21:51
  • 1
    @GerryMyerson, in my last edit, I undid an inappropriate edit by another editor. So you must be referring to 28 edits. A majority of those were in response to minute objections to the wording of earlier versions of the question. – Mikhail Katz Sep 12 '17 at 06:42

3 Answers3

20

I found this paper by John Cleave, Cauchy, Convergence, and Continuity (1971) quite illuminating.

According to our present-day (Weierstrassian) conception of the continuum, Cauchy's 1821 theorem is false – one must impose the condition of uniform convergence to get a correct statement. Lakatos (1966) pointed out that the theorem is a perfectly correct statement about a Leibnizian continuum – an extension of the Weierstrassian continuum in which there are infinitely large and infinitely small numbers. He shows that if "the neighbourhood of a particular point" is understood as the set of points infinitely close to that value, and if the usual definition of convergence is assumed for sequences of numbers in the extended continuum, then Cauchy's proof is correct.

The aim of this paper is to examine Lakatos' claim more closely. We show that Cauchy's notions can be comfortably interpreted in terms of non-standard analysis and, in particular, that convergence of a series of functions in the infinitesimal neighbourhood of a point in Cauchy's sense is equivalent to the notion of "point of uniform convergence" in the Weierstrassian sense. If the correctness of the interpretation of Cauchy by non-standard analysis is granted one must therefore concede that the notion of uniform convergence was implicit in Cauchy's work of 1821 before it was formulated explicitly in $\epsilon-\delta$ terms by Seidel (1847) or Weierstrass.

See also a subsequent study in the same direction by Cutland et al. On Cauchy's notion of infinitesimal (1988).

Carlo Beenakker
  • 177,695
  • 1
    Carlo, Cleave's paper appeared in 1971. However, I don't find this precise passage there. In particular, I don't find the claim that Lakatos was the "first" to point this out. Given that Lakatos' article is based on an analysis of Robinson's book where Robinson makes such a claim, I can't see how Cleave could have made such a claim, and he doesn't as far as I can see. – Mikhail Katz Apr 27 '17 at 15:43
  • 3
    I found the article by Cleave mentioned in Carlo's answer somewhat disappointing. This is because Cleave overplays his hand by making an excessive claim for Cauchy by seeking to attribute the notion of uniform convergence to Cauchy as early as 1821. Cleave thus undermines what could have otherwise been a strong case for Cauchy's prescience that can be detected in the 1853 article that details the required condition (unlike the 1821 book). I don't think a strong claim can be made concerning such prescience by Cauchy in 1821 since the 1821 statement is too ambiguous to attach significance to it. – Mikhail Katz May 03 '17 at 15:57
  • 5
    Also, Cleave's case is undermined by the fact that Cauchy seems to be clearly stating in 1853 that he is modifying the 1821 hypothesis, by including a requirement of convergence also at infinitesimal points, etc. A much better case was made by Detlef Laugwitz in his articles published in the 1980s. – Mikhail Katz May 03 '17 at 15:58
20

After having read Katz' article, I must say I am not convinced and find that the standard interpretation, namely that of Cauchy making a mistake in 1821 and failing to acknowledging it or correcting it properly in 1853 is closer to the truth. In other words, even after reading your paper, I see nothing more than meets the eye.

One of your main point is the word "toujours" (always) which appears in the 1853 version of Cauchy's theorem, but not in the 1821 version. Quoting your paper, the 1821 version says

When the various terms of series $u_0 +u_1 +u_2 + \dots +u_n + u_{n+1} + \dots$ are functions of the same variable $x$, continuous with respect to this variable in the neighborhood of a particular value for which the series converges, the sum s of the series is also a continuous function of $x$ in the neighborhood of this particular value.

(I would have liked to see the French version, by the way).

The 1853 version is:

Théorème 1. Si les différents termes de la série $$u_0,u_1,u_2,\dots,u_n,u_{n+1},\dots \ \ (1)$$ sont des fonctions de la variable réelle $x$, continues, par rapport à cette variable, entre des limites données; si, d’ailleurs, la somme $u_n +u_{n+1} + \dots + u_{n′−1}$ devient toujours infiniment petite pour des valeurs infiniment grandes des nombres entiers $n$ et $n′ > n$, la série (1) sera convergente et la somme $s$ de la série sera, entre les limites données, fonction continue de la variable $x$.

You interpret "toujours" as meaning "for real (archimedean) and for infinitesimal values of the variable $x$". But I note that it is more natural to interpret it simply as meaning "for all real (archimedean) values of $x$". This interpretation would be enough to make the 1853 statement different, precisely with a stronger hypothesis, than the 1821 statement, for plainly the 1821 statement requires only the convergence of the series for a particular value $x_0$ (and the continuity of the $u_n$ on a neighborhood of $x_0$) to conclude the continuity of the sum $s$ at $x_0$. Thus we would have two statements of Cauchy's theorem, which both happen to be false.

The second important point of your argument is the discussion of Cauchy's treatment of a potential counter-example related lo Abel's objection in section 2.3. Cauchy claims that this is not a counter-example to his 1853 theorem because it fails some hypothesis. But here, since you give no quotation of Cauchy, it is impossible to know if Cauchy's arguments support your interpretation or are simply mistaken.

Joël
  • 25,755
  • 2
    Thanks! Interesting and thought-provoking comment. This is not to say that I necessarily agree :-) – Mikhail Katz May 08 '17 at 14:20
  • Joël, historians are in agreement that the word "toujours" in the new formulation of the "theorem" is not sufficient to explain what Cauchy meant here, and we agree with this assessment. Rather, one must look at Cauchy's proof to see what he takes his "toujours" to mean. I find it surprising that you interpret the 1821 hypothesis as applying at a single point; I haven't seen a single historian interpret it this way. And we do mention how Cauchy interprets his "toujours" in his proof. Namely, he requires the hypothesis to be satisfied at a "point" generated by the sequence $(\frac{1}{n})$... – Mikhail Katz May 08 '17 at 14:25
  • At any rate a point generated by $(\frac{1}{n})$ cannot be a standard point, as you hypothesize, and therefore your hypothesis is simply mistaken. – Mikhail Katz May 08 '17 at 14:36
  • 5
    Misha, where in your paper is the relevant quotation of Cauchy? (And the analysis if Cauchy's treatment of Abel's example supports your overall stance.) Joël certainly makes a valid point regarding giving quotations in the original language. What is the tradition in history papers? – Gil Kalai May 09 '17 at 14:35
  • 9
    I believe providing quotes in the original language is a widespread norm for scholars in the history of mathematics; in fact I'd think it essential for much scholarly work, especially where one must surmise what a long-dead mathematician was thinking -- nuances in the language must be examined. – Todd Trimble May 09 '17 at 15:06
  • @GilKalai, there are numerous quotations of Cauchy in our article. The specific point of Cauchy using $(\frac{1}{n})$ is mentioned, for example, on pages 7 and 29 among others. Many nuances in Cauchy's language are examined in this article and our earlier articles, including his use of the term "toujours". The specific issue of $1/n$ is well-known to historians; the most successful in interpreting it were Robinson himself and Laugwitz. It is difficult to read our article and not notice this issue; yet this particular answer seems to have accomplished just that. – Mikhail Katz May 09 '17 at 15:08
  • 8
    Dear Misha (I did not realize what the role of @ is. I thought that @MikhailKatz is just a less polite way to say "Dear Misha"). I am referring to the Cauchy's quotation regarding Abel's example that Joel asked about in the second point. I don't find it (or any other quote) on P.7, and also not in p.29. (Also it is hard to find in your paper what Abel's purported counter example was.) On P 7 there is a description of Cauchy's response to Abel but it is hard (for me) to understand what it is. Anyway, it might be better if you try explain Cauchy and Abel rather than to criticize Joel. – Gil Kalai May 09 '17 at 15:51
  • 1
    Also what is "Fourier's counterexample" that you refer to in the question? – Gil Kalai May 09 '17 at 15:56
  • @GilKalai, it's a discontinuous piecewise linear periodic function for which the series converges pointwise but does not converge uniformly. – Mikhail Katz May 09 '17 at 17:03
  • 1
    Anyway, Misha, ( @MikhailKatz ) what I understood from Joel's answer (and your comment) is that your position is this:
    1. For Cauchy "toujours" means "for real (archimedean) and for infinitesimal values of the variable x".

    2. This we learn from analyzing Cauchy's proof.

    3. This interpretation (of the statement and proof) makes Cauchy's 1853 theorem and proof correct.

    Is this a good description of your stance?

    – Gil Kalai May 09 '17 at 18:15
  • 7
    @GilKalai This is exactly how I understand Mikhail's position but of course he will answer himself. As for me, I believe 3) but I am not convinced that 1) and 2) are true, even after having read the linked article of Mikhail and his coauthors. I am currently reading more on the question to get a more informed opinion. – Joël May 09 '17 at 18:41
  • 2
    "Fourier counter-example" and "Abel counter-example" are the series $\sum_{n=1}^\infty \sin(n x)/n$ and other very close variants. For Fourier it was not a "counter-example" to "the principle of continuity" that a limit of continuous functions is continuous, because (according to Lakatos) the limit, a piecewise constant function, was continuous in the sense that it could be traced with a pen without taking it away from the paper (with vertical segment at what is for us discontinuity). For Abel, this example was explicitly described as a counter-example to Cauchy's theorem. – Joël May 09 '17 at 19:34
  • 1
    @GilKalai, as I noted in the question I included a more extensive quotation from Cauchy in the article that hopefully addresses your concerns. – Mikhail Katz May 10 '17 at 07:28
  • 2
    The Bibliothèque nationale de France has digitized the old Comptes rendus issues and so one can see Cauchy's 1853 paper (for free, I believe) at http://gallica.bnf.fr/ark:/12148/bpt6k2993z/f458.image. He first cites (hopefully correctly ;-) the old version from 1821 of his "Theorème". – Frieder Ladisch May 10 '17 at 12:30
  • @FriederLadisch, thanks for the link. I can also send a pdf to anyone who is interested in reading Cauchy firsthand. – Mikhail Katz May 10 '17 at 13:03
  • 7
    I've read Cauchy's 1853 paper. Cauchy acknowledges the error in his 1821 "Theorem" and explains quite clearly on page 456 the right assumption on the infinite series. It seems to me that his theorem becomes perfectly correct and that the proof is also correct. The substitution $x=1/n$ is simply there to give an example where the assumption and the conclusion are not satisfied. – François Brunault May 10 '17 at 16:34
  • 3
    Salut François. I am not sure what your position is. What is the "perfectly correct theorem" stated by Cauchy? Is it that a series of continuous functions that converges everywhere, including at infinitesimals, has a continuous limit (that's what Robinson, and many since him claim, including the OP). Or is it that a series of continuous functions that converges everywhere uniformly, has a continuous limit (as claimed by more traditional historians, e.g. Bourbaki)? Or something else? – Joël May 10 '17 at 17:17
  • Joel, Is it the case that Robinson claimed that Cauchy meant infinitesimals? or he just claimed that Cauchy's theorem can be interpreted/explained using infinitesimals? – Gil Kalai May 10 '17 at 21:29
  • 2
    Gil, to be honest I don't know. I don't have Robinson's book to check. Only thing I know: in the Math. Intelligencer paper that Mikhail kindly sent me, Lakatos writes "In the last chapter of his [1966], Robinson himself outlines some of the most important changes which his non-standard analysis suggests in the historiography of the calculus ('Concerning the History of the Calculus')" so it seems that for Robinson, non-standard analysis can not only reinterpret ancient works, but also correct our (often too negative) vision. – Joël May 10 '17 at 22:04
  • @Joël. It seems to me that Cauchy means that the series converges everywhere uniformly and proves that the limit is continuous (to me the proof looks fine). I find however that the condition on p. 456 is much clearer than the statement of "1er Théorème" p. 456-457. Regarding infinitesimals I honestly don't know... – François Brunault May 11 '17 at 05:59
  • @Joël, you ask in a comment above: "Or is it that a series of continuous functions that converges everywhere uniformly, has a continuous limit (as claimed by more traditional historians, e.g. Bourbaki)?" You therefore seem to envision that Cauchy had a correct result in 1853 as per Bourbaki. On the other hand, you seem to imply in your answer that Cauchy was still wrong in 1853 or more colorfully "did not have a clue". Are you willing to disagree with Bourbaki on Cauchy? – Mikhail Katz Jun 01 '17 at 08:14
2

For convenience of our readers I provide a summary of the article linked in the question:

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof closely and show that it finds closer proxies in a different modern framework... Interpretation of texts written in the nineteenth century, and the meaning we give to technical terms, procedures, theories, and the like are closely related to what we already know as well as our expectations and assumptions. This paper provides evidence that a change in the cultural-technical framework of a historian provides new explanations, which are arguably more natural, and new insights into Cauchy’s work.

Any serious interpretation of Cauchy's proof of his sum theorem has to take into account his argument involving the point generated by the sequence $(\frac{1}{n})$. I am not aware of any reasonable interpretation of such a point as a nonzero point of a standard Archimedean continuum.

Mikhail Katz
  • 15,081
  • 1
  • 50
  • 119
  • 5
    I don't see how this answers the question "Are we to accept them at face value? Is there more to the story than meets the eye?" – Michael Greinecker May 08 '17 at 13:41
  • 2
    Mikhail, I think I would like to make this CW, as it seems intended not as an answer but as a community service (I understand that your intention might have been to avoid further edits of the question). I hope you don't mind. – Todd Trimble May 08 '17 at 14:37
  • 1
    @ToddTrimble, no problem. – Mikhail Katz May 08 '17 at 14:38
  • 1
    MichaelGreinecker, we provide extensive evidence in the article that Cauchy's work in this area is more robust than historians like Segre and Bottazzini suggest. I detailed some of this evidence in the question. – Mikhail Katz May 10 '17 at 13:23