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

Бесконечно малые (ε) и бесконечные (ω) на гипервереальной числовой прямой (ε = 1 / ω)

В математике , бесконечно малый или бесконечно малое число является величина , которая находится ближе к нулю , чем любое стандартному вещественное число , но не равен нуль. Слово инфинитезимальная происходит от 17-го века Современные Латинской чеканки infinitesimus , которая первоначально относилась к « бесконечности - го » элемента в последовательности .

Бесконечно малые числа не существуют в стандартной действительной системе счисления, но они существуют в других системах счисления, таких как сюрреалистическая система счисления и гиперреальная система счисления , которые можно рассматривать как действительные числа, дополненные как бесконечно малыми, так и бесконечными величинами; аугментации являются взаимозаменяемыми .

Бесконечно малые числа были введены в развитие исчисления , в котором производная была сначала задумана как отношение двух бесконечно малых величин. Это определение не было строго формализовано . По мере дальнейшего развития исчисления бесконечно малые были заменены пределами , которые можно вычислить с использованием стандартных действительных чисел.

Бесконечно малые вновь обрели популярность в 20-м веке с развитием Абрахамом Робинсоном нестандартного анализа и гиперреальных чисел , которые после столетий споров показали, что формальная трактовка исчисления бесконечно малых возможна. Вслед за этим математики разработали сюрреалистические числа, связанную с этим формализацию бесконечных и бесконечно малых чисел, которая включает как гиперреальные числа, так и порядковые числа , что является самым большим упорядоченным полем .

Идея использования бесконечно малых величин заключалась в том, что объекты все же могли сохранять определенные специфические свойства, такие как угол или наклон , даже если эти объекты были бесконечно малыми.

Бесконечно малые величины являются основным ингредиентом исчисления, разработанного Лейбницем , включая закон непрерывности и трансцендентальный закон однородности . В обычном языке бесконечно малый объект - это объект, который меньше любого возможного измерения, но не равен нулю по размеру - или настолько мал, что его нельзя отличить от нуля никакими доступными средствами. Следовательно, когда оно используется как прилагательное в математике, бесконечно малое означает бесконечно малое, меньшее, чем любое стандартное действительное число. Бесконечно малые величины часто сравнивают с другими бесконечно малыми величинами аналогичного размера, например, при исследовании производной функции. Бесконечное число бесконечно малых суммируется, чтобы вычислить интеграл .

Концепция бесконечно малых величин была впервые введена около 1670 года Николаусом Меркатором или Готфридом Вильгельмом Лейбницем . Архимед использовал то, что в конечном итоге стало известно как метод неделимых в своей работе «Метод механических теорем», чтобы найти площади областей и объемы твердых тел. В своих официально опубликованных трактатах Архимед решил ту же проблему, используя метод исчерпания . В 15 веке были работы Николая Кузанского , развитые в 17 веке Иоганном Кеплером , в частности, расчет площади круга путем представления последнего в виде бесконечного многоугольника. Работа Саймона Стевина по десятичному представлению всех чисел в 16 веке подготовила почву для реального континуума. Метод неделимых, предложенный Бонавентурой Кавальери, привел к расширению результатов классических авторов. Метод неделимых относился к геометрическим фигурам как составным из сущностей коразмерности 1. Бесконечно малые объекты Джона Уоллиса отличались от неделимых тем, что он разлагал геометрические фигуры на бесконечно тонкие строительные блоки той же размерности, что и фигура, подготавливая почву для общих методы интегрального исчисления. Он использовал бесконечно малую величину, обозначенную 1 / ∞, в вычислениях площади.

