4
$\begingroup$

Nonstandard calculus is a reformulation of calculus that is based on infinitesimals instead of epsilon-delta definitions. Of course, people had tried to use infinitesimals in calculus before; in fact, Calculus originally used infinitesimals. The problem was that it did not have a rigorous foundation, which is why mathematicians started using the epsilon-delta definitions instead, although they still used infinitesimals informally. Much later, nonstandard analysis came along, which did put infinitesimals on rigorous foundations, but by then it was not necessary since epsilon-delta definitions were available. Nonstandard calculus is calculus except based on nonstandard analysis instead of analysis. There are still people who think that nonstandard analysis should replace those definitions, however. I will put an informal introduction to how it works at the end of this post.

Would teaching students calculus using nonstandard calculus make it easier to learn? Answers should also take into account future calculus learning, not just learning in the course itself.

I would prefer to focus on "normal" students. I think for bright students, teaching a little bit of both would be beneficial, since I think comparing the approaches teaches the idea that there can be radically different ways to study math and arrive at the same results. However, for most students, I think mainly focusing one or the other would be better.

Here are some of my observations. They are kind of long, so feel free to skip/skin them. The most important is probably points 4 and 6, since they are about how standard and nonstandard calculus are different. The other points are about how they are the same.

  1. Of course, the mathematical foundations of nonstandard analysis would be much too complicated to cover in such a course. The same is true of standard analysis though, so this is not a concern.
  2. Nonstandard calculus is compatible with calculus. By that I mean that anything you can prove in analysis can be proven in nonstandard analysis, and anything you can disproof is analysis can be proven in standard analysis, so there will never be a contradictory result. In terms of provable statements, the only difference is that nonstandard analysis proves some things about infinite and infinitesimal numbers that standard analysis is not concerned with (since it does not use such number), and even those can be translated into equivalent statements about real numbers in standard analysis. The main difference is how they got about proving them.
  3. Definitions in nonstandard calculus involve much fewer quantifiers than those in standard analysis. Limits, continuity, and uniform continuity all have a quantifier complexity of $1$, whereas in standard calculus they have 3 or 4. This however is balanced by the fact that it is much more difficult to do arithmetic with hyperreal numbers than the real numbers. You can not even build a hyperreal number calculator. All in all, proofs in both are about equally as long.
  4. Although the proofs are equally as long, they are much more intuitive in nonstandard calculus than in standard calculus. With standard calculus, you usually motivate theorems with ideas like infinity, or being infinitely close, or dividing infinitesimal numbers. Then you translate those intuitions into a series of epsilon delta definitions, with many inter-dependencies, never including your intuitions in your proof, just their translation. In nonstandard calculus, most of the intuitions are included literally in the proof. Infinity is no longer just an idea, its a number. They are also superior to informal proofs using infinitesimals (like scientists sometimes use) since it never proves an contradictions. You still have to do the work, but the work is not separate from the intuition.
  5. Both standard and nonstandard calculus generalize to other fields, such as topology, so that is not an issue.
  6. The main issue I see is when they take Calculus in the future. If the students never take another formal calculus course, this is not a concern, but if they do, all the proof methods they learned in nonstandard calculus will no longer be taught in light of new material. The grader may not know how to grade a proof using nonstandard calculus, as well (which is reasonable, since it invokes a whole host of concepts not used in standard calculus). One thing that helps though is that proofs from standard calculus still make sense in nonstandard calculus. For example, even though limits no longer have an epsilon-delta definition, they do have an epsilon-delta theorem. In fact, most limit proofs using the definition can be mechanically translated into a proof using the theorem. Since the epsilon-delta theorems are true by, well, definition in standard calculus, they would be compatible with future calculus courses. Additionally, but having the students carefully study the epsilon-delta theorems, they will likely be able to see the connection between the material in future calculus courses could be translated into nonstandard calculus. Unfortunately, this results an "overhead" cost of using nonstandard calculus over standard calculus. However, in my experience, I find that writing a proof first in nonstandard calculus and then translating it to standard calculus is easier mentally (unless I immediately see the standard calculus proof). This may be unique to myself however. However, for some courses (especially less proof based ones), learning nonstandard calculus will actually make the course easier. That's because many courses less concerned with rigor will just use infinitesimals anyways, ignoring foundational issues. Students who learned nonstandard calculus with have an advantage, since they know how to manipulate infinitesimals rigorously.
  7. Another potential issue is materials. For any introductory calculus course, this is just potential, since there is textbook that teaches introductory calculus, using nonstandard calculus proofs, that the author distributes for free. There are also some other ones of varying costs.
