В математике, бесконечно малые или бесконечно малые числа - это величины, которые ближе к нулю, чем любое стандартное действительное число, но не равны нулю. Их нет в стандартной системе действительных чисел, но они существуют во многих других системах счисления, таких как сюрреалистические числа и гиперреальные числа, которые можно рассматривать как действительные числа. дополнен системой бесконечно малых величин, а также бесконечных величин, которые являются обратными бесконечно малым.
Они были широко представлены при разработке исчисления, где производная первоначально рассматривалась как отношение двух бесконечно малых величин. Это определение, как и большая часть математики того времени, не было формализовано совершенно строго. В результате последующие формальные трактовки исчисления имели тенденцию отбрасывать бесконечно малую точку зрения в пользу пределов, которые могут быть выполнены с использованием стандартных вещественных чисел.
Бесконечно малые вновь обрели популярность в 20 веке с развитием Абрахама Робинсона нестандартного анализа и гиперреальных чисел, которые показали, что формальные Исчисление бесконечно малых стало возможным после долгих споров по этой теме на протяжении веков математики. Вслед за этим были разработаны сюрреалистические числа, тесно связанная формализация бесконечных и бесконечно малых чисел, которая включает в себя как гиперреальные числа, так и порядковые числа, а также самое большое упорядоченное поле.
Идея использования бесконечно малых значений заключалась в том, что объекты могли сохранять определенные свойства, такие как angle или slope, даже если эти объекты были бесконечно малы. Слово «бесконечно малое» происходит от современной латинской монеты «infinitesimus» 17-го века, которая первоначально относилась к элементу «бесконечность -th » в последовательности. Бесконечно малые величины являются основным компонентом процедур бесконечно малых исчисления, разработанных Лейбницем, включая закон непрерывности и трансцендентальный закон однородности. В обычном понимании бесконечно малый объект - это объект, который меньше любого возможного измерения, но не равен нулю по размеру - или настолько мал, что его нельзя отличить от нуля никакими доступными средствами. Следовательно, при использовании в качестве прилагательного в математике «бесконечно малый» означает «бесконечно малый» или меньший, чем любое стандартное действительное число. Чтобы придать этому смысл, бесконечно малые числа часто сравнивают с другими бесконечно малыми величинами аналогичного размера (как в производной ). Бесконечно много бесконечно малых суммируются для получения интеграла.
Концепция бесконечно малых величин была первоначально введена около 1670 года либо Николаем Меркатором, либо Готфридом Вильгельмом Лейбницем. Архимед использовал то, что в итоге стало известно как метод неделимых в своей работе Метод механических теорем, чтобы найти площади областей и объемы твердых тел. В своих официально опубликованных трактатах Архимед решил ту же проблему, используя метод исчерпания. В 15 веке была отмечена работа Николая Кузанского, получившая дальнейшее развитие в 17 веке Иоганном Кеплером, в частности, вычисление площади круга путем представления последнего как бесконечного многоугольник. Работа Саймона Стевина по десятичному представлению всех чисел в 16 веке подготовила почву для реального континуума. Метод неделимых, предложенный Бонавентурой Кавальери, привел к расширению результатов классических авторов. Метод неделимых относится к геометрическим фигурам, состоящим из объектов коразмерности 1. Бесконечно малые числа Джона Уоллиса отличались от неделимых тем, что он разлагал геометрические фигуры на бесконечно тонкие строительные блоки той же размерности, что и фигура, подготавливая основу для общих методов интегрального исчисления. Он использовал бесконечно малую величину, обозначенную 1 / ∞ в вычислениях площади.
Использование бесконечно малых чисел Лейбницем основывалось на эвристических принципах, таких как закон непрерывности: то, что успешно для конечных чисел, также успешно и для бесконечных чисел, и наоборот; и трансцендентный закон однородности, который определяет процедуры для замены выражений, содержащих не присваиваемые величины, выражениями, включающими только присваиваемые. В XVIII веке бесконечно малые числа регулярно использовали математики, такие как Леонард Эйлер и Жозеф-Луи Лагранж. Огюстен-Луи Коши использовал бесконечно малые величины как при определении непрерывности в его Cours d'Analyse, так и при определении ранней формы дельта-функции Дирака. Когда Кантор и Дедекинд разрабатывали более абстрактные версии континуума Стевена, Поль дю Буа-Реймон написал серию статей о бесконечно обогащенных континуумах, основанных на скорости роста функций. Работа Дюбуа-Реймона вдохновила как Эмиля Бореля, так и Торальфа Сколема. Борель явно связал работу Дюбуа-Реймона с работой Коши о темпах роста бесконечно малых величин. Сколем разработал первые нестандартные модели арифметики в 1934 году. Математическая реализация как закона непрерывности, так и закона бесконечно малых была достигнута Абрахамом Робинсоном в 1961 году, который разработал нестандартный анализ на основе более ранняя работа Эдвина Хьюитта в 1948 году и Ежи Лось в 1955 году. гиперреалы реализуют бесконечно обогащенный континуум, а принцип переноса реализует Закон непрерывности Лейбница. стандартная функция части реализует адекватность Ферма.
Владимир Арнольд писал в 1990 году:
Понятие бесконечно малых величин обсуждалось элейской школой. Греческий математик Архимед (ок. 287 г. до н. Э. - ок. 212 г. до н. Э.) В Метод механических теорем был первым, кто предложил логически строгое определение бесконечно малых. Его свойство Архимеда определяет число x как бесконечное, если оно удовлетворяет условиям | x |>1, | x |>1 + 1, | x |>1 + 1 + 1,... и бесконечно малым если x ≠ 0 и аналогичный набор условий выполняется для x и обратных положительных целых чисел. Система счисления называется архимедовой, если она не содержит бесконечных или бесконечно малых членов.
Английский математик Джон Уоллис ввел выражение 1 / ∞ в своей книге 1655 года «Трактат о конических сечениях». Символ, который обозначает обратную или обратную величину ∞, является символическим представлением математической концепции бесконечно малого. В своем «Трактате о конических сечениях» Уоллис также обсуждает концепцию связи между введенным им символическим представлением бесконечно малого 1 / ∞ и концепцией бесконечности, для которой он ввел символ ∞. Эта концепция предлагает мысленный эксперимент по добавлению бесконечного числа параллелограммов бесконечно малой ширины для образования конечной площади. Эта концепция была предшественницей современного метода интегрирования, используемого в интегральном исчислении. Концептуальные истоки концепции бесконечно малого 1 / ∞ можно проследить еще со времен греческого философа Зенона Элейского, чей парадокс дихотомии Зенона был первой математической концепцией, в которой рассматривалась отношение между конечным интервалом и интервалом, приближающимся к интервалу бесконечно малого размера.
Бесконечно малые были предметом политических и религиозных споров в Европе 17-го века, в том числе запрет на бесконечно малые числа, изданный клериками в Риме в 1632 году.
До изобретения математического анализа математики умели вычислять касательных линий с использованием метода Пьера де Ферма адекватности и метода Рене Декарта 'нормалей. Среди ученых ведутся споры о том, был ли этот метод бесконечно малым или алгебраическим по своей природе. Когда Ньютон и Лейбниц изобрели исчисление, они использовали бесконечно малые величины, флюксии Ньютона и дифференциал Лейбница. Епископ Беркли в своей работе Аналитик назвал использование бесконечно малых величин неправильным. Математики, ученые и инженеры продолжали использовать бесконечно малые величины для получения правильных результатов. Во второй половине девятнадцатого века исчисление было переформулировано Огюстен-Луи Коши, Бернаром Больцано, Карлом Вейерштрассом, Кантором, Дедекинд и другие, использующие (ε, δ) -определение предела и теорию множеств. В то время как последователи Кантора, Дедекинда и Вейерштрасса стремились избавить анализ от бесконечно малых величин, а их философские союзники, такие как Бертран Рассел и Рудольф Карнап, заявили, что бесконечно малые являются псевдоконцепциями, Герман Коэн и его марбургская школа неокантианства стремились разработать рабочую логику бесконечно малых величин. Математическое изучение систем, содержащих бесконечно малые величины, продолжалось в работах Леви-Чивита, Джузеппе Веронезе, Поля дю Буа-Реймонда и других в конце девятнадцатого века. и двадцатые века, как описано Филипом Эрлихом (2006). В 20 веке было обнаружено, что бесконечно малые числа могут служить основой для исчисления и анализа (см. гиперреальные числа ).
Расширяя действительные числа для включения бесконечных и бесконечно малых величин, обычно желают быть максимально консервативными, не изменяя ни одно из их элементарных свойств. Это гарантирует, что по-прежнему доступно как можно больше знакомых результатов. Обычно элементарный означает, что нет количественной оценки по наборам, а только по элементам. Это ограничение допускает утверждения формы «для любого числа x...». Например, аксиома, которая утверждает, что «для любого числа x, x + 0 = x» все еще применима. То же самое верно и для количественной оценки нескольких чисел, например, «для любых чисел x и y, xy = yx». Однако утверждения формы «для любого набора S чисел...» не могут быть перенесены. Логика с этим ограничением количественной оценки упоминается как логика первого порядка.
Результирующая расширенная система счисления не может согласовываться с реальными числами по всем свойствам, которые могут быть выражены количественной оценкой по множествам, потому что цель состоит в том, чтобы построить не -Архимедова система и принцип Архимеда могут быть выражены количественной оценкой по множествам. Можно консервативно расширить любую теорию, включая действительные числа, включая теорию множеств, чтобы включить бесконечно малые числа, просто добавив счетно бесконечный список аксиом, утверждающих, что число меньше 1/2, 1/3, 1/4 и т. Д. Точно так же нельзя ожидать переноса свойства полноты, потому что вещественные числа являются уникальным полным упорядоченным полем с точностью до изоморфизма.
Мы можем выделить три уровня, на которых неархимедова система счисления может иметь свойства первого порядка, совместимые со свойствами действительных чисел:
Системы в категории 1, на слабом конце спектра, относительно легко построить, но не позволяют полностью рассмотреть классический анализ с использованием бесконечно малых величин в духе Ньютона и Лейбница.. Например, трансцендентные функции определены в терминах бесконечных ограничивающих процессов, и поэтому обычно нет способа определить их в логике первого порядка. Повышая аналитическую силу системы за счет перехода к категориям 2 и 3, мы обнаруживаем, что вкус трактовки имеет тенденцию становиться менее конструктивным, и становится все труднее сказать что-либо конкретное об иерархической структуре бесконечностей и бесконечно малых.
Примером из категории 1 выше является поле серии Лорана с конечным числом членов с отрицательной степенью. Например, ряд Лорана, состоящий только из постоянного члена 1, отождествляется с действительным числом 1, а ряд только с линейным членом x считается простейшим бесконечно малым, из которого строятся другие бесконечно малые числа. Используется словарный порядок, что эквивалентно рассмотрению более высоких степеней x как незначительных по сравнению с более низкими степенями. Дэвид О. Толл называет эту систему сверхреальными, не путать с системой сверхреальных чисел Дейлса и Вудина. Поскольку ряд Тейлора, вычисленный с рядом Лорана в качестве аргумента, по-прежнему является рядом Лорана, систему можно использовать для вычисления трансцендентных функций, если они являются аналитическими. Эти бесконечно малые числа имеют другие свойства первого порядка, чем действительные числа, потому что, например, базовое бесконечно малое число x не имеет квадратного корня.
Поле Леви-Чивита похоже на ряд Лорана, но алгебраически замкнуто. Например, базовое бесконечно малое x имеет квадратный корень. Это поле достаточно богато, чтобы можно было провести значительный объем анализа, но его элементы все еще могут быть представлены на компьютере в том же смысле, что и действительные числа могут быть представлены с плавающей запятой.
Поле транссерии больше, чем поле Леви-Чивита. Пример транссерий:
где для целей упорядочивания x считается бесконечным.
сюрреалистические числа Конвея попадают в категорию 2. Это система, разработанная так, чтобы максимально использовать числа различных размеров, но не обязательно для удобства. при проведении анализа. Некоторые трансцендентные функции могут быть перенесены на сурреальные числа, включая логарифмы и экспоненты, но большинство, например, синусоидальная функция, не может. Существование какого-либо конкретного сюрреалистического числа, даже такого, которое имеет прямое соответствие в действительных числах, не известно априори и должно быть доказано.
Самый распространенный метод работы с бесконечно малыми числами - это гиперреалы, разработанные Абрахамом Робинсоном в 1960-х годах. Они попадают в категорию 3 выше, так как были разработаны таким образом, чтобы весь классический анализ можно было перенести из реального. Это свойство способности естественным образом переносить все отношения известно как принцип переноса, доказанный Ежи Лос в 1955 году. Например, трансцендентная функция sin имеет естественную двойник * sin, который принимает гиперреальный вход и дает гиперреальный выход, и аналогично набор натуральных чисел имеет естественный аналог , который содержит как конечные, так и бесконечные целые числа. Утверждение, например , переносится на гиперреальные числа как .
Система сверхреальных чисел Дейлса и Вудина является обобщением гиперреалов. Она отличается от сверхреальной системы, определенной Дэвидом Таллом.
В линейной алгебре, двойные числа расширяют действительные числа на примыкающий к одному бесконечно малому элементу ε со свойством ε = 0 (то есть ε нильпотентен ). Каждое двойственное число имеет вид z = a + bε, где a и b - однозначно определенные действительные числа.
Одно из применений двойных чисел - автоматическое дифференцирование. Это приложение можно обобщить на многочлены от n переменных, используя Внешнюю алгебру n-мерного векторного пространства.
Синтетическая дифференциальная геометрия или гладкий анализ бесконечно малых имеют корни в теории категорий. Этот подход отходит от классической логики, используемой в традиционной математике, отрицая общую применимость закона исключенного среднего, то есть, not (a ≠ b) не обязательно означает a = b. Затем можно определить нильквадрат или нильпотент бесконечно малое. Это число x, где x = 0 истинно, но при этом x = 0 не обязательно должно быть истинным. Поскольку исходной логикой является интуиционистская логика, не сразу становится ясно, как классифицировать эту систему относительно классов 1, 2 и 3. Сначала необходимо разработать интуиционистские аналоги этих классов.
Коши использовали бесконечно малую для записи единичного импульса, бесконечно высокой и узкой дельты типа Дирака. функция удовлетворение в ряде статей 1827 г., см. Laugwitz (1989). Коши определил бесконечно малое в 1821 году (Cours d'Analyse) в терминах последовательности, стремящейся к нулю. А именно, такая нулевая последовательность становится бесконечно малой в терминологии Коши и Лазара Карно.
Современные теоретико-множественные подходы позволяют определять бесконечно малые числа с помощью конструкции сверхмощной, где нулевая последовательность становится бесконечно малой в смысле класса эквивалентности по модулю отношения, определенного в терминах подходящего ультрафильтр. Статья Ямашиты (2007) содержит библиографию по современным дельта-функциям Дирака в контексте бесконечно обогащенного континуума, обеспечиваемого гиперреалами.
Метод Построение бесконечно малых величин того типа, который используется в нестандартном анализе, зависит от модели и от того, какой набор аксиом используется. Мы рассматриваем здесь системы, в которых можно показать существование бесконечно малых величин.
В 1936 году Мальцев доказал теорему компактности. Эта теорема является фундаментальной для существования бесконечно малых величин, поскольку доказывает, что их можно формализовать. Следствием этой теоремы является то, что если существует система счисления, в которой верно, что для любого положительного целого числа n существует такое положительное число x, что 0 < x < 1/n, then there exists an extension of that number system in which it is true that there exists a positive number x such that for any positive integer n we have 0 < x < 1/n. The possibility to switch "for any" and "there exists" is crucial. The first statement is true in the real numbers as given in ZFC теория множеств : для любое положительное целое число n можно найти действительное число от 1 / n до нуля, но это действительное число зависит от n. Здесь сначала выбирают n, затем находят соответствующий x. Во втором выражении утверждение говорит, что существует x (по крайней мере, один), выбранный первым, который находится между 0 и 1 / n для любого n. В этом случае x бесконечно мал. Это неверно для действительных чисел (R ), заданных ZFC. Тем не менее теорема доказывает, что существует модель (система счисления), в которой это верно. Возникает вопрос: что это за модель? Каковы его свойства? Есть только одна такая модель?
На самом деле существует много способов построить такой одномерный линейно упорядоченный набор чисел, но, по сути, есть два разных подхода:
В 1960 году Авраам Робинсон дал ответ, следуя первому подходу. Расширенный набор называется гиперреалами и содержит числа, меньшие по абсолютной величине, чем любое положительное действительное число. Этот метод можно считать относительно сложным, но он действительно доказывает, что бесконечно малые величины существуют во вселенной теории множеств ZFC. Действительные числа называются стандартными числами, а новые нереальные гиперреальные числа называются нестандартными.
. В 1977 году Эдвард Нельсон дал ответ, следуя второму подходу. Расширенные аксиомы - это IST, что означает либо Внутренняя теория множеств, либо инициалы трех дополнительных аксиом: Идеализация, Стандартизация, Перенос. В этой системе мы считаем, что язык расширен таким образом, что мы можем выражать факты о бесконечно малых. Действительные числа бывают стандартные или нестандартные. Бесконечно малое - это нестандартное действительное число, которое по абсолютной величине меньше любого положительного стандартного действительного числа.
В 2006 году Карел Хрбачек разработал расширение подхода Нельсона, в котором действительные числа стратифицированы на (бесконечно) многих уровнях; т.е. на самом грубом уровне нет ни бесконечно малых, ни неограниченных чисел. Бесконечно малые находятся на более тонком уровне, и есть также бесконечно малые по отношению к этому новому уровню и так далее.
Учебники по математическому анализу, основанные на бесконечно малых, включают классический Calculus Made Easy Сильвануса П. Томпсона (с девизом «What one дурак может сделать другой может ») и немецкий текст« Mathematik fur Mittlere Technische Fachschulen der Maschinenindustrie »Р. Нойендорфа. Новаторские работы, основанные на бесконечно малых величинах Авраама Робинсона, включают тексты Строяна (датируемые 1972 г.) и Говарда Джерома Кейслера (Элементарное исчисление: бесконечно малый подход ). Студенты легко понимают интуитивное понятие бесконечно малой разницы 1- «0,999... », где «0,999...» отличается от своего стандартного значения как действительного числа 1 и интерпретируется как бесконечное завершающий расширенный десятичный разделитель, который строго меньше 1.
Другой текст по элементарному исчислению, использующий теорию бесконечно малых, разработанную Робинсоном, - это исчисление бесконечно малых чисел Генле и Кляйнберга, первоначально опубликованное в 1979 году. Авторы вводят язык первых логику порядка и демонстрируют построение модели гиперреальных чисел первого порядка. Текст представляет собой введение в основы интегрального и дифференциального исчисления в одном измерении, включая последовательности и ряды функций. В приложении они также рассматривают расширение своей модели на гипергиперреали и демонстрируют некоторые приложения для расширенной модели.
В родственном, но несколько ином смысле, который развился из первоначального определения «бесконечно малой» как бесконечно малой величины, этот термин также использовался для обозначения функция стремится к нулю. Более точно, Расширенное исчисление Лумиса и Стернберга определяет функциональный класс бесконечно малых, , как подмножество функций между нормированными векторными пространствами на
,
, а также два связанных класса (см. нотация Big-O ) на
.
Множество включений вообще держи. Правильность включений демонстрируется действительными функциями действительной переменной , и :
но и .
В качестве приложения этих определений отображение между нормированными векторными пространствами определяется как дифференцируемое в , если существует [т.е. ограниченное линейное отображение ] так, что
в окрестности . Если такая карта существует, она уникальна; это отображение называется дифференциалом и обозначается как , что совпадает с традиционными обозначениями для классического (хотя и логически ошибочного) понятия дифференциала как бесконечно малый «кусок» F. Это определение представляет собой обобщение обычного определения дифференцируемости векторных функций (открытых подмножеств) евклидовых пространств.
Пусть - вероятностное пространство, и пусть . Массив из случайных величин называется бесконечно малым, если для каждого , имеем:
понятие бесконечно малого массива является существенным в некоторых центральных предельных теоремах, и по монотонности оператора математического ожидания легко увидеть, что любой массив, удовлетворяющий условию Линдеберга, является бесконечно малым, таким образом, играя важную роль в центральной предельной теореме Линдеберга. (обобщение центральной предельной теоремы ).