Maths●●●●●Difficulty 5 of 5

How did Cauchy and Weierstrass finally make calculus rigorous?

For about 150 years calculus worked brilliantly while resting on quantities a bishop called the ghosts of departed quantities. A new definition of limit finally banished them.

▶ Start the story

Cauchy and Weierstrass made calculus by replacing the mysterious infinitely small with a careful statement about limits. Early calculus used quantities, and critics thought that unrigorous. Working out a rigorous foundation occupied mathematicians for much of the century following Newton and Leibniz, and the answer, due to the work of Cauchy and Weierstrass, avoided mere notions of infinitely small quantities.

The attack came first. In 1734 Bishop George Berkeley wrote The Analyst, a direct attack on the foundations of calculus, on Newton's and on Leibniz's change. He famously described infinitesimals as the ghosts of departed quantities. The book was prompted by a mocking remark from the free-thinking astronomer Edmond Halley, and it hit a real weak spot. A quantity that is neither zero nor anything you can write down is hard to defend.

The fix was to talk only about nearby values. Limits describe the behavior of a function at a certain input in terms of its values at nearby inputs. Infinitesimals get replaced by sequences of smaller and smaller numbers, and the infinitely small behaviour of a function is found by taking the limiting behaviour for these sequences. The letters epsilon and delta in the modern definition can be understood as error and distance: whatever error you name, however small, there must be a distance such that whenever the input is that close to the point, the output is within your error of the limit.

The epsilon-delta promise
  1. Step 1: Name an error

    How close to the limit do you want the output?

  2. Step 2: Find a distance

    How close must the input stay?

  3. Step 3: The promise holds

    Inside that distance, the output stays within your error

Cauchy's textbook Cours d'Analyse, published in 1821, gave a prototype of this definition, though a somewhat imprecise one. Weierstrass then formalized the concept of limit and eliminated infinitesimals. In the late 19th century limits replaced infinitesimals within academia, and the old puzzle of the infinitely small finally had a precise answer.

Quiz me

0/3

  1. 1.What was the main objection to early calculus that Berkeley attacked in The Analyst?
  2. 2.In the limit idea, how are infinitesimals replaced?
  3. 3.What happened to infinitesimals in the 20th century?

Recap

A limit is a promise: name any error you can tolerate, and there is always a distance that keeps you within it.

💡 A trick to remember it · Epsilon is the error you dare to name; delta is the distance that keeps you inside the game.

Surprising fact · The infinitesimals were later revived in non-standard analysis, on firm ground.

Sources (5)

No source, no claim. Every fact in this lesson (17 claims) cites at least one of these.

  1. [1]The Analyst · Wikipedia
  2. [2]Calculus · Wikipedia
  3. [3]Limit of a function · Wikipedia
  4. [4]Karl Weierstrass · Wikipedia
  5. [5]Cours d'analyse · Wikipedia
More lessons in ➗ Maths (3) See all maths lessons →

One more light on your map.

Get one lesson like this every day, about the things you love. Free, in two or five minutes.

Get the share card for this lesson ↗