$\endgroup$
  • $\begingroup$ Related: 1 2 3 $\endgroup$ – PyRulez Feb 9 at 0:47
  • 5
    $\begingroup$ I am moderately puzzled by the frequency with which these questions have been asked; the "related" links above emphasize as much. If a cursory search in google scholar reveals nothing to this effect, then perhaps one or more of the interested parties could investigate this in a scholarly fashion. I don't know of anyone who has investigated the inclusion of hyperrreals, infinitesimals, etc in a first course on the Calculus. $\endgroup$ – Benjamin Dickman Feb 9 at 1:21
  • $\begingroup$ @BenjaminDickman All the questions have at least subtle differences. $\endgroup$ – PyRulez Feb 9 at 19:34
  • $\begingroup$ I don't think it's necessary or helpful to have the complete mathematical summary of NSA that takes up the second half of the question. It makes the question extremely long, and this is stuff that people can look up on WP if they need to learn about it. (You provided a WP link.) I hope you won't be offended if I edit it out. If you disagree with my edit, please feel free to undo it. $\endgroup$ – Ben Crowell Feb 10 at 17:09
  • 1
    $\begingroup$ @BenjaminDickman: I'm puzzled by your puzzlement. You seem to be saying that you think people on this site are asking over and over whether anyone uses NSA in freshman calc, and the answer is always no, so why do they keep asking? But in fact many of the answers are yes answers. And as the OP points out, the questions all differ. [1] asks where it's used. [2] asks for research supporting or opposing. [3] is more about whether students should be taught to be "bilingual." The present question seems to be about whether it's a good idea to do a "monolingual" course using NSA. $\endgroup$ – Ben Crowell Feb 10 at 17:51
7
$\begingroup$

This has certainly been tried before. See for example,

H. Jerome Keisler. Elementary Calculus: An Infinitesimal Approach. On-line Edition. This has also been published in print by Dover.

Kathleen Sullivan. The Teaching of Elementary Calculus Using the Nonstandard Analysis Approach. The American Mathematical Monthly Vol. 83, No. 5 (May, 1976), pp. 370-375.

$\endgroup$
  • 1
    $\begingroup$ To amplify on this, I think this particular question differs from the one by Mikhail Katz in that it asks whether it's appropriate to do a freshman calc course using an aggressively NSA-centered approach, rather than just exposing students to both the language of limits and the language of infinitesimals. Keisler's approach is such an aggressively NSA-centric one, although he does also go back and define limits. The OP also asks whether this would make freshman calc "easier to learn." Anecdotally, I think the experience is that it didn't work out so great when Keisler tried it, although [...] $\endgroup$ – Ben Crowell Feb 10 at 17:59
  • $\begingroup$ [...] this may have been partly due to incidental factors such as disorganization and lots of errata in initial versions of the book. $\endgroup$ – Ben Crowell Feb 10 at 18:00
5
$\begingroup$

My understanding of this question is that it proposes the idea of a "monolingual" freshman calc course in which students mostly learn the language of NSA, and limits are largely or completely neglected. This makes it different from this question by Mikhail Katz, which asks whether it's a good idea for students to be "bilingual."

I have some experience teaching some NSA-based material to first-semester calculus students at a community college. Here is the book I wrote for that purpose. My approach is "bilingual." The philosophy with which I approached this was not that students should learn NSA in excruciating detail -- that would be kind of silly IMO, and would detract from the main thrust of the course, which is basically to be able to do rule-based differentiation.

However, scientists and engineers still use Leibniz notation and manipulate infinitesimals using algebra. They've been doing it for 300 years, and they never stopped doing it just because there was a short gap between the invention of the limit and the invention of NSA. These students will see such manipulations in their physics courses, and they will see and be expected to use them in their careers. So we should give them some systematic idea of what techniques are appropriate when performing these manipulations. If this was 1850, we would teach them a body of techniques that we knew from experience gave correct results, e.g., throwing away higher orders of $dx$. Today we have more secure knowledge that these procedures can be put on a sound logical footing, but that actually has little effect in reality on what body of techniques we use.

