Исчисление бесконечно малых

Хотя метод исчерпывания, известный со времён античности, и метод неделимых, сформулированный Кавальери в 1635 году, в той или иной мере используют сведение к бесконечно малым величинам, первые попытки алгебраизации операций с бесконечно малыми были сделаны Валлисом, Барроу и Грегори в середине XVII века, в явном виде математическая абстракция инфинитезималей была создана в 1680-е годы практически одновременно Ньютоном в его «методе флюксий» (бесконечно малых приращений) и Лейбницем (определившим дифференциал)^[4].

Строгие определения бесконечно малых с использованием понятий предела, сходимости и непрерывности даны в XIX веке Коши и Вейерштрассом, наиболее традиционной в этих определениях стала так называемая -формулировка^[en] (например, считается пределом по Коши функции в точке , если для любого найдётся , что выполняется при любых , удовлетворяющих условию , выполнено ). В более поздних определениях бесконечно малых используется техника окрестностей — открытых подмножеств (Гейне), которые естественным образом обобщены в общей топологии (абстрагирующей понятие открытого множества).

В нестандартном анализе Робинсона (1960-е годы) бесконечно малые вводятся как вид обобщённых чисел, не превосходящих для любого , класс всех таких чисел актуализируется «монадой нуля» ^[10].