Использование бесконечно малых чисел Лейбницем основывалось на эвристических принципах, таких как закон непрерывности: то, что успешно для конечных чисел, также успешно для бесконечных чисел и наоборот; и трансцендентный закон однородности, который определяет процедуры для замены выражений, содержащих не присваиваемые величины, выражениями, включающими только присваиваемые. В 18 веке математики, такие как Леонард Эйлер и Жозеф-Луи Лагранж, регулярно использовали бесконечно малые величины . Огюстен-Луи Коши использовал бесконечно малые величины как при определении непрерывности в своей работе Cours d'Analyse , так и при определении ранней формы дельта-функции Дирака . Пока Кантор и Дедекинд разрабатывали более абстрактные версии континуума Стевена, Поль дю Буа-Реймон написал серию статей о бесконечно обогащенных континуумах, основанных на скоростях роста функций. Работа Дюбуа-Реймона вдохновила и Эмиля Бореля, и Торальфа Сколема . Борель явно связал работу Дюбуа-Реймона с работой Коши о темпах роста бесконечно малых величин. Сколем разработал первые нестандартные модели арифметики в 1934 году. Математическая реализация как закона непрерывности, так и бесконечно малых величин была достигнута Абрахамом Робинсоном в 1961 году, который разработал нестандартный анализ на основе более ранней работы Эдвина Хьюитта в 1948 году и Ежи Лоса в 1955 году. . в hyperreals реализация инфинитезимальной-обогащенная континуума и передаточный принцип закона Реализует Лейбниц непрерывности. Стандартная функция часть реализует Ферма adequality .

Владимир Арнольд писал в 1990 году:

В настоящее время при обучении анализу не очень популярно говорить о бесконечно малых величинах. Следовательно, современные студенты не в полной мере владеют этим языком. Тем не менее, владеть им по-прежнему необходимо.

История бесконечно малого

Идея бесконечно малых величин обсуждалась в элейской школе . В греческий математик Архимед (с 287 г. до н.э. -.. С 212 г. до н.э.), в Метод механических теорем , был первым , чтобы предложить логически строгое определение бесконечно малых. Его свойство Архимеда определяет число x как бесконечное, если оно удовлетворяет условиям | х |> 1, | х |> 1 + 1, | x |> 1 + 1 + 1, ..., и бесконечно малым, если x ≠ 0, и аналогичный набор условий выполняется для x и обратных положительных целых чисел. Система счисления называется архимедовой, если она не содержит бесконечных или бесконечно малых членов.

Английский математик Джон Уоллис ввел выражение 1 / ∞ в своей книге 1655 года « Трактат о конических сечениях» . Символ, который обозначает обратную или обратную величину  , является символическим представлением математической концепции бесконечно малого. В своем « Трактате о конических сечениях» Уоллис также обсуждает концепцию связи между введенным им символическим представлением бесконечно малой 1 / ∞ и концепцией бесконечности, для которой он ввел символ ∞. Эта концепция предлагает мысленный эксперимент по добавлению бесконечного числа параллелограммов бесконечно малой ширины для образования конечной площади. Эта концепция была предшественницей современного метода интегрирования, используемого в интегральном исчислении . Концептуальные истоки концепции бесконечно малого 1 / ∞ можно проследить еще со времен греческого философа Зенона Элейского , чей парадокс дихотомии Зенона был первой математической концепцией, в которой рассматривалась связь между конечным интервалом и интервалом, приближающимся к интервалу бесконечно малый интервал.

Бесконечно малые были предметом политических и религиозных споров в Европе 17-го века, включая запрет на бесконечно малые числа, изданный священнослужителями в Риме в 1632 году.

До изобретения исчисления математики смогли рассчитать касательные с помощью Пьера де Ферма «метод s из adequality и Рене Декарт » методу нормалей . Среди ученых ведутся споры о том, был ли этот метод бесконечно малым или алгебраическим по своей природе. Когда Ньютон и Лейбниц изобрели исчисление , они использовали бесконечно малые величины, флюксии Ньютона и дифференциал Лейбница . Использование бесконечно малых величин подверглось критике как неправильное епископом Беркли в его работе «Аналитик» . Математики, ученые и инженеры продолжали использовать бесконечно малые величины для получения правильных результатов. Во второй половине девятнадцатого века исчисление было переформулировано Августином-Луи Коши , Бернаром Больцано , Карлом Вейерштрассом , Кантором , Дедекиндом и другими с использованием (ε, δ) -определения теории пределов и множеств . В то время как последователи Кантора, Дедекинд и Вейерштрасса стремились Rid анализа бесконечно малых, и их философских союзники , таких как Бертран Рассел и Карнап заявили , что бесконечно малые являются псевдопонятиями , Коген и его Марбург школа в неокантианстве стремились разработать рабочую логику бесконечно малые. Математическое исследование систем, содержащих бесконечно малые величины, продолжалось в работах Леви-Чивиты , Джузеппе Веронезе , Поля дю Буа-Реймона и других на протяжении конца девятнадцатого и двадцатого веков, как это задокументировано Филипом Эрлихом (2006). В 20 веке было обнаружено, что бесконечно малые числа могут служить основой для исчисления и анализа (см. Гиперреальные числа ).

