Infinitesimals, Gauge Integrals, and the Roads Mathematics Almost Took

When students first learn integration, they often assume that the story ended with Riemann and reached its final form with Lebesgue.

The reality is far more interesting.

Throughout the history of mathematics, many competing visions emerged for what it means to measure, accumulate, and integrate.

Some became mainstream.

Others remained niche.

A few are still active areas of research and continue to influence modern mathematics.

This series explores some of the most fascinating alternatives and extensions to classical integration.

1. Nonstandard Analysis: What If Infinitesimals Were Real?

The Original Vision

When Newton and Leibniz invented calculus, they imagined infinitely small quantities.

A curve could be sliced into infinitely thin pieces.

The area under a function could be obtained by adding infinitely many infinitesimal rectangles.

Conceptually, the integral looked like:

$$
\text{Area}=\sum
f(x)
\cdot
(dx)
$$

where (dx) was genuinely infinitesimal.

The problem was that nobody could explain precisely what an infinitesimal actually was.

Mathematicians eventually abandoned this language and replaced it with limits.

The Rise of Limits

During the nineteenth century, Cauchy, Weierstrass, and others rebuilt calculus using limits.

Infinitesimals disappeared.

Instead of infinitely small quantities, one worked with quantities that became arbitrarily small.

This approach was rigorous and successful.

For over a century, most mathematicians considered infinitesimals to be a useful fiction.

Robinson’s Revolution

In the 1960s, Abraham Robinson discovered something astonishing.

Using mathematical logic, he constructed number systems containing genuine infinitesimals.

These numbers were:

• Smaller than every positive real number
• Not equal to zero

This created the field now known as Nonstandard Analysis.

Integration Reimagined

Within this framework, one can define integration almost exactly the way Leibniz imagined it.

Partition an interval into infinitely many infinitesimal pieces.

Compute:

$$
\sum
f(x_i)
\Delta x_i
$$

Then take the standard part of the result.

No limits are needed.

The intuition that guided the founders of calculus suddenly became rigorous.

Why It Didn’t Replace Standard Analysis

Although elegant, nonstandard analysis arrived after standard analysis was already deeply entrenched.

Most mathematicians already spoke the language of limits.

As a result, nonstandard analysis became an alternative framework rather than a replacement.

Yet it remains an active research area and continues to influence probability, differential equations, and mathematical logic.

2. The Henstock–Kurzweil Integral: The Integration Theory That Almost Won

The Problem with Riemann

Riemann integration works by partitioning an interval into pieces:

|----|----|----|----|

The partitions become finer and finer.

The widths must shrink everywhere.

This works for many functions but eventually encounters limitations.

Lebesgue’s Solution

Lebesgue changed the entire perspective.

Instead of partitioning the domain, he partitioned according to function values.

This dramatically expanded the class of integrable functions.

The resulting theory became one of the foundations of modern mathematics.

A Different Idea

In the twentieth century, Ralph Henstock and Jaroslav Kurzweil asked:

What if partitions were allowed to adapt to the function?

Instead of forcing all intervals to become small, one chooses a gauge:

$$
\delta(x)
$$

which determines how large an interval is allowed to be near each point.

Near troublesome locations:

Tiny intervals

Elsewhere:

Large intervals

The partition becomes flexible.

Why This Is Powerful

Many functions that are not Riemann integrable become integrable.

Even more surprisingly, certain functions that are awkward for Lebesgue theory become natural in the Henstock–Kurzweil framework.

Many classical theorems become simpler.

Why It Didn’t Become Standard

Mathematicians had already built:

• Probability theory
• Functional analysis
• Measure theory

around Lebesgue integration.

Switching foundations would have been enormously disruptive.

As a result, Henstock–Kurzweil integration became a fascinating side branch rather than the main road.

Why Analysts Still Care

Many analysts regard it as one of the most elegant integration theories ever discovered.

It preserves the geometric intuition of Riemann while achieving much of the power associated with Lebesgue.

Some even argue that if history had unfolded differently, this might have become the standard theory taught in universities.

A Common Theme

Both nonstandard analysis and Henstock–Kurzweil integration reveal something profound.

Neither rejects integration.

Instead, both ask:

What if we are approaching integration from the wrong angle?

The history of mathematics is full of such moments.

A familiar concept is reexamined from a new perspective.

Sometimes the result changes the world.

Sometimes it becomes a beautiful alternative path.

In either case, the questions continue to inspire research today.