The goal should not be to eliminate the $\epsilon-\delta$ definition of limits. This is not possible because there is a clear consensus among mathematicians that $\epsilon-\delta$ is something students should have already learned by the time they go on to their second-semester course, and we need to prepare these students properly. In fact, $\epsilon-\delta$-like ideas are fundamental to many of the common modes of reasoning about calculus. E.g., we can do a numerical simulation of the motion of the moon with a small time step, and say, "If I make the step size small enough, I should be able to make the error as small as desired." Newton and Leibniz would have understood that idea, and so would every physicist of succeeding centuries, long before the definition of the limit.

When you get right down to it, using NSA doesn't really turn out to produce any incredible simplification of freshman calculus. For example, it would be nice if we could just prove the chain rule and L’Hôpital’s rule by manipulating infinitesimals using algebra, but the nuts and bolts don't actually work out quite that trivially. In the case of the chain rule, you have the issue that the derivative is not the quotient of infinitesimals but the standard part of that quotient. In the case of L’Hôpital’s rule you also have all the various forms of the rule (repeated application, limits at infinity, $\infty/\infty$, etc.). These are complicated to prove (and many books don't prove them all), and the complication isn't really reduced very much by using NSA.

Keep in mind also that at this level, our students never really get a full-blown introduction to the real number system. No commercial textbook I've ever seen systematically introduces and applies anything beyond the first-order properties of the reals. (They may state the completeness property, but they never use it to prove things like the intermediate value theorem.) This is material that belongs in an upper-division analysis class. Since the hyperreals have the same first-order properties as the reals, there is actually very little that we can meaningfully say about the hyperreals to students at this level.

I do explicitly name the hyperreals and describe how their properties differ from those of the reals (this is mainly in section 2.9 of my book). However, I don't think it's a good idea to go into the kind of depth that Keisler does.

$\endgroup$
4
$\begingroup$

Speaking as a former student, though an engineering one . . . It was hard enough learning to integrate tricky expressions and solve differential equations, without having to learn a new number system as well. And I don't remember ever needing the rigorous definition of a limit, standard or nonstandard. The most I needed even in complex calculus was an ability to manipulate limits, and an awareness that derivatives and antiderivatives were defined as limits and could be found as limits if necessary.

You're not going to understand Maxwell's Equations or the Schrödinger Wave Equation or Fourier transforms without understanding integrals and derivatives, but you can perfectly well understand them without knowing the rigorous definition of a limit.

It seems to me that an introductory calculus course isn't going to be an introduction to proving that calculus works, any more than an introductory algebra course is going to start with a rigorous definition of the real numbers—it's going to be an introduction to the concepts of differentiation and integration and how to use them.

Obviously, proving rigorously that calculus works does require rigorous definitions, and at that point something new has to be introduced. Maybe a strange new definition involving $ε$ and $δ$, and maybe a strange new number system in which there are different sizes of zero which are defined not to equal each other or zero.

I think awareness at that stage is likely to be:

  • $\frac{dy}{dx}$ is defined as a limit, and so is $\int y dx$.
  • but we sometimes treat $dy$ and $dx$ like algebraic quantities
  • this is a bit dodgy even though it works, since we're effectively either dividing $0$ by $0$ or multiplying $0$ by $\infty$
  • the way round this involves something to do with limits.

If $ε–δ$ is explained clearly at that stage—ie in terms of making $ε$ arbitrarily small by making $δ$ small enough or $N$ large enough, and not as a dense expression full of quantifiers—then once someone has grasped it, they'll be convinced it's rigorous. But if they're introduced to hyperreal numbers instead, they'll have lingering doubts about whether arguments using them are actually valid. It means another layer of understanding is needed, namely the background theory of the new number system.

So I think it's more useful to focus on understanding the principle of $ε–δ$ definitions and techniques clearly than to introduce an unfamiliar number system. Apart from anything else, this will help them to understand other textbooks in the future, which must likely won't use hyperreals.

$\endgroup$
  • 1
    $\begingroup$ "but we sometimes treat dy and dx like algebraic quantities" "the way round this involves something to do with limits". That is the main advantage of nonstandard calculus. All calculations are done by treating dy and dx as algebraic qualities, because they are algebraic qualities in the hyperreal number system. It does not need to be avoided. The derivative is equal to the quotient of dy and dx, and the integral is a hyperfinite sum of values having dx in it. $\endgroup$ – PyRulez Feb 9 at 18:29
  • $\begingroup$ "If ε–δ is explained clearly at that stage—ie in terms of making ε arbitrarily small by making δ small enough or N large enough, and not as a dense expression full of quantifiers—then once someone has grasped it, they'll be convinced it's rigorous." ε–δ definitions will still have a high quantifier complexity even when it explained in English. You still have to say "for all arbitrarily small epsilon there exists arbitrarily small delta such that for all x. statement". $\endgroup$ – PyRulez Feb 9 at 18:36
  • $\begingroup$ You do have a point though of the foundations of the nonstandard analysis being significantly more complicated. Proofing that the foundation of analysis makes sense takes a course or too, but nonstandard analysis is even worse. $\endgroup$ – PyRulez Feb 9 at 18:38
  • $\begingroup$ "The most I needed even in complex calculus was an ability to manipulate limits, and an awareness that derivatives and antiderivatives were defined as limits and could be found as limits if necessary." You need a similarly small part of nonstandard analysis to do the same. The most you need to know to match that is how to manipulate hyperreals, and that derivatives and antiderivatives can be found using hyperreals if needed. $\endgroup$ – PyRulez Feb 9 at 18:44
  • 1
    $\begingroup$ @PyRulez I see that and I quite like it. I was trying to ssy that there are two ways to deal with the issue of differentials—either hyperreals or $ε–δ$—and that both approaches involve introducing a new concept. Maybe the ideal is for students to know that both approaches exist, but learn one in detail. Hyperreals are interesting enough to prompt those who are interested to read about them and play around with them, and anyone who needs to prove calculus theorems is at a level where they need to know about $ε–δ$ anyway. That's my thought. $\endgroup$ – timtfj Feb 9 at 18:51
3
$\begingroup$

It's not really that relevant since the bulk of a normal calculus course (e.g. AP BC, Thomas Finney, Stewart) just does a small amount of epsilon-delta (so student is exposed to it) and then moves to "x+h". The bulk of the course is about learning derivatives, antiderivatives, methods of integration, classic applied problems, a bit if polar coordinates, bit of series, and small section on ODEs.

You are swinging at the wrong opponent with this obsession on the definition of a derivative (but not surprising given the theory bent of many math majors).

If you want to make things easier, cut partial fractions, integration by parts, etc. Do nurses and business students really need that? (Of course this does mean tracking because science and engineering do.)

P.s. I found your question hard to parse given the notation (upside down A). This is ironic given you are planning to make things easier for knuckleheads worse than I. Not showing it here...makes me leery of your proposals. Can't you discuss pedagogy and coverage without such a segue into exploring the math theory like that?

$\endgroup$
  • $\begingroup$ Standard calculus uses the upside down A as well, and more of them, so I'm not sure what difference that makes. I would have to teach them anyways. $\endgroup$ – PyRulez Feb 9 at 2:01
  • 1
    $\begingroup$ @PyRulez Standard calculus where uses $\forall$? Please tell us what country or part of the world you are in. From my perspective (US) no careful quantifier notation is used in calculus teaching to "normal" students. Calculus is not real analysis, there are essentially zero proofs in calculus, and the whole topic of standard vs. nonstandard analysis seems mostly irrelevant to the actual practice of teaching calculus (maybe 1 or 2 lectures are on rigorous limits and then they do not come up in a rigorous way again). The nonstandard freshman calculus book died in the marketplace years ago. $\endgroup$ – KCd Feb 9 at 10:32
  • $\begingroup$ @KCd In the U.S. calculus text books usually explain quantifier notation in the index. $\endgroup$ – PyRulez Feb 9 at 18:48
  • 2
    $\begingroup$ "swinging at the wrong opponent with this obsession on the definition of a derivative" its not just the definition of derivatives, or the epsilon delta notation. Nonstandard analysis also fundamentally changes how you *manipulate" derivatives, integrals, and even applied problems. In particular, nonstandard analysis allows more algebraic manipulations than standard analysis. In standard calculus you would need to use limits to simulate them. $\endgroup$ – PyRulez Feb 9 at 18:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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