Свойства первого порядка

Расширяя действительные числа, чтобы включать бесконечные и бесконечно малые величины, обычно желают быть максимально консервативными, не изменяя ни одно из их элементарных свойств. Это гарантирует, что по-прежнему доступно как можно больше знакомых результатов. Обычно элементарный означает, что количественная оценка не проводится по множествам , а только по элементам. Это ограничение допускает утверждения формы «для любого числа x ...». Например, аксиома, которая утверждает, что «для любого числа  x , x  + 0 =  x » все еще применима. То же самое верно и для количественной оценки по нескольким числам, например, «для любых чисел  x и y , xy  =  yx ». Однако утверждения формы «для любого набора  S  чисел ...» не могут быть перенесены. Логика с этим ограничением количественной оценки называется логикой первого порядка .

Результирующая расширенная система счисления не может согласовываться с действительными значениями по всем свойствам, которые могут быть выражены количественной оценкой по множествам, потому что цель состоит в том, чтобы построить неархимедову систему, а принцип Архимеда может быть выражен количественной оценкой по множествам. Можно консервативно расширить любую теорию, включая действительные числа, включая теорию множеств, чтобы включить бесконечно малые числа, просто добавив счетно бесконечный список аксиом, утверждающих, что число меньше 1/2, 1/3, 1/4 и т. Д. Точно так же нельзя ожидать переноса свойства полноты , потому что вещественные числа являются единственным полным упорядоченным полем с точностью до изоморфизма.

Мы можем выделить три уровня, на которых неархимедова система счисления может иметь свойства первого порядка, совместимые со свойствами действительных чисел:

  1. Упорядоченное поле удовлетворяет все обычные аксиомы реальной системы чисел , которые могут быть указаны в логике первого порядка. Например, имеет место аксиома коммутативности x  +  y  =  y  +  x .
  2. Реальное замкнутое поле имеет все свойства первого порядка реальной системы чисел, независимо от того, являются ли они , как правило , принимается как аксиома, для заявлений , связанных с основными упорядоченного поля отношений +, ×, и ≤. Это более сильное условие, чем подчинение аксиомам упорядоченного поля. Более конкретно, один включает дополнительные свойства первого порядка, такие как существование корня для каждого полинома нечетной степени. Например, у каждого числа должен быть кубический корень .
  3. Система может обладать всеми свойствами первого порядка действительной системы счисления для утверждений, включающих любые отношения (независимо от того, могут ли эти отношения быть выражены с помощью +, × и ≤). Например, должна быть синусоидальная функция, которая хорошо определена для бесконечных входов; то же самое верно для любой реальной функции.

Системы категории 1, находящиеся на слабом конце спектра, относительно легко построить, но они не позволяют полностью рассмотреть классический анализ с использованием бесконечно малых величин в духе Ньютона и Лейбница. Например, трансцендентные функции определены в терминах бесконечных ограничивающих процессов, и поэтому обычно нет способа определить их в логике первого порядка. Повышая аналитическую силу системы за счет перехода к категориям 2 и 3, мы обнаруживаем, что характер трактовки имеет тенденцию становиться менее конструктивным, и становится все труднее сказать что-либо конкретное об иерархической структуре бесконечностей и бесконечно малых.

Системы счисления, содержащие бесконечно малые

Формальная серия

Серия Laurent

