Leibniz based his approach to calculus on infinitesimals - numbers that are bigger than zero but smaller than 1/2, 1/3, 1/4, ... and so on. Many people were uncomfortable with these, so they figured out how to do calculus without infinitesimals. That's how it's usually taught now.

But you can do calculus with infinitesimals in a perfectly rigorous way... and in some ways, it's easier! Here's a free online textbook that teaches calculus this way:

• H. Jerome Keisler, Elementary Calculus, people.math.wisc.edu/~hkeisler

The picture here is from this book. There's a tiny little infinitesimal number ε, pronounced 'epsilon'. And 1/ε is infinitely big! These aren't 'real numbers' in the usual sense. Sometimes they're called hyperreal numbers:

• Wikipedia, Hyperreal number, en.wikipedia.org/wiki/Hyperrea

You can calculate the derivative, or rate of change, of a function 𝑓 by doing

(𝑓(𝑥+ε)−𝑓(𝑥))/ε

and then at the end throwing out terms involving ε. For example, suppose

𝑓(𝑥) = 𝑥²

Then to compute its derivative we do

((𝑥+ε)²−𝑥²)/ε

Working this out using algebra, we get

2𝑥+ε

Then, at the end, we throw out the term involving ε and get

2𝑥

This is the rate of change of the function 𝑥².

In 1961 the logician Abraham Robinson showed that hyperreal numbers are just as consistent as ordinary real numbers, and that the two systems are compatible in a certain precise sense. In 1976 Jerome Keisler, a student of the famous logician Tarski, published this elementary textbook that teaches calculus using hyperreal numbers. And now it's free with a Creative Commons copyright!

フォロー

Infinitesimal を使う解析学は,日本では,故齋藤正彦先生の造語である「超準解析」という名前で知られている.

mathstodon.xyz/@johncarlosbaez

超準解析を使った解析学の導入については,『数学セミナー』に昔書いた記事の拡張版
fuchino.ddo.jp/articles/susemi
に証明付きで解説している. [参照]

ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。