Бесконечно малое

У этого термина существуют и другие значения, см. Бесконечно малая и бесконечно большая.

Идея бесконечно малого восходит к греческой античности (в русской литературе часто используется эквивалентный термин инфинитезималь). Архимед пользовался бесконечно малыми в своей книге «Метод механических теорем» (Послание к Эратосфену о методе) для вычисления площади фигур и объёма тел. Классические авторы стремились подменять инфинитезимальные вычисления методом исчерпывания, считая его более строгим. 15-й век увидел новаторскую работу Николая Кузанского, развитую дальше Иоганном Кеплером, в частности расчет площади круга, представляя последний в виде бесконечно-угольника. Симон Стевин разработал континуум десятичных дробей в 16 веке. Метод неделимых Бонавентура Кавальери привёл к расширению результатов классических авторов. Метод неделимых рассматривал геометрические фигуры, как состоящие из объектов коразмерности 1. Бесконечно малые Джонa Уоллисa отличалась от неделимых в том, что он разлагал геометрические фигуры на бесконечно тонкие составные части той же размерности, что и фигура, готовя почву для общих методов интегрального исчисления. Он пользовался инфинитезималем обозначаемым $\frac{1}{\infty}$ в вычислении объёмов.

Пьер Ферма, вдохновленный Диофантом, ввел понятие adequality, то есть «адекватнoе» или примерное равенство (с точностъю до бесконечно малой ошибки), которое в конечном счете сыграло ключевую роль в современной математической реализации инфинитезимального определения производной и интеграла. Использование инфинитезималей y Лейбница опиралось на эвристический принцип, называемый законом непрерывности: что успешно для конечных чисел, успешно также и для бесконечных чисел, и наоборот. Мир 18-го века увидел рутинное использование инфинитезималей такими великими авторами, как Леонард Эйлер и Жозеф Лагранж. Огюстен Луи Коши использовал инфинитезимали в своем определении непрерывности, а также ранней формы дельта-функции Дирака. В то время, как Георг Кантор и Рихард Дедекинд развивали более абстрактные версии континуума Стевина, Павел Дю Буа-Реймон пишет ряд работ об инфинитезимально-обогащенных континуумах, основанных нa темпах роста функций. Работы Дю Буа-Реймона вдохновили как Эмиль Бореля так и Тхоралф Сколема. Сколем разработал первые нестандартные модели арифметики в 1934 году. Mатематическое осуществление как закона непрерывности, так и инфинитезималей, было достигнуто Авраамом Робинсоном в 1961 году. Его нестандартный анализ был основан на более ранних работах Эдвин Хьюиттa в 1948 году, и Ежи Лос в 1955 году. Гипервещественные числа реализуют инфинитезимально-обогащенный континуум, тогда как принцип переноса реализует закон непрерывности Лейбница.

Современные реализации

• Гладкий инфинитезимальный анализ
• Нестандартный анализ

Для улучшения этой статьи по математике желательно?: Добавить иллюстрации. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.