Примером из категории 1 выше является поле ряда Лорана с конечным числом членов с отрицательной степенью. Например, ряд Лорана, состоящий только из постоянного члена 1, отождествляется с действительным числом 1, а ряд только с линейным членом  x считается простейшим бесконечно малым, из которого строятся другие бесконечно малые числа. Используется словарный порядок, что эквивалентно рассмотрению более высоких степеней  x как незначительных по сравнению с более низкими степенями. Дэвид О. Толл называет эту систему сверхреальными , не путать со сверхреальной системой счисления Дейлса и Вудина. Поскольку ряд Тейлора, вычисленный с рядом Лорана в качестве аргумента, по-прежнему является рядом Лорана, систему можно использовать для вычисления трансцендентных функций, если они являются аналитическими. Эти бесконечно малые числа имеют другие свойства первого порядка, чем действительные числа, потому что, например, базовое бесконечно малое  x не имеет квадратного корня.

Поле Леви-Чивита

Поле Леви-Чивиты похоже на ряд Лорана, но алгебраически замкнуто. Например, базовое бесконечно малое x имеет квадратный корень. Это поле достаточно богато, чтобы позволить провести значительный объем анализа, но его элементы все еще могут быть представлены на компьютере в том же смысле, что и действительные числа могут быть представлены с плавающей запятой.

Transseries

Поле транссерий больше, чем поле Леви-Чивита. Пример транссерии:

где для целей упорядочивания x считается бесконечным.

Сюрреалистические числа

Сюрреалистические числа Конвея попадают в категорию 2. Это система, разработанная так, чтобы быть максимально насыщенной числами разного размера, но не обязательно для удобства проведения анализа. Некоторые трансцендентные функции могут быть перенесены на сурреальные числа, включая логарифмы и экспоненты, но большинство, например, синусоидальная функция, не может. Существование какого-либо конкретного сюрреалистического числа, даже такого, которое имеет прямое соответствие в действительных числах, не известно априори и должно быть доказано.

Гиперреалы

Самым распространенным методом работы с бесконечно малыми числами является гиперреальный, разработанный Абрахамом Робинсоном в 1960-х годах. Они попадают в категорию 3 выше, так как были спроектированы таким образом, чтобы весь классический анализ можно было перенести из реального. Это свойство способности естественным образом переносить все отношения известно как принцип переноса , доказанный Ежи Лосем в 1955 году. Например, у трансцендентальной функции sin есть естественный аналог * sin, который принимает гиперреальный вход и дает гиперреальный output, и аналогично у набора натуральных чисел есть натуральный аналог , который содержит как конечные, так и бесконечные целые числа. Утверждение, такое как, переносится на гиперреалы как .

Суперреальные

Супердействительное число система Долин и Woodin является обобщением hyperreals. Это отличается от сверхреальной системы, определенной Дэвидом Толлом .

Двойные числа

В линейной алгебре , то дуальные числа расширяют действительные числа, присоединяя одно бесконечно малого, новый элемент ε со свойством & epsi ; 2 = 0 (то есть, ε является нильпотентным ). Каждое двойственное число имеет вид z = a + b ε, где a и b являются однозначно определенными действительными числами.

Одно из применений двойных чисел - автоматическое дифференцирование . Это приложение можно обобщить на многочлены от n переменных, используя внешнюю алгебру n-мерного векторного пространства.

Гладкий анализ бесконечно малых

Синтетическая дифференциальная геометрия или гладкий инфинитезимальный анализ имеют корни в теории категорий . Такой подход отходит от классической логики , используемые в обычных математике, отрицая общую применимость закона исключенного среднего - то есть, не ( вб ) не имеет в виду а = Ь . Nilsquare или нильпотентное бесконечно мала , то может быть определена. Это число x, где x 2 = 0 истинно, но при этом x = 0 не обязательно должно быть истинным. Поскольку исходная логика является интуиционистской логикой , не сразу понятно, как классифицировать эту систему относительно классов 1, 2 и 3. Сначала необходимо разработать интуиционистские аналоги этих классов.

Бесконечно малые дельта-функции

Коши использовал бесконечно малую величину, чтобы записать единичный импульс, бесконечно высокую и узкую дельта-функцию типа Дирака, которой удовлетворял в ряде статей в 1827 году, см. Лаугвиц (1989). Коши определил бесконечно малое в 1821 году (Cours d'Analyse) в терминах последовательности, стремящейся к нулю. А именно, такая нулевая последовательность становится бесконечно малой в терминологии Коши и Лазара Карно .

Современные теоретико-множественные подходы позволяют определять бесконечно малые числа с помощью сверхстепенной конструкции, где нулевая последовательность становится бесконечно малой в смысле класса эквивалентности по модулю отношения, определенного в терминах подходящего ультрафильтра . Статья Ямашиты (2007) содержит библиографию по современным дельта-функциям Дирака в контексте бесконечно обогащенного континуума, обеспечиваемого гиперреалами .

Логические свойства

Метод построения бесконечно малых величин, используемых в нестандартном анализе, зависит от модели и используемого набора аксиом . Мы рассматриваем здесь системы, в которых можно показать существование бесконечно малых величин.

В 1936 г. Мальцев доказал теорему компактности . Эта теорема является фундаментальной для существования бесконечно малых величин, поскольку доказывает, что их можно формализовать. Следствием этой теоремы является то, что если существует система счисления, в которой верно, что для любого положительного целого числа n существует такое положительное число x , что 0 <  x  <1 / n , то существует расширение этой системы счисления в что верно, что существует положительное число x такое, что для любого положительного целого числа n мы имеем 0 <  x  <1 / n . Возможность переключения «на любой» и «есть» имеет решающее значение. Первое утверждение верно для действительных чисел, как указано в теории множеств ZFC  : для любого положительного целого числа n можно найти действительное число от 1 / n до нуля, но это действительное число зависит от n . Здесь сначала выбирают n , затем находят соответствующий x . Во втором выражении утверждение говорит, что есть x (по крайней мере, один), выбранный первым, который находится между 0 и 1 / n для любого n . В этом случае x бесконечно мал. Это неверно для действительных чисел ( R ), предоставленных ZFC. Тем не менее теорема доказывает, что существует модель (система счисления), в которой это верно. Возникает вопрос: что это за модель? Каковы его свойства? Есть только одна такая модель?

На самом деле существует много способов построить такой одномерный линейно упорядоченный набор чисел, но, по сути, есть два разных подхода:

1) Расширьте систему счисления, чтобы она содержала больше чисел, чем действительных чисел.
2) Расширить аксиомы (или расширить язык), чтобы различать бесконечно малые и не бесконечно малые числа можно было проводить в самих действительных числах.

В 1960 году Абрахам Робинсон дал ответ, следуя первому подходу. Расширенный набор называется гиперреальным и содержит числа, меньшие по модулю, чем любое положительное действительное число. Этот метод можно считать относительно сложным, но он действительно доказывает, что бесконечно малые числа существуют во вселенной теории множеств ZFC. Действительные числа называются стандартными числами, а новые нереальные гиперреальные числа называются нестандартными .

В 1977 году Эдвард Нельсон дал ответ, следуя второму подходу. Расширенные аксиомы - это IST, что означает либо теорию внутренних множеств, либо инициалы трех дополнительных аксиом: идеализация, стандартизация, перенос. В этой системе мы считаем, что язык расширен таким образом, что мы можем выражать факты о бесконечно малых. Действительные числа бывают стандартные или нестандартные. Бесконечно малое - это нестандартное действительное число, которое по абсолютной величине меньше любого положительного стандартного действительного числа.

В 2006 году Карел Хрбачек разработал расширение подхода Нельсона, в котором действительные числа стратифицированы на (бесконечно) многих уровнях; т.е. на самом грубом уровне нет ни бесконечно малых, ни неограниченных чисел. Бесконечно малые находятся на более тонком уровне, и есть также бесконечно малые по отношению к этому новому уровню и так далее.

Бесконечно малые в обучении

Исчисление учебники на основе инфинитезималей включают классическую Исчисление Made Easy по Silvanus П. Томпсон (с девизом «Что один дурак может сделать еще одну банку») и немецкий текст Mathematik мех Mittlere Technische Fachschulen дер Maschinenindustrie Р. Neuendorff. Новаторские работы, основанные на бесконечно малых числах Авраама Робинсона , включают тексты Строяна (датируемые 1972 г.) и Говарда Джерома КейслераЭлементарное исчисление: бесконечно малый подход» ). Студенты легко понимают интуитивное понятие бесконечно малой разницы 1 - « 0,999 ... », где «0,999 ...» отличается от своего стандартного значения как действительного числа 1 и интерпретируется как бесконечное завершающее расширенное десятичное число, которое строго меньше 1.

Другой текст по элементарному исчислению, в котором используется теория бесконечно малых, разработанная Робинсоном, - это исчисление бесконечно малых чисел Генле и Клейнберга, первоначально опубликованное в 1979 году. Авторы вводят язык логики первого порядка и демонстрируют построение модели гиперреальных чисел первого порядка. . Текст представляет собой введение в основы интегрального и дифференциального исчисления в одном измерении, включая последовательности и ряды функций. В приложении они также рассматривают расширение своей модели до гипергипер- вещественных чисел и демонстрируют некоторые приложения для расширенной модели.

Функции, стремящиеся к нулю

В родственном, но несколько ином смысле, который произошел от первоначального определения «бесконечно малой» как бесконечно малой величины, этот термин также использовался для обозначения функции, стремящейся к нулю. Точнее, Продвинутое исчисление Лумиса и Штернберга определяет функциональный класс бесконечно малых как подмножество функций между нормированными векторными пространствами по формуле

,

а также два связанных класса (см. обозначение Big-O )

, а также

.

Набор включений в целом в силе. То , что включения собственно продемонстрировано вещественных функций вещественной переменной , и :

но и .

Как приложение этих определений, отображение между нормированными векторными пространствами определяется как дифференцируемое в, если существует [то есть ограниченное линейное отображение ] такое, что

в районе . Если такая карта существует, она уникальна; эта карта называется дифференциалом и обозначается , совпадающий с традиционными обозначениями для классического (хотя логически ущербного) понятия дифференциала как бесконечно малый «кусок» из F . Это определение представляет собой обобщение обычного определения дифференцируемости векторных функций (открытых подмножеств) евклидовых пространств.

Массив случайных величин

Позвольте быть вероятностным пространством и пусть . Массив из случайных величин называется бесконечно малой , если для каждого , мы имеем:

Понятие бесконечно малого массива является существенным в некоторых центральных предельных теоремах, и по монотонности оператора математического ожидания легко увидеть, что любой массив, удовлетворяющий условию Линдеберга, является бесконечно малым, таким образом, играя важную роль в центральной предельной теореме Линдеберга (обобщении центральной предельной теоремы ).

Смотрите также

Примечания

использованная литература

  • Б. Кроуэлл, "Исчисление" (2003)
  • Эрлих, П. (2006) Возникновение неархимедовой математики и корни заблуждения. I. Возникновение неархимедовых систем величин. Arch. Hist. Exact Sci. 60, нет. 1, 1–121.
  • Малет, Антони . «Барроу, Уоллис и переделка неделимых элементов семнадцатого века». Центавр 39 (1997), нет. 1, 67–92.
  • Дж. Кейслер, "Элементарное исчисление" (2000) Университет Висконсина
  • К. Строян "Основы исчисления бесконечно малых" (1993)
  • Строян, К.Д . ; Люксембург, WAJ Введение в теорию бесконечно малых. Чистая и прикладная математика, № 72. Academic Press [Harcourt Brace Jovanovich, Publishers], Нью-Йорк-Лондон, 1976.
  • Роберт Гольдблатт (1998) "Лекции о гиперреалах" Спрингер.
  • Катланд и др. «Нестандартные методы и приложения в математике» (2007) Конспект лекции по логике 25, Ассоциация символической логики.
  • «Сила нестандартного анализа» (2007) Спрингер.
  • Лаугвиц, Д. (1989). «Определенные значения бесконечных сумм: аспекты основ анализа бесконечно малых около 1820 года». Архив истории точных наук . 39 (3): 195–245. DOI : 10.1007 / BF00329867 . S2CID  120890300 .
  • Ямасита, Х .: Комментарий к: «Точечный анализ скалярных полей: нестандартный подход» [Дж. Математика. Phys. 47 (2006), нет. 9, 092301; 16 стр.]. J. Math. Phys. 48 (2007), нет. 8, 084101, 